指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

香港地区2013—2016年地基GPS大气可降水量与实际降雨量的比较

本文在利用ECMWF的数据对由GPS观测资料计算的大气可降水量（Precipitable Water Vapor, PWV）进行精度评定的基础上,基于谐波分析的方法对香港地区不同方位5个测站2013~2016年连续4年的PWV(GPS)和实际降雨量进行比较。结果表明：地基PWV(GPS)相对于PWV(ECMWF)月均值的均方根在1.02 mm-3.07 mm之间,偏差在-2.14 mm-2.52 mm之间。地基PWV(GPS)和实际降雨量都呈现明显的周期性,两者每年峰值出现的时间有非常一致的对应关系。PWV的峰值出现在7月,振幅在14.65 mm与16.79 mm之间;实际降雨量峰值同样出现在7月,振幅在147.64 mm与211.01 mm之间。5个测站PWV年增长率为正,表明近4年香港地区PWV呈现出增长的趋势;而实际降雨量年增长率除HKOH测站为正外,其余站点均为负,总体呈现出逐年减少的趋势。     

多机吊放声纳对潜警戒扇面动态计算方法

针对多架反潜直升机使用吊放声纳搜索时的对潜警戒扇面动态计算问题,根据搜索方法建立多机悬停点坐标解算模型;采用等效的方法,将当前悬停点吊放声纳的探测区域与所有已完成探测的悬停点不存在潜艇的区域等效为对潜警戒范围进行计算;建立了各悬停点探测区域相对舰艇编队舷角的动态计算模型;给出了动态计算多机对潜警戒扇面起始、终止舷角的计算方法。最后仿真计算了对潜警戒扇面随搜索时间、间距系数的动态变化关系。结果显示:对潜警戒扇面将在一定范围内周期性动态变化;且受间距系数的影响较大。     

基于突防任务的军机生存能力幂指数评估方法

军机生存能力是军机作战效能的重要指标,为定量化研究影响军机生存能力的相关因素,采用幂指数法与层次分析法相结合的方法构建军机生存能力评估模型,为解决军机生存能力指数评估问题提供了一种新的方法。     

视觉目标跟踪现状与发展

视觉目标跟踪系统在军事和民用领域都有重大的应用需求,如武器制导、视觉导航、安防监控等。视觉目标跟踪系统的目的是在视频序列的每一帧中准确地定位目标位置,还原目标完整的运动路径,为高层应用提供决策依据。根据任务需求不同,目标跟踪系统可以分为单目标跟踪和多目标跟踪。在算法层面分别介绍了视觉单目标跟踪和多目标跟踪的发展现状,并对相关算法的优点和不足做了简要分析。结合当前研究现状,简要地梳理了目标跟踪算法的发展趋势。研究表明,视觉目标跟踪是一个非常开放的研究领域,相关的理论和方法层出不穷,不同算法的侧重点也不尽相同,研究经典的目标跟踪算法有助于把握视觉目标跟踪中潜在的问题,为设计目标跟踪系统提供依据。     

基于元模型的军事信息系统体系结构建模方法

为了实现不同体系结构框架方法论及体系结构工具下所开发体系结构的可理解、可比较、可交换,促进体系结构数据的共享和重用,提出了基于元模型的军事信息系统体系结构建模方法;以模型驱动体系结构(MDA)思想为基础,研究了体系结构元模型到支持体系结构建模语言的转换方法;设计了元模型规范下的体系结构建模的实现方法;以作战规则模型(OV - 6a)的IDEF0建模为例分析了转换方法所涉及核心规则的具体实现,说明了该方法的可行性和有效性.     

基于麒麟嵌入式操作系统的车载智能终端软件远程升级的设计与实现

为解决基于麒麟嵌入式操作系统的车载智能终端实际应用中的软件升级问题,提出了利用GPRS技术、IAP编程方式、应答机制、断点续传技术和校验机制实现嵌入式系统的软件远程升级方案,保证了数据传输的实时性、快速性、准确性和可靠性,并且通过各种实验模拟了升级过程中的异常情况,实验结果表明,所提出的方案能保证终端正确可靠地完成软件的远程升级,这也就验证了该远程升级方案的可行性.     

粒子PHD滤波存活粒子采样新方法

针对多目标跟踪粒子概率假设密度滤波算法中存活粒子的重要性密度采样问题,给出一种结合最新量测信息的存活粒子重要性密度采样新方法.该方法根据最新量测集中的各个最测与目标粒子的单步预测状态的似然值,以概率选取量测值,利用无迹变换获得粒子的重要性密度函数,并对其进行采样实现粒子概率假设密度滤波中存活粒子的采样,有效地减轻了粒子的退化现象. 3目标跟踪仿真试验中,当目标模型与跟踪算法使用的目标模型不匹配时,采用所提出的存活粒子采样方法的粒子概率假设密度滤波算法最优子模式分配距离下降约70km.论文给出的存活粒子采样新方法显著地提高了多目标跟踪粒子概率假设密度滤波算法的鲁棒性.     

我国军事司法立法形式探新

选择适宜的军事司法立法形式 ,是充分发挥军事司法立法作用的重要前提。在分析外军军事司法立法形式的特点和我国军事司法立法形式的不足的基础上 ,提出了制定《统一军事司法法》的建议。     

无运力限制条件下的一种器材紧急调运优化模型

根据器材调运的特点建立了一个货量充足且无运力限制条件的多目标优化模型,给出了一种方便有效的算法,并利用仿真算例对模型和算法进行了验算,得到了最优的器材调运方案.