半实物仿真系统VV&A研究

半实物仿真系统因其具有的提高系统研制质量、缩短研制周期、节约研制经费等优点成为仿真领域研究的重要方向,对其开展VV&A研究则是保证仿真结果可用和可信的有效途径,为了更好开展半实物仿真及其VV&A工作,论文重点分析了半实物仿真系统的主要特点,提出了开展VV&A应遵循的原则,并有针对性的设计了其VV&A过程,最后以实例分析...     

基于UML的任务空间概念模型动态行为验证研究

动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.