|
|||||
|
|
| 广义可能性互模拟及其逻辑刻画 | |
| 作者姓名： | 张兴兴 邓楠轶 马占有 李永明 |
| 作者单位： | 陕西师范大学计算机科学学院,陕西西安,710062 |
| 基金项目： | 国家自然科学基金资助项目(11271237,61228305);高等学校博士学科点专项基金资助项目(20130202120001) |
| 摘 要： | 首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL-以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoCTL*和GPoCTL-公式与互模拟状态之间的等价关系。 |
| 关 键 词： | 广义可能性测度 可能性互模拟 计算树逻辑 |
| 收稿时间： | 2014-08-12 |
| 修稿时间： | 2014-10-16 |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |