基于状态约减的信息攻防图生成算法

针对攻防图构建中存在的状态爆炸问题,提出一种基于状态约减的攻防图生成算法。该算法在分析攻击者和目标网络特点的基础上,对独立状态节点的权限进行对比;其在保留最高权限节点的前提下,实现对低权限节点的约减,并去除冗余攻击路径。仿真实验表明算法具有计算复杂度低、能有效降低状态爆炸以及控制攻防图规模等优点。     

基于时序事件图的作战仿真溯因模型?

通过对作战仿真结果进行因果关系分析,可以加深对作战计划的理解,为指挥决策提供支持,是仿真的重要一环。为了能够对仿真结果进行因果关系分析,首先阐述了溯因和因果关系的概念,对支持溯因的仿真输出数据进行了需求分析,进而构建了以事件为核心描述单元的仿真输出数据模型;根据对事件图基本概念的理解,提出了基于时序事件图的溯因模型,最后给出了仿真输出数据映射为时序事件图的转化算法。     

基于局部评估的分布式图模式匹配算法

为了在分布式存储的大规模数据图上进行快速图模式匹配,提出了基于局部评估的分布式图模式匹配算法disGPM-PE。首先各计算节点并行地执行本地匹配,然后协调器节点收集局部匹配结果、计算边界点的匹配状态并发送给相应的计算节点,接着计算节点根据边界点的匹配状态确定与边界点相连的节点的匹配情况,最后协调器节点组合得出最大匹配集。实验结果表明：与已有的分布式图模式匹配算法相比,disGPM-PE算法都能够在不显著增加通信量的前提下避免数据片段间的依赖关系对执行时间的影响,减少了图模式匹配的时间。     

利用局部评估的分布式图模式匹配算法

为了在分布式存储的大规模数据图上进行快速图模式匹配,提出利用局部评估的分布式图模式匹配算法。各计算节点并行地执行本地匹配;协调器节点收集局部匹配结果、计算边界点的匹配状态并发送给相应的计算节点;计算节点根据边界点的匹配状态确定与边界点相连的节点的匹配情况;协调器节点组合得出最大匹配集。实验结果表明:与已有的分布式图模式匹配算法相比,dis GPM-PE算法都能够在不显著增加通信量的前提下避免数据片段间的依赖关系对执行时间的影响,从而减少图模式匹配的时间。     

超短波信道建模方法

针对超短波信道传播条件复杂,缺乏相关成熟方法和模型的现状,对当前国内外现有超短波信道模型和建模方法进行了梳理、总结和归纳。简单介绍了超短波传播特性、信道参数以及现有模型,重点梳理了在不同应用场景下,可用于超短波信道建模的方法。然后,针对基于随机传播图理论的方法进行了重点介绍,总结了基于信道参数的模型验证方法。最后,针对不同的超短波应用条件,对相关的方法进行了展望。     

美“海军一体化火力控制--制空”能力发展现状与启示

美“海军一体化火力控制－制空”（ NIFC－CA）是美军海上盾牌防御体系概念的重要组成部分。该体系经过多年的发展已初见成效。首先,对美“海军一体化火力控制———制空”的基本概念及内涵进行了阐述,对其主要组成CEC、E－2D预警机、宙斯盾系统及标准－6舰空导弹在防御体系中的功能进行了分析;然后,介绍了美NIFC－CA的6种主要指挥控制模式,并对其协同指挥决策模式进行了分析,得出了指挥决策分布处理的特点;最后,总结了美NIFC－CA发展对我海军海上防御力量发展建设的启示。     

“神鹰”斗“猛禽”——苏-30与F-22作战性能比较

据有关媒体报道：俄罗斯新推出的战机苏-30MKI将装备印度空军,这型飞机也是俄罗斯第一次出口。据俄罗斯专家介绍,苏-30MKI的各项技术指标达到了新一代战机的要求,可执行空中格斗和对地精确打击等多种任务,总体性能优于美国的F-22战斗机。与此同时美国的F-22战斗机也已进入批量生产,美国空军已向洛克希德·马丁公司支付了2．673亿美元的定金,用于购买10架F-22战斗机。这两款战机将成为21世纪天空中的明星。从两者的性能看,到底谁比谁强呢?     

“深海捕鲨手”——反潜鱼雷

身怀绝技反潜鱼雷之所以能够“降得住”潜艇,是因为它有自己的拿手本领。首先,它具有良好的水下工作特性。由于潜艇的作战深度一般在几十米到几百米的范围,甚至在更深的海域活动,所以反潜鱼雷必须能在潜艇的航行深度内跟踪并攻击潜艇,并且不能影响自身的航行性     

测度论中几个定理的重新论证

从环的等价定义出发 ,利用级数收敛性及分解性定理证明了R 是环 ,而且是完备的σ 环。进而重新论证了测度扩张性定理的存在性、唯一性及完备性。避免了教材中原证明的复杂过程 ,从而使读者更容易掌握     

关于算子方程Tx=y扰动分析的一些结果

在Banach空间中给出了一种相容算子方程解的误差估计 ,推广了矩阵扰动分析中的相应结果 .此外 ,利用Hilbert空间中算子M -P广义逆与算子的约化极小模之间的关系 ,给出了一些估计式 ,这些估计式对于分析不相容算子方程Tx =y的极小范数最小二乘解的扰动误差是有用的