资料下载
×
Exogenous量子马尔可夫链及其可达性分析
消耗积分:3 |
格式:rar |
大小:1.10 MB |
2018-01-05
分享资料个
为了刻画开放量子系统的量子属性，扩展现有的量子马尔可夫链是有必要的．通过构建Exogenous量子算子逻辑，定义了Exogenous量子马尔可夫链．作为新型量子马尔可夫链，重点研究了4种可达性公式，给出可达性公式可满足性问题的求解，并分析了它们的可判定性问题．作为应用，实例说明广义量子Loop程序的终止问题可以归结为Exogenous量子马尔可夫链的最终可达性，进而通过检测量子公式可满足性来判定程序的终止问题．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
