基于半张量积的完备性阈值求解方法
Efficient computation of completeness threshold via semi-tensor product method作者机构：南京航空航天大学计算机科学与技术学院南京210016 青岛农业大学理学与信息科学学院山东青岛266109
出 版 物：《计算机应用研究》 (Application Research of Computers)
年 卷 期：2016年第33卷第9期
页 面：2641-2644页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然基金面上资助项目(61572253) 国家自然科学基金青年科学基金资助项目(61403223)
摘 要：为了精确地计算Kripke模型的完备性阈值,将半张量积引入到有界模型检测的完备性阈值的计算中,采用离散时间进化系统来研究Kripke模型的状态进化拓扑结构,提出了基于半张量积的有界模型检测完备性阈值的求解算法。通过实例说明了该方法能够求解Kripke模型的完备性阈值。结果表明,利用矩阵采用代数方法能够精确地计算模型的前向半径。
维普期刊数据库
同方期刊数据库