基于神经网络的智能复合材料损伤评估系统

介绍了一种复合材料损伤评估的新系统。该系统由埋入光纤传感器阵列、形状记忆合金丝和Ｋ　ｏｈｏｎｅｎ　自组织神经网络处理器组成。由埋入光纤传感器阵列实现对材料损伤的检测,神经网络由ＴＭＳ３２０Ｃ２５　高速并行处理器和ＩＢＭＰＣ／３８６组成的高速并行分布处理器进行模拟,实现传感器输出信号的实时处理,并产生相应的控制信号激励形状记忆合金丝（ＳＭＡ）,以改变材料的应力状态,延缓材料的破坏。     

民航客机油箱建模与油量传感器姿态误差修正

实现民航客机的飞机油箱建模,提出对油箱的油量传感器示数的姿态误差进行修正的算法.建模过程基于二维限定Delaunay三角剖分和插值,生成油箱的表面.利用油量传感器错误示数和当前飞行姿态角,利用油箱表面三角网格,将油箱内含油体积进行三维三棱柱剖分和三维四面体剖分.计算四面体体积之和求得油箱正确的含油量.与当前正在使用的切片算法在效率和使用范围方面进行深入比较与分析.实现民航客机油箱三维建模,并且利用已建立的模型修正其油量传感器示数姿态误差.算法优于切片算法.     

可重构制造系统的性能分析

可重构制造系统的生产管理与控制是实施可重构制造系统哲理的关键技术,而可重构制造系统的性能分析是可重构制造系统生产管理与控制的重要功能。基于可重构制造系统的赋时可重构Petri网模型及其调度Gantt图,提出可重构制造系统的性能指标评价方法,定义最大完成时间、生产资源利用率、作业完成时间和零件的平均生产能力等可重构制造系统的性能指标,并计算了实例系统的性能指标。实例研究表明,可重构制造系统的性能分析方法体现了可重构制造系统的重构柔性本质。     

基于着色Petri网的维修作业建模与人机工效分析

基于着色Petri网和CPN Tools平台,研究了维修作业过程的建模方法,提出了维修作业过程建模方法与步骤,采用模特法计算每一步操作所需时间值,采用人体动作代谢能耗预测模型计算每个操作的能耗值,实现了维修作业建模与仿真、作业序列的控制以及维修人员工作负荷和工作时间的定量计算。以A320飞机前起落架轮胎拆卸作业为例,采用CPN Tools软件进行了维修作业建模和仿真模拟,验证了模型和方法的可行性与有效性。该方法引入了传统维修作业模型中没有涉及的人机工效因素,能够有效评价维修人员的作业舒适性。     

基于DSPN的航天测控系统任务可靠性仿真建模

提出了基于确定与随机Petri网（deterministic and stochastic Petri nets,DSPN）的航天测控系统（tracking,telemetry and command,TT&C）任务可靠性定量分析方法,旨在对相关航天测控方案进行可靠性预计.通过对TT&C系统任务剖面进行时序弧段划分,考虑实际系统中测控单元阶段依赖、单元故障可修以及各单元参与任务起止时间不同等其他建模方法难以处理的复杂因素,建立了“单元层-系统逻辑层-阶段层”3层相互关联的TT&C系统任务可靠性DSPN模型.通过对模型仿真运行,实现了对给定测控方案下TT&C系统任务可靠性定量化评估.分析表明:仿真结果随着仿真次数增加逐渐收敛,与Markov解析方法求得的精确值对比误差控制在1%以内.      

多阶段任务系统通用可靠性仿真模型

归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型存在的难以转换的缺点.应用着色Petri网(CPN,Colored Petri Net) Tools建立PMS的多层通用仿真模型:顶层控制模型将PMS各阶段的故障树参数化,作为CPN通用仿真模型的输入;单阶段处理模型根据顶层控制模型的输入判别该阶段顶事件是否发生;底事件处理模型通过比较随机数和故障发生概率的大小产生故障.通用仿真模型可以保持模型结构的稳定,同时又简化了仿真模型的生成.案例对比了CPN仿真模型与二元决策图(BDD,Binary Decision Diagrams)算法的可靠性计算结果,证明了模型的正确性;具有动态变化参数的PMS仿真则说明了模型的适用性.      

基于GSPN的飞机前轮转弯系统安全性评估

为解决在缺乏统计数据时无法对系统安全性进行评估的问题,提出将系统广义随机Petri网(GSPN,Generalized Stochastic Petri Nets)与经典评估相结合的方法.以某型尚处于设计阶段的飞机前轮转弯系统为研究对象,通过分析该系统结构功能图,建立出系统故障类型和影响分析(FMEA,Failure Modes and Effects Analysis)表;依照经典公式,求出系统各单元及其故障类型的故障率、维修度、平均无故障时间和平均维修时间等数据;将求得的数据与前轮转弯系统的GSPN模型相结合,利用TimeNET软件求得系统各故障类型的稳态失效概率;联立经验公式及危险度矩阵图对系统的安全性进行评估.经测评,该型飞机前轮转弯系统安全性符合设计要求.      

基于SPN的跑道利用率模型分析与研究

采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况。证明了模型的可达性、有界性,且不存在死点。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.