关键词: 高速铁路  枢纽  信号系统  软件换装  动态验证  

2019年第12期 《中国铁路》

关键词: 数据访问接口  数据集成  可扩展标记语言  xsl  schema  动态验证  线程池  

2004年第13期 《计算机工程》

关键词: 数据完整性  动态验证  公开验证  云存储  双线性对  

2019年第03期 《计算机工程》

关键词: 扇三角洲  储层构型  动态验证  曙三区  

2018年第03期 《化工设计通讯》

关键词: 时间petri网  工作流  动态验证  截止期限  预测  

2007年第12期 《计算机测量与控制》

关键词: 时间工作流网  生成图  时序约束  多过程  动态验证  

2009年第10期 《电子学报》

关键词: 轮对轴承  轴温探测  静态标定  动态验证  

2012年第05期 《企业技术开发》

关键词: 辫状河三角洲前缘  储层构型  静态分布模型  动态验证  彩9井区  

2016年第05期 《油气地质与采收率》

关键词: 特低渗透储层  裂缝  地球化学  色谱指纹  动态验证  

2011年第04期 《石油天然气学报》

关键词: 小断层  相关理论  动态验证  

2011年第03期 《大庆石油地质与开发》

关键词: 脆弱性  信息流  污点传播  动态验证  静态单一赋值  

2011年第09期 《软件学报》

关键词: 可信计算  动态验证  行为建模  空循环路径  优化  

2010年第20期 《武汉理工大学学报·信息与管理工程版》

关键词: 多过程  时序约束  实时模型检测  时间自动机  动态验证  

2010年第02期 《机械工程学报》

关键词: 动态图软件水印  空间换时间  循环冗余校验  动态验证  

2012年第03期 《计算机应用研究》

关键词: 多核处理器  存储一致性模型  形式验证  动态验证  存储系统  验证工具  

2012年第11期 《计算机工程》

关键词: 三维地震  注采相关性  动态验证  萨中油田  

2013年第04期 《大庆石油地质与开发》

关键词: 动态验证  仿真模型  方差分析  

2014年第04期 《电子科技大学学报》

关键词: 液体注射剂  活性药物成分  动态验证  个体化阈值  拉曼光谱  快速筛查  数据库  

2015年第07期 《药物分析》