文档名：几种确定型量子程序的可达和终止验证
讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序确定型量子程序,从计算基态运行时程序的可达集合及它们终止及发散的情况.研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.
作者：雷红轩 傅丽
作者单位：内江师范学院数学与信息科学学院,四川内江641112;四川省高等学校数值仿真重点实验室,四川内江641112青海民族大学数学与统计学院,青海西宁810007
母体文献：2015全国理论计算机科学学术年会论文集
会议名称：2015全国理论计算机科学学术年会
会议时间：2015年10月30日
会议地点：金华
主办单位：中国计算机学会
语种：chi
分类号：
关键词：量子程序 可达验证 终止验证 参数测量
在线出版日期：2017年7月25日
基金项目：
相似文献
相关博文
- 文件大小:
- 2.14 MB
- 下载次数:
- 60
-
高速下载
|
|
