量子计算模型与量子信息中的若干问题
基本信息
批准号：90303024
项目类别：重大研究计划
资助金额：25.00
负责人：邱道文
学科分类：
依托单位：中山大学
批准年份：2003
结题年份：2006
起止时间：2004-01-01 - 2006-12-31
项目状态： 已结题
项目参与者：范筑军,林瑛,汤娜,杨晋吉,吴立军,谭兆信
关键词：
量子计算与量子信息量子逻辑自动机与Turing机量子删除与量
结项摘要
我们旨在将量子物理与计算机科学相结合, 考察基于量子力学的一些重要计算模型的计算能力并与经典情形比较，特别是较系统的建立量子计算模型作为量子计算机的理论基础。同时，我们建立基于量子逻辑的一些计算模型作为量子计算机的逻辑基础，以及在量子逻辑中描述布尔逻辑中的一些重要定理（如Deduction Theorem）并证明它们的存在性。在量子信息方面，我们讨论由量子物理的特性所产生的一些不完备性及极限问题；
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
2
基于LASSO-SVMR模型城市生活需水量的预测
基于LASSO-SVMR模型城市生活需水量的预测
DOI：10.19679/j.cnki.cjjsjj.2019.0538
发表时间：2019
3
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
4
疏勒河源高寒草甸土壤微生物生物量碳氮变化特征
疏勒河源高寒草甸土壤微生物生物量碳氮变化特征
DOI：10.5846/stxb201912262800
发表时间：2020
5
基于分形维数和支持向量机的串联电弧故障诊断方法
基于分形维数和支持向量机的串联电弧故障诊断方法
DOI：
发表时间：2016
邱道文的其他基金
批准号：60573006
批准年份：2005
资助金额：23.00
项目类别：面上项目
批准号：61073054
批准年份：2010
资助金额：37.00
项目类别：面上项目
批准号：60873055
批准年份：2008
资助金额：31.00
项目类别：面上项目
批准号：61572532
批准年份：2015
资助金额：67.00
项目类别：面上项目
批准号：61272058
批准年份：2012
资助金额：82.00
项目类别：面上项目
批准号：61876195
批准年份：2018
资助金额：62.00
项目类别：面上项目
相似国自然基金
1
半量子计算模型与密码通信中的若干问题
批准号：61272058
批准年份：2012
负责人：邱道文
学科分类：F0214
资助金额：82.00
项目类别：面上项目
2
基于测量的量子信息与量子计算
批准号：61465013
批准年份：2014
负责人：张寿
学科分类：F0515
资助金额：47.00
项目类别：地区科学基金项目
3
基于超导量子器件的量子信息理论若干问题研究
批准号：11174100
批准年份：2011
负责人：宋克慧
学科分类：A2205
资助金额：53.00
项目类别：面上项目
4
量子计算与量子信息的若干理论探讨和实验检测
批准号：10875081
批准年份：2008
负责人：费少明
学科分类：A2502
资助金额：34.00
项目类别：面上项目