文献

J-GLOBAL ID：201702256841305207   整理番号：17A1357464

効率的なシミュレーションアルゴリズムの系列のための基礎【Powered by NICT】

Foundation for a series of efficient simulation algorithms

著者 (1件)： Cece Gerard (FEMTO-ST Institute/CNRS, Univ. Bourgogne Franche-Comte ́, Montbe ́liard, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： LICS  ページ： 1-12  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 初期前順序に含まれる最も粗いシミュレーション前順序は,与えられた遷移システムを解析するために必要な資源を低減するために用いられる計算。この技術は,Kripke構造,ラベル付きグラフ,ラベル付き遷移システムや単語と木オートマトンものような多くのモデルに適用した。(Q,→)は,与えられた遷移システムとするとR_initはQ上の初期前順序これまで,R_initに含まれる最も粗いシミュレーション,R_simを計算するためにアルゴリズムはメモリ効率の良いまたは時間効率的で,両ではなかった。本論文では,最大遷移の概念と粗いものに関して前順序の安定性の概念を導入した一連の効率的シミュレーションアルゴリズムの基礎を提案した。例として,最良の公表された時間計算量O(P_sim。→),O(P_sim~2.1OG(P_sim)+Q。log(|Q|))におけるビット空間複雑さ,P_simとR_simによって誘導される分割と最初のアルゴリズムを提供することにより,未解決の問題を解いた。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】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： シミュレーション ,  アルゴリズム ,  系列 ,  基礎