基于P2P的大规模MANET分层共享路由模型

目前基于P2P的MANET路由模型研究已经成为一个热点,但其研究成果主要适用于中小规模MANET环境,没有充分整合P2P分布式共享的最大优势,且普遍存在绕路和效率不高等问题.文章提出基于P2P的大规模MANET分层共享路由模型,在跨层优化的基础上,通过引入基于网络物理拓扑的分层机制提高网络可扩展性,同时将P2P分布式共...     

电磁弹射过程中涡流引入阻力的分析

永磁直线电机能够满足电磁弹射系统短距内高加速与快制动的应用要求,但是永磁直线电机的快速运动可能引入明显的涡流效应,在电机加速度段,涡流效应引入涡流阻力,削弱了系统的弹射能力,另一方面,在电机的制动段,涡流效应引入的阻力可以帮助系统实现快速制动.针对电磁弹射系统所采用的定子开槽、集中绕组、动磁式永磁直线电机,仿真分析了动...     

小行星探测多脉冲交会轨道多目标优化

现有的小行星探测交会轨道研究多集中于二脉冲最优燃料研究,本文则研究了小行星探测多脉冲交会轨道多目标优化问题.基于Lambert交会算法建立了包含地球逃逸轨道和日心转移轨道的多脉冲交会轨道优化模型,以燃料消耗最小和转移时间最短为两个优化目标函数.采用一类典型的多目标进化算法——NSGA -Ⅱ用于Pareto最优解的确定....     

一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)...     

警用脉冲防暴水炮发射管内的建模与仿真

建立了基于气体动力学理论、力学基本定律及因次分析方法的求解脉冲防暴水炮发射管内压力,水柱速度及摩擦力的计算模型.以某型水炮为例算得了最大理论出口平均速度和出口压力,利用fluent软件对炮管发射状态进行了管内模拟,得到气液界面的演化图像,及出口平均速度曲线和管内压力云图,验证了所得模型用于管内计算的准确性.该组数学模型...     

编队对地攻击作战效能评估指标体系

首先分析了作战效能的概念,给出了编队对地攻击作战效能的定义.然后针对编队对地攻击作战的特点,指出了编队作战效能评估指标选取应遵循的原则.并对当前编队作战效能评估指标体系进行了深入分析,指出其存在的不足,提出了编队对地攻击时间效能指标的概念.最后,建立了编队对地攻击总体作战效能的层次指标体系模型并对时效性指标进行了深入分...     

基于信息模型的C4ISR系统需求集成方法

多视图需求工程中"分而治之"的需求开发方式,必然会产生"需要集成"和"如何集成"等问题.研究了基于多视图的C<'4>ISR系统需求框架及其视图产品,并在此基础上给出了C<'4>ISR系统需求集成的概念与范围.通过建立需求信息模型,从语法、语义和语用三个层次研究构建一个需求集成框架.通过需求产品之间的关联关系,分析不同视图产品在集成中存在的问题,并给出了需求集成框架中不同需求产品的集成过程,为C<'4>ISR系统需求集成问题的解决提供一个可供参考的方法.     

脉冲防暴水炮炮管内湍流流场的大涡模拟

脉冲防暴水炮对于群体性骚乱事件的有效处置作用重大,为提高其刺激剂雾化效果及最大有效射程,奠定外流场研究的基础,进行了炮管内湍流流场的大涡模拟。并将结果与RANS的模拟结果做了比较,两者均受重力影响,炮管内速度梯度较大区域在气嘴出口处,水柱段速度基本相等。RANS模型的速度场呈对称分布,因对速度进行了均化处理,导致各处速...     

事件驱动过程链在军事信息系统建模中的应用

要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.