A discrete event systems approach to discriminating intermittent from permanent faults

Almost all work on model-based diagnosis （MBD） potentially presumes faults are per- sistent and does not take intermittent faults （IFs） into account. Therefore, it is common for diag- nosis systems to misjudge IFs as permanent faults （PFs）, which are the major cause of the problems of false alarms, cannot duplication and no fault found in aircraft avionics. To address this problem, a new fault model which includes PFs and IFs is presented based on discrete event systems （DESs）. Thereafter, an approach is given to discriminate between PFs and IFs by diagnosing the current fault. In this paper, the regulations of （PFs and IFs） fault evolution through fault and reset events along the traces of system are studied, and then label propagation function is modified to account for PFs and the dynamic behavior of IFs and diagnosability of PFs and IFs are defined. Finally, illustrative examples are presented to demonstrate the proposed approach, and the analysis results show the fault types can be discriminated within bounded delay if the system is diagnosable.     

航天员在太空的休闲时光(一)

正3月2日,结束国际空间站驻站任务的3名航天员乘坐"联盟"TMA-18M飞船安全返回地面。斯科特·凯利凭借341天的纪录,成为单次逗留太空时间最长的美国航天员。那么不禁有人要问,在长期的太空生活中,航天员有没有休闲时间呢?如果有,他们在休闲时间又干些什么呢?下面我们将分6期,通过一组图片向大家展示航天员在太空的休闲时光。     

观光电梯幕横梁铰链式节点研究

在接受“咸阳建造观光电梯幕墙”设计任务时，我们参考了民生观光电梯幕墙横梁节点的《设计图》和《玻璃幕墙工程技术规范》。意识到三维调整节点的结构复，杂调整麻烦且调幅小。鉴于此况，我们提出：全新改进结构－铰链式节点方案，得到方和领导支持，并付之实施。实践证明，该节点弥被三维调整节点的诸多不足。     

卫星控制中心系统平台的高可用设计与实现

卫星控制中心是卫星地面测控管理系统的重要组成部分。随着信息技术的飞速发展和测控关键业务量的增长,高可用性、高可靠性及易维护日益成为卫星控制中心系统的设计目标。为满足卫星测控任务的需求,本文描述了卫星控制中心的网络系统、数据处理系统和数据库集群系统的高可用设计,并给出具体项目的成功实现。     

如何判断放大电路中负反馈的类型

介绍了如何判断反馈类型的一种简单，直观的方法，并对其合理性进行了分析验证。     

时间相关法计算喷管跨音速流动

本文用时间相关法完成了定常、无粘跨音速喷管流场的计算,内部点参数用Mac Cormack差分格式计算、壁边界点参数用简化了的特征边界条件计算,轴上点参数用反射原理计算。计算表明:计算是收敛的,计算结果与实验数据符合良好。 定常、无粘、跨音速喷管流动的控制方程是混合型的(即在亚音速区域是椭圆型,而在超音速区是双曲型的),给数值求解带来很大的困难。为了克服这一困难,广泛采用时间相关法,即认为定常流动方程的解是相应的非定常流方程的解在时间趋于无穷时的渐近解。因为非定常流的控制方程不论在亚音速区,还是在超音速区域,都是双曲型的,可以用统一的方法来求解,而且易于求解;另一方面,它可适用于形状比较复杂的喷管。 本文首先阐述了时间相关法的计算方法,然后列出算例喷管的计算结果。通过与实验数据的比较,证明计算是符合实际的。     

未来机载雷达可靠性和寿命周期成本的研究

目前还没有对未来机载雷达系统的可靠性和维修性的要求充分量化，但已经认识到需要对现有可靠性和可用性的标准进行较大的改进。     

基于ANCF的薄膜太阳帆自旋展开动力学模拟

执行深空探测任务的薄膜太阳帆在入轨展开过程中,其薄膜结构在宏观力学响应上表现出显著的拉压不对称特性.系统的动力学行为呈现出强烈的非线性特征,使其动力学建模与仿真计算面对巨大挑战.基于绝对节点坐标方法(Absolute Nodal Coordinate Formulation,ANCF),整合张力场和不同模量弹性理论,推...