基于模型转换的IMA系统可调度性验证方法

综合模块化航空电子系统（Integrated modular avionics ,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering ,MDE)框架下,基于实时嵌入式系统建模与分析（Modeling and analysis of real time and embedded system,MARTE）模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE 对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。     

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

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

基于AADL的综合模块化航空电子通信调度分析与建模

针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics, IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言(Architecture analysis and design language, AADL),对实例中的通信流进行建模,并进行实例化,得到端口连接一致性检测报告,验证了文中通信流模型的可行性和有效性。     

基于SyncML的安全数据同步SDSXS-API

为解决移动数据库及其应用程序数据同步时的安全性、可靠性和完整性，在移动数据同步交换标准规范——Sync ML协议的基础上，提出并实现了安全数据同步交换服务应用程序接口（SDSXS—API），为移动数据库系统及其应用程序提供了统一的数据同步交换的调用平台，既保证了移动环境下数据传送与交换的可靠性和完整性，又保证了系统数据传送的安全性。     

飞机装配工装组件库与快速装配设计技术

结合航空企业数字化应用的现状,基于飞机装配工装设计中的应用需求,研究工装组件的参数化设计、参数化组件库的构建以及组件的快速装配设计技术。应用CAA在CATIA平台上进行二次开发,实现了飞机装配工装组件库和快速装配设计功能,可提高装配工装设计的效率和质量。     

机载电源系统中用电负载的智能管理

机载用电设备的监控和配电管理是以智能负载管理中心（ELMC）为控制核心，并通过多路传输总线及固态负载功率控制器来转换和保护负载而实现的，同时ELMC双是分布式航空电子系统-航空电源综合控制和管理系统中的主要组成部分。飞机电气负载的智能管理，是利用计算机来代替了飞行人员的操作，进行自动控制和自动管理负载，可大为减少配电系统的电缆长度以及飞行人员的操作负担，改善了现有的配电方式和负载管理方法，提高了飞机供电系统的性能和维护性能。本文研究了EIMC总体结构与组成原理，详细论述了ELMC中各组成模块的功能与硬件设计。整个系统方案通过了实验室原理样机试验。     

飞行仿真中基于嵌入式Qt的CDU仿真模块设计

为了提高飞行仿真中控制显示组件（CDU）的真实度,本文基于嵌入式Linux和Qt,参照真实CDU的显示和按键的特性,使用面向对象的仿真方法建立CDU的页面显示和页面逻辑,实现了CDU的显示输人功能。使用SQLite数据库存储页面标题,上位机处理页面数据,以模块化的思想简化了CDU页面的生成。经实物测试,该方法能方便地生成CDU页面。     

设计模式和构件技术在航空管制地理信息子系统中的应用

目前国内外已经存在众多优秀的地理信息系统(GIS)，例如MapInfo、ARC／INFO等系统，但综合考虑它们的功能特性，都无法完全满足航空管制系统对地理信息部分的需求。航空管制系统有SRM(专用、实时、使命重大)特征，要求运行在实时UNIX操作系统下，并支持中界面的显示和操作，因此自主开发全中支持的面向航空管制的地理信息系统就显得十分重要。本结合传统方法，阐述了设计模式和构件技术在机场管制中心系统中的应用，从设计模式的角度对地理信息的存储、显示、控制等方面进行分析建模，并在具体应用中实现，大大提高了地理信息系统的安全性和可移植性。     

基于LabVIEW平台的数字抽取滤波器的设计与应用

介绍了基于LabVIEW平台的数字抽取滤波器的设计。该方法是对高采样率的数据进行低通数字滤波，然后对结果用1／K倍重新采样，将数字信号频带压缩K倍，从而实现动态测试较大的动态范围要求和划分频带要求，数字抽取滤波器的设计包含调制，数字滤波和抽取三方面，LabVIEW是一种基于图形编程语言（G语言）的开发环境，采用交互界面设计，模块化编程，该滤波器也是作者正在研制的动态测试分析虚拟仪器的一个重要组成部分。本文给出了在LabVIEW平台上所进行数字抽取滤波器的设计原理，仿真结果和在动态数字信号分析中的应用。     

面向空间应用的大容量实时网络总线架构

针对未来空间综合电子系统总线网络发展需求，本文在介绍现有星载电子系统体系架构优缺点的基础上，提出了一种面向空间环境应用的高速高可靠实时网络总线架构。对网络协议架构、网络拓扑、工作原理及网络关键设备进行了详细介绍，该技术10 Gb/s的传输带宽、亚微秒时钟同步精度、多通道冗余传输机制能够满足未来空间环境应用需求，为未来空间电子系统网络架构研究提供借鉴。     

基于LabVIEW的电控旋翼测控系统设计

