抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
初期前順序に含まれる最も粗いシミュレーション前順序は,与えられた遷移システムを解析するために必要な資源を低減するために用いられる計算。この技術は,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】