一种优化的可能性测度计算树逻辑检测模型

• 作者: 任江涛 吴忠坤 张赞波 陈燕升
• 来源期刊: 中山大学学报（自然科学版）
• 学科: 工学
• 关键词: 可能性测度 模型检测 公共子表达式 计算树逻辑
• 年，卷（期）: 2015,（4）
• 页码范围: 49-54
• 页数: 6页
• 分类号: TP301.2
• 字数: 5872字
• 语种: 中文
• DOI: 10.13471/j.cnki.acta.snus.2015.04.009

摘要

可能性测度计算树逻辑模型检测验证中存在诸多问题，例如低性能效率和高时间复杂度。针对上述问题，基于传统的模型检测标记算法，为满足高复杂性、大规模的公式标记检测，设计并实现了 I-PM＿CTL 算法。其基本步骤如下：第一步，先利用相关可能性测度对逻辑树公式进行计算，预处理标识公共子表达式的唯一性；第二步，在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态；第三步，实施验证，为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现，这一种方法一方面在很大程度上减小了相关时间复杂度，另一方面还使验证性能有所提升。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张赞波	广东轻工职业技术学院计算机工程系	13	19	2.0	3.0
2	任江涛	中山大学软件学院	23	303	10.0	17.0
3	吴忠坤	广东轻工职业技术学院计算机工程系	10	7	1.0	2.0