基于二支决策和三支决策视角的μ-演算局部模型检测

• 作者: 李前利 江华
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 三支决策 局部模型检测 μ-演算 不动点
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 1-3
• 页数: 3页
• 分类号: TP306
• 字数: 3131字
• 语种: 中文
• DOI: 10.11907/rjdk.1511227

摘要

从二支决策和三支决策角度探讨命题 μ-演算的局部模型检测算法,对计算过程中节点迭代值的存储方式进行分析,并对这两个局部模型检测算法作对比.研究发现,基于三支决策理论的局部模型检测算法减少了计算量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李前利	闽南师范大学粒计算重点实验室	2	1	1.0	1.0
2	江华	闽南师范大学粒计算重点实验室	5	5	1.0	2.0