基于经典Goppa码的非对称量子稳定子码构造

自从Calderbank等人建立了从经典纠错码构造量子纠错码的CRSS构造法以来,人们利用经典纠错码构造了大量的性能良好的量子纠错码,称为量子稳定子码．最近的物理实验表明,大多数量子力学系统中发生量子比特翻转错误的概率远小于量子相位翻转错误的概率,针对这一情况所构造的纠错码称为非对称量子纠错码．本文分别基于嵌套包含Goppa码与对偶包含Goppa码构造了一系列新的非对称量子稳定子码．在基于嵌套包含Goppa码构造非对称量子码时,首先对Goppa码的选取做一定的限制．以便解析构造量子码．对于一般情况下的构造,则是借助于数学软件Matlab计算Goppa码对偶码的最小距离进行的．在基于对偶包含Goppa码的构造中,所构造量子码的纠错能力主要体现在纠正Z类型错误上．     

基于量子逻辑的自动机理论的一些注记

主要结果是：1）讨论了正交模格值自动机的几个基本运算（连接、Kleene闭包、同态和补）；2）由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件，所以详细讨论了该条件，并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件，而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数；3）进一步讨论了正交模格值successor和source算子及子机的基本性质及它们之间的关系；4）给出了一个例子，从而说明了以前所得到的一些否定性结果在一些典型的正交模格值自动机中依然可能成立．     

非二元量子循环码的一种图论方法构造

利用由Schlingemann和Werner两人提出的构造量子纠错码的图论方法，给出了一个构造非二元量子循环码的方法，并给出一个具体的例子；对于任意的奇素数P，构造出量子码[[8，2，4]]p和[n,n-2，2]]p．     

基于纠错码的AW数字签名方案的分析

1993年Alabbadi和Wicker对基于纠错码的Xinmei数字签名方案提出了一种改进方案, 通常称为AW方案. 证明了该方案存在严重的安全问题: 任何人仅利用签名用户的公钥就可以构造等价的签名私钥, 从而成功地实现伪造签名. 同时指出, 基于大矩阵分解的困难性很难构造出安全性较高的数字签名方案.     

量子通信现状与展望

本文综述量子通信基本原理、方法、技术手段与应用.介绍量子保密通信基本协议和诱骗态方法,以及基于纠缠分发的量子通信,含基于纠缠光子对的量子保密通信、量子态隐性传输、纠缠光子对操控等.介绍量子通信的技术与应用现状并对未来发展方向做展望.     

面向近期量子处理器的量子神经网络研究进展

近年来,人工神经网络在各领域得到了广泛的应用,展现出强大的计算智能.与此同时,量子计算硬件也得到了飞速发展,近期量子处理器已具备较稳定的计算能力和抑制退相干能力,多家商用云量子计算机公司已能够为世界各地的学者们提供在线量子计算实验平台.在诸多技术领域的迅猛进展下,量子神经网络这一交叉领域也重获科学界的关注,涌现出了大量新的研究思路并取得了重要的实验进展.本文首先对早期量子神经网络的研究思路作简要阐述,然后对基于近期量子处理器的量子神经网络的数据编码、算法流程和量子电路设计等进行综述分析,最后总结量子神经网络领域的数个关键科学问题,对未来研究方向做出展望.     

基于辩论语义的算子模糊逻辑

定义了一种基于辩论语义的算子模糊逻辑，这种逻辑是相关的，次协调的，非单调的，能形象地刻画认知过程的信念修正，适于在知识不一致，不清确，不完全情形下推理。     

量子系统科学的重要分支:量子控制论

本文针对量子通信和量子计算等量子信息学的发展趋势,全面阐述量子系统科学的重要研究方向——以研究微观世界系统量子态的控制问题的新兴边缘学科--量子控制论.文中先从量子信息论引出量子控制论,进而对量子控制的定义、特点、研究现状、研究内容进行了系统的阐述,并提出了一些新的研究思路。     

基于量子Grover算法的VBLAST系统信号检测

VBLAST系统中最大似然检测具有最优的检测性能,但是计算复杂度是一个NP难题．将量子Grover算法及Grover-Long算法用于VBLAST系统最大似然检测中,对算法的复杂度和性能进行了仿真分析,仿真结果表明Grover检测算法不仅能够对计算复杂度起到平方加速的效果,而且算法的检测性能逼近最大似然检测性能．     

基于二氧化硅的量子点荧光纳米颗粒制备

