航空发动机可靠性数学模型初探

可靠性理论是航空领域应用相当广泛的基础理论.本文通过分析组成航空发动机各元件或分系统之间的相互关系,确定影响可靠性的因素,运用概率论和数理统计知识,建立可靠性数学模型,从而达到提高航空发动机可靠性的目的.     

基于NMF的SVM故障诊断方法

针对大维数系统故障诊断中存在特征提取困难和识别率低的问题,提出基于非负矩阵分解(NMF,Non-negative Matrix Factorization)的支持向量机(SVM,Support Vector Machine)诊断方法,避免了直接对故障特征的选择和提取,实现特征降维,提高故障模式分类的准确性和速度;对于NMF中的结果随机性问题,提出用前次分解所得系数矩阵求解样本降维特征矩阵的方法,保证多次NMF分解尺度一致.实验表明该方法能对故障特征有效降维,并具有较高的诊断效率和故障识别率.     

A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

适用于小型公司的 ISO 9000 质量管理系统(英文)

ＩＳＯ９０００质量管理系统往往存在一种神秘性。一般认为它只适用于大型公司，对小型公司而言，该系统实在是太昂贵了，本文澄清了这种错误的想法，并说明了ＩＳＯ９０００系统内在之属性事实上是灵活的，不论任何行业的小型公司均可适用。此外，它亦指出了认证审核员和质量管理顾问应对那些易犯的错误提高警觉。     

输出线性系统的变结构控制

 <正> 变结构控制系统是50年代由苏联人首先提出的一种控制方案。它为系统的综合提供了一种新方法,目前已成为控制理论的新分支——变结构系统理论。 变结构系统（VSS）的主要特征是在给定切换域内控制是不连续的,且保证滑动模态存在。主要优点是控制简单易于实现;当滑动模态发生时,其方程对参数变化不敏感。缺点是有抖振现象。     

基于PHM的航空装备可用度影响因素分析方法

对已有的航空装备可用度分析方法进行了综述,将航空装备可用度影响因素分为三类.通过PHM(Prognostics and Health Management)技术对航空装备保障过程的影响分析,梳理了基于PHM的航空装备可用度影响因素,并将这些因素按照其来源分为使用影响因素和设计影响因素两大类.给出了4个合理的仿真假设条件以简化仿真过程,并进一步将设计影响因素分为5种,并结合一个实例给出了基于PHM的航空装备可用度影响因素仿真过程中的输入.提出给定装备系统及其保障系统参数条件下的稳态可用度为仿真的输出,并给出与仿真输入相符的解析计算公式.详细描述了仿真程序的构成及其流程图.最后,以图形的方式给出了仿真结果,给出了案例的单因素分析及多因素耦合分析的过程及结论,验证了所提出的分析方法的可行性.      

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.