摘要
故障诊断是保证航空航天等大型复杂系统可靠性的重要措施 ,故障树为此提供了一种有效的方法 ,但故障树是一种系统静态行为的描述方法 ,如何描述系统状态的动态变迁过程成为人们追求的目标 ,本文在论述逻辑关系的 PETRI网表示的基础上 ,提出了系统状态动态变迁过程的 PETRI网模型梯形图求解算法 ,进而提出了基于 PERTI网的故障诊断的梯形图求解方法 ,并用一实例说明了这一过程。
For the Large-scale system such as missile,the fault diagnosis is an important way to assure the system's realiability.Fault tree analysis method is very effective in dealing with this problem,but it is only effective in describing the system’s static behavior while people sometimes need to know the dynamical transition process of the system's status.To overcome the problem,the authors suggested a trapezoid graph method based on Petri net to describe the dynamic transition of the system’s status.An explamle is employed to explain the process.
出处
《宇航学报》
EI
CAS
CSCD
北大核心
2001年第1期37-42,共6页
Journal of Astronautics
基金
国家自然科学基金重点课题 !( 69831 0 4 0 )
国家教委高校骨干青年教师资助计划资助