多步制备了Si02-CdTe QDs荧光纳米颗粒,包括表面氨基化SiO2纳米颗粒载体、组装于载体表面的CdTeQDs壳以及最外层的二氧化硅壳。制备的SiO2-CdTe QDs荧光纳米颗粒性能稳定,紫外吸收和荧光发射增强明显。最外层的SiO2壳保证量子点的化学和光学稳定性的同时,还有助于表面生物基团的修饰。可以预见,SiO2-CdTe QDs荧光纳米颗粒作为生物探针将来应用于生化分析研究的广阔前景。     

基于半导体量子点的单光子源:原理、实现和前景

确定性和高度不可分辨的单光子源是实现线性光学量子计算和固态量子网络的重要前提条件.半导体自组装量子点,具有良好的稳定性,易于集成于高品质因子的纳米微腔中,可获得超高亮度的单光子源.同时量子点可以作为光子—自旋比特的接口,可扩展的量子网络的结点.近年来共振激发技术的发展以及微腔加工技术的进步大大地提高了半导体量子点单光子源的品质,而成熟的半导体技术为这种单光子源的实用化奠定了基础.本文首先介绍单光子源的产生原理、性质以及在量子信息量子计算等领域的应用,然后介绍基于半导体量子点单光子源的技术发展和微腔量子点的进展.最后,讨论量子点单光子源未来的发展趋势.     

语义Web的逻辑基础

分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.     

基于析取逻辑程序设计的诱导推理

利用辨论推理模式,将负文字的析取式作为诱导推理的假设,建立了析取逻辑程序设计的一种诱导语义框架ＤＡＳ。它不仅是实现辩论推理（诱导）的一种简单直观语义而且为析取程序的语义了一个统一的框架。特别地,证明了著名的良基语义和ＥＧＣＷＡ等都可以嵌入ＤＡＳ。     

量子遥感的光谱结构研究

光谱的精细结构是量子遥感研究的核心.首先概述了国内外光谱遥感现状,然后讨论了在没有外场的情况下,量子光谱的电子自旋对类氢原子的能级和谱线的影响;开展了量子遥感的光谱精细结构研究,给出了量子遥感的光谱精细结构表达式.为深刻研究和认识遥感光谱结构的机理提供理论依据.     

量子遥感的光谱结构研究

光谱的精细结构是量子遥感研究的核心.首先概述了国内外光谱遥感现状,然后讨论了在没有外场的情况下,量子光谱的电子自旋对类氢原子的能级和谱线的影响;开展了量子遥感的光谱精细结构研究,给出了量子遥感的光谱精细结构表达式.为深刻研究和认识遥感光谱结构的机理提供理论依据.     

基于全序划分结构的开放逻辑

利用全序划分结构刻画开放逻辑中知识集的可信程度,通过重新定义重构概念,解决重构操作的唯一性问题,基于新定义的重构运算,证明了只要认知者对新知识不总是采取极端的怀疑态度,且信度改变遵循最小改变策略,则其认识进程均可收敛,从而给出了认识进程收敛的非平凡条件。     

基于室温单自旋磁共振技术的量子精密测量

实现深及单个量子系统的测量技术,能够揭示出在传统宏观测量中被系综统计所平均掉的独特的个体信息.金刚石中的氮–空位色心(NV色心)在室温下具有超长的相干时间,并可以通过光探测磁共振的方式进行单量子体系的操控和读出,已经成为实现量子精密测量和量子信息处理的重要平台.尤其在测磁学方面,朝向单分子成像的研究正在全力进行.本文回顾了基于NV色心的量子精密测量研究,介绍了其在测量磁场、电场、力学系统、温度等方面的相关进展,讨论了本领域今后可能的发展方向.     

基于完备剩余格值逻辑的自动机理论

建立了基于完备剩余格值逻辑的自动机理论的基本框架. 首先延拓状态转移关系, 特别是得到了模糊(l值)自动机对剩余格的一个刻画; 然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系, 并由此推出这两类算子是模糊(l值)闭包算子; 最后给出了模糊自动机的L双模糊拓扑刻画, 从而建立了较为宽泛的模糊自动机理论.     

基于DNA分子的逻辑门与计算机

本文对基于DNA分子的逻辑门与计算机研究进行了综述。DNA逻辑门与DNA计算机是目前非常活跃的研究领域,有可能解决电子计算机发展的瓶颈问题。本文从DNA逻辑门的分子基础、DNA逻辑门和DNA计算机等几个方面进行了介绍,并且对可能的发展方向作了一些预期。     

基于完备剩余格值逻辑的自动机理论

揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系. 特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画. 最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系. 因此, 进一步建立了更为深刻的模糊自动机理论.