文献

J-GLOBAL ID：202002233698151539   整理番号：20A2308072

スライス技術に基づく複雑なモデル検証手法【JST・京大機械翻訳】

COMPLEX MODEL VERIFICATION METHOD BASED ON SLICING TECHNIQUE

著者 (4件)： Ji Mingyu (東北林業大学信息与計算机工程学院 黒竜江 哈爾浜 150040) ,  Yu Mingxia (東北林業大学信息与計算机工程学院 黒竜江 哈爾浜 150040) ,  Me Yinuo (東北林業大学信息与計算机工程学院 黒竜江 哈爾浜 150040) ,  Bi Xiwen (東北林業大学信息与計算机工程学院 黒竜江 哈爾浜 150040)
資料名： Jisuanji Yingyong Yuruanjian  (Jisuanji Yingyong Yuruanjian)
巻： 37  号： 9  ページ： 188-193  発行年： 2020年 
JST資料番号： C2940A  ISSN： 1000-386X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： モデル検査における状態空間爆発問題のために,資源消費に基づく複雑な確率遷移システムモデルのための特性検証法を提案した。PRCTLを用いてモデル意味論論理表現を行い、遷移ステップ数制約に対してスタックに基づく深さエルゴードアルゴリズムを採用して検証を行い、冗長な遷移と状態に対して二次減少を行い、複雑な確率遷移システムのモデル簡単化を完成した。単純化した遷移グラフに対して確率行列の反復演算を行い、確率条件を判定し、同時に資源条件の判定を完成し、相応の実例分析を行った。本モデルは,複雑なシステムによってもたらされる状態冗長性および計算の複雑さをある程度緩和し,そして,特性検証のための新規アイデアを提供することができた。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  意味論 ,  簡素化 ,  *冗長性 ,  確率行列 ,  演算 ,  遷移システム ,  モデル検査
準シソーラス用語： *モデル検証 ,  状態空間 ,  資源消費 , 【Automatic Indexing@JST】

分類 (1件)： 数値計算  (JE02000J)

タイトルに関連する用語 (3件)： スライス ,  モデル検証 ,  手法