摘要
在故障字典法和离散事件系统(DES,Discrete Event System)离线诊断模型的基础上,提出一种对混合电路统一建模的方法:状态分割法.围绕系统状态和状态的划分之间的关系,以数学分析为主,提出交叉交运算的定义,证明了交叉交运算在划分集上的封闭性以及该运算是划分集上的划分积等性质.借用DES离线诊断模型的建模思想,提出系统的可诊断性定义,利用交叉交运算的性质证明了最小现象集存在并可达的结论.以故障现象分割系统状态集合的方式来定位系统所处的故障状态,把故障字典法和DES离线诊断模型统一起来,指出了状态分割法的通用性.
Based on fault dictionary technique and discrete event system （DES） off-line diagnosis model, a new approach called state partition （SP） technique was proposed to model the mixed-circuit in an unified way. Mathematic analysis was made the main part with relationship between system states and state partitions concerned specially. The definition of ＂cross intersection＂ was given, and the operation of cross intersection was proved close and to be a conjunction of the partition set. With the idea mentioned in DES off-line diagnosis model, the concept of system diagnosability was built. The existence and reachability of minimal phenomenon set were also proved in SP model. To locate system status, phenomena were used to divide state set into partitions. So fault dictionary technique and DES off-line diagnosis model are unified theoretically from math aspect in relation between state and its partitions. SP model is also proved a universal method in circuit fault diagnosis.
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2007年第10期1196-1199,共4页
Journal of Beijing University of Aeronautics and Astronautics
基金
航空基础科学基金资助项目(04I51024)
关键词
电路理论
划分
交叉交运算
最小现象集
circuit theory
partitions
cross intersections
minimal phenomenon set
