修正的条件/判定覆盖相关的问题

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。     

基于MC/DC最小测试用例集设计方法研究

动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。     

基于模型的FADEC软件结构覆盖率分析

结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性.     

EASA对FAA修理数据的批准研究

以EASA对FAA体系修理数据的批准为例,对EASA和FAA体系下重要/非重要修理的判定、批准形式和互认等问题进行了探讨,对EASA和FAA航空安全双边协议（BASA）的相关条款进行了研究,从而明确营运人、MRO、OEM和局方（FAA/EASA）在维修工作中的权责和修理批准方式,希望为CAAC对来自FAA/EASA体系下修理数据的认可提供参考。     

反推力装置“地面/空中”判定条件研究

只在地面使用的反推力装置,一方面根据CCAR 25.933的要求在空中要防止意外打开;另一方面在地面使用时要求迅速可靠地打开,因此判断飞机在“地面”或“空中”成为反推控制系统的一个重要设计内容,若该条件判定飞机在地面的约束过于严格,则飞机着陆时反推不能尽早打开,影响反推在飞机高速时高效发挥作用;反之,若判定飞机在地面的约束过于宽松,则会增加反推在空中意外打开的概率,影响安全。分析了几种现役民航飞机的反推“地面/空中”判定条件,认为飞机后轮刚刚触地(但不一定触发轮载信号)是一个较好的“地面/空中”判定条件,设计时应注意判定条件须保持一定的独立性：不能因某一判定信号故障,导致反推、减速板或刹车中任何两个同时不能工作;不能因减速板或刹车的工作状态导致反推力装置不能打开,同时注意判定条件会影响适航的验证方法。     

基于判定故障树的民航飞机故障诊断方法研究

针对飞机故障诊断专家系统中知识获取的瓶颈问题,提出了将故障隔离程序提取成判定故障树的形式,分析了扩展故障树的框架表示方法,给出了扩展故障树的快速诊断策略,解决了基于规则的诊断专家系统的知识获取难题.     

基于PSPICE的典型电路故障判定算法研究

文章给出典型电路故障判定信号特征参数的一般算法,针对PSPICE环境下特征参数仿真输出的数据特点,主要对3类参数算法进行变换、改进,并验证了它的有效性。     

航空发动机润滑系统污染预警装置安全性失效因素分析

航空发动机润滑系统污染预警装置是一种防止航空发动机因发生滑油污染而造成发动机故障的报警装置,其性能好坏直接影响润滑系统的可靠性。本文根据污染预警装置进行功能结构分析,给出了预警装置的失效模式及因素分析,确定了污染预警装置故障判据的严酷度级别,提供了污染预警装置失效判定准则,提出了污染预警装置失效判定流程,对航空发动机润滑系统的可靠性及维护具有重要意义。     

电传直升机人机耦合振荡特性研究

为了分析研究电传直升机的人机耦合振荡特性,将直升机操纵/响应模型与驾驶员诱发振荡(Pilot Induce Oscillation,PIO)判定准则模型相结合,建立了一种适用于电传直升机的PIO预测方法。首先对建立的方法进行了飞行试验验证,然后应用该方法着重开展了PIO参数敏感性分析研究,得到了对降低PIO趋势有指导意义的结果。     

一种基于CAN总线的DC/DC控制器的设计

对电动汽车再生制动储能装置超级电容的控制系统进行了研究 ,给出了一个基于CAN总线的DC/DC控制器的硬件设计     

基于BDD的航天测控系统任务可靠性分析

针对航天测控系统任务可靠性分析问题,提出了基于二值决策图（BDD）的航天测控系统任务可靠性分析模型和算法。将航天测控系统视为一个多阶段任务系统,采用任务剖面描述任务时序逻辑关系。根据各阶段的可靠性逻辑结构建立了单阶段的BDD,依次对各阶段的BDD进行运算得到系统的BDD,据此计算系统的可靠度。最后给出了一个算例,验证了算法的有效性。     

基于隶属云发生器的智能控制

