基于察打任务的无人机作战效能评估

首先根据时敏目标打击的特点,分析了察打任务模式下的察打一体无人机的作战使用。然后对评估体系中察打一体无人机的侦察能力与打击能力相关性进行了分析,同时将任务可执行度作为无人机效能评估的一项动态权衡标准,建立了基于察打任务的无人机效能评估模型,并基于效能指标体系建立了各分项模型。最后通过算例验证了模型的可行性。     

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

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

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

STL格式下隐形装备表面的分形维数计算

介绍了STL文件的存储格式,对STL文件存储的离散点进行了表面的线性拟合,根据分形维数的计算方法推导出了拟合曲面的维数计算方法.为了验证提出方法的正确性,利用此方法计算了STL格式下维数为2.05的Weierstrass-Mandelbrot曲面的分形维数,其结果为2.035 8,与已知维数吻合.此方法为STL格式下隐形装备的特征研究提供了一种新的途径.     

基于ISAR技术SAR图像获取

在SAR技术进入使用阶段后,雷达图像的应用就成了人们研究的对象,但是目标雷达特征并不为人们所熟悉。对于一个复杂的目标或者场景,人们很难想象出其不同雷达参数下的图像。为了解决这个问题,雷达图像模拟技术应运而生。本文利用已有的典型军事目标的缩比模型,采用ISAR的方法模拟典型军事目标的合成孔径雷达图像。     

一种基于灰色模糊关系的多属性决策模型研究

实际中的决策问题常常具有不确定性和灰色性。本文根据灰色系统和模糊数学的一些理论,同时考虑一个问题中的模糊性与灰色性,将其综合起来表示为灰色模糊数的概念。在原有多属性决策方法的基础上提出了一种灰色模糊多属性决策模型,并给出了模型的求解方法。模型的求解是基于采用海明距离的测度工具来度量决策方案与模糊理想解和模糊负理想解之间的差异来决定其排列顺序的,是一种模糊折衷性决策方法。     

基于可能度的军品供应商选择方法研究

建立军品供应商的选择方法,是当前军事订货与采购制度改革亟需解决的一个重要问题。本文利用Fuzzy AHP制定了军品供应商的选择方法,并提出了一种新的基于中值点的可能度指标作为三角模糊数互补判断矩阵排序的依据。     

真情催生战斗力——记贵州省贵阳市云岩区区委书记蒋纪鸣

“作为地方领导,检验工作落实的标准是看生产力;作为人武部党委第一书记,衡量工作落实的标准就是战斗力,因此我们的工作就是要做到生产力与战斗力同步提升。”这是贵州省贵阳市云岩区区委书记、区人武部党委第一书记蒋纪鸣在区委大小会议上常说的一句话。为了这句话,他可没少费心思。     

非完备参数信号集中式检测新方法

在复合假设检验中,广义似然比检验(GLRT)和贝叶斯(Bayesian)方法是2个广泛应用的方法.研究了这2种信号检测方法在分布式传感器网络中非完备参数(波形已知但幅度未知)估计中的应用.验证了GLRT的性能并进行了改进,提出逼近的Bayesian检测器,并与精确Bayesian方法比较,得出逼近的Bayesian检测器总有闭表达式的结论.仿真结果表明,提出的方法与精确Bayesian方法具有相近的性能.