Reliable and Robust Quantum Computing
Reliable and Robust Quantum Computing
批准号:
EP/W032635/1
负责人:
Thomas Melham
金额:
$283.81万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2022
资助国家:
英国
项目状态:
未结题
起止时间:
2022 至 --
中文摘要
超过60年的计算机科学和工程工作已经定义和完善了一个抽象的塔,构成了今天的经典计算机系统的坚实基础。可靠性和正确性的关键挑战已经在堆栈的几十个级别上面临并克服,并且在ICT研究人员的不同社区中有丰富的洞察力和专业知识。在过去的十年中,量子计算的进展加速,它正在成为一个独立的国际产业。然而,量子计算仍然处于旅程的开始阶段。小规模的原型设备已经证明了这项技术的潜力,里程碑式的实验已经证明了量子计算机在特殊设计的问题上超越经典硬件的能力,但是,建造一个可靠而强大的大规模量子设备,能够挑战世界上经典的超级计算机解决真实的世界问题,仍然是一个巨大的挑战。我们不认为经典的信息和通信技术已经准备好-为这一挑战提出了解决方案,但我们相信,该领域的重大进展将通过广泛的真正跨学科交流来实现,允许量子计算研究人员与科学工具密切联系,方法和(特别是)信息通信技术研究界的心态-该项目将开启量子计算和ICT研究社区之间的对话,特别是从事计算机系统和架构研究的ICT研究人员,通过创建一个研究人员网络,他们将共同设计一个研究项目,以开发和推进可靠和强大的量子计算解决方案,解决主要计算堆栈中的关键层。
英文摘要
Over 60 years of work in computer science and engineering has defined and refined a tower of abstractions that constitute the solidfoundations of today's classical computer systems. Key challenges to reliability and correctness have been faced-and overcome-at dozens of levelsin the stack, and there is a wealth of insight and expertise in the diverse community of ICT researchers who work across it.In the last decade, progress on quantum computing has accelerated, and it is becoming an international industry in its own right.Nevertheless, quantum computing is still at the beginning of its journey. Small-scale prototype devices have demonstrated the potential forthis technology, and milestone experiments have demonstrated a quantum computer's capability to out perform classical hardware on speciallydesigned problems, but the construction of a reliable and robust large-scale quantum device capable of challenging the world's classicalsupercomputers for useful real world problems remains a huge challenge.We do not think that classical ICT has ready-made solutions to this challenge, but we believe that significant advances in the field willarise through a broad spectrum of genuinely cross-disciplinary exchange, allowing for close contact of quantum computing researchers with thescientific tools, methods and (especially) mindsets of the ICT research community - across a broad spread of the key classical computing stacks.This project will open up a dialogue between quantum computing and ICT research communities, particularly ICT researchers engaged in computersystems and architecture research, by creating a network of researchers who will co-design a research project to develop and advancesolutions for reliable and robust quantum computation, addressing key layers across the principal computing stacks.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1103/prxquantum.5.010324
发表时间:
2023-05
期刊:
PRX Quantum
影响因子:
9.7
作者:
[Hamza Jnane;Jonathan Steinberg;Z. Cai;H. C. Nguyen;Bálint Koczor]
通讯作者:
Hamza Jnane;Jonathan Steinberg;Z. Cai;H. C. Nguyen;Bálint Koczor
A Lattice-Reduction Aided Vector Perturbation Precoder Relying On Quantum Annealing
一种基于量子退火的格约化辅助矢量扰动预编码器
DOI:
10.1109/lwc.2024.3365874
发表时间:
2024
期刊:
IEEE Wireless Communications Letters
影响因子:
6.3
作者:
[Winter S]
通讯作者:
Winter S
Accelerating Finite State Machine-Based Testing using Reinforcement Learning
使用强化学习加速基于有限状态机的测试
DOI:
10.1109/tse.2024.3358416
发表时间:
2024
期刊:
IEEE Transactions on Software Engineering
影响因子:
7.4
作者:
[Türker U]
通讯作者:
Türker U
DOI:
10.1088/1751-8121/ad0ac7
发表时间:
2023-02
期刊:
Journal of Physics A: Mathematical and Theoretical
影响因子:
--
作者:
[Jonathan Foldager;Bálint Koczor]
通讯作者:
Jonathan Foldager;Bálint Koczor
DOI:
10.1145/3624699
发表时间:
2022-06
期刊:
Communications of the ACM
影响因子:
22.7
作者:
[Dhaminda B. Abeywickrama;A. Bennaceur;Greg Chance;Y. Demiris;Anastasia Kordoni;Mark Levine;Luke Moffat-Luke]
通讯作者:
Dhaminda B. Abeywickrama;A. Bennaceur;Greg Chance;Y. Demiris;Anastasia Kordoni;Mark Levine;Luke Moffat-Luke
Abstraction Discovery and Refinement for Model Checking Partially Ordered State Spaces
-
批准号:EP/E026745/1
-
项目类别:Research Grant
-
资助金额:$20.49万
-
财政年份:2006
-
负责人:Thomas Melham
-
依托单位:
国内基金
海外基金
登录
查看更多内容
供应链管理中的稳健型(Robust)策略分析和稳健型优化(Robust Optimization )方法研究
-
批准号:70601028
-
项目类别:青年科学基金项目
-
资助金额:7.0万元
-
批准年份:2006
-
负责人:王明征
-
依托单位:
心理紧张和应力影响下Robust语音识别方法研究
-
批准号:60085001
-
项目类别:专项基金项目
-
资助金额:14.0万元
-
批准年份:2000
-
负责人:韩纪庆
-
依托单位:
ROBUST语音识别方法的研究
-
批准号:69075008
-
项目类别:面上项目
-
资助金额:3.5万元
-
批准年份:1990
-
负责人:高雨青
-
依托单位:
改进型ROBUST序贯检测技术
-
批准号:68671030
-
项目类别:面上项目
-
资助金额:2.0万元
-
批准年份:1986
-
负责人:刘有恒
-
依托单位: