几种确定型量子程序的可达和终止验证

来源 :2015全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:shiguzxy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序确定型量子程序,从计算基态运行时程序的可达集合及它们终止及发散的情况.研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.
其他文献
随着神威·太湖之光以125P的峰值性能登顶Top500榜首,超级计算机研制中的一个重要里程碑结点100P系统已被攻克,下一个高峰“E级计算机”正成为各国竞逐的新目标。2016年科
研究镉对鲫特异性免疫力的影响。按大肠杆菌粗蛋白浓度3n训kg免疫鲫后,立即以Ca2^+浓度1.25、2.5和3、75mg/kg腹腔注射染镉,在免疫染镉后的不同时间用反向间接血凝抑制法检测其抗
Si3N4 porous ceramics were fabricated by a combined foam-gelcasting and catalytic nitridation method at 1473-1623 K using silicon powder as the starting materia
传统的教学中存在着一些问题,不利于提高实际教学效果,教师可以将电工电子课程内容与信息技术有机地整合,形成教师引导教学与学生主动学习的模式,主要探析当前中职电工电子课
文章首先对高职国际货运代理课程教学现状及模拟公司教学法进行了概述,然后提出了模拟公司教学法在高职国际货运代理课程改革中的应用途径,最后分析了模拟公司教学法在高职国
当前的混合关键级多任务调度,一旦高关键级任务的执行时间需求增加,通常的做法是立即抛弃相对低关键级任务,以确保高关键级任务获得足够处理器时间。考虑到数据访问的一致性和完
在英语教学中,社会文化的内容具有越来越重要的地位。“英美概况”作为一门重要的社会文化基础课在高校广泛开设,但在课程设置、教材选择和教师安排方面都不尽如人意。实践证
摘 要:本文从《春思曲》歌曲的艺术特征和演唱分析两个方面进行探究。黃自先生创作的歌曲作为中国艺术歌曲的经典之作,具有极高的艺术价值和教学意义。通过对歌曲的音乐特点、演唱技巧等方面进行分析。主要从歌词、伴奏、气息和吐字方面探究黄自先生独特的歌曲艺术风格,从而掌握演唱技巧,提高艺术修养及艺术本身的价值。  关键词:艺术歌曲;西方音乐;传统音乐  一、 《春思曲》的艺术特征  《春思曲》是黄自先生演唱的
针对复杂状况下传统表情识别方法存在的问题,提出一种新的非特定人表情识别方法。该算法首先提取每张表情图像的HOG特征和Haar小波特征,然后将两种不同的特征串行融合得到整幅图像的特征,最后通过SVM多分类器完成各层人脸表情的分类识别。在JAFFE人脸表情库上的仿真实验中,该方法的分类准确率达到87.9%,平均时耗达到10.296 6s。对比实验结果表明,所提算法具有更高的识别率、更好的实时性和更强的
基于"遗传+变异"模式,提出继承式集成学习方法框架,它可以训练出四种不同形式的层叠分类器。除了基于"无遗传"模式的基本层叠分类器与基于"全部遗传"模式的嵌入式层叠分类器两种传统方法之外,还有基于"部分遗传+部分变异"模式的特征继承层叠分类器与弱分类器继承层叠分类器。虽然后两种层叠分类器都有一定的继承代价,但是其拟合性更好,可以更好地均衡收敛速度和扩展性能,其综合性能优于传统方法。基于RAB、GAB