未来舰艇指控系统发展的关键技术

舰艇指挥控制系统作为战斗双方的"兵力倍增器",在未来战争中将发挥越来越重要的作用。介绍了全分布式系统结构、高速网络技术、多传感器数据融合、高级语言技术、人工神经网络技术和最小共享信息集等未来舰艇指控系统发展的关键技术。     

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

在分析了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测站为正外,其余站点均为负,总体呈现出逐年减少的趋势。     

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

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

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

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

视觉目标跟踪现状与发展

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

面向定位的分布式无线传感器网络细粒度调整方法

针对在初始的部署条件下不可定位的无线传感器网络,提出一种分布式的面向定位的网络调整方法。该方法通过节点所处的路径信息判别确定该节点的调整策略,从而使初始状况下不可定位的网络达到可定位条件,该方法仅需调整约11%节点就能够将稀疏的网络调整至可定位,比当前最好的网络调整方法减少了约40%。此外,该方法采用分布式执行策略,从而将定位所产生的通信负载和能耗均衡到网络中的多个节点,克服了先前集中式方法的可扩展性限制。大量的仿真实验结果表明,该方法较现有方法而言具有更高的执行效率。     

π-幂零群的一个新刻画

有限群的结构与其子群的性质间的关系问题是群论的一个重要研究方向,通过群的极大子群、正规子群、半正规子群等对该群进行研究,已有一系列结果。该文将用群G的p-Sylow子群P及其极大子群去研究群的结构,得到群G是π-幂零群的一个充分条件。