Journal of Software:2016.27(12):2994-3002

(陕西师范大学 计算机科学学院, 陕西 西安 710119;福建农林大学 计算机与信息学院, 福建 福州 350002)
Exogenous Quantum Markov Chains and Reachability Analysis
LIN Yun-Guo,LI Yong-Ming
(College of Computer Science, Shaanxi Normal University, Xi'an 710119, China;College of Computer and Information Sciences, Fujian Agriculture and Forestry University, Fuzhou 350002, China)
Chart / table
Similar Articles
Article :Browse 1408   Download 1713
Received:December 08, 2014    
> 中文摘要: 为了刻画开放量子系统的量子属性,扩展现有的量子马尔可夫链是有必要的.通过构建Exogenous量子算子逻辑,定义了Exogenous量子马尔可夫链.作为新型量子马尔可夫链,重点研究了4种可达性公式,给出可达性公式可满足性问题的求解,并分析了它们的可判定性问题.作为应用,实例说明广义量子Loop程序的终止问题可以归结为Exogenous量子马尔可夫链的最终可达性,进而通过检测量子公式可满足性来判定程序的终止问题.
Abstract:In order to describe quantum properties of open quantum system, it is necessary to extend the existing quantum Markov chains. In this paper, Exogenous quantum Markov chains is introduced through building Exogenous quantum operator logic. For this new type of quantum Markov chain, the paper focuses on four reachability formulas, gives the solution of their satisfiability problems, and analyzes their decidability problems. As an application, an example is provided to show that the termination of the generalized quantum loop program corresponds to the future reachability of Exogenous quantum Markov chains, and therefore can be decided by checking satisfaction of quantum formulas.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(11271237,61228305);福建省自然科学基金资助项目(2016J01283);福建省教育厅中青年教师教育科研项目(JA13115) 国家自然科学基金(11271237,61228305);福建省自然科学基金资助项目(2016J01283);福建省教育厅中青年教师教育科研项目(JA13115)
Foundation items:National Natural Science Foundation of China (11271237, 61228305); Natural Science Foundation of Fujian Province of China (2016J01283); The Young and Middle-Aged Education and Scientific Research Foundation of Fujian Educational Committee(JA13115)
Reference text:


LIN Yun-Guo,LI Yong-Ming.Exogenous Quantum Markov Chains and Reachability Analysis.Journal of Software,2016,27(12):2994-3002