图C4t∪4t的调和标号

不连通图的标号问题是图论研究中的重要课题之一,本文首先给出了调和图的定义,然后证明了两个图C4t的并图C4t∪C4t是调和图。     

高频雷达射频干扰抑制研究

分析了高频雷达射频干扰抑制方案中对目标信号相干积累的影响,在此基础上提出了一种新型的天线方向图综合算法,并进一步将其应用到改进的干扰抑制新方案中。新方案兼顾了射频干扰的抑制和目标信号的相干积累。计算机仿真结果表明新方案较大地改善了高频雷达抑制射频干扰的性能。     

利用矩阵求极大相容类的一种方法

寻找相容关系的极大相容类和简单图的极大完全子图，在解决二元关系与数据挖掘和管理决策中的具体问题时有重要作用。利用相容关系的极大相容类与简单图的极大完全子图之间的对应关系，对极大完全子图的路径长度进行分析，得到了关于极大完全子图路径长度的一个定理。并根据该定理构造了一个用矩阵的路径长度搜索简单图的极大完全子图的方法，进而利用该方法找出了对应相容关系的极大相容类。     

多机协同空战近距格斗决策

将多级影响图和对策论引入到多机协同近距格斗决策研究中,首先将机群分组为多个小集团作战,继而又进行将小集团作战转化为多个一对一空战的协同决策,然后应用多级影响图对策解决不确定情况下近距格斗决策问题,建立了考虑交战双方、动力学质点模型和飞行员的偏好的连续机动决策模型。并探讨了求解多级影响图对策的方法,最后进行了2∶2协同空战仿真分析,仿真结果表明该模型的有效性。     

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

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

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

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

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

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

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

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

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

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

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

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