基于模型转换的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的综合模块化航空电子通信调度分析与建模

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

IMA平台分区分析方法研究

依照综合模块化航空电子系统（Integrated modular avionics ,IMA）平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持系统级分布功能在容错网络上运行。根据综合模块化航空电子系统开发指南与认证考虑RTCA DO-297标准中关于IMA平台健壮性分区、安全性以及认可证明数据的要求,本文对IMA平台分区分析展开研究,重点对IMA平台及其组件通用处理模块（General processing module, GPM）、航空数据网络ARINC664交换机和远程数据集中器（Remote data concentrator, RDC）进行分区分析方法的研究。给出每个组件的分区分析策略和目标,明确每个任务需要进行的活动,为IMA平台及其组件的健壮性分析、缓解潜在风险、安全性分析和认可提供充足的证据。     

动态可重配置MIS分析与设计建模研究

开发支持BPR的企业管理信息系统（MIS）的首要问题是，在系统分析和设计阶段建立能够有效描述业务过程动态变化的模型。本文提出与BPR相适应的、以业务过程为中心的企业MIS系统建模方案。以CIMOSA企业模型为基础支撑框架，对业务过程的划分进行了研究；在此基础上以面向对象方法为指导，提出了动态可重配置MIS系统分析与设计的早期阶段的基础性模型；对其基本的构成要素-对象类和它们的层次关系进行了定义和分析，并提出了进一步提取和构建更大粒度可复用单元（设计模式、组件、框架和体系结构等）的基本方向。阐述了该建模方法实现动态可重配置性的主要机制。     

电加工脉冲电源的闭环系统设计

针对两级结构复合脉冲(电压脉冲／电流脉冲)应用于电火花加工电源，建立了系统的大信号扰动函数和控制模型。通过对电流反馈回路中补偿网络的分析设计，较好地解决了系统的动态响应和稳定性问题。电路仿真和原理样机实验结果表明。该系统具有良好的动态特性和抗扰动性，同时也验证了电路拓扑、控制模型和闭环系统设计方法的正确性。     

不稳定气动弹性系统动特性的实验研究

本文提出了一种测定不稳定气动弹性系统动特性的试验方法,即先构造一个闭环稳定的气动弹性系统。然后从中提取所需的信息。模拟机仿真试验证实了这种方法的正确性。对一机翼模型在凤洞吹风状态下实测其超过颤振临界速度下的动特性,结果表明所提出的试验方法在实际情况下是可行的。     

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

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

基于区域极点配置的航空发动机全包线H_∞/LPV控制

根据发动机相似工作原理以及平方和(Sun of squares,SOS)规划,基于发动机全飞行包线的换算线性变参数(Linear parameter varying,LPV)模型,提出了一种基于区域极点配置的航空发动机全包线切换H_∞/LPV控制方法。根据发动机相似换算参数,建立换算状态变量模型。以高压换算转速为调度参数,利用多项式拟合得到全包线慢车以上的换算LPV模型。考虑基于区域极点配置的H_∞/LPV控制问题,将LPV闭环系统的极点配置在复平面上一个期望的区域内,并将LPV闭环系统稳定性条件转化为SOS约束,进行控制器求解。基于Lyapunov理论,设计全包线的切换LPV控制器,保证切换闭环系统Lyapunov意义下稳定。仿真结果表明,设计的切换LPV控制器能保证全包线内系统稳定且具有较好的鲁棒性能和动态响应性能。     

含空冷器管道系统气柱固有频率研究

根据空冷器国标GB/T-15386-94和工程中惯用的空冷器结构模型设计并制造了简易空冷器模型,搭建了含空冷器管道系统气柱固有频率实验测试平台;用计算流体动力学(CFD)方法建立了管道系统流体动力学模型。通过对比模拟结果与实验数据验证了试验方法(扫频法)及模拟所用方式(频响法)的合理性与正确性。基于实验和模拟结果提出了空冷器作为管道系统中特殊管路元件时合理的参数化模型即“容-管-容”参数化模型,为工程中计算含空冷器管道系统气柱固有频率提供了直接有效的方法。     

基于区域极点配置的航空发动机全包线/LPV控制

根据发动机相似工作原理以及平方和(Sun of squares, SOS)规划,基于发动机全飞行包线的换算线性变参数(Linear parameter varying, LPV)模型,提出了一种基于区域极点配置的航空发动机全包线切换/ LPV控制方法。根据发动机相似换算参数,建立换算状态变量模型。以高压换算转速为调度参数,利用多项式拟合得到全包线慢车以上的换算LPV模型。考虑基于区域极点配置的/LPV控制问题,将LPV闭环系统的极点配置在复平面上一个期望的区域内,并将LPV闭环系统稳定性条件转化为SOS约束,进行控制器求解。基于Lyapunov理论,设计全包线的切换LPV控制器,保证切换闭环系统Lyapunov意义下稳定。仿真结果表明,设计的切换LPV控制器能保证全包线内系统稳定且具有较好的鲁棒性能和动态响应性能。     

基于UNIX System V流机制的串行口通信程序的设计与实现

