林云国;李永明 外源量子马尔可夫链与可达性分析。 （中文。英文摘要） 兹比尔1389.81011 J.软件。 27，第12期，2994-3002（2016）. 摘要：为了描述开放量子系统的量子特性，有必要扩展现有的量子马尔可夫链。本文通过构造外源量子算符逻辑，引入外源量子马尔可夫链。对于这种新型的量子马尔可夫链，本文重点讨论了四个可达性公式，给出了它们的可满足性问题的解，并分析了它们的判定问题。作为一个应用，提供了一个例子来表明广义量子环程序的终止对应于外生量子马尔可夫链的未来可达性，因此可以通过检查量子公式的满足性来决定。 MSC公司： 81页68 量子计算 2012年第68季度 计算理论中的量子算法和复杂性 81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 关键词：量子马尔可夫链;量子逻辑;可达性;可满足性问题;可判定性问题 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}和\textit{Y.Li}，J.Softw。27，第12号，2994--3002（2016；Zbl 1389.81011） 全文： 内政部