Exogenous量子马尔可夫链及其可达性分析

摘要：

为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4种可达性公式,给出可达性公式可满足性问题的求解,并分析了它们的可判定性问题作为应用,实例说明广义量子Loop程序的终止问题可以归结为Exogenous量子马尔可夫链的最终可达性,进而通过检测量子公式可满足性来判定程序的终止问题.

关键词：量子马尔可夫链、量子逻辑、可达性、可满足性问题、可判定性问题

所属期刊栏目：27

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

资助基金：国家自然科学基金11271237,61228305;福建省自然科学基金资助项目2016J01283;福建省教育厅中青年教师教育科研项目JA13115National Natural Science Foundation of China11271237,61228305;Natural Science Foundation of Fujian Province of China2016J01283;The Young and Middle-Aged Education and Scientific Research Foundation of Fujian Educational CommitteeJA13115

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

页数：共9页

页码：2994-3002