符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

弹道目标微多普勒特性基于逆Radon变换的稀疏表示

作为识别空间弹道目标的有效方法,微多普勒特性提取对于雷达系统的时频分辨率提出了很高的要求,因此,要求雷达系统具有更高的采样频率。作为近年来新兴的技术手段,在远低于奈奎斯特采样定理的采样频率下,压缩感知技术可以对具有稀疏特性的信号实现高精度还原。对空间弹道目标时频分布进行逆Radon变换,在变换后的IRT域内获得时频分布的稀疏表示,从而可以借助压缩感知技术有效降低采样频率的要求。     

智能化水雷引信及其评估方法

讨论了智能化水雷引信的内涵,建立了考核水雷引信智能化水平的指标体系及模糊评估框架和模型.水雷引信智能化水平评估的计算实例表明,该方法和模型是完备可行的.     

次优滤波器在航空火力控制中的应用

根据航空火力控制系统的特点,引入一种结合滤波与数据融合的滤波方法——次优滤波法;介绍了次优滤波器的原理和特点;阐述了次优滤波器在火力控制系统中的应用以及比较次优滤波器和其它滤波器的差异与优点。     

外军野营供水装备的特点及对我军的启示

分析总结了外军野营净水装备的系列化、高技术化、野战化等特点,提出了我军应从水源、供水规模和使用气候条件等方面成系列研制净水装备,并用高新技术对供水安全、降低能耗等关键技术进行攻关研究,以适应现代战争需要。     

C3I系统中作战文书自动生成句子优化聚合

作战文书的自动生成依赖于知识库,而知识库在构造时为保持信息的完全而高度冗余,这就导致输出也呈现较多的冗余.为使生成的文书每一句话内容合理、结构清晰、简明连贯,具有较好的可读性就必须对内容规划的输出进行优化聚合(aggregtion)处理.讨论了作战文书中优化聚合的概念、类型,并给出了Schema和RST表示下的优化聚合实现方法.     

飞行器低空突防威胁建模与航迹优化算法

提出了一种飞行器在给定地形和威胁分布的威胁场进行低空突防的航迹优化算法。该方法首先对地形的高程栅格数据进行了图形简化预处理,将各种威胁叠加到地形图上,构成一个包含各种威胁的特定威胁场,再对其建立合理的有向图数学建模,用Dijkstra最短路算法进行航迹优化。航迹优化的过程中考虑了飞行器的过载限制,使优化航迹能够较好地满足飞行器各项性能指标及任务规划的要求,仿真结果显示,该算法简单快速,能很好地进行地形、威胁、障碍物的回避。     

Hilbert空间极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={X∈H:O∈Tx}≠Φ。求xk及ek满足设Pc:H→C为H到C上的最近点投影算子,定义证明了Hilbert空间中由上式产生的序列{xk}k≥0弱收敛于T的某个零点。     

模糊集值统计理论在灭火救援指挥效能评估中的应用

在建立评估指标体系的基础上,将模糊集值统计理论应用于灭火救援指挥效能评估中。该理论方法改变了以往统计给出一个固定值的做法,而给出一个区间值,使某些具有模糊性和随机性的评估指标权值的确定更加符合实际情况。实例研究表明:该方法克服了经典统计法的不足,提高了效能评估的实用性和科学性。     

基于实物期权的军队油库设备投资改造决策模型研究

利用实物期权的投资决策理论对军事油库设备改造进行了探讨,针对投资项目所具有的时间选择期权和放弃期权的混合特征,根据决策树的思想,采用二项式期权定价理论和不确定规划方法,构造了一种以战略净现值最大化为投资目标的军队油库设备投资决策模型。该模型有效地评估了投资机会的价值,解释了投资者时机选择和投资期限决策行为,有助于提高油库资金的军事效益和经济效益。