一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

新型棚洞结构抗震效应研究

目前国内外对棚洞结构的动力分析还鲜见报道。该文结合实际工程。利用FLAC^3D软件对提出的新型棚洞结构在地震荷载作用下的力学响应进行了研究。通过计算得出了该棚洞结构在不同地震荷载作用下的位移云图和位移时程曲线，进而找出了结构的薄弱部位，对新型棚洞工程设计、施工和加固有一定的参考作用。     

基于组合权重的目标识别系统威胁评估

现代信息战场中,对敌方的目标识别系统进行有效干扰,是增强我方、打击敌方的有效手段。对敌方的目标识别系统进行有效的威胁评估,有助于指挥员的决策以及对干扰资源的优化配置。借鉴空中目标威胁评估常用方法,提出对敌方目标的敌我属性识别系统进行威胁评估的方法。首先选择合理的威胁评估指标,然后对指标数据进行规范化处理,利用信息熵法求解威胁评估的客观权重与改进的层次分析法求解出的主观权重加权得到组合权重,运用灰关联分析法进行威胁评估和排序,最后用实例验证方法的有效性和合理性。     

基于TSS方法的雷达性能优选分析研究

通过TSS方法进行了雷达性能的优选分析研究,分别针对雷达的单一性能指标和综合性能指标进行了优选分析。首先运用TSS方法完成了基于单一性能指标的雷达性能优选分析,然后通过欧几里德贴近度完成了雷达的综合性能指标优选分析,最后给出了TSS方法在雷达性能优选分析研究中的应用实例。     

某型弹用管控高温通讯异常分析

某型弹用管控处理装置在环境应力筛选试验高温阶段出现通讯异常现象,对故障产生的原因进行了查找和分析,最终得出是由于器件选用时考虑不周导致信号在高温出现时序判读错误,由此及时解决了问题并从中获得宝贵经验和启示。     

垂直线列阵无源定位精度分析

提出了一种基于垂直线阵的系统,给出了定位模型,并简要介绍了其定位原理.利用由时延引入的距离、高低角和观测得到的方位角信息,建立了三维坐标系下的状态方程和观测方程.通过理论分析和仿真计算,讨论了声速测量误差、时延估计误差和阵元位置误差对系统定位精度的影响,给出了时延估计误差的克拉美-罗下界.综合时延估计、基线横纵扰动、三类误差的影响,在一定条件下,对目标距离估计的相对误差可控制在20%以内.     

空中机动目标刚体运动建模方法

传统目标跟踪和识别算法通常建立在目标质点运动模型的基础上,其实现过程相对简单,但也存在精度不高的缺点.随着现代雷达、目标跟踪/识别技术的发展,以及各种高精度目标测量传感器的运用,建立更精确的刚体运动模型已成为一种必然需要.概述了国内外在空中机动目标刚体运动建模这一领域的研究现状,并详细介绍了当前常用的几种空中机动目标刚体运动建模方法,最后,根据分析总结了当前这些建模方法存在的缺陷,并指出了其可能的研究方向.     

舰船真空海水淡化装置热力分析

针对目前舰船上广泛使用的真空式海水淡化装置进行热力分析,建立起海水淡化装置的数学模型,以50 t/d真空式海水淡化装置为例,通过对不同蒸发温度和不同工作蒸汽压力进行模拟计算,得到海水淡化装置的产水量、工作蒸汽耗量及冷却水流量随蒸发温度和工作蒸汽压力的变化规律,所得结论与装置的实验及实际运行情况有很好的一致性,证明所建立的数学模型是合适的,所得结论可以指导装置的使用管理及海水淡化装置的设计.     

等离子体技术在军事上的应用

一、等离子体的基本概念 等离子体又称为物质的第四态,是继固体、液体、气体之后物质存在的第四种物质状态。它是由大量的自由电子和离子组成,且宏观上呈电中性,其运动主要受电磁场力的作用,并表现出显著的集体行为。产生等离子体的方法有多种,例如热致电离、气体放电、高能粒子轰击、激光照射等方法都能使气体电离成为等离子体。在军事上,