协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

GPRS核心网自动拨测系统的设计与实现

GPRS核心网自动拨测系统是在GPRS核心网接口接入,以信令仿真方式向各实体发起拨测业务,从而实现业务可用情况、网元承载信令、路由通畅性、业务感知等指标的周期性自动测试的新一代业务测试系统。该系统具有独创性和前瞻性的特点,填补了国内外相关领域的空白。     

基于CGF的水面舰艇编队模型仿真

计算机生成兵力(CGF)技术在水面舰艇编队智能化生成和仿真方面有着十分广阔的应用前景.从水面舰艇编队CGF物理模型人手,研究了水面舰艇单舰及战斗编队、舰载直升机和潜艇等兵力的仿真,实现了CGF兵力在执行各种作战任务过程中的所有战术动作仿真,重点研究了水面舰艇编队的攻击、防御智能决策和软硬武器的智能化仿真,包括导弹、鱼雷、深弹、电子对抗和水声对抗器材等.通过在舰艇作战仿真训练系统的应用,表明CGF对提高水面舰艇编队兵力生成和仿真的智能化程度是非常有效的.     

导弹自动驾驶仪的模糊自整定免疫PID控制

提出了一种模糊自整定免疫PID控制器的设计方案.该控制器将免疫反馈机理与传统的模糊PID控制有机地结合起来,实现了对控制系统的参数自整定.给出了某战术导弹自动驾驶仪的传递函数和仿真试验设计.仿真结果表明,这种模糊自整定免疫PID控制效果明显优于传统的模糊PID控制方式,具有较强的抗干扰能力,特别对变参数系统具有较强的鲁棒性.     

以科学发展观全面推进战斗力生成模式根本转变

胡主席提出以科学发展观为统领,建设伟大的社会主义和谐社会.在我军的现代化建设进程中,必须要以科学发展观全面推进军队战斗力生成模式的根本转变.在军事思维上,必须实现由"要素分离"型向"体系融合"型主导转变;在训练理念上,必须实现由"消极安全"型向"实战任务"型转变;在系统建设上,必须实现由"条块分割"型向"综合集成"型转变;在军事实践上,必须实现由"经验归纳"型向"虚拟实践"型转变;在管理控制上,必须实现由"粗放低能"型向"和谐高效"型转变.     

基于品质度量的移动Ad Hoc网络分层密钥管理优化技术

提出了一个分布式的基于品质度量的分层密钥优化管理机制。该机制通过动态选择高品质的节点作为PKG来增强移动Ad Hoc网络的安全性,并将网络生存时间最大化。节点的选择可以归结为随机(restless bandit)问题,并且将密钥更新过程分为在线和离线两个部分,从而降低了计算复杂性。仿真结果表明,该机制可增强网络的安全性和将网络生存时间最大化,非常适合移动自组网的应用要求。     

基于MPC方法无人机避障路径规划研究

无人机大多依靠规划好的航路飞行,面对复杂的、不可预知的飞行环境,有效的自主障碍规避能力对提高飞行安全十分必要。针对无人机飞行过程中机动障碍物的避障问题,提出了一种MPC避障路径规划方法。构造障碍物预测模型、一阶指数参考轨迹生成方法、并提出了能力-时间组合最优为目标的滚动优化模型,有效解决了在运动障碍物作用下,无人机运动轨迹安全、平滑的动态规划问题。二维和三维空间仿真结果表明,所提方法是有效的。     

论加快转变国防动员能力生成模式

国防动员能力生成模式,是国家通过构建国防动员组织体制、国防动员计划体系和国防动员法规制度体系,并运用一定的技术手段,形成国防动员能力的基本方式。信息化战争的战场环境,要求尽快转变国防动员能力生成模式,其实质是发挥信息力在动员能力生成模式中的主导作用,基本路径是以信息化为牵引对国防动员组织体制、计划体系和法规制度体系进行适应性调整。     

联合生成对抗网络和检测网络的SAR图像目标检测

针对合成孔径雷达图像目标检测中存在的样本获取困难且数量有限问题,提出了联合生成对抗网络和检测网络的学习模型。利用原始训练集对特别设计的超快区域卷积神经网络进行预训练;再通过基于注意力机制的深度学习生成对抗网络生成高质量合成样本,并输入检测网络进行预测;依据预测信息和概率等价类属标签分配策略为新生样本提供注释信息,并以一定占比对原始训练集进行扩充;利用扩充数据集对检测网络进行再训练。多组仿真实验证明,所提框架能够有效提升网络检测效率和性能。