一致性检测论文

高精度多冗余捷联惯组配置优化设计与应用研究
论文摘要为了满足远程飞行器对惯性导航系统高可靠、高精度的需求,研究了一种多冗余捷联惯组配置优化设计与应用方案。根据远程飞行器导航分析结果和多冗余配置优化准则,设计了高可靠冗余结...
基于图论和FSM的UML模型与代码一致性检测
论文摘要提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检...