基于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星的宇航发射任务,创年度宇航发射的历史新高,其发射密度之大、成功率之高和影响力之远都是史无前例的。     

环氧树脂基复合材料加筋板结构吸湿行为研究

环氧树脂基复合材料的性能对湿热环境敏感,掌握该材料所组成结构的吸湿行为对其实际应用具有重要意义。通过以碳纤维环氧树脂基复合材料层合板的non-Fickian吸湿模型为基础,建立环氧树脂基复合材料加筋板结构的non-Fickian吸湿模型,在70℃/85% RH湿热条件下开展加筋板结构的吸湿实验,对所建立模型进行验证,并与已有的加筋板吸湿模型进行对比,通过所建立模型给出了加筋板沿厚度方向的吸湿量分布规律。结果表明:所建立加筋板non-Fickian吸湿模型的计算结果与实验结果吻合良好,在整个吸湿阶段相对误差小于5%,模型的预测精度高于传统Fick模型。所建立的加筋板non-Fickian吸湿模型可用于环氧树脂基复合材料加筋板层合结构吸湿量的准确预测。      

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

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

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

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

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

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

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

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