流（ＳＴＲＥＡＭＳ）机制，是ＵＮＩＸ系统中用户进程到设备（伪设备）之间的一条全双工数据通路，它为字符处理、网络服务和数据通信等驱动程序的设计提供模块化手段。本文概要介绍了流机制的组成及原理，着重讨论了用流机制实现ＵＮＩＸ设备驱动程序的方法，在ＳＣＯＳｙｓｔｅｍＶＵＮＩＸ系统中设计并实现了基于流机制的带ｍｏｄｅｍ控制的串行口驱动程序，最后讨论了串行口通信的数据传输控制及串行口通信程序的应用。     

零电压开关PWM变压整流器

讨论了ＰＷＭ式变压整流器和谐振式变压整流器的优缺点，在此基础上，提出了一种零电压开关ＰＷＭ变压整流器。它是ＰＷＭ技术和零电压开关准谐振技术相结合的产物，其特点是功率开关器件的开关转换过程中采用零电压开关准谐振技术，即功率开关器件工作于零电压开关状态──软开关状态下，而能量传输的主要形式采用ＰＷＭ技术，故具有ＰＷＭ式变压整流器和谐振式变压整流器的优点。文中介绍了该变压整流器的电路结构及工作原理，着重分析了其关键部分──全桥零电压开关ＰＷＭＤＣ－ＤＣ变换器的工作过程和设计方法。该变压整流器具有体积小、重量轻、效率高、性能好、输出电压稳定度高的优点。     

基于WEB的产品营销管理系统

以企业CIMS系统实施过程中营销管理系统的设计与开发的背景，分析了目前我国大，中型企业的经营管理式和在营销活动中普遍存在的问题。提出了一种基于WEB的企业营销解决方案，以合同和协议为线索，把营销活动中的各个环节有机地串联起来，实现了产品和经销商的动态管理，本文还提出一种基于WEB的产品售后服务系统模型，论述了故障模式，产品档案和产品售后服务故障识别及处理，并介绍了层次分析和基于知识库的用户服务决策方法。     

铜镉污染对海州香薷种子萌发的影响

以海州香薷种子为试材,研究了铜镉污染对种子萌发的影响。结果表明,在实验所选的胁迫浓度范围内,单一铜污染时,海州香薷种子发芽率随着Cu2+浓度的升高,先升后降,在20mg/L Cu2+处理时出现了毒性兴奋效应现象。铜镉污染对海州香薷幼苗苗长和根长的抑制作用极显著。根据综合效应指标,铜镉复合污染对海州香薷种子萌发的影响表现形式为铜、镉的协同作用。     

微量天平校准装置及精度分析

装置适用于风洞应变式微量天平六分量精密静态校准。通过高精度复位工件台和电视测量实现了微量天平的五分量体轴校;应用力的精密传递与转换实现了微量载荷在水平方向的准确加载。对三分量天平的综合加载精度以及影响因素进行了分析,同时还给出了该设备对三分量微量天平校准的结果,并与其他设备校准结果进行了比较     

基于CIMS环境的MRPⅡ

MRPⅡ(Manufacturing Resource Planning)即制造资源计划,是计算机集成制造系统(CIMS)中管理信息系统的重要组成部分.文中以大批量生产类型的机械制造企业CIMS为背景,从企业生产环境、企业管理思想与方法、企业经营特点、CIMS运行环境等方面分析了CIMS环境对MRPⅡ的软件功能、软件结构的需求,提出了CIMS环境下的MRPⅡ软件的功能、接口及系统结构.最后,分析了摩托车生产企业CIMS环境中的MRPⅡ的实现方案,及采用MRPⅡ的“推”式逻辑进行生产计划,采用“JIT”(Just In Time)的“拉”式逻辑进行生产控制的混合结构的特点.     

Linux Apache Web服务器上的ASP实现方案

介绍利用自由软件iASP1．08和JAVA2SDK1．3配置Linux Apache Web Server实现ASP功能的实用方案。     

设备检维修策略及维修主体匹配问题研究

设备检维修系统设计是设备管理的核心,而设备维修策略和维修主体匹配又是设备检维修系统设计的核心。建立一个可以广泛应用于企业的模型,并已通过实践的验证,为企业建立维修策略,选择维修主体提供了分析和应用的框架。     

基于DCT顺序型模式JPEG图象的分析与实现

本文介绍了基于ＤＣＴ顺序模型ＪＰＥＧ（Ｊｏｉｎｔ Ｐｈｏｔｏｇｒａｐｈｉｃ Ｅｘｐｅｒｔｓ Ｇｒｏｕｐ）图象编码和解码的过程,并对量化,ＤＣＴ变换、Ｈｕｆｆｍａｎ编码的算法进行了深入的研究。     

PCB的电磁兼容性设计

概括介绍电磁干扰对电子系统的危害和影响，PCB电磁兼容性设计的原因、原则，PCB抗干扰的一般措施。结合在PCB设计方面的实际经验，阐述电子系统电磁兼容性设计的方法和技巧，确保电子系统实现最优性能。