军事虚拟训练系统关卡测试用例设计与优化

测试用例的数量和质量决定军事虚拟训练系统软件测试的成本和有效性。针对军事虚拟训练系统软件测试随意性较强,测试效率不高的问题,定义了军事虚拟训练活动图形式化图形符号的语法与语义,在此基础上提出了基于形式活动图的军事虚拟训练关卡测试用例设计方法,通过测试用例优化对生成的测试用例集进一步的合并简化得到最小测试用例集,通过实例对提出的基于形式活动图的军事虚拟训练关卡测试用例设计与优化方法进行了应用说明。     

战场大地形空间格网点的高斯曲率算法研究及可视化

论述了在细节层次模型简化技术中,空间格网点的高斯曲率的计算方法,以及在.NET平台下如何用C#语言对算法进行编程.然后依照此算法得出格网点曲率值的大小,删除曲率小的中心点并对删除中心点后留下的空洞进行三角化,从而实现细节层次模型的简化.为体现算法的效果,应用高斯曲率算法将全细节的三维地形模型实现了细节层次模型的可视化,并提出用曲率的几何性质来对算法进行了误差分析,将其结果与其他算法进行了比较.通过实例和误差分析,其结果表明此算法速度快且效果好.     

基于多级影响图对策的多机协同空战决策研究

首先确定多机协同空战战机相关数学和运动模型,其次将大规模群集空战转化为多个小集团作战,在此基础上,依据协同的原则,又将小集团作战转化为多个一对一空战,然后应用多级影响图对策解决不确定情况下多机协同空战决策问题,建立了考虑交战双方、动力学质点模型和飞行员的偏好的连续机动决策模型,最后进行了2:2协同空战仿真分析,仿真结果表明该模型的有效性.     

DOS环境中BMP图的分块分解和显示

本文叙述了一种用ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ３．１中的工具软件Ｐａｉｎｔｂｒｕｓｈ生成的位图格式图形文件（文件的扩展名为．ＢＭＰ）按位面分块分解,并在ＤＯＳ环境中分块快速显示的方法,这种方法可以方便地实现显示图形的变色,同时也比较容易达到一定的动画效果。     

运用故障传播图进行诊断推理的研究

基于对系统结构的分析,利用系统本身各部件之间的故障传播特性,提出了一种新的算法,以确定系统发生故障时真正的故障源。在单一故障源诊断中,可以确定故障源;在多故障源诊断中,确定最大可能故障源的最小集合。     

分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。     

YH-GKS的设计与实现

图形核心系统GKS是二维图形软件的唯一的国际标准,且为我国采纳为国家标准。YH-GKS是基于GKS,为银河机设计的图形软件系统。文中介绍了YH-GKS的设计特色与实现方法。     

影响图的空战机动决策方法

首先阐明了空战机动决策的概念和作用;然后针对几种常用空战机动决策方法的缺陷,分析了影响图在表示和求解不确定性决策问题上的优势,提出了空战机动决策的影响图方法;进而建立了基于该方法的二维单机单目标空战机动决策模型,并针对两种典型的空战情形进行了仿真.仿真结果表明该空战机动决策方法能够有效地导引战机格斗.     

舰炮炮基平台倾斜修正方法研究

分析了舰炮炮基平台平面(简称炮基平面)倾斜对射击精度的影响,推导炮基平面倾斜修正模型,给出确定修正参数的方法.确定修正参数的方法完全通过数学手段导出,逻辑严谨,实用性强,不仅适用舰炮,也适用于其它舰载武器发射平台的倾斜修正.