利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

基于能力的指挥信息系统需求获取方法

一体化联合作战是信息化条件下的新的作战形式,为满足一体化联合作战的需要,作战能力与联合作战概念的结合已成为大势所趋.目前国内常用的指挥信息系统需求获取方法缺乏顶层作战概念和目标的指导,没有考虑联合作战的要求.通过分析,将指挥信息系统需求划分为作战需求、用户需求和系统需求3个层次,总结了指挥信息系统在一体化联合作战的要求下应当具备的能力,参考美军JCIDS系统方法和流程,提出了基于能力的指挥信息系统需求获取方法.     

机动式保障基地系统防护需求分析

当前,军队工程防护对象以地下工程和野战阵地为主,对于设施设备及军事活动以地表为主的机动式保障基地系统,其毁伤特点规律、防护威胁、评估方法及防护标准等尚无专门研究。本文介绍了机动式保障基地系统的基本概念、主要功能及构成要素,研究了近年来典型军事基地遇袭案例,采用案例分析与数据库研究相结合的方法,分析了机动式保障基地系统的主要威胁及其毁伤元和毁伤评估量,并提出机动式保障基地系统防护需求的构建原则和评估步骤。根据建立的原则和步骤,建立5级防护需求等级,以海外维和基地为例,分析了基地内各类保障装备的防护等级需求和防护等级设置的主要依据,为开展机动式保障基地系统防护体系研究打下基础。     

论颠覆性技术与军事理论创新的辩证法

技术决定战术,军事技术历来是战争领域最活跃、最具有生命力的因素。当前,以军事智能为特征的颠覆性技术已成为推动新一轮军事革命的强力引擎,它改变了原有战争样式和形态,使战争制胜机理发生复杂而深刻的变化。军事理论作为战争实践的先导,必须首先把握、科学预测和有效评判新技术对战争带来的影响,才能发挥出理论的牵引作用。古往今来的历次战争实践表明,军事理论与技术之间往往不是并行发展的,而是相互错位、交替向前的。谁能在错位的当口抢占先机,缩短错位周期,谁就能提前形成代际优势或代差,赢得战争主动。因此,必须充分认清军事理论创新与颠覆性技术之间的关系,找准军事理论与颠覆性技术错位的原因,运用科学方法,加强理技结合,把颠覆性技术内化于军事理论,达成超越对手的“理论突袭”。     

多约束条件下互联网骨干网路由器级拓扑生成方法

互联网骨干网是网络流量的中枢传输系统,其路由器级拓扑结构对于网络抗毁性分析具有重要意义。由于难以获取互联网骨干网路由器级的真实拓扑,通过分析骨干网的形成因素,将地理位置、节点间联系强度、基础设施费用、鲁棒性等因素结合起来,提出一种多约束条件下的互联网骨干网路由器级拓扑生成方法。该方法既可以构造难以公开获取网络测量数据的骨干网,也可以用来生成某一骨干网的多种替身拓扑集。通过现实中的互联网骨干网作为实例,验证了方法的有效性。     

水面舰艇防空作战能力的需求生成方法

为了更好地量化表达水面舰艇所具备的防空作战能力,提出了一种基于元活动的能力需求生成方法。建立了能力需求生成框架,在此框架下进行元活动库的提取,能力指标的分解,元活动-能力指标映射规则的分析得到中近程拦截能力的能力指标并进行了冲突消解,验证了所提方法的有效性。     

空袭目标生成仿真模型研究

空袭目标生成,是防空兵作战仿真中一项十分重要的内容,其是否合理、有效将直接影响作战仿真的真实性.从防空兵作战的实际出发,依据空袭兵器的作战规律探讨了空袭目标的随机抽样过程,构建了单个空袭目标、单一空袭目标流和混合目标流的生成模型.     

陆军武器装备体系需求生成支撑平台建设

分析了装备需求论证中存在的问题,探讨了武器装备体系需求生成的目标。借鉴外军武器装备需求生成的成功经验,以"需求驱动、架构主导"的系统工程思想和方法为指导,提出陆军武器装备体系需求生成支撑平台的要求、任务和组成,并结合具体工具给出支撑平台设计框架示例。     

装备保障能力生成与黏性研究

作为军队战斗力的重要组成部分,动态环境下装备保障能力生成研究成为关注的焦点。针对新军事变革条件下装备保障能力生成问题,采用黏性思想,分析了新军事变革对装备保障能力生成的需求,从要素维、结构维和运行维3方面对装备保障能力生成系统黏性现状进行了剖析,并从哲学的角度对黏性成因进行了研究,最后针对黏性对未来一体化联合作战条件下装备保障能力生成的发展对策进行了探讨,为系统认识和指导装备保障能力生成实践提供思路和新视角。     

二维约束点集Delaunay三角剖分算法研究

在已有算法基础上,提出了任意二维约束点集Delaunay三角剖分的新算法,算法仅在局部产生少量新点,并在局部对三角剖分进行修改,便可保证整体三角剖分符合Delaunay性质.