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

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

深空探测中的钚-238同位素电源

钚-238同位素电源(钚-238 RTG)能够在恶劣环境下长时间自持运行,供电的同时还能提供热能,是深空探测任务的理想能源。首先对温差型钚-238 RTG发电原理和基本结构进行了阐述,介绍了国内外钚-238 RTG应用历史和发展趋势,进而梳理出了钚-238 RTG研制关键技术,然后结合国外钚-238 RTG研制技术状况及未来深空探测需求,对上述关键技术进行了分析和讨论,从而可为我国钚-238 RTG技术发展及其工程应用提供参考。     

无人机自主降落地基/舰基引导方法综述

近年来,随着自主控制技术与任务载荷的快速发展,越来越多的无人机(UAV)具备了良好的任务自主能力。在执行任务过程中,降落阶段的安全风险最大,导航定位精度较差、人员决策失误等是造成降落过程中事故多发的主要原因。通过总结无人机自主降落过程中对引导控制的需求,对国内外无人机军用和民用自主降落解决方案进行了梳理和介绍,对无人机自主降落关键技术和研究现状进行了分析,提出了该领域未来发展的重点方向。      

热线风速仪X型探针的一种新标定方法

一种用于热线风速仪X型探针标定的简捷而准确的方法，借助于理想流动角和无量纲速度参数H，将传统X型探针全速度-偏航角标定问题通过几个函数关系来代替，简化了标定过程，而且具有较高的精度。     

基于空间相关函数的二维紊流场数值生成法

大气紊流是复杂的扰动形式,影响飞行品质、飞行安全。对于复杂的飞行任务,有必要生成二维紊流场模型,从而更准确地反映扰动情况。传统方法是以时间频谱为基础,利用谱分解定理得到所需的成形滤波器结构,进而生成紊流递归模型。这种方法需要经过对模型进行简化,以便利用谱分解定理,使仿真模型的统计特性受到影响;另外,从理论上讲,传统方法只能生成一维大气紊流递归模型。本文直接从空间相关函数入手,提出建立离散自递归模型的新方法,给出了二维紊流场的递归模型     

基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ,ＤＥＤＳ）,而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构,文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念,并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析,阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

轴对称锻件成形过程的热力耦合有限元分析技术的研究

锻件成形过程中,非稳态、不均匀的温度场对金属的塑性流动有很大的影响，尤其是高温成形过程。本文对轴对称段件成形过程的热力耦合有限元分析技术进行了研究。论述了刚塑性有限元分析方法，建立了热力耦合分析模型，开发了轴对称锻件成形过程的热力耦合有限元分析软件。通过将圆柱体镦粗过程的模拟结果与有关文献中的实验结果和模拟结果的比较，说明了该方法和软件的正确性。     

B-SURF三维CAD系统及其在无人机研制中的应用

本文所讨论的B-SURF三维CAD系铣包括3-D几何设计与外形数值计算、3-D图形变换及处理、数控绘图与数控加工自动编程等部分,能实现CAD/CAM方面的十个功能。该系统以造型能力较强的重节点非均匀B样条方法为基础,并把重节点的信息应用到后置处理中去,以充分体现出该方法的优越性。系统具有一定的通用性,可用于无人机、轻小型飞机、汽车及其它具有复杂外形产品的几何设计与制造。     

模块化空间可展开天线支撑桁架结构的热-结构分析

对模块化空间可展开天线支撑桁架结构进行空间热交变环境下的热 结构分析,为天线结构因热致变形影响形面精度和网面稳定性提供合理的防护建议。采用ANSYS APDL有限元软件建立了大口径模块化空间可展开天线支撑结构的精细化数值模型,基于已有试验分别验证了模块化可展开天线结构有限元建模和热分析模型的正确性;分析了在瞬态温度场作用下约束位置等参数对支撑桁架弦杆及拉索应力的影响和热致变形规律。研究结果表明：空间可展开天线结构的应力和变形随时间历程发展与瞬态温度场变化趋势基本一致;同一瞬态温度场下,天线结构中心模块拉索热应力最大,同圈模块的弦杆热应力幅值基本相同,其上弦杆热应力逐圈增大,而拉索热应力逐圈减小;天线结构热致变形在距离约束最远端处整体累计值最大,上层中心点处累计热致变形可达15mm左右,对天线形面精度的影响不可忽略;将天线支撑桁架结构最外侧且距离结构中心最近的模块顶角和与相邻模块竖杆拼接处作为星载天线伸展臂约束时,天线结构的热致变形最小。将该处作为模块化空间可展开天线的展开支点,并建议对天线支撑结构表面采用涂刷隔热防护复合材料涂层等防护措施,以增加天线结构在太空极端环境的适应性,从而减小温度交变对天线整体形变和网面精度的影响。     

Y-8结冰喷水机改装设计与实现

受自然条件限制,在我国进行飞机自然结冰试飞难度大,对人造冰云结冰试验技术的需求显得越发迫切。以Y-8飞机为平台,通过方案设计、桁杆系统与气水系统研制、机上集成改装、地面试验和飞行演示试验等完成了国内首架结冰喷水机的研制,为开展人工模拟结冰试验奠定了基础。