量子逻辑

作品数：68被引量：87H指数：5
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：李永明韩召伟管致锦程学云陈明益更多>>
相关机构：陕西师范大学合肥本源量子计算科技有限责任公司华中科技大学四川师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家社会科学基金福建省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
国际计量前沿资讯
《中国计量》2025年第3期19-21,共3页
NSF启动6项量子技术试点项目近日,美国国家科学基金会(NSF)宣布启动6项新的试点项目,作为其国家量子虚拟实验室(NSF NQVL)计划的一部分。这6个项目分别是:优化不同学科的模拟路径(Q-BLUE)、阿秒级同步光子纠缠网络(ASPEN-Net)、面向量...
关键词：虚拟实验室 量子逻辑 量子比特 量子技术 动态电路 容错 PID NSF 
逻辑的问题
《哲学分析》2024年第4期108-134,198,199,共29页 李莉(译) 
国家社会科学基金重大项目“当代逻辑哲学重大前沿问题研究”(项目编号:17ZDA024)阶段性成果。
在逻辑认识论中,有这样一个蒯因式教条:逻辑与其他科学理论之间没有明显的分别,逻辑只是用来组织经验的工具之一。最初“采用”的经典逻辑就很好地经受住了经验的考验。普特南在其著名论文《逻辑是经验的吗?》中也提出“采用”一种特定...
关键词：采用问题 量子逻辑 推理规则 择代系统 
量子计算机结构与发展路线分析
《中国电子科学研究院学报》2023年第2期176-182,共7页张雪松 
国家自然科学基金资助项目(61701457)
量子计算是先进计算的重要发展方向,也是当今全球科技攻关的热点,但其存在技术路线未收敛,技术能力成熟度低等问题。文中分析了量子计算机发展历程与现状,明确了量子计算机的物理基础、数学基础等工程原理;阐明了非冯·诺依曼体系结构...
关键词：量子计算 全球量子计算机竞赛 量子逻辑比特 量子图灵机 变分量子算法 
普特南量子逻辑思想的演变
《自然辩证法研究》2022年第3期101-107,共7页王伟长 
普特南曾提出“逻辑是经验的”这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子力学也意味着量子逻辑才是隐藏在经典逻辑背后的“真逻辑”。然而鲜为人知的是,普特南口中的“量子逻辑...
关键词：量子逻辑 量子力学 正交模格 偏布尔代数 逻辑多元主义 
量子逻辑解释优于哥本哈根解释吗——围绕投影法则的争论被引量：2
《自然辩证法通讯》2021年第4期27-33,共7页王伟长 
弗里德曼和普特南认为,哥本哈根解释只能特设性地引入投影法则来符合实验事实,然而由量子逻辑则可以推导出投影法则,因此量子逻辑解释比哥本哈根解释更加优越。这一论断提出后不久就遭到了许多学者的反驳。海尔曼认为由量子逻辑推导投...
关键词：量子逻辑 量子力学 投影法则 哥本哈根解释 
基于量子逻辑的模糊线性时序逻辑的模型检测被引量：1
《模糊系统与数学》2021年第1期9-21,共13页杨维禹 刘文奇 
模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法。通过引入可能性理论以及广义可能性K...
关键词：模型检测 量子逻辑 时序逻辑 可能性理论 广义可能性测度 广义可能性Kripke结构 
直觉主义视角下量子逻辑的进一步解释
《计算机科学》2020年第5期1-6,共6页周恒 王拥军 王宝山 燕健 
国家自然科学基金(11871083)。
量子计算机将成为计算机科学未来的发展方向之一,量子逻辑是反映量子计算与量子信息的数学基础。Von Neumann用希尔伯特空间的闭子空间表示量子物理系统的性质,构成正交模格,其元素有明确的物理意义,但无法刻画叠加性质;Bob Coecke填加...
关键词：量子计算机 叠加性质 直觉主义逻辑 析取元素 观察者视角 测量 
逻辑多元主义视域下的广义量子逻辑
《湖北大学学报（哲学社会科学版）》2020年第2期50-55,共6页王伟长 
“量子逻辑”一词在文献中主要指基于一种非布尔代数的非经典逻辑,但它不应仅有这一层涵义。无论是从词义上看,还是从相关研究的发展状况看,都应当采纳逻辑多元主义的视角来理解量子逻辑。相反地,以普特南为代表的量子逻辑的一元论理解...
关键词：广义量子逻辑 逻辑多元主义 量子力学解释 
非经典逻辑中“否定”的含义澄清——以亚相容、直觉主义、量子逻辑为例
《贵州工程应用技术学院学报》2019年第6期34-39,共6页薛飞 
在命题逻辑的范围之内,否定作为各类逻辑系统中必不可少的一元连接词,其确定的意义和适用范围一直存在争议,也因此,构建于否定基础之上的各类逻辑系统之间的关系也不甚明了。当非经典逻辑系统选择不承认经典逻辑中的矛盾律或是排中律等...
关键词：否定 层级 关系 非经典逻辑 
控制带电分子的方法找到啦!
《中国计量》2017年第8期79-80,共2页
NIST的研究小组最近宣布解决了一个棘手的科学难题．即如何控制单个带电分子或分子离子的量子特性。关键是：利用拟用于未来量子计算机运算的类似“量子逻辑”操作，新技术像激光冷却和其他技术控制原子一样有效控制分子．
关键词：分子离子 技术控制 量子特性 计算机运算 NIST 量子逻辑 激光冷却 新技术 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部