文献

J-GLOBAL ID：201702282688526320   整理番号：17A1394162

多項式の複雑さをもつ分散化離散事象システムの予測可能性の検証【Powered by NICT】

Verification for the predictability of decentralized discrete event systems with a polynomial complexity

著者 (2件)： Liu Fuchun (School of Computers, Guangdong University of Technology, Guangzhou 510006) ,  Yang Pengbiao (School of Computers, Guangdong University of Technology, Guangzhou 510006)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CCC  ページ： 2367-2372  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,分散離散事象システム(DES)の予測可能性に対する検証問題を検討し,その中で検出情報を物理的に分離したサイト間の分散である可能性がある。分散DESのための予測可能性はcopredictabilityの概念,故障事象は少なくとも一つの局所オブザーバによるそれらの発生前に予測できることを関与するシステムの能力を記述するにより形式化した後,すなわちcoverifier,非決定性オートマトンは,予測の性能を達成するために構築した。coverifierに基づくDESのcopredictabilityを検証するための必要十分条件を提案した。特に,破壊予測の実現のための複雑性を解析した。与えられた分散システムのための,coverifierは多項式計算量で構築できることを証明し,そのcopredictabilityの検証が多項式時間以内に完了することができた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 計算量 ,  *予測可能性 ,  *多項式 ,  故障 ,  *分散化 ,  非決定性オートマトン ,  分散系
準シソーラス用語： 多項式時間 ,  複雑性 ,  必要十分条件 ,  *離散事象系 , 【Automatic Indexing@JST】

分類 (4件)： システム・制御理論一般  (IA02010H) ,  信頼性  (KB04040H) ,  計算理論  (JB02000A) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (6件)： 多項式 ,  複雑さ ,  分散化 ,  離散事象システム ,  予測可能性 ,  検証