基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

火星探测直接转移轨道精确求解研究

针对火星探测直接转移轨道精确求解问题, 提出了一种快速微分修正算法. 基于二体模型建立控制参数和目标参数偏差关系的数学模型, 并由此求解系统的偏导数矩阵; 采用B平面参数作为中间变量, 对算法进行两层迭代设计, 有效地减少了求解过程中的积分运算次数. 以2018年火星探测机会为例对算法进行了验证, 仿真结果表明, 利用圆锥曲线拼接法得到的轨道初值, 求解一条标准轨道只需6~9次积分迭代. 通过STK对计算结果进行了对比和验证.      

距离门信号级的机载双基雷达地杂波模拟方法

由于几何配置的多样性,双基雷达地杂波模拟比较复杂.虽然单基雷达杂波散射元划分的方法可用于双基地杂波仿真,但不利于特定距离门信号的分析.在比较了单双基地雷达地面散射元等距线的基础上,提出一种距离门信号级的机载双基雷达地杂波模拟方法,距离向以双程斜距分辨率划分椭圆环,推导出地面椭圆表达式和散射元坐标解析解,方位向引入椭圆中间参量,在保证多普勒分辨率基础上划分杂波元网格,给出杂波模拟中未知参量的计算.该方法不仅能进行所有观测区域杂波功率谱的仿真,且可完成某些或某个距离门杂波回波信号的计算分析,实现距离门信号级杂波的模拟.仿真结果验证了该方法的有效性.      

无人机全空域飞行影响因素分析

进入全空域飞行是未来无人机发展的必然趋势,所面临的关键问题是安全性和空中交通管理.根据无人机大、中、小型,低、中、高速并存的特点,分析了无人机安全性和影响其全空域飞行能力的关键因素与改进方法,包括建立分类管理机制,提高自主导航与控制能力,进行动态任务规划,采取协调机制,增强环境感知与规避能力等.进一步提出了无人机空域飞行的建模/仿真理论框架,目标是在提高无人机可靠性的基础上,使其具备全空域飞行能力,从而降低无人机使用成本、提高空域共享能力,实现有人机、无人机共享空域.      

资源约束条件下舰艇编队多智能体协作规划

从分析舰艇编队对海作战的流程出发,在决策过程中引入多智能体系统(MAS,Multi-Agent System)理论,建立了编队协同反舰作战Agent模型.针对舰艇编队Agent协作规划过程中受资源约束产生资源占用冲突的问题,建立一种主从式结构多Agent协作规划模型,并提出一种集中与分布规划相结合的MAS协作规划方法.仿真实例表明:该方法可有效实现作战编队各Agent之间的协作与协调,保证舰艇编队在满足资源约束条件下实现预期战术目标.      

宇航发射满堂红背后的故事

2010年12月18日4时20分,长征三号甲运载火箭于西昌卫星发射中心点火起飞,832秒后星箭成功分离;51分钟后,卫星太阳翼展开,第七颗北斗导航卫星成功进入预定轨道。至此,中国航天科技集团公司共完成15箭20星的全年宇航发射任务,并全部取得成功。此次发射入轨的第七颗北斗导航卫星,是北斗卫星导航系统中第二颗在倾斜轨道上安家的卫星,也是中国2010年     

中国航天的“火箭”速度

2010年,中国航天的宇航发射任务以第三颗北斗导航卫星的华丽出场拉开序幕,又以第七颗北斗导航卫星的一飞冲天压轴谢幕,漂亮的一起一合,于中国航天而言,无疑是一场精彩至极的汇报演出。一年间,中国航天共完成15箭20星的宇航发射任务,创年度宇航发射的历史新高,其发射密度之大、成功率之高和影响力之远都是史无前例的。     

基于神经网络的维修保障流程影响度分析方法

针对维修保障能力的主要影响因素分析及其影响度的量化问题,以维修保障业务流程作为分析对象,通过建立业务流程参数与装备使用能力的关系函数,建立影响因素和影响度的分析方法,并给出影响程度、关键要素、关键影响要素以及综合影响度定义.以流程数量、效率和稳定性作为分析指标,利用MATLAB软件基于神经网络实现对关系函数的逼近求解,为装备制造企业提供确定关键流程和主要影响因素的系统实现.以某航空装备制造企业维修保障业务流程为例给出具体应用,与专家评价方法相比该方法可获得更为客观的分析结果.      

构架式空间可展开支撑臂

构架式空间可展开支撑臂在实现大尺寸高刚度航天器方面有着广泛的应用需求。文章论述了几种典型构架式空间可展开支撑臂的结构组成、工作原理和发展现状,从多个方面比较了不同类型构架式空间可展开支撑臂的特点,阐述了构架式空间可展开支撑臂发展趋势,指出球铰接杆式空间可展开支撑臂是适应大型化发展的空间可展开支撑臂主要发展方向,分析了实现球铰接杆式空间可展开支撑臂工程化尚需解决的关键技术。     

基于AFDX网络的飞行管理仿真系统

系统建模与数字仿真是大型客机飞行管理系统研发的重要阶段.初步建立了基于航空电子全双工交换式以太网(AFDX,Avionics Full-Duplex Switched Ethernet)的飞行管理系统分布式实时仿真系统模型.对飞行计划、飞行导引、轨迹预测、性能计算、综合导航、导航数据库、综合显示等核心功能进行了分析建模和算法开发.并在此基础上对飞行管理计算机、综合导航系统、自动飞行系统等仿真子系统进行了设计,在满足实时性要求的前提下,基于AFDX网络与分布式仿真结构实现了对以飞行管理计算机系统为核心的航空电子仿真系统的集成,给出了一种通用的、基于AFDX网络的飞行管理系统分布式仿真框架.仿真系统的运行结果证明:基于AFDX网络的分布式仿真结构能够有效满足实时性要求,提高网络通信性能.