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

摘要：

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

关键词：有界模型检测、完备性阈值、半张量积、离散时间系统

所属期刊栏目：33

分类号：TP301.4(计算技术、计算机技术)

资助基金：国家自然基金面上资助项目61572253;国家自然科学基金青年科学基金资助项目61403223

在线出版日期：2016-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2641-2644