计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2015年
5期
951-957
,共7页
张兴兴%邓楠轶%马占有%李永明
張興興%鄧楠軼%馬佔有%李永明
장흥흥%산남질%마점유%리영명
广义可能性测度%可能性互模拟%计算树逻辑
廣義可能性測度%可能性互模擬%計算樹邏輯
엄의가능성측도%가능성호모의%계산수라집
generalized possibility measure%possibilistic bisimulation%computation tree logic
首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL-以及带回报的计算树逻辑GPoRCTL的语构和语义.在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质.最后证明了GPoCTL、GPoCTL*和GPoCTL-公式与互模拟状态之间的等价关系.
首先,給齣瞭基于廣義可能性測度的計算樹邏輯的擴展GPoCTL*、計算樹邏輯的約簡GPoCTL-以及帶迴報的計算樹邏輯GPoRCTL的語構和語義.在經典互模擬和廣義可能性測度的基礎上討論瞭廣義可能性互模擬及其相關性質.最後證明瞭GPoCTL、GPoCTL*和GPoCTL-公式與互模擬狀態之間的等價關繫.
수선,급출료기우엄의가능성측도적계산수라집적확전GPoCTL*、계산수라집적약간GPoCTL-이급대회보적계산수라집GPoRCTL적어구화어의.재경전호모의화엄의가능성측도적기출상토론료엄의가능성호모의급기상관성질.최후증명료GPoCTL、GPoCTL*화GPoCTL-공식여호모의상태지간적등개관계.