QSoftCore: A Conceptual Foundation for Quantum Software Engineering
本文介绍了 QSoftCore，这是一个概念模型，它从软件工程的角度重新组织并统一了多样化的量子计算概念，旨在为整个软件生命周期中量子应用、算法、执行和部署的管理提供一个一致的框架。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
量子计算常被描述为一种新型机器，但对于构建运行在其上的软件的工程师而言，挑战不在于硬件，而在于语言。在经典世界中，软件工程师已经花费数十年时间开发出一套共同的词汇表，用以描述应用程序如何工作、代码如何测试以及系统如何部署。他们知道如何讨论“漏洞”（bug）、“需求”（requirement）或“部署配置”（deployment configuration），而无需解释底层硅芯片的物理特性。然而，量子计算仍在大力挣扎于这种基础的清晰度。构建量子软件所需的概念目前散落在不同的领域：有些由亚原子粒子的物理学定义，有些由复杂的数学定义，还有些则由特定的计算运行方式定义。这种碎片化使得软件工程师难以就他们正在构建什么、如何测试它，或者在机器表现不如预期时如何描述故障达成共识。
为了解决这个问题，北航大学的研究人员提出了一个名为 QSoftCore 的新框架。可以将其想象成一套涵盖整个量子软件旅程（从最初的想法到最终结果）的标准化的字典和地图。该团队并没有发明新的物理定律，也没有创造一种新型计算机。相反，他们将现有的、往往令人困惑的量子计算概念重新组织成一个对软件工程师而言有意义的结构。他们的目标是创建一个共同的基础，使研究人员和从业者能够使用一致的术语来描述量子程序、其执行过程及其结果，无论他们使用的是特定类型的量子机器还是模拟器。
其工作的核心是一个概念模型，该模型将复杂的量子软件工程过程分解为五个清晰的视图。第一个视图将用户想要解决的现实世界问题——例如优化配送路线或模拟化学反应——与解决该问题所需的特定软件组件联系起来。它区分了高层需求与具体的计算问题，确保软件是为解决正确的问题而构建的。第二个视图承认并非只有一种执行量子计算的方法。虽然目前大多数工作都集中在一种类似于开关切换的离散步骤方法上，但该模型也考虑了其他方法，例如使用连续能量变化或特定测量模式的方法。通过识别这些不同的方法，该框架防止了工程师将每个问题都强行塞入一个单一且可能并不合适的模具中。
第三个视图聚焦于当今最常用的方法，即依赖于操作电路。在这里，该模型仔细区分了程序的逻辑设计与机器的物理现实。它区分了程序员编写代码时使用的抽象“量子比特”（qubit，基本信息单元）与执行代码的实际硬件中的物理粒子。这种分离至关重要，因为物理机器存在诸如噪声和连接性问题等在抽象设计中并不存在的限制。第四个视图追踪软件实际运行时发生的情况。它将预期的计算与实际的运行尝试分开，记录运行的条件、重复次数以及产生的原始数据。这非常重要，因为量子结果通常是概率性的，这意味着机器给出的往往是一系列可能的答案而非单一的确定性，工程师需要准确知道这些答案是如何得出的。
最后，第五个视图处理部署问题，即如何为特定的机器或模拟器准备软件。它将抽象设计映射到硬件的物理约束上，例如哪些物理量子比特可用以及它们是如何连接的。研究人员根据现有的量子软件工程广泛文献对他们的模型进行了评估。他们发现，目前大多数工作都高度集中在基于电路的方法上，并且非常接近编程代码层面。虽然这很有用，但它在理解如何自上而下设计应用、如何在不同类型的量子方法之间进行选择以及如何解释来自不同机器的结果方面留下了空白。新模型通过提供关于替代方法、系统在运行期间的演变以及原始数据与经过清洗去错的数据之间的明确描述方式，填补了这些空白。
研究人员强调，这个模型不是一个完成品，而是一个活的基石。它的设计旨在随着技术的发展而演进。通过提供一套共同的词汇表，QSoftCore 允许不同的团队更容易地比较他们的工作、在不同项目中复用工具，并理解每个结果背后的假设。它并不取代对深厚数学或物理知识的需求，但它组织了这些知识，使软件工程师能够以构建经典软件时的那种清晰度和信心，去构建、测试和部署量子应用。其结果是为这个正迅速从理论可能性转向实际工程化的领域提供了一条更清晰的前行之路。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。