关键词: 军事信息系统  需求模型  一致性验证  系统工程  需求工程  

2019年第11期 《火力与指挥控制》

关键词: 生物识别技术  人脸识别  人工智能技术  第三次浪潮  安全防护  一致性验证  ai  安防  

2019年第11期 《中国安防》

关键词: 反导作战预案  建模  一致性验证  系统建模语言  网络本体描述语言  案例标记语言  

2013年第01期 《现代防御技术》

关键词: 云计算  关键词检索  一致性验证  偏序约束链  

2018年第12期 《计算机科学》

关键词: 组件  事务设计  一致性验证  事务属性  事务隔离性  

2005年第04期 《计算机工程》

关键词: 嵌入式系统  分层抽象模型  systemc  嵌入式系统设计  描述模型  一致性验证  系统建模  关键步骤  上市时间  模型框架  

2005年第08期 《计算机科学》

关键词: 经营过程仿真  层次建模  一致性验证  模型综合  

2004年第06期 《计算机集成制造系统》

关键词: 尺寸公差  形位公差  一致性验证  计算机辅助公差设计  公差原则  方孔  

2004年第02期 《机械设计与研究》

关键词: 法医遗传学  短串联重复序  无效等位基因  一致性验证  福建汉族人群  

2018年第02期 《中国输血》

关键词: 棱柱公差  一致性验证  计算机辅助公差设计  公差原则  

2004年第01期 《现代机械》

关键词: 一致性验证  网络协议  泰克公司  pstn  完备  spectra  ip  版本  产品推出  电信运营商  

2005年第11期 《世界电信》

关键词: 两层wsn  范围查询  隐私保护  一致性验证  

2017年第19期 《计算机工程与应用》

关键词: 典型安全网关  形式化设计  blp模型  功能规约  一致性验证  

2017年第09期 《计算机科学》

关键词: 本体  概念体系结构  一致性验证  特征模型  jena推理  

2017年第08期 《计算机与现代化》

关键词: 导弹仿真  平稳化  最大熵谱估计法  一致性验证  

2016年第06期 《飞行力学》

关键词: tbad模型  一致性验证  信任度  证书链查找  委托深度  

2006年第08期 《计算机学报》

关键词: 灾备数据  数据比对算法  一致性验证  比对工具  

2014年第02期 《电力信息化》

关键词: 作战任务  时间约束  一致性验证  nusmv  

2016年第11期 《计算机工程与应用》

关键词: 测试解决方案  泰克公司  一致性验证  光发射机  采样示波器  一致性测试  

2009年第04期 《电子与电脑》

关键词: 测试测量  采样示波器  一致性验证  泰克公司  测试解决方案  模块  分析仪  发射机  

2009年第05期 《电子设计应用》