文献

J-GLOBAL ID：201702221737417017   整理番号：17A1525751

インタフェースオートマトンの良い構成的検出アルゴリズムとその実現【JST・京大機械翻訳】

Well-formedness checking algorithm of interface automaton and its realization

著者 (2件)： Li Xue (江南大学物聯网工程学院,江蘇无錫,214122) ,  Zhu Jiagang (江南大学物聯网工程学院,江蘇无錫,214122)
資料名： Jisuanji Yingyong  (Jisuanji Yingyong)
巻： 37  号： 2  ページ： 574-580  発行年： 2017年 
JST資料番号： C2535A  ISSN： 1001-9081  CODEN： JYIIDU  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 部品システムにおける任意の構成要素の非構造性によって引き起こされるシステムの正常な運転の問題を解決するために,インタフェイスオートマトン(IA)に基づいて,構成要素の良好な構造を検出するためのアルゴリズムを提案し,それに基づいてプロトタイプシステムを構築した。まず第一に,このアルゴリズムは,自動的にインタフェイスオートマトンと同形の到達可能なグラフを構築することができた。第二に,到達可能なグラフに基づいて,すべての遷移をカバーする順序集合を,深さ優先によって生成した。最後に、この順序セットにより、外部環境がその入力仮説を満たす状況下で、各方法の活動からそれに対応する活動へのルートの自律的な異常性がないため、インターフェースオートマトンの良い構造検査を実現する。提案したアルゴリズムに基づいて,本論文では,JFLAPにより構成された部品のインタフェイスオートマトンモデルを構築し,それらの到達可能なグラフを構築することにより,インタフェイスの自動検出器を構築し,関連する検出情報を出力した。最後に,アルゴリズムの有効性を検証するために,構成要素の良い構成の検出実験を行った。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： グラフ ,  *アルゴリズム ,  インタフェイス
準シソーラス用語： 自動検出 ,  自律性 ,  外部環境 ,  *検出アルゴリズム , 【Automatic Indexing@JST】

著者キーワード (4件)： Interface Automaton (IA) ,  component ,  well-formedness ,  the most simple run

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： インタフェース ,  オートマトン ,  検出アルゴリズム