支持MEMS的CAD/CAE系统结构研究

CAD/CAE技术在MEMS(Micro Electro Mechanical Systems)研究过程中具有非常重要的作用.本文首先介绍了用于MEMS的CAD/CAE技术特点,然后研究了MEMS CAD/CAE系统结构,给出了软件支持工具结构框图,指明了解决其中关键技术的途径.CAD/CAE技术的应用,将提高微型机电系统的设计质量,缩短研制周期,使之及早走向工业化.     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

CNC数控系统控制软件

本文分析了数控机床控制系统,由硬件NC(Numerical Contro1)向CNC(ComputerNumerical Control)转变时进给速度下降的问题,阐述了解决此问题的一种方法——二次插补方法。指出CNC数控系统是个多重中断系统,论述了将数控的工作按其重要的程度、实时性的高低,安排在不同的优先级,使整个系统协调工作的思想。     

基于层次分析法的综合射频架构选取技术研究

综合射频系统是作战飞机航空电子系统的重要组成部分，它们是作战飞机通过无线电方式感知外界信息的重要系统。系统架构的选取直接影响了飞机的作战性能，针对以往架构选取依赖大量定性分析而缺乏定量对比问题，提出了基于层次分析法的综合射频架构选取技术，该技术能够有效地根据不同的任务需求和平台需求，综合考虑定量和定性因素，给出更为合理对比分析结果，为综合射频系统的系统设计提供技术支撑。该技术也可推广到航空领域其他多目标决策问题的应用。     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

小型固定翼无人机集群综述和未来发展综述

围绕小型固定翼无人机集群这一难度高、发展快、应用前景广阔、多学科交叉的新方向,从集群系统内涵、现有典型项目、关键技术3个角度综述了国内外小型固定翼无人机集群的研究现状。在系统梳理集群系统内涵和应用优势的基础上,从集群协同模式探索、分布指挥体系构建、核心关键技术突破和集群验证等4个视角总结现有典型项目,从体系架构、通信组网、决策与规划、飞机平台、集群飞行、集群安全与集群指控等7个核心点综述了技术研究现状。最后,综合小型固定翼无人机集群中亟需解决的关键技术,展望了这一领域未来的发展趋势。     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成,研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口,有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口,将不同工具的数据集成抽象成统一的公共接口,从而采用统一的数据接口和...     

航空发动机组件化建模技术

提出了使用组件化开发通用航空发动机仿真平台的思想:从发动机结构的角度将发动机模型分解成多个组件;从软件功能的角度将仿真软件的辅助部分也分解成多个组件.在此基础上开发了涡扇发动机的仿真平台,取得了良好的效果.所建立的仿真系统实现了模块化、层次化,易于维护和改进,可扩展性强,提高了代码重用率,体现了该框架的灵活性.      

二维翼型结冰数值计算

翼型结冰计算是随着结冰时间步长变化的准定常过程,因此在每个时间步长后都要更新各个模块的计算工作,如此反复直到达总结冰计算时间.在各模块计算中,分别采用了泊松方程法生成网格、求解雷诺时均方程计算流场、拉格朗日追踪法求解水滴轨迹、基于Messinger模型计算冰形、采用变距滤点法重构边界.引入动态链接库技术将各模块集成为结冰计算平台,并将三种冰形(楔形冰、槽状冰及混合冰)计算结果与国外软件及试验数据进行了对比.