论文部分内容阅读
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明,由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取,还依赖于可观测算子的选取。
几种量子程序终止的有效验证
【摘 要】
：
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况
【机 构】
：
陕西师范大学计算机科学学院,内江师范学院数学与信息科学学院
【出 处】
：
计算机科学
【发表日期】
：
2012年11期
【基金项目】
：
国家自然科学基金（60873119）资助
其他文献
在采用时隙ALOHA方式的VSAT卫星数据通信系统中,为数据帧分配保护时间是帧格式设计中的一项重要任务。利用系统的定时关系给出准同步时隙ALOHA系统数据帧无冲突接收的充要条
组播是一种多机通信系统中可支持多种聚合通信服务的重要操作。与基于单播和路径的方法相比,基于树的组播通常具有较高的效率。针对高阶胖树源路由网络,提出了一种新型实现方
为了能够快速准确地计算出果树枝干的空间位置,提出了一种基于梯度相位编组的Hough变换树枝检测新算法。利用改进的平方梯度法计算边缘点的梯度相位角,找出梯度相位直方图中多个阈值大于T的峰值。然后将具有相近梯度相位角的边缘点归为一组。最后对每组中的边缘点采用改进的两点表决Hough变换算法找出对应的直线参数。利用梯度相位角进一步验证参数的正确性。研究结果表明,提出的梯度相位编组直线检测方法具有速度快、
当前信息可视化所面临的一个瓶颈就是,需要一种模型来把场景图形内容和特定领域的语义信息进行有效集成,使用户可以有效地解释个性化可视化信息。基于X3D标准以及本体用本体
服务选择是实现服务共享、组合、复用的重要前提。随着具有相同功能属性但非功能属性（如服务质量（Quali-ty of Service,QoS））不同的候选服务数量日益增多,QoS已成为服务选择的关
针对文献[21]提出的覆盖粗糙Vague集模型中幂等性并不成立的问题,提出了一种新的基于近邻域的覆盖粗糙Vague集模型,并讨论了相关性质及与Ι型覆盖粗糙Vague集模型的关系;最后
分析我国三网合一的现状,提出三网融合的融合策略,给出基于统一IMS技术的三网融合体系结构,并阐述其主要实体功能及控制流程。在三网管理及技术格局基本不变的情况下,各网络
P-推理（packet reasoning）是由P-集合（packet sets）的结构与动态特征得到的。P-推理由内P-推理（internalpacket reasoning）与外P-推理（outer packet reasoning）构成,具有动态特性与＂序
多数识别技术通过建立流特征的正常模型来识别偏离的流,但流特征有较强的可变性,建立这样精微的模型非常困难。异常的发生通常会引起流量地址或端口在分布上的变化,分布的分
在解码转发协议的基础上,研究了全选中继策略和机会中继选择策略的中断概率性能,推导了瑞利衰落下的两种策略的中断概率精确闭式结果,给出了高信噪比时的中断概率近似表达式