退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN111209219B
专利类型发明专利
公开/公告日2020-09-01
原文格式PDF
申请/专利权人 中国人民解放军国防科技大学;
申请/专利号CN202010315155.X
发明设计人 孙广富;左勇;刘文祥;王飞雪;欧钢;肖伟;倪少杰;李蓬蓬;李柏渝;牟卫华;叶小舟;
申请日2020-04-21
分类号G06F11/36(20060101);G01S19/20(20100101);
代理机构44205 广州嘉权专利商标事务所有限公司;
代理人邓建辉
地址 410073 湖南省长沙市开福区德雅路109号
入库时间 2022-08-23 11:12:25
机译: 文件集一致性验证系统,文件集一致性验证方法和文件集一致性验证程序
机译: 系统和软件开发过程模型的形成和验证方法,包括控制元模型的一致性和模型相对于元模型的一致性,以及控制对模型特定规则的遵循
机译: 用于卫星导航系统的广播信息一致性检查装置,不受监视站时钟的限制
机译:一种高信度的飞行系统计算机仿真模型验证方法
机译:一种基于模糊仿真模型的制造组织成功5S程序合理性验证方法
机译:基于SMP2.0的卫星导航系统复杂通信网络仿真模型框架设计
机译:一种基于功能数据分析的仿真模型验证方法
机译:一种嵌入式系统的新验证方法。
机译:一种人机交互系统的形式化验证方法
机译:一种用于侦听系统的低成本缓存一致性验证方法*
机译:一种用于地球同步卫星导航的计算机系统