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

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

通用ATS软件设计平台研究

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

一种基于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软件平台,以航电通用故障监控软件为例,从测试架构、测试逻辑等角度,为航空电子软件自动化测试提供思路和方法.     

云服务技术在航电软件研发中的应用研究

航空电子系统硬件的发展，为云服务技术在航空领域的应用提供了可能。借助虚拟化及容器管理技术， 将机载计算资源进行池化管理，并借助服务化技术，将复杂航电软件拆分为可协作的独立模块，能够实现航电 软件的快速构建、灵活部署，并提高航电软件之间的互操作能力。本文讨论了云服务技术在航空领域的应用现 状，研究并提出了一种应用于航电软件研发的云服务架构，给出了服务化和容器管理平台的实现方案，并构建 了应用原型验证环境。     

星载控制软件在轨动态重构技术研究

为使星载控制软件可在轨动态重构，提出一种基于量子编程框架、无须操作系统支持、可实现多版本切换的星载控制软件在轨动态重构方法。在分析影响在轨动态重构关键技术基础上，从量子框架的面向对象运行机制出发来寻求软件框架对动态重构的支持；通过划分函数边界，将函数归类为内部函数和公共函数，避免了模块间的循环依赖；给出了函数向量表维护策略，并以版本号为导向实现了向量表切换。该方法在BM3803星载处理器平台进行了充分测试，结果表明：所提出的在轨重构方法系统无须停机、版本可回退且更新过程可靠。本方法占用内存小、平台依赖性弱、代码可复用性强，可推广应用至硬件资源有限的星载控制器终端。     

面向信号的 ATS测试软件结构及相关模型

面向信号的自动测试是通用自动测试系统的发展方向，建立统一的测试系统模型是面向信号测试系统中信号管理与任务调度的关键。为了实现面向信号的测试系统软件的规范化描述，文章采用测试软件分层描述的方式，以信号模型为中心，给出了仪器模型和测试任务模型，并论述了各模型之间的关系。     

基于分布式仿真技术的惯性导航模拟训练软件设计

利用两台计算机分别对飞机的飞行过程(圆周协调转弯)和惯导系统进行仿真,对飞机飞行过程的仿真采用VC++和LabWindows/CVI语言,同时运用LabWindows/CVI语言完成了可视界面的制作,制作的用户界面直观、方便、简洁,易于使用与维护。最后利用相应的通讯程序通过网络将两台模拟器连接起来,完成基于分布式仿真技术的惯性导航模拟训练软件设计和实现。