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

陈燕升; 张赞波; 吴忠坤; 任江涛

首页> 中文期刊> 《中山大学学报：自然科学版（中英文）》 >一种优化的可能性测度计算树逻辑检测模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《中山大学学报：自然科学版（中英文）》 |2015年第4期|49-54|共6页
作者
陈燕升; 张赞波; 吴忠坤; 任江涛;
展开▼
作者单位

广东轻工职业技术学院环境工程系;

昆山科技大学资讯管理系;

广东轻工职业技术学院计算机工程系;

中山大学软件学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
可能性测度; 模型检测; 公共子表达式; 计算树逻辑;

相似文献

中文文献
外文文献
专利

1. 基于可能性测度的计算树逻辑CTL*与可能性互模拟 [J] . 邓辉 ,薛艳 ,李亚利 . 计算机科学 . 2012,第010期
2. 具有多值决策过程的广义可能性计算树逻辑模型检测 [J] . YUAN Shen ,WEI Jie-lin ,LI Yong-ming . 计算机工程与科学 . 2019,第001期
3. 广义可能性计算树逻辑的模型检测问题 [J] . 梁常建 ,李永明 . 电子学报 . 2017,第011期
4. 广义可能性决策过程的计算树逻辑模型检测 [J] . 马占有 ,李永明 . 计算机工程与科学 . 2015,第011期
5. 可能性测度下计算树逻辑的若干性质 [J] . 李亚利 ,李永明 . 陕西师范大学学报（自然科学版） . 2013,第006期
6. 广义可能性决策过程的计算树逻辑模型检测 [C] . MA Zhan-you ,马占有 ,LI Yong-ming . 2015全国理论计算机科学学术年会 . 2015
7. 基于DNA计算模型的计算树逻辑模型检测算法研究 [A] . 韩英杰 . 2020

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

摘要

著录项

相似文献

相关主题

期刊订阅