计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
5期
42-44
,共3页
Kripke结构%形式化验证%模糊逻辑%计算树逻辑
Kripke結構%形式化驗證%模糊邏輯%計算樹邏輯
Kripke결구%형식화험증%모호라집%계산수라집
根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的,模糊Kripke结构可分为8类.提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据;详细讨论了8种模糊Kripke结构之间的关系.这些结论为设计应用中模型的合理选取提供了理论依据,也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法.
根據初始狀態、狀態之間的轉換關繫和命題賦值函數是否為分明的,模糊Kripke結構可分為8類.提齣將模糊計算樹邏輯作為判斷模糊Kripke結構之間是否是等價的依據;詳細討論瞭8種模糊Kripke結構之間的關繫.這些結論為設計應用中模型的閤理選取提供瞭理論依據,也為解決模糊計算樹邏輯的模型檢測問題提供瞭一種新的方法.
근거초시상태、상태지간적전환관계화명제부치함수시부위분명적,모호Kripke결구가분위8류.제출장모호계산수라집작위판단모호Kripke결구지간시부시등개적의거;상세토론료8충모호Kripke결구지간적관계.저사결론위설계응용중모형적합리선취제공료이론의거,야위해결모호계산수라집적모형검측문제제공료일충신적방법.