基于有色Petri网的移动IP注册过程安全性分析

在分析移动IP注册工作机制及安全威胁的基础上,分别建立了基于有色Petri网的移动IP注册模型和攻击模型,通过推理验证了攻击的可达性,最后给出了相应的防护方法。     

利用对象Petri网验证场景

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

基于不完备数据样本的联合作战大气一海洋环境风险决策

针对大气一海洋环境对武器装备和作战行动影响的实验样本数据稀少的困难,改进和发展了一种非均匀信息扩散技术,该方法可从有限的试验／实验样本结构中客观拟合出数据信息的扩散函数,进而实现有限数据样本信息的合理拓展。利用该方法对影响联合作战的大气一海洋环境实验数据样本进行了信息扩散和仿真建模。实验结果表明该技术可对不完备数据样本进行有效的信息拓展建模,评估结果基本符合客观实际。     

气动光学效应中调制传递函数的计算方法

从Maxwell方程出发 ,推导了光在湍流中传播的调制传递函数的计算公式。依据折射率起伏相关函数的两种形式 ,计算了光学相位差。根据湍流的动能和动能耗散率输运方程 ,建立了折射率起伏方差的计算模型。最后 ,指出了文中所给公式的适用范围 ,对更好地进行调制传递函数的计算提出了建议。     

以数据为中心的C~4ISR系统体系结构开发方法

体系结构开发方法研究是当前C4ISR系统体系结构技术研究的一个热点,在总结现有相关问题的基础上,提出了以数据为中心的C4ISR系统体系结构开发方法的定义,并提出了该方法的开发过程.将体系结构开发分为初始化、数据分析、数据设计和数据验证四个阶段,并详细说明了各个阶段主要完成的任务及其常用的方法.最后对以数据为中心的体系结构开发方法的发展进行了总结和展望.     

舰艇防空反导自适应干扰HDP算法分析与仿真

为干扰来袭的多波次、多方向反舰导弹,提高舰艇防空反导能力,分析了自适应干扰HDP算法模型,并通过实例进行仿真。通过对结果进行分析,验证了启发式动态规划(HDP)算法在自适应电子干扰策略最优组合的生成过程中的时效性、预测精度以及适用性,为该算法的后续研究提供支持。     

灭雷具缆体系统动力学计算模型

为提高灭雷具的作战效率,从灭雷具缆体系统在流体中的动力学特性出发,指出缆索对灭雷具的阻力是影响灭雷具操纵性的重要因素,并采用节点离散法建立了缆体系统在海流中的动力学计算模型;根据仿真数据分析了灭雷具操纵性受缆体系统阻力的影响,并提出了合理的操纵建议。     

流媒体的RTP传输与QoS管理策略研究

应用RTP协议进行传输和实现QoS管理是当前数据传输方面的热点问题,通过分析RTP协议的结构和原理,提出了一种RTP的传输模型,实现了数据流的RTP传输,同时就RTCP协议(RTP协议的传输控制部分)对QoS的管理策略进行了理论探讨.     

基于分辨力最优的MIMO雷达布阵优化

在MIMO雷达的分辨力达到最优的基础上,提出了一种阵元配置的方法,从理论上分析了其估计性能,并将其与最小冗余配置下的MIMO雷达在分辨力、估计成功概率、CRB(Cramer-Raobound)、拓扑增益等方面进行了仿真对比,结果表明:与最小冗余配置方法相比,该方法配置下的MIMO雷达在分辨力和估计的CRB下界等估计性能方面更优,更利于在实际中应用.最后,计算机仿真结果验证了方法的有效性和可行性.     

超视距反舰导弹打击水面舰艇编队计算模型

对水面舰艇编队采用超视距反舰导弹进行饱和攻击时,需要计算所需导弹数量。文章通过交战模型原型和损伤积累目标毁伤规律的分析,逐步建立超视距导弹对水面舰艇编队攻击作战的概率计算模型,以确定发射导弹数目与目标毁伤程度之间的关系。