量子科技中心_量科网

QReach：量子马尔可夫链可达性分析工具

参考来源 ➔ 下载PDF ➔

该团队推出QReach——首个基于决策图CFLOBDD（发表于CAV 2023会议）的量子马尔可夫链可达性分析工具。该工具提供了发现可达子空间的全新框架，以及包括像计算在内的一系列模型检测子程序。实验表明，该工具在验证量子电路与量子算法方面具有实用价值。QReach有望在未来量子模型检测器中发挥核心作用。

作者所在地： VIP可见
作者单位： VIP可见
期刊参考： 登录可见
页数/图表： 登录可见
提交arXiv： 2025-12-04 06:03
访客五签：
检测器 马尔可夫 量子算法 量子电路 量子

量科快讯

【01 Quantum公司为其量子DeFi包装器技术申请美国专利】致力于提供后量子网络安全解决方案的01 Quantum公司已在美国提交了一项专利申请，涉及其开发的量子DeFi包装器（QDW）。该系统是一种…
2 天前
【芬兰量子算法公司QMill与蒙特利尔高等工程技术学院达成战略研究合作协议】近日，芬兰量子算法与软件公司QMill与加拿大蒙特利尔高等工程技术学院（ÉTS）达成一项战略研究合作协议。双方将联合开展深科技研究，并对与实…
2 天前
【SEEQC将与台湾工研院合作建设一条先进超导电子控制芯片生产线】专注于全数字芯片量子计算平台研发的SEEQC公司日前宣布，它已与位于中国台湾的工业技术研究院（ITRI）达成制造合作伙伴关系。双方将共同建设…
2 天前
【研究人员提出一种有助于提升超导量子计算机可靠性的实用策略】最近，来自德国卡尔斯鲁厄理工学院（KIT）量子材料研究所（IQMT）、KIT物理研究所以及加拿大舍布鲁克大学的研究人员开展了一项联合研究，他…
2 天前
【Qilimanjaro加入开放量子研究院，欲扩大全球对其多模态量子计算的访问】西班牙量子初创公司Qilimanjaro近日宣布加入由欧洲核子研究中心（CERN）主办的开放量子研究院（OQI）。该多边倡议旨在推动全球量子…
2 天前
【Horizo​​n Quantum成为首家拥有并运营自有量子计算机的量子软件公司】量子应用软件基础设施先驱Horizon Quantum Computing日前宣布，其位于新加坡总部的首台量子计算机已完成组装与集成，并正式…
2 天前
【新研究表明通过优化量子阱结构可使量子计算机性能得到提升】来自美国桑迪亚国家实验室、阿肯色大学和达特茅斯学院的一个联合研究团队日前在《先进电子材料》期刊发表一项成果，宣布他们在一种名为“量子阱”的特…
2 天前
【ParityQC公司获得德国航空航天中心量子计算计划提供的项目承包合同】德国航空航天中心（DLR）量子计算计划与ParityQC共同宣布启动名为“QCMobility-基于量子方法的集成”项目，旨在将量子计算技术…
2 天前
【独立数字资产研究机构对BTQ开发的量子安全比特币网络进行了深入研究】独立数字资产研究机构Delphi Digital近日发布了一份关于BTQ Technologies公司与“比特币Quantum”的深度分析报…
2 天前
【Arqit与电信运营商Sparkle合作验证了抗量子保护不会影响网络传输效率】国际量子安全加密领先企业Arqit Quantum与全球一级电信运营商Sparkle近日宣布，双方已在希腊成功完成基于Sparkle光纤网络…
2 天前
【D-Wave宣布成立美国政府业务部门 并聘请资深政府与公共部门高管负责领导】D-Wave Quantum公司日前宣布成立全新业务部门，以推动其量子计算产品和服务在美国政府中的应用。据官方报道，该部门由资深政府及公共部…
3 天前
【英国科学家正研发世界首款移动式量子脑部扫描仪，可检测爆炸冲击对军人的影响】英国科学家们正开发全球首款全移动式脑部扫描仪，它能够在训练场实时监测爆炸对军人的脑部影响。该项目由英国国防部资助，这种仪器将使伯明翰大学和诺…
3 天前
【芬兰国家计量研究所利用其锶单离子光钟创造了光钟的新精度纪录】芬兰国家计量研究所（VTT MIKES）近期展示了一种锶单离子光钟，其系统不确定度低至7.9×10⁻¹⁹，位列全球最低水平之一。在长达10个…
3 天前
【维也纳工业大学科学家找到一种将量子物理学与引力联系起来的新方法】奥地利维也纳工业大学的一支研究团队将量子物理与广义相对论相结合，发现了一种与以往结果显著不同的新现象。该团队利用这种全新的方法对一个重要特例…
3 天前
【国际科研团队揭示了一类超薄磁性晶体中的激子形成过程】来自美国哥伦比亚大学、德国慕尼黑工业大学、德国德累斯顿工业大学、英国伦敦国王学院、荷兰拉德堡德大学、捷克布拉格化工大学、德国雷根斯堡大学及美…
3 天前
【Strangeworks与Tech Mahindra签署谅解备忘录，将合作提供量子及量子启发式解决方案】总部位于美国奥斯汀、并在印度设有运营机构的领先量子计算软件公司Strangeworks近日与全球技术咨询及数字化解决方案提供商Tech Ma…
3 天前
【QM宣布: Qolab的超导量子比特器件已部署在其运营的以色列量子计算中心】Quantum Machines（QM）公司日前宣布，以色列量子计算中心（IQCC）已成为全球首个部署Qolab最新一代超导量子比特器件的机…
3 天前
【斯坦福大学研究人员开发出可在室温下工作的量子通信器件】美国斯坦福大学的研究人员最近成功开发了一款新型纳米级光学器件，它是一种可在室温下工作的量子通信器件，能摆脱对超低温制冷的依赖，从而大幅提升了…
3 天前
【一组国际科研团队在量子互联网领域取得一项关键性突破】一个有德国帕德博恩大学参与的国际科研团队最近在量子互联网研究中取得一项关键性突破。该团队研究人员首次成功将一个量子点发射的单光子偏振态，通过…
3 天前
【科学家研发出可追踪悬浮微粒的事件视觉相机 未来可用于开发量子传感器】英国伦敦国王学院的科研团队借鉴人眼的工作机制，研发出一款新型相机，有望成为当前最灵敏的微粒探测技术之一，可追踪100个以上漂浮的微粒。据研究…
3 天前
【法国后量子安全项目GIVERNY结束，成果包括发现两种PQC算法存在漏洞】今年，Thales（泰雷兹）集团与法国原子能和替代能源委员会（CEA）联合启动了GIVERNY项目，旨在评估两种后量子算法的抗攻击能力。他们…
4 天前
【因斯布鲁克大学科学家开发出能抵抗噪声的量子传感器】近日，奥地利因斯布鲁克大学实验物理系的一个研究团队展示了在量子传感器中克服噪声干扰的新方法。他们研究表明，通过精心设计的量子态，传感器不仅能…
4 天前
【伊利诺伊大学的工程师们成功将光在芯片上的传播速度减慢近千倍】伊利诺伊大学香槟分校格兰杰工程学院的物理学家们最近展示了一项在光子芯片上实现光慢化（减慢光速）的新技术。由于制造过程中的固有缺陷会导致芯片上…
4 天前
【IonQ和CCRM在量子生物方面达成合作关系，欲利用量子技术加速先进疗法开发】IonQ日前宣布与加拿大再生医学商业化中心（CCRM）建立投资合作关系，旨在通过利用混合量子技术与量子人工智能推动下一代治疗技术的突破。根据…
4 天前
【法国国家科学研究中心、高等光学学校将与Pasqal合作改进量子处理器性能】法国国家科学研究中心（CNRS）、法国高等光学学校以及量子初创企业Pasqal日前共同揭幕了AtomIQ-Lab关联研究实验室。该实验室旨在…
4 天前
【丹麦量子技术公司Sparrow Quantum完成2750万欧元A轮融资】丹麦量子技术公司Sparrow Quantum近日完成了2750万欧元的A轮融资，标志着该公司在将量子技术应用于工业领域方面迈出了重要一步。…
4 天前
【爱尔兰沃尔顿研究所的抗量子安全项目获得地平线欧洲计划530万欧元资助】爱尔兰近日在欧洲数字安全领域迈出了重要一步，启动了一项名为Q-FENCE的项目，该项目是一个资助达530万欧元的“地平线欧洲”计划，由爱尔兰…
4 天前
【伊利诺伊大学基于原子阵列的分布式量子计算研究项目获美国陆军研究办公室资助】美国陆军研究办公室（ARO）近日向伊利诺伊大学香槟分校格兰杰工程学院一名物理学教授的实验室拨付63万美元，用于推进并行中性原子阵列的分布式量…
4 天前
【国际科研团队基于碳化硅自旋量子比特开发出可在室温下工作的量子传感器】最近，由匈牙利科学院维格纳物理研究中心、北京计算科学研究中心、中国科学技术大学等多家机构研究人员组成的一个研究团队，研发出一种全新的量子传感…
4 天前
【谷歌Quantum AI团队成功演示三种动态表面码 误差抑制性能均得到显著提升】谷歌量子人工智能团队最近利用三种不同的动态电路，成功在表面码研究领域取得新进展。他们此次实现的三种动态电路分别为hex电路、iSWAP电路和…
4 天前

量科企业服务

量科网首页

最新资讯