广义可能性计算树逻辑的模型检测问题

• 作者: 李永明 梁常建
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 可能性理论 计算树逻辑 模型检测 时间复杂性 规约
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2641-2648
• 页数: 8页
• 分类号: TP301.2
• 字数: 9469字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2017.11.010

摘要

本文首先分别给出了“约束可达”,“总是可达”这两个公式在广义可能性计算树逻辑(GPoCTL)中的另外两种等价形式;其次讨论了基于广义可能性测度的计算树逻辑的模型检测问题,将GPoCTL的模型检测问题规约为经典的CTL模型检测问题,利用截集的方法,给出了计算GPoCTL的模型检测问题的算法及其复杂度,并通过实例分析说明了这种算法的可行性;最后,研究了具有公平性假设的GPoCTL模型检测问题的计算复杂度,得到了与上面相似的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学数学与信息科学学院	165	505	12.0	16.0
2	梁常建	陕西师范大学数学与信息科学学院	15	12	3.0	3.0