具有DP的广义可能性模糊时态CTL模型检测

• 作者: 李永明 梁常建 袁申 魏杰林
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 模糊时态 决策过程 广义可能性测度 计算树逻辑 模型检测
• 年，卷（期）: 2019,（10）
• 所属期刊栏目: 理论与算法
• 页码范围: 1781-1792
• 页数: 12页
• 分类号: TP301.2
• 字数: 11211字
• 语种: 中文

摘要

为了增强计算树逻辑在时序上的表达能力,以广义可能性测度、决策过程和计算树逻辑为基础,研究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测.首先采用广义可能性决策过程作为系统模型;然后引入模糊时态算子,构造了模糊时态计算树逻辑并给出其在广义可能性测度下的语义,得到新的广义可能性模糊时态计算树逻辑用来描述系统属性;最后在广义可能性调度下通过模糊矩阵运算讨论了"soon、within、last、nearly"等几类模糊时态连接词的具体计算方法,给出相应的模型检测算法.经验证明,广义可能性模糊时态计算树逻辑是广义可能性计算树逻辑在模糊时序上的扩充,具有更强的表达能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	梁常建	陕西师范大学数学与信息科学学院	3	8	2.0	2.0
3	魏杰林	陕西师范大学计算机科学学院	2	0	0.0	0.0
4	袁申	陕西师范大学计算机科学学院	2	0	0.0	0.0