嵌入式操作系统健壮性测试技术

针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。     

计算机生成航空兵力的模型设计与实现

以航空兵力为研究对象，着重研究空中计算机生成兵力（ＣＧＦ）的模型设计及实现技术。并对构造航空兵ＣＧＦ系统的意义进行了分析，叙述了含有虚拟（ＶＲ）技术失工交互仿真实验系统的系统结构和分系统组成成分。同时还分析了ＣＧＦ系统中智能数字飞机的模型特点，重点介绍了动力学建模方法以及编队模型匠建立及编队飞行能力的实现方法，构造出来的计算机生成航空兵力在实验系统中性能良好，满足总体要求。     

基于MiniGUI的嵌入式电加工数控系统图形界面设计

首先介绍将MiniGUI应用于嵌入式数控电加工系统硬件平台组成和软件操作系统的选择,概括了所采用的图形支持系统MiniGUI的性能特点、体系结构及程序开发方法,然后给出了该系统界面的设计框架,最后对参数设置,数控程序界面,加工显示等功能模块设计进行了说明.实验表明,系统具有界面友好,实时性好,可靠性高等特点.     

浅析自动校准软件的测试

测试是自动校准软件开发的重要内容,也是保证自动校准软件质量的重要手段.运用软件工程的思想并结合国内校准实验室实际状况,着重介绍了自动校准软件测试的组织管理工作、方法和测试的一些原则.     

平面波导器件封装工艺软件的研究与开发

平面波导器件的耦合封装是制约其发展的一个瓶颈,通过研究平面波导器件的封装工艺特点,分析了封装过程对控制系统的要求.基于Visual Basic.Net开发了封装工艺软件,研究了手动调整、视觉引导粗对准、自动化对准以及点胶固化四个模块的设计方法,并对编程过程中的关键技术进行了讨论.     

飞机虚拟仪表建模仿真关键技术研究

将介绍虚拟仪表设计软件的设计思路和功能作用。首先介绍了现有的虚拟仪表设计方法，分析其优缺点；之后介绍自主研发的虚拟仪表设计软件的特点，分析设计思路，分解介绍各模块的功能，给出仿真案例及最后的仿真效果。该虚拟仪表设计软件完全自主研发，具有易用性、可迅速建模、容易更改，模块化，通用性等特点。     

发动机高模试验技术研究

基于ANSYS软件平台,建立了发动机高模试验系统传动轴强度和疲劳数值仿真模型,并进行了数值仿真与分析计算,研究了传动轴强度和疲劳与位移之间的关系,得出了传动轴设计准则.通过对发动机高模试验系统扩压器与氮气破空设备的研究、分析与计算,得出了储能气缸和氮气破空环管的设计准则.采用该设计准则设计的发动机高模试验系统解决了发动机试验启动过程压力过高、回火严重、发动机喷管变形等问题,试验系统满足发动机设计对高模试验的要求.通过该试验系统考核的发动机已成功应用于发射卫星的运载火箭系统.     

电镀清洁生产审计评审软件

论述了电镀清洁生产的意义和目的，提出了研制电镀清洁生产审计评审软件的方法、内容及其作用。     

服务及面向服务软件体系结构的属性研究

信息产业在过去的二十年里发生了巨大的变化，新一代软件技术服务和面向服务的软件体系结构（SOA）随之而生以应对变化性和复杂性与日俱增的业务需求。本文以继承的观点对服务进行分析，对服务的元素、属性以及它们之间关系给出了合理的解释，并根据不同的目标将服务属性分成了两组，并在每组中分别解释了服务如何在封装的基础上实现复用目标，以及如何基于统一描述实现交互目标的。此外，本文还给出新的服务和SOA概念，分析了它们的属性。同时还详细地讨论了SOA及其相关技术（分布式系统和服务），以及SOA系统如何通过服务实现分布式目标。     

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向.