Platform LSF软件在高性能计算集群中的实施与应用

随着信息处理技术的精度、可靠度等要求的进一步提高,采用高性能计算集群系统已经成为数字化制造中的关键技术之一.本文结合高性能计算应用现状的不足,阐述了Platform LSF软件设计思想和目标,介绍了该软件的实施与应用情况.     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

型号数据二次处理标准化研究

阐述了目前型号数据二次处理所面临的现状,分析了型号数据二次处理标准化研究的必要性,通过具体措施实现了二次处理标准化数学模型的收集、验证、软件实现及应用推广,形成了一套行之有效的试飞数据处理规范,制定了相应的数据处理流程和制度,加强试飞技术和数据处理技术的积累,提高了工作效率。通过型号数据二次处理标准化研究,标准化算法、模型及软件,规范标准数据处理软件的使用和更新,能够有效缩短数据处理周期,提高数据处理可靠性,利于客观评价被试对象,给出科学合理的试飞结论。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

西门子简化PLM软件部署加速投资回报北大核心

近日,Siemens PLM SoftWare宣布实施一项基于应用的产品发布新方法,以帮助制造商简化其对全球应用最广泛的数字产品生命周期管理系统Teamcenter软件的部署。     

多源自主导航系统可信性研究

多源自主导航系统技术是新一代国家综合定位、导航与授时(Positioning, Navigation and Timing, PNT)体系下终端用户导航系统的技术发展方向。聚焦于导航信息智能决策的可信性,分析了可信性理论构建存在的科学技术问题,基于任务场景、运动环境以及载体动力学特征等,提出了多源自主导航系统中的载体动力学智能建模与计算、融合载体动力学特征的导航方式无感切换与智能决策、可信性自主判别与动态迭代优化的解决方案,为多源自主导航系统技术体系构建打下基础。     

涡轮盘双轴对称异形孔结构建模与优化

针对发动机轮盘孔结构的应力集中问题,以某高压涡轮盘安装边螺栓孔为研究对象,建立了涡轮盘非圆异形孔数学模型.该异形孔由双轴对称的8段圆弧光滑连接而成,并满足螺栓装配的要求.使用该异形孔模型取代了原螺栓孔.以有限元分析为基础对异形孔进行了优化,得到该轮盘安装边多圆弧异形螺栓孔的最佳形状.结果表明:优化后的多圆弧异形螺栓孔边第1主应力最大值降低了14.8%,孔边应力集中程度显著下降.设计参数灵敏度分析结果表明,与主圆弧相连的过渡圆弧的尺寸对孔边应力的影响较为显著,在设计中应予以重视.      

SCADE模型驱动开发过程研究及高安全性分析

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。