陕西师范大学学报（自然科学版）
陝西師範大學學報（自然科學版）
협서사범대학학보（자연과학판）
Journal of Shaanxi Normal University(Natural Science Edition)
2015年
4期
22-27
,共6页
广义可能性测度%计算树逻辑%不动点语义%模型检测
廣義可能性測度%計算樹邏輯%不動點語義%模型檢測
엄의가능성측도%계산수라집%불동점어의%모형검측
generalized possibility measures%computation tree logic%fixed-point characterization%model checking
计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义.给出广义可能性计算树逻辑的不动点语义解释,并利用归纳法证明此不动点为最大或最小不动点.结论表明,广义可能性计算树逻辑的不动点语义具有不同于经典情形的形式.
計算樹邏輯的不動點語義在其對應的符號模型檢測方法中具有重要意義.給齣廣義可能性計算樹邏輯的不動點語義解釋,併利用歸納法證明此不動點為最大或最小不動點.結論錶明,廣義可能性計算樹邏輯的不動點語義具有不同于經典情形的形式.
계산수라집적불동점어의재기대응적부호모형검측방법중구유중요의의.급출엄의가능성계산수라집적불동점어의해석,병이용귀납법증명차불동점위최대혹최소불동점.결론표명,엄의가능성계산수라집적불동점어의구유불동우경전정형적형식.
