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

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

多爆炸成型弹丸性能参数灰关联分析

为了获得各参数对多爆炸成型弹丸毁伤性能的影响程度,以EFP速度和MEFP发散角为参考序列,以药型罩和装药参数为比较序列,运用灰关联理论对影响MEFP毁伤性能的参数进行了灰关联分析。在此基础上,应用灰关联分析结果完成了MEFP战斗部优化设计。结果表明:在较少样本空间前提下,采用灰关联理论可以分析获得影响多爆炸成型弹丸毁伤性能的各因素主次关系,而且经过优化后的MEFP战斗部,大大地提高了EFP的集聚性和毁伤性能。     

影响水下距离选通激光图像光学相关识别的若干因素

针对水下距离选通激光图像光学相关识别技术的应用,研究了引起图像畸变从而导致光学相关识别相关峰输出效率降低的若干因素,并通过实验的方法采集了不同系统参数设置下的激光成像图片,然后采用相位匹配的方法对图片进行相关性分析,同时应用PCE、Disc等指标联合评价输出的相关峰质量,从而衡量各因素所引起的成像畸变对光学相关识别性能的影响程度.MATLAB软件仿真结果证明:激光单脉冲能量、ICCD增益、成像距离等因素变化均会引起图像相位特征畸变,导致相关识别鉴别率降低.该结果可为建立水下距离选通成像系统控制模型和设计匹配滤波器提供参考.     

基于灰色理想方案的气垫艇登陆点优选

气垫艇登陆点优选是超越式登陆作战训练过程中必须解决的核心问题之一.结合灰关联分析理论、熵值法和逼近于理想的技术,提出了一种基于灰色理想方案的灰关联分析技术.建立使登陆点条件最优化的目标函数而求得备选登陆点的评估系数,从而根据备选登陆点的评估系数的大小排序选择最优登陆点.     

集群车载台故障分析与维修方法研究

集群通信在专用通信领域使用越来越广泛。文章简要阐述了车载台构成原理及各个功能模块的作用;总结了车载台在使用过程中出现的几类常见故障。针对各类故障现象,重点分析了故障产生的原因,并提出了相应的排除方法。同时针对车载台操作使用中存在的不规范现象,提出了装备保养的几点建议。     

YN／变压器负序电流和谐波电流的分析

考虑二相负荷大小、功率因数变化,分析了ＹＮ／联结平衡变压器用于铁道牵引电站时一次侧的负序和谐波电流的变化规律。通过与ＹＮ／△接线变压器比较,说明ＹＮ／联结平衡变压器在减小电网负序和谐波电流方面具有很大优势。在牵引电站中使用该变压器能显著地提高牵引供电系统的技术和经济性能。     

直流TIG焊接电弧的数值分析

以直流钨极氢弧焊电弧为研究对象,考虑阴极几何形状,建立了轴对称电弧数值计算模型,在电流密度计算中包括了阴极区和弧柱区。采用ＳＩＭＰＬＥ算法求解磁流体动力学方程组。所得电弧弧柱温度分布与实验结果相吻合;电弧速度分布、电磁力分布、电流密度分布、压力分布等电弧参量的计算结果能较全面地反映电弧内部的作用机制。     

军机进近优先级别评估

针对军机自身状况以及军机进近飞行特点,分析了影响军机进近优先级别的因素,采用灰色关联分析的思想,运用熵值法对这些影响因素进行了量化分析,建立了军机进近优先级别的灰熵评估模型,最后通过程序实现其算法,展示了军机进近优先级别评估的过程,表明该灰熵评估模型在实际的军机进近飞行管理工作中具有一定的应用价值和发展前景.     

飞行模拟器火控仿真系统

介绍了一种适用于飞机飞行模拟器的火控仿真系统的功能与组成 ,并对瞄准具的改装、火控数学模型的建立、攻击效果评估、火控仿真与模拟器各系统的配合等主要技术问题及处理方法进行了讨论。     

一种灰色模糊多属性决策模型

实际中的决策问题常常具有不确定性和灰色性。根据灰色系统和模糊数学的一些理论,同时考虑一个问题中的模糊性——隶属度与灰色性——灰度,将其综合起来表示为灰色模糊数的概念。在原有多属性决策(MADM)方法的基础上提出了一种灰色模糊多属性决策模型,并给出了模型的求解方法。待决策的各方案的排序是依据其到灰色模糊理想解的灰色模糊距离大小而进行的。