文献

J-GLOBAL ID：201202216049613750   整理番号：11A1408131

記号モデル検査による符号付き有向グラフ故障診断の解法用の形式的検証

Formal Verification for the Solution of Signed Directed Graph Fault Diagnosis via Symbolic Model Checking

著者 (3件)： Ning Ning (Coll. of Automation, Northwestern Polytechnical Univ., Xi’an) ,  Zhang Jun (Coll. of Automation, Northwestern Polytechnical Univ., Xi’an) ,  Gao Xiangyang (Coll. of Automation, Northwestern Polytechnical Univ., Xi’an)
資料名： Xinxi yu Kongzhi  (Xinxi yu Kongzhi)
巻： 39  号： 4  ページ： 423-429  発行年： 2010年 
JST資料番号： C2155A  ISSN： 1002-0411  CODEN： XYKOE9  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 定量的および非線形の原因情報の喪失のため,符号付き有向グラフ(SDG)故障診断の解法をさらに検証,確認する必要がある。SDG故障診断の解法の検証を,記号的モデル検査のフレームワークに置いた。記号モデル検査(SSDGFD SMC)によるSDG故障診断の解法の形式的検証法を提案した。第一に,SDGモデルの正式キャラクタリゼーションを,有限状態遷移システムとして定義し,SMV(記号モデル検孔機)モジュールをモデル化した。第二に,観察した変数の動的検証情報を故障伝搬時間によって組立て,進行性監視に基づく動的推論検証法を分析した。次に,SMVモデルを動的推論検証プロセス用に拡張して,SSDGFD SMCアルゴリズムを設計した。最後に,SSDGFD SMCの実用的適応性を,単純水槽SDGモデルによって実証した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *モデル検査 ,  *有向グラフ ,  検証 ,  故障診断 ,  キャラクタリゼーション ,  フレームワーク【ソフトウェア開発】
準シソーラス用語： 形式的検証

分類 (1件)： 通信網  (ND07030A)

タイトルに関連する用語 (7件)： 記号 ,  モデル検査 ,  符号 ,  有向グラフ ,  故障診断 ,  解法 ,  形式的検証