結合可滿足的基於模型等價性驗證及不一致診斷問題研究論文作者是張立明,導師是歐陽丹彤
副題名
外文題名
Research on model-based equivalence checking and inconsistent diagnosis combined with satisfiability
論文作者
張立明著
導師
歐陽丹彤指導
學科專業
學位級別
工學博士
學位授予單位
吉林大學
學位授予時間
2012
關鍵字
人工智慧 故障診斷 可滿足性問題(SAT) 求解
館藏號
TP181
唯一標識符
108.ndlc.2.1100009031010001/T3F24.006003884
館藏目錄
2012\TP181\37