基于BOM的HLA仿真系统可信性研究

可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性.     

并行离散事件仿真中的DDM机制实现

在并行离散事件仿真系统中实现仿真模型间的互操作机制需要引入类似HLA中定义的声明管理(DM)和数据分发管理(DDM)服务.我们开发的KD-PADSE高性能并行离散事件仿真环境采用谓词断言和对象代理方法在面向对象的并行离散事件仿真系统中实现了基于平行结构和事件调度机制的声明管理(DM)和数据分发管理(DDM)服务.在以千兆以太网互联的10节点Linux集群计算机上,采用DDM机制后仿真模型每秒(物理时间)可以进行1万次属性更新,是没有采用DDM机制时的20倍,在功能性和性能上验证了该DDM机制在并行离散事件仿真系统中的适用性.     

近程防御体系作战的计算机仿真研究

未来海战将是高技术条件下的局部战争,作战模式是体系与体系的对抗。因此,应从作战体系的角度研究作战。本文就是对未来自备式近程防御体系进行计算机仿真研究,仿真系统的两台计算机之间通过ＲＳ２３２连接。仿真软件主要包括指控系统软件部分、指控系统界面设计部分、对体系的动画仿真演示制作部分、通信部分设计等。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

分布式结构的坦克火控仿真系统的研究

采用现代仿真技术,分布式结构战车火控仿真系统在完成火控系统动态特性仿真任务后,可实现新火控系统研制过程的先期技术演示,并可为装备论证研究提供先进的仿真手段。此外还分析了以DIS结构接入到作战仿真系统的可能性和现实性。     

基于混沌遮掩法和孙子定理的口令验证方案

提出一种高保密性的口令验证方案,它把基于孙子定理的口令验证方法运用于基于混沌遮掩法的保密通信系统中,使保密通信系统具有更高的安全性。     

基于最大熵谱估计验证战术导弹的气动模型

现代谱估计方法是验证系统仿真模型的有效方法。战术导弹飞行试验的遥、外测数据记录了大量的过程参数,可以利用这些参数进行气动力和气动力矩的计算,与飞行试验过程参数进行分析比较。应用最大熵谱估计检验导弹的气动力和气动力矩模型的可信性,可以给出定量的结果。文章给出的方法可以作为战术导弹气动参数模型研究的一种辅助手段。     

小型无人机航位推算定位算法研究与误差分析

对空中航位推算(DR)算法做了深入研究,提出了适用于小型无人机(UAV)的风速估计策略;将算法中各元素的误差对推算定位精度的影响进行了理论分析与数值计算;该研究结果应用于某小型UAV的航位推算/GPS组合导航系统的设计与实现中;飞行试验表明,通过提高对DR误差影响较大的元素的测量精度和风速的估计精度,有效提高了DR推算精度,与以往其他小型UAVs相比,在断开GPS对DR的修正后,DR精度保持在一定范围的持续时间显著延长.     

甲板坐标系下速率火控射击诸元解算及弹道修正

速率火控系统是在甲板坐标系下解相遇的,它不依赖于导航系统.它与常规火控不同,甲板倾斜的修正不能采用简单的坐标系变换的方式.针对速率火控甲板倾斜修正问题,指出了两种需要进行甲板倾斜修正的情况,推导给出了计算方法,通过原理仿真计算,验证了计算方法的正确性.