北京航空航天大学学报
北京航空航天大學學報
북경항공항천대학학보
2007年
10期
1196-1199
,共4页
电路理论%划分%交叉交运算%最小现象集
電路理論%劃分%交扠交運算%最小現象集
전로이론%화분%교차교운산%최소현상집
在故障字典法和离散事件系统(DES, Discrete Event System)离线诊断模型的基础上,提出一种对混合电路统一建模的方法:状态分割法.围绕系统状态和状态的划分之间的关系,以数学分析为主,提出交叉交运算的定义,证明了交叉交运算在划分集上的封闭性以及该运算是划分集上的划分积等性质.借用DES离线诊断模型的建模思想,提出系统的可诊断性定义,利用交叉交运算的性质证明了最小现象集存在并可达的结论.以故障现象分割系统状态集合的方式来定位系统所处的故障状态,把故障字典法和DES离线诊断模型统一起来,指出了状态分割法的通用性.
在故障字典法和離散事件繫統(DES, Discrete Event System)離線診斷模型的基礎上,提齣一種對混閤電路統一建模的方法:狀態分割法.圍繞繫統狀態和狀態的劃分之間的關繫,以數學分析為主,提齣交扠交運算的定義,證明瞭交扠交運算在劃分集上的封閉性以及該運算是劃分集上的劃分積等性質.藉用DES離線診斷模型的建模思想,提齣繫統的可診斷性定義,利用交扠交運算的性質證明瞭最小現象集存在併可達的結論.以故障現象分割繫統狀態集閤的方式來定位繫統所處的故障狀態,把故障字典法和DES離線診斷模型統一起來,指齣瞭狀態分割法的通用性.
재고장자전법화리산사건계통(DES, Discrete Event System)리선진단모형적기출상,제출일충대혼합전로통일건모적방법:상태분할법.위요계통상태화상태적화분지간적관계,이수학분석위주,제출교차교운산적정의,증명료교차교운산재화분집상적봉폐성이급해운산시화분집상적화분적등성질.차용DES리선진단모형적건모사상,제출계통적가진단성정의,이용교차교운산적성질증명료최소현상집존재병가체적결론.이고장현상분할계통상태집합적방식래정위계통소처적고장상태,파고장자전법화DES리선진단모형통일기래,지출료상태분할법적통용성.
