航空壳体类零件虚拟加工仿真的研究

以航空壳体类零件为研究对象,分析该类零件的结构特点,利用UG和VERICUT的功能,形成了一套航空壳体类零件虚拟加工仿真方法。     

基于ACIS几何造型平台的固体火箭发动机装药设计

以三维几何造型内核软件ACIS为平台,采用实体造型法进行装药设计,提出了偏移操作复杂燃面和分段控制燃面退移过程的方法,从而解决了装药燃面退移时商业软件无法克服的自相交和特征形体消失等问题。同时,总结了在该平台上进行装药设计的基本原则和方法,即消除几何尖锐点,确保几何形体间相对独立和间接构造复杂结构的装药等。另外,还提出了一个以图形系统为核心,综合装药药形设计、内弹道计算、结构完整性分析和报表输出功能的装药集成设计方案。最后,给出了一个星槽管形装药算例。     

自适应1553B总线通信功能系统级测试方法设计

一些通信卫星通过自适应1553B总线通讯,因此总线控制端在上电前对终端设备的内部遥测参数容量、存储位置是未知的,而是在系统上电后及运行期间动态地维护当前所有终端设备的状态信息,并由总线控制端通过对终端设备的轮询确定终端设备的总线接入状态,并动态获取终端设备的自描述信息,从而解决综合电子总线自适应性能单一、普适性差、数据动态交互机制弱的缺陷。针对某通信卫星自适应1553B总线通信功能,提出一种精准快捷的通信卫星1553B总线测试系统,通过1553B总线终端监视与处理设备,分别对1553B总线的自描述信息动态轮询获取功能和A/B总线自适应轮询功能进行测试,实现对自适应1553B总线实时监视与分析功能。实验表明,该测试系统有效验证了卫星1553B总线自适应通信功能,为总线通信的有效性和实时性提供保障。     

基于DMIS的坐标测量机编程软件方案设计

论述了基于尺寸测量接口标准 (DMIS)的面向对象坐标测量软件的设计方案。该软件采用DMIS中性语言 ,为三坐标测量机提供测量程序 ,以适应检测规程的互操作性、柔性 ,为便携式、大量程坐标测量机 (CMM)系统的实现创造条件 ;按尺寸和公差原理的数学定义 (MDDTP)计算尺寸和形位误差 ,以减少由于对公差标准理解的不统一而带来的测量结果的不确定度 ;提供通用对象请求代理体系 (CORBA)模块接口 ,以实现在不同操作平台和语言环境中 ,按DMIS标准进行信息通讯 ,为信息系统的集成提供条件。     

通用ATS软件设计平台研究

通用性是当前ATS的发展方向 ,讨论了通用ATS测试软件设计平台的基本属性、软件结构 ,并重点介绍了IVI特性的基本原理。在平台内核基础上设计的TPS继承了平台内核的属性 ,具有很好的可重用性及硬件无关性。     

机载设备综合ATE通用软件平台

针对机载设备综合ATE测试程序的编制及运行,提出一种既可编制测试程序又可运行测试程序的通用软件平台,测试程序以文本文件形式保存,实现了测试参数与测试源程序的分离。     

一种基于MATLAB快速开发跨平台算法软件的方法

利用MATLAB进行算法的研究、仿真和实现，已经成为科研工作者的重要手段之一。在MATLAB上开发算法便捷、高效，但无法直接应用在其他平台，此时需要软件人员编码转换进行二次开发。如果某个算法同时应用在Windows和Linux这两个系统中，软件人员需要开发两个不同的软件，它们功能相同只是代码不同。这不仅增加了软件开发的工作量，同时也不利于后期维护。针对上述问题，提出了一种基于MATLAB快速开发跨平台算法软件的方法。首先，利用MATLAB开发算法的便捷性进行算法的调试与验证，简化接口函数；其次，使用MATLAB Coder生成独立于MATLAB的C/C++代码；然后，将生成的代码在不同平台下进行封装，生成该目标平台的动态链接库；最后，不同平台通过调用该平台下的动态链接库，实现了同一算法的跨平台软件开发。所提出的算法软件跨平台开发方法，已成功应用于多个实际项目。通过本方法，不仅缩短了软件的开发周期，提高了软件编程效率，减少了软件开发中的人为错误，同时方便了软件的后期维护。     

基于1553B和SpaceWire组合网络的星载数据管理软件设计

为同时满足对于星务管理数据和高速载荷数据的传输要求,国内外的飞行器趋于使用1553B和SpaceWire组合网络来进行星上数据传输.复杂而灵活的数据传输要求使得卫星数据流设计中引入了大量标准协议,同时大大增加了星载数据管理软件的复杂度.对一种基于1553B和SpaceWire组合网络的星载数据管理软件的协议体系进行了介...     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。     

基于TestStand及LabVIEW的航电通用故障监控软件自动化测试研究

基于TestStand及LabVIEW软件平台,以航电通用故障监控软件为例,从测试架构、测试逻辑等角度,为航空电子软件自动化测试提供思路和方法.