基于半张量积的完备性阈值求解方法

• 作者: 刘振斌 庄毅 许海洋
• 来源期刊: 计算机应用研究
• 关键词: 有界模型检测 完备性阈值 半张量积 离散时间系统
• 年，卷（期）: 2016,（9）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 2641-2644
• 页数: 4页
• 分类号: TP301.4
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.09.017

摘要

为了精确地计算Kripke模型的完备性阈值,将半张量积引入到有界模型检测的完备性阈值的计算中,采用离散时间进化系统来研究Kripke模型的状态进化拓扑结构,提出了基于半张量积的有界模型检测完备性阈值的求解算法.通过实例说明了该方法能够求解Kripke模型的完备性阈值.结果表明,利用矩阵采用代数方法能够精确地计算模型的前向半径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄毅	南京航空航天大学计算机科学与技术学院	126	790	14.0	23.0
2	许海洋	南京航空航天大学计算机科学与技术学院	22	46	4.0	6.0
6	刘振斌	青岛农业大学理学与信息科学学院	13	13	2.0	3.0