以电控旋翼综合试验台为研究对象,基于LabVIEW设计开发了一套电控旋翼测控系统。采用自顶向下的设计方法,将各个需要实现的功能模块化,供顶层统一调用。该测控系统整合了测控系统中各个硬件功能,有效实现了系统运行状态反馈、设备控制、控制参数在线发送、数据实时采集与储存、以及旋翼状态监视系统自动保护等功能。试验实测表明:所开发的电控旋翼测控系统能够实现所需的各项功能并满足性能要求。     

电火花成型机数控系统的研究

通过研究开放式数控系统的体系结构，结合开放式的运动控制器，开发了基于PC的四轴联动电火花数控系统，本研究通过采用神经模糊控制智能技术，并结合数据库，依据放电间隙状况对电火花成型加工过程进行实时控制，保证加工过程处于优化状态，文中还详细研究了高精度双闭环控制以实现工件的高精度加工。     

抗离群值的鲁棒正则化贯序超限学习机

针对离群值环境下的在线学习问题,提出一种鲁棒正则化贯序超限学习机(Robust regularized online sequential extreme learning machine,RR-OSELM)。RR-OSELM以增量学习新样本的方式实现在线学习,并在学习过程中基于样本的先验误差进行逆向加权计算以降低学习模型对于离群值的敏感性;同时RR-OSELM通过融合使用Tikhonov正则化技术进一步增强了其在实际应用中的稳定性。实验结果表明,RR-OSELM具有较同类算法更好的鲁棒性和实用性,对于离群值环境下的在线建模与预测问题是积极有效的。     

基于多Agent的分布式制造执行系统模型

提出了一种开放式、模块化、分布式、可配置、可集成和可维护的基于多Agent的制造执行系统(MES)模型。首先分析了制造系统中的制造执行系统域，然后提出了基于多Agent的MES模型，采用UML图表详细分析了该模型的MES功能实现，最后给出了实施的MES系统框架。该MES系统易与企业资源计划(ERP)、车间控制系统(FCS)及其他制造系统相集成。     

基于正则表达式的飞行电报处理算法

根据飞行电报特点,利用分治算法分割电报后,使用正则表达式解析电报。并使用正则表达式对发送的电报进行纠错和对接收的电报进行容错处理。使电报处理系统格式规范,电报解析正确率高,减轻了管制人员手工输入数据和检查电报的负担,提高了工作效率。     

基于质量损失函数的模块实例稳健选配方法

为提高飞机工艺装备模块化设计的质量稳健性,提出了一种基于质量损失函数的模块化产品模块实例的稳健选配方法。该方法首先在给出质量损失函数统一描述的基础上,引入信噪比表达模块实例的稳定性。并综合考虑模块的功构连接形式和装配偏差,建立面向模块化产品的模块实例稳健选配模型,同时给出模型求解方法。最后,通过实例应用验证了方法的有效性和合理性。     

Structural Design and Control Strategy Analysis of Micro/Nano Transmission Platform

A fully flexure micro/nano transmission platform(MNTP)which has five degrees of freedom is designed on the basis of bridge type amplification mechanism.According to the kinematic theory and the elastic beam theory,the theoretical output displacement equation of the platform is derived,and then piezoelectric actuator(PZT)is calibrated.Meanwhile,a full closed-loop control strategy of the platform is established using the feedforward proportional-integral-derivative(PID)compound control algorithm based on the Preisach model.Moreover,the total transfer function of the micro positioning system is derived,and the calculation method of output signal is acquired.Finally,the theoretical output displacement is verified by finite element analysis(FEA)and positioning experiments.     

定量反馈理论在鲁棒与容错飞行控制系统中的应用

定量反馈理论（Quantitative feedback theory,QFT）作为一种新颖的频率域鲁棒控制技术，综合考虑了对象的不确定性范围和对系统的性能指标要求，以定量方式在Nichols图上展开分析与设计，从而保证了设计结果具有稳定鲁棒性和理棒性。而当飞机控制舵面局部受损或失败时，飞机模型气动导数所受的影响可看作是不确定对象鲁棒性问题的扩展，因此，考虑舵面受损与失效时的容错习行控制系统也可用QFT方法进行分析与设计。本文在讨论QFT原理与设计方法的基础上，以某型无人驾驶飞机的纵向飞行控制系统为例，对鲁棒和容错飞行控制技术进行了分析、研究与设计，获得了满意的设计与仿真结果。     

根据协同效应确定制造业信息技术的实施顺序

企业应用的各种信息技术通过信息集成组成企业的信息技术组合系统，各子系统相互配合而产生协同效应，使得系统总体功能可以大于各子系统功能之和，本文提出一种方法，首先根据企业的竞争重点确定待实施的各项信息技术，然后根据数据流表通过对协同效应的估计确定各项信息技术的实施顺序，最后对决策支持系统的实现进行了讨论。