文献

J-GLOBAL ID：201102217889491425   整理番号：11A1585287

一般化記号軌跡評価における反証生成

Counter-example Generation in Generalized Symbolic Trajectory Evaluation

著者 (4件)： Li Yinian (Coll. of Sci., Wuhan Univ. of Technol., Wuhan) ,  Cao Zhantao (School of Computer Sci. and Engineering Univ. of Electronics Sci.&Tech.of China, Chengdu) ,  Zheng Desheng (School of Computer Sci. and Engineering Univ. of Electronics Sci.&Tech.of China, Chengdu) ,  Yang Guowu (School of Computer Sci. and Engineering Univ. of Electronics Sci.&Tech.of China, Chengdu)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 37  号： 9  ページ： 245-248  発行年： 2010年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 一般化記号軌跡評価は,記号第四紀配置に記号第四紀と記号変数を導入する強力なモデル検査技術である。しかし,反証を見つけるのに障壁がある。この研究で,著者らは反証を捜すために解決策を提示した。それは,集合交差を一般化反証への後方のシミュレーションに使用する。そして著者らは,記号変数から問題を解決するために解決策を拡張した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *シミュレーション ,  モデル検査 ,  第四紀

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 一般化 ,  記号 ,  軌跡 ,  評価