抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,連続Petriネットとその拡張により定義可能な単項有理数の集合を研究した。最初に,実存FO(Q,+,<)の多項式時間決定可能フラグメントを同定し,この断片における定義可能な有理数の集合は連続Petriネットの可到達性集合と一致することを示した。次に,状態(CVASS)による連続ベクトル加算システム,計数管は,非負合理的な値を持っているかもしれないと,転移の影響は正の有理数小さいかまたは1に等しいから導出できる状態を持つベクトル加算システムを導入し,研究した。このクラスはさらに離散制御状態情報を考慮して連続Petriネットを一般化したもので厳密に導出した。CVASSの可到達性集合した実存FO(Q,+,<)から,CVASSにおける到達可能性はNP完全であることを結論できるにおける定義可能な合理的な数の集合と等価であることを証明した。最後に,著者らの結果は,最近文献で研究されてきた意思決定問題のための多項式時間アルゴリズムの数を説明し,結果として得られた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】