阐述一种利用隶属云发生器实现智能控制的方法。其控制策略是通过语言值构成规则,从而形成一种直观推理方法。它不要求给出被控对象精确的数学模型,仅仅依据人的经验、感觉和逻辑判断,将人用语言值定性表达的控制经验,通过语言原子和云模型转换到语言控制规则器中,就能解决非线性问题和不确定性问题。基于此理论控制倒立摆获得比较好的效果,结果表明,该方法对被控对象的状态和参数变化具有较强的鲁棒性。     

Asynchronous distributed detection

Binary parallel distributed-detection architectures employ a bank of local detectors to observe a common volume of surveillance, and form binary local decisions about the existence or nonexistence of a target in that volume. The local decisions are transmitted to a central detector, the data fusion center (DEC), which integrates them to a global target or no target decision. Most studies of distributed-detection systems assume that the local detectors are synchronized. In practice local decisions are made asynchronously and the DFC has to update its global decision continually. In this study the number of local decisions observed by the central detector within any observation period is Poisson distributed. An optimal fusion rule is developed and the sufficient statistic is shown to be a weighted sum of the local decisions collected by the DFC within the observation interval. The weights are functions of the individual local detector performance probabilities (i.e., probabilities of false alarm and detection). In this respect the decision rule is similar to the one developed by Chair and Varshney for the synchronized system. Unlike the Chair-Varshney rule, however, the DFC's decision threshold in the asynchronous system is time varying. Exact expressions and asymptotic approximations are developed for the detection performance with the optimal rule. These expressions allow performance prediction and assessment of tradeoffs in realistic decision fusion architectures which operate over modern communication networks     

Optimum multisensor fusion of correlated local decisions

A distributed detection system consisting of a number of local detectors and a fusion center is considered. Each detector makes a decision for the underlying binary hypothesis testing problem based on its own observation and transmits its decision to the fusion center where the global decision is derived. The local decision rules are assumed to be given, but the local decisions are correlated. The correlation is generally characterized by a finite number of conditional probabilities. The optimum decision fusion rule in the Neyman-Pearson sense is derived and analyzed. The performance of the distributed detection system versus the degree of correlation between the local decisions is analyzed for a correlation structure that can be indexed by a single parameter. System performance as well as the performance advantage of using a larger number of local detectors degrade as the degree of correlation between local decisions increases     

Optimal distributed decision fusion

The problem of decision fusion in distributed sensor systems is considered. Distributed sensors pass their decisions about the same hypothesis to a fusion center that combines them into a final decision. Assuming that the sensor decisions are independent of each other for each hypothesis, the authors provide a general proof that the optimal decision scheme that maximizes the probability of detection at the fusion for fixed false alarm probability consists of a Neyman-Pearson test (or a randomized N-P test) at the fusion and likelihood-ratio tests at the sensors     

航空产品重要度分类的模糊评判方法

提出一种航空产品重要度分类的模糊评判方法。建立了进行航空产品重要度分类的模糊综合评判模型。该模型描述了重要度分类中的模糊因素,避免了重要度分类逻辑决断法的缺陷和不足。最后给出了该方法的一个应用实例。     

Optimal m-ary data fusion with distributed sensors

An optimal data fusion rule is derived for an m-ary detection problem. Each detector determines a local decision using a local decision rule and transmits the local decision to the fusion center. Considering the reliability of local detectors, local decisions are combined to produce the final decision. In this study, based upon the maximum posterior probability concept, optimal decision rules for m-ary detection problems are proposed for the local detector and the data fusion center     

机场协同决策的应用历史与研究趋势综述

机场协同决策可以有效提升机场的运行效率,进而提升整个民航运输网络的运行效率。本文查阅整理了机场协同决策的相关标准、政策文件与研究论文,梳理了机场协同决策的发展历程以及国内外学界业界有关协同决策的研究及应用现状;分析讨论了机场协同决策未来的发展趋势与当前时期协同决策所面临的挑战;同时基于我国的实际情况,给出了一些机场协同决策的发展建议;总结了机场协同决策的理论与应用价值以及协同决策在我国面临的问题与挑战。本文研究可以为提升机场与整个航空交通网络的运行效率与经济效益提供理论支撑和依据。     

无线电高度表修理级别确定方法研究

介绍了装备修理级别分析方法。在装备维修缺乏数据的情况下,应用修理级别逻辑决断法对装备维修保障的有效性和可行性进行了研究,并举例进行了说明。