Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

标准压力源自校准方法探讨

当前以压力传感器为一次仪表组成的标准压力源,用软件实现自校准既可提高校准效率,又能提高仪器的性价比.对标准压力源的软件自校准方法进行了探讨.     

CNC数控系统控制软件

本文分析了数控机床控制系统,由硬件NC(Numerical Contro1)向CNC(ComputerNumerical Control)转变时进给速度下降的问题,阐述了解决此问题的一种方法——二次插补方法。指出CNC数控系统是个多重中断系统,论述了将数控的工作按其重要的程度、实时性的高低,安排在不同的优先级,使整个系统协调工作的思想。     

基于嵌入式FPGA加速ORB算法的遥感影像配准方法

卫星上计算资源有限，星载嵌入式处理器处理遥感影像的配准时通常需要很长的时间。可编程逻辑门阵列（FPGA）利用其内部可编程器件可用于加速图像处理。提出了一种基于Xilinx公司的ZYNQ芯片加速ORB算法的遥感影像配准方法，可用于3000×3000像素尺寸的卫星图像配准，缩短了计算耗时，提升了ORB算法的计算能效比。利用FPGA能够实现真正的并行计算电路，实现ORB算法多支路单层流水线的并行计算结构。采用软硬件结合的方法实现架构，能够处理不同分辨率的图像，可灵活配置特征点的数量。基于设计的加速ORB配准方法，获得了较高准确率。与软件实现相比,OVS-1A遥感影像偏移精度损失低于0.05个像元;GF.4遥感影像偏移精度损失小于0.9个像元。将ORB配准算法流程应用在ZYNQ7020上，耗时减少了57.50%。     

新一代战斗机非定常流动数值研究综述

新一代战斗机强调超机动能力和强隐身性，其中大攻角下的静态失速、动态失速及内埋弹仓绕流是与高机动和强隐身密切相关的、极具挑战的几类典型的非定常流动，它们对数值方法提出了极高的要求。为了高精度地仿真流场、清楚地揭示流动机理，有效地控制非定常流动，非常有必要发展高精度且高效率的RANS-LES混合方法体系，包含RANS-LES混合方法本身、与RANS-LES混合方法匹配的高精度自适应耗散格式、基准湍流模式、高质量计算网格、高精度时间推进方法、非定常量的统计方法等，具有极强的紧迫性。提出、发展、验证并应用该类方法数值仿真新一代战斗机（包括单独部件、组合体、甚至全机）的非定常流动，数值预测结果与风洞实验数据吻合良好；此类方法可为新型战斗机设计提供理论依据和分析手段。     

Multi-mode diagnosis of a gas turbine engine using an adaptive neuro-fuzzy system

Gas Turbine Engines (GTEs) are vastly used for generation of mechanical power in a wide range of applications from airplane propulsion systems to stationary power plants. The gas-path components of a GTE are exposed to harsh operating and ambient conditions, leading to several degradation mechanisms. Because GTE components are mostly inaccessible for direct measurements and their degradation levels must be inferred from the measurements of accessible parameters, it is a challenge to acquire reliable information on the degradation conditions of the parts in different fault modes. In this work, a data-driven fault detection and degradation estimation scheme is developed for GTE diagnostics based on an Adaptive Neuro-Fuzzy Inference System (ANFIS). To verify the performance and accuracy of the developed diagnostic framework on GTE data, an ensemble of measurable gas path parameters has been generated by a high-fidelity GTE model under (a) diverse ambient conditions and control settings, (b) every possible combination of degradation symptoms, and (c) a broad range of signal to noise ratios. The results prove the competency of the developed framework in fault diagnostics and reveal the sensitivity of diagnostic results to measurement noise for different degradation symptoms.     

RTK model and positioning performance analysis using Galileo four-frequency observations

This paper proposes a real-time kinematic (RTK) model that uses one common reference satellite for the Galileo system with four frequency observations. In the proposed model, the double-differenced (DD) pseudorange and carrier phase biases among the different frequencies are estimated as unknown parameters to recover the integer features of the DD ambiguities among the different frequencies for ambiguity resolution and precise positioning. Analysis results show that the E5a, E5b, and E5 frequencies have virtually the same performance in terms of the positioning accuracy, observation residuals, and ratio values of ambiguity resolution. However, the E1 frequency performs worse than the E5a, E5b, and E5 frequencies. The RTK results for the combination of multiple frequencies are much better than those for a single-frequency observation, the coordinates’ standard deviation is improved about 20–30%, and the ambiguity fix time is improved about 10%.     

某型教练机嵌入式训练系统顶层设计技术研究

本文通过对该型教练机现有航空电子系统构型、驾驶员操作程序、接口控制文件深入研究,结合未来功能扩展需求,给出了合理的系统构型分析、功能分配、数据流规划、原相关系统软件改动分析,在此基础上还设计出了嵌入式训练系统技术方案.依据方案研制的嵌入式训练系统原理样机通过系统动态试验、航电系统地面综合试验和飞机地面通电试验,证明系统...     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.