一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。     

导弹吊挂寿命可靠性分析的自动化实现

导弹吊挂结构的尺寸参数繁多,而结构形式基本固定。为了提高导弹吊挂有限元分析效率并便于对结构进行寿命可靠性分析,开发了导弹吊挂结构疲劳寿命可靠性分析平台。平台采用Visual Basic语言编写,借助PCL(Patran Command Language)对有限元软件进行二次开发,实现了吊挂结构静强度及疲劳寿命分析的参数化;将六种可靠性分析方法进行计算机编程,实现了吊挂结构可靠性及灵敏度分析的自动化。分析结果表明,仿真分析结果真实有效,可为导弹吊挂的结构优化设计提供技术支持。     

一种软件质量度量模型的研究与应用

软件质量度量是软件工程方面的研究重点之一.通过量化的手段对软件产品进行度量和评价是最有效的质量保证手段.本文提出了软件质量度量模型,根据标准的评价过程模型对其进行了分析,从而确立了质量特性、质量子特性、度量特性和度量标准,并给出了这些特性的之间的关系以及它们的权值.然后运用一组公式对度量方法进行了表示并提出了该模型的应用.本文为软件质量度量提供了一套可行的定量评价方法.     

基于Matlab的飞机起落架着陆动态仿真研究分析

机械系统动态仿真技术是机械产品设计开发的重要辅助手段之一,通过对机械模型进行各种动态性能分析,然后改进机械产品的设计方案.本文对某机型支柱式起落架建立了基于Matlab软件的动态仿真模型,并进行了仿真分析和参数优化设计.结果表明,仿真结果与实验结果吻合,参数优化设计合理.所以,基于Matlab软件的动态仿真是可行的.同时所建立的动态仿真模型也为进一步研究起落架的样机试验奠定了基础.     

基于Web服务的供应链协同管理系统构建

全球市场环境中的供应链,其核心是协同管理.基于Web服务的描述、绑定及发布功能,可为相互竞争与合作的供应链企业提供业务功能访问技术和便利的信息服务.实现由工作流技术定义企业过程,用SOAP进行XML消息传递,通过软件Agent实时执行工作流任务,形成具有高柔性和敏捷性的供应链框架,支持企业更有效地部署营运方案、降低成本和开拓新商机.     

航空电子软件仿真测试环境软件体系结构研究

首先介绍航空电子软件的特点,分析航空电子软件测试对测试环境的需求,提出一种分布式仿真测试环境的软件体系结构设计.基于RUP模型,以不同视图系统地对航空电子软件测试环境的体系结构进行了描述.应用代理模式,解决了分布式测试环境节点间实时通讯的关键技术.据此设计和实现的分布式仿真测试平台系统DSTE V1.0已成功地应用于多个航空电子软件系统测试工程中.     

基于虚拟仪器技术的直升机航电信号仿真系统设计

本文针对航空电子系统地面联试时,有些设备不能按时交付或需要做修改不在试验现场,需要对其他系统进行测试的问题,设计了一套信号仿真系统,该系统运用虚拟仪器技术增强了可操作性。文中介绍了系统的软硬件组成,并举例介绍了仿真程序的开发过程。     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

飞行器多学科设计优化软件系统

为解决飞行器总体设计的难点,介绍了可用于飞行器多学科设计优化的软件.该软件利用"松耦合"方式,以SQL Server 2000为数据库管理系统(DBMS),与各学科分析程序相结合.阐述了该系统的功能和软件结构、软件流程、主要模块.为解决关键技术,提出圆环图处理总体与各学科的关系,利用模糊理论进行非数值型变量的转化,提出无量纲化多目标法进行多目标综合处理,构建单一数据库进行数据管理,采用三个数据文件作为程序接口.总结了软件的特点.算例表明软件具有实用性.     

基于程序行为累积分析的软件故障定位方法

软件出现失效后,如何根据软件运行时的输入以及运行行为来快速定位引发失效的故障是一个非常有价值的研究问题.提出了故障定位的锥状框架,并基于其将故障定位问题表示为一个分层细化的过程.在软件输入层,利用程序行为累积分析技术对软件的行为进行建模分析,得到了统计故障定位模型,从而解决了软件输入层的故障定位问题.为了检验故障定位模型的效果,选择了5个软件进行实验,对其中4个设计并植入故障,另外1个为真实软件,实验获得了平均0.803的定准率和平均0.697的定全率.在此基础上,如何应用程序行为累积分析技术在软件设计模块层解决故障定位问题得到了进一步的分析.