基于因子图的AUV协同导航通信延迟误差补偿算法

针对自主水下航行器协同导航系统水声通信延迟导致的定位误差增大问题,在因子图协同导航算法框架下提出一种基于量测信息重建的通信延迟补偿算法。首先,基于主从式协同导航系统状态方程、量测方程构建因子图模型。由于多个自主水下航行器距离量测信息导致因子图模型存在环结构,故通过两次消息传递迭代求解各节点变量概率密度分布。随后,在广播式水声通信延迟机理分析基础上进行量测信息重建,并将其接入因子图代替原始量测信息进行消息传递与解算,从而补偿水声通信延迟。仿真实验结果表明,所提算法可以有效提高从自主水下航行器定位精度,没有通信延迟补偿的协同导航算法定位精度与水声通信固定延迟呈反比,在水声通信固定延迟为10 s的条件下,所提算法相比没有通信延迟补偿的协同导航算法,定位精度可以提高82.57%。     

基于图神经网络GraphVAE的兵棋态势预测方法

在战场上敌我双方作战的过程中,准确地预测敌方的兵力部署将有利于我方的作战。基于兵棋推演的态势数据,通过训练图神经网络,提出了预测敌方未知算子位置的方法。首先,在对数据进行预处理后,实现了态势到图结构数据的转化,构造了兵棋态势的图结构数据集,用于图神经网络的训练。其次,根据兵棋态势及其数据的特点改造了GraphVAE模型,实现了兵棋态势图结构数据的补全。最后设计了基于补全后的图结构数据,计算敌方算子位置的方法。通过实验证实了该方法的有效性和可行性。     

含控制相关的循环并行执行

文中定义了在当代向量计算机上可高效实现的merge与pos函数,提出利用二函数消去do循环中forward—if与search—if的方法。本文讨论了向量化forward—loop的一般性方法并引入封闭子图的概念,给出一种简化语句执行条件的途径。     

关于图的(g,f)-因子分解的一些结论和进展

设Ｇ是一个有限无向简单图,ｇ和ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）上的两上整数值函数,且ｇ≤ｆ。图Ｇ的一个（ｇ,ｆ）－因子是Ｇ的一个支撑子图Ｆ使对任意的Ｘ∈Ｖ（Ｆ）有ｇ（ｘ）≤ｄＦ（ｘ）≤ｆ（ｘ）。若图Ｇ的边集能划分为ｍ个边不交的（ｇ,ｆ）－因子Ｆ１,…,Ｆｍ,则称＾－Ｆ＝｛Ｆ１,…,Ｆｍ｝是Ｇ的一个（ｇ,ｆ）－因子分解。设Ｈ是Ｇ的ｍ条件的子图＾－Ｆ的Ｇ是一个（ｇｆ）－因子分解,若对每个１≤ｉ≤ｍ都有│     

关于图的距离Irredundance数

G=(V,E)是简单连通图,用G—v表示从G中删除v以及与v相关联的边所得到的图,ir_n(G)表示G的n—irredundance数,证明了下列不等式: ir_n(G—v)≥(ir_n(G) 1)/2这个结果推广了Favaron的相应结论。     

海军C^3I系统军图标绘工具的设计与实现

军用标图的计算机化是现代战场对指挥方式的特殊需求。本文介绍了军图标绘工具在计算机系统中的设计与实现,并介绍了几种关键技术的实现方法。     

一种超短波雷达天线方向图的自动显示方法

本文研究利用超短波雷达实现自身天线方向图的自动显示的方法,文中介绍了系统的工作原理,分析了雷达接收系统对显示图象的影响因素及处理方法。     

当代军语快译通（4）

行政准备时间——开始采购到签订合同或发出订单之间的时间。见采办准备时间。     

数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.