文献

J-GLOBAL ID：201702290982673060   整理番号：17A1293483

この問題を解決するために,効率的アルゴリズムを設計した。【JST・京大機械翻訳】

Local model checking algorithm for evaluation of propositional μ-calculus

著者 (2件)： Li Qianli (min南師范大学 粒計算重点実験室,福建 zhang州,363000) ,  Jiang Hua (min南師范大学 粒計算重点実験室,福建 zhang州,363000)
資料名： Jisuanji Gongcheng yu Yingyong  (Jisuanji Gongcheng yu Yingyong)
巻： 53  号： 9  ページ： 51-56  発行年： 2017年 
JST資料番号： C2533A  ISSN： 1002-8331  CODEN： JGYYAT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： μ-演算の局所モデル検出アルゴリズムにおいて,現在の最適アルゴリズムの時間複雑性は,不動点演算子の交互ネスト深さdと指数関数的に関係している。命題のμ-演算局所モデル検出アルゴリズムの計算過程を分析し、反復計算の中間反復値の間に満たす一組の偏順序関係を得て、そしてこの半順序関係を利用して1つの局部モデル検査アルゴリズムを設計し、アルゴリズムの時間複雑度の指数部分はd 2である。アルゴリズムの計算効率は大いに改善された。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： モデル検査 ,  指数関数 ,  *アルゴリズム ,  命題 ,  演算 ,  不動点 ,  半順序
準シソーラス用語： 計算効率 ,  複雑度 ,  入れ子構造 ,  複雑性 ,  最適アルゴリズム ,  検出アルゴリズム ,  *効率的アルゴリズム , 【Automatic Indexing@JST】

著者キーワード (4件)： μ-calculus ,  local model checking ,  fixpoint ,  partial order relation

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 効率的アルゴリズム ,  設計