我们旨在将量子物理与计算机科学相结合, 考察基于量子力学的一些重要计算模型的计算能力并与经典情形比较,特别是较系统的建立量子计算模型作为量子计算机的理论基础。同时,我们建立基于量子逻辑的一些计算模型作为量子计算机的逻辑基础,以及在量子逻辑中描述布尔逻辑中的一些重要定理(如Deduction Theorem)并证明它们的存在性。在量子信息方面,我们讨论由量子物理的特性所产生的一些不完备性及极限问题;
{{i.achievement_title}}
数据更新时间:2023-05-31
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
播种量和施氮量对不同基因型冬小麦干物质累积、转运及产量的影响
基于旋量理论的数控机床几何误差分离与补偿方法研究
智能煤矿建设路线与工程实践
大鼠尾静脉注射脑源性微粒的半数致死量测定
半量子计算模型与密码通信中的若干问题
基于测量的量子信息与量子计算
基于超导量子器件的量子信息理论若干问题研究
量子计算与量子信息的若干理论探讨和实验检测