抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
確率時間システム,パラメトリック区間確率的時間付きオートマトン,パラメトリック時間付きオートマトンと区間Markov連鎖の拡張に基づくのための新しい抽象定式化を提案した。これに関連して,与えられた仕様は少なくとも一つの実装を許容するかどうかを決定に達することを一貫性問題を考察した。区間確率的時間付きオートマトン(タイミングパラメータ)のコンテキストにおいて,ここでは,この問題は決定可能であるとその解決のための構成的アルゴリズムを提案したことを示さなかった。が終わるときはいつでも一貫性を保証するパラメータ評価の存在は,一般的な状況で決定不能であるが,それを解決する半アルゴリズムを提案したことを示した。Copyright 2016 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】