具有多值决策过程的广义可能性计算树逻辑模型检测

• 作者: 李永明 袁申 魏杰林
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 模型检测 多值计算树逻辑 广义可能性测度 多值决策过程
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 软件工程
• 页码范围: 88-97
• 页数: 10页
• 分类号: TP301.2
• 字数: 9931字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2019.01.012

摘要

模型检测是一种自动验证软硬件系统行为的有效技术.为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用.首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性.然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算.最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例.

作者信息

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