一个基于XML的A2A数据交换系统

传统的数据交换系统缺乏可复用性与可扩充性。本文通过构建符合XML标准的业务流程规范,建立了一个通用的,易于扩展与维护的软件框架,并通过面向对象和构件技术提高数据交换系统的可复用性与可扩充性来适应数据交换标准不统一的现状,从而设计并实现了一种基于XML的企业内部电子数据交换系统。     

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

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

模型驱动的安全关键系统标准符合性验证方法

大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴。     

基于改进AHP方法的军械器材关键工序质量监控技术

针对军械器材生产过程中关键工序质量监控特点,分析影响关键工序质量水平的因素,建立了军械器材工序质量控制点层次结构模型,为克服传统层次分析法(Analytic Hierarchy Prccess,AHP)存在的标度缺陷问题,采用改进的AHP方法对军械器材关键工序质量监控点进行监控,提高了军械器材生产过程质量监控的科学性和合理性。     

航空发动机螺纹连接件密封结构标准符合性分析

基于产品漏油故障，通过对螺纹连接件密封结构关键要素进行分析，同时对比不同标准关键要素的要求，结合试验验证结果，分析航空发动机螺纹连接密封结构设计标准符合性结果是否具备一致性，为航空发动机类似故障维护保障问题提供一种可遵循的共性解决方案。     

面向量化分块压缩感知的区域层次化预测编码

在量化分块压缩感知的预测编码中，低参考价值的候选者将导致较差的率失真性能。为了高效地降低编码失真，提出了一种基于螺旋逐块扫描的区域层次化预测编码方法。在以同一采样率进行观测后，各块按由内向外的扫描次序进行预测与量化。当前观测矢量从上下文感知候选集中选取与之具有最小误差的反量化矢量，作为其预测矢量；根据层次相关性，所有块被划分到3种区域之一，通过块编码模型为不同区域设定自适应的质量因子，关键区域被赋予较大的质量因子。与现有的预测编码方法相比，所提方法综合利用了矢量之间的空域相关性和层次相关性，实验结果获得了至少0.12 dB的率失真增益。