摘要：提出一个以多粒子纠缠图态为量子信道的任意单量子态的多方分层远程态制备(MHRSP)的新协议。在该方案中,利用前馈测量策略,发送者将一个秘密量子态不对称地分配给两级代理,其中两级代理的人数原则上是可以任意的,并且不同级别的代理具有恢复发送者秘密的不同权限。进一步地,将上述MHRSP协议进行了推广,得到一个多方分层联合远程态制备(MHJRSP)方案。所提出的两个方案不涉及非局域操作,它们是安全而不被窃听的,期望能在现实世界中得到有效的应用。

摘要：程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先讨论了量子通讯中常用的比特翻转、相位翻转、去极化、幅值阻尼、相位阻尼等信道作为特殊的非确定型量子程序从计算基态开始运行时的可达集合和终止集合等程序验证问题.其次,把上述五种量子程序两两组合组成非确定型量子程序,根据这五种量子程序的可达集合之相似点,最终合并成三种非确定型量子程序,重点讨论了这三种非确定型量子程序从计算基态开始运行时的终止和发散等程序验证问题.研究表明:这三种非确定型量子程序从计算基态0开始运行时都是终止的;而从计算基态1开始运行时:比特翻转信道和去极化信道组成的非确定型量子程序的终止和发散与分别刻画它们的两个参数有关;比特翻转信道和相位翻转信道组成的非确定型量子程序的终止和发散只与刻画比特翻转信道的参数有关;幅值阻尼信道和相位阻尼信道组成的非确定型量子程序是发散的,其发散条件与刻画量子信道的两个参数都没有关系.本文的结果可以为量子信息安全中量子通讯协议的验证提供理论和技术支持.

摘要：所谓研究性教学，是指教师在精心设计问题的基础上，以类似于数学研究的方式和方法，指导学生对问题进行多角度地分析与探索，通过主动学习的新知识来解决问题，从而培养学生的创新意识和探究能力，提高学生综合素质的一种教学模式．研究性教学对激活数学思维、生成问题意识、发展创新意识、训练探究能力、提高综合素质无疑是有益的．数学研究性教学一般可按照“课前准备——课堂探究——课后延伸”的步骤进行，