计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2011年
3期
1062-1065
,共4页
刘晓芹%黄考利%吕晓明%安幼林
劉曉芹%黃攷利%呂曉明%安幼林
류효근%황고리%려효명%안유림
传感器配置优化%复杂性%诊断效能指标%NP困难%可满足问题(SAT)
傳感器配置優化%複雜性%診斷效能指標%NP睏難%可滿足問題(SAT)
전감기배치우화%복잡성%진단효능지표%NP곤난%가만족문제(SAT)
为分析故障诊断中传感器(或测试点)配置优化问题的复杂性,在系统有向图模型中引入传感器配置掩码,定义了系统掩码有向图模型和多故障源集合的传感器配置掩码,利用传感器集合运算表达式形式化描述了系统故障可检测性和多故障可分辨性两个诊断性能指标,在此基础上提出了故障诊断传感器最优配置存在问题为NP困难问题的复杂性定理.通过归约到可满足问题(SAT)对提出的定理进行了严格证明,并设计一种自底向上的搜索算法寻找满足多故障可诊断性的传感器近似优化配置.
為分析故障診斷中傳感器(或測試點)配置優化問題的複雜性,在繫統有嚮圖模型中引入傳感器配置掩碼,定義瞭繫統掩碼有嚮圖模型和多故障源集閤的傳感器配置掩碼,利用傳感器集閤運算錶達式形式化描述瞭繫統故障可檢測性和多故障可分辨性兩箇診斷性能指標,在此基礎上提齣瞭故障診斷傳感器最優配置存在問題為NP睏難問題的複雜性定理.通過歸約到可滿足問題(SAT)對提齣的定理進行瞭嚴格證明,併設計一種自底嚮上的搜索算法尋找滿足多故障可診斷性的傳感器近似優化配置.
위분석고장진단중전감기(혹측시점)배치우화문제적복잡성,재계통유향도모형중인입전감기배치엄마,정의료계통엄마유향도모형화다고장원집합적전감기배치엄마,이용전감기집합운산표체식형식화묘술료계통고장가검측성화다고장가분변성량개진단성능지표,재차기출상제출료고장진단전감기최우배치존재문제위NP곤난문제적복잡성정리.통과귀약도가만족문제(SAT)대제출적정리진행료엄격증명,병설계일충자저향상적수색산법심조만족다고장가진단성적전감기근사우화배치.
