以Amazon Braket SDK和QuTrunk为例介绍量子编程框架

启科量子开发者官方号

已于 2022-12-01 11:03:52 修改

阅读量397

点赞数 1

分类专栏：量子计算文章标签：量子计算

于 2022-12-01 11:00:28 首次发布

本文链接：https://blog.csdn.net/m0_71890343/article/details/128127989

版权

概述

在经典计算编程领域，软件框架是一种具有通用软件功能的抽象形式。使用这些软件框架的开发者们可以根据特定的功能需求对框架代码重新改写后，为特定应用提供定制化的服务。在大数据时代，经典计算的算力在海量数据面前的略显单薄。而量子计算因其纠缠与叠加特性在算力加速方面脱颖而出。业界对于量子编程软件的研究与设计普遍继承了经典程序设计思路，以最大限度的发挥量子计算的计算能力与优势。

目前，国内外已有许多科技企业纷纷推出量子编程框架软件，如量子计算开源软件框架 ProjectQ、IBM 公司的开源量子编程开发工具包 Qiskit、谷歌开源量子算法框架 Criq、Amazon Braket SDK、启科量子的量子编程框架 QuTrunk 等。本文主要以Amazon Braket SDK量子软件开发包和启科量子的QuTrunk量子编程框架为例进行介绍。

1.什么是量子编程框架

量子编程框架则更着眼于当前技术条件下量子程序的快速开发。量子编程框架通常以传统编程语言为宿主语言，在上面添加描述量子计算体系的变量、函数、对象等元素，然后通过对这些元素的程序处理，实现量子算法并开发出量子软件。量子编程框架中也常常包含了常用量子算法软件库，方便量子程序的高效开发。同时，由于宿主语言的存在，量子编程框架技术可以很方便地实现量子和经典的混合编程。

常用的量子编程框架包括 QPanda、QDK、Cirq、Qiskit、ProjectQ、HiQ以及Forest、Amazon Braket SDK、QPanda、QuTrunk等。由于量子编程框架是在经典宿主程序语言下引入量子计算的元素和概念，把量子芯片看作一个特殊的设备或对象，因此这对于开发者来说也是相对熟悉的开发范式。量子编程框架开发的程序经过编译后，其中经典程序代码部分转化成机器指令并后续在经典处理器上执行，而描述量子算法的量子线路代码部分则通常转化为量子中间表示，并后续发送给量子芯片控制系统处理。

公司	量子编程框架	支持经典语言类型
微软	QDK	C#
IBM	Qiskit	Python
谷歌	Cirq	Python
Xanadu	Strawberry Fields	Python
Rigetti	Forest	Python
亚马逊	Braket SDK	Python
华为	HiQ	Python/C++
本源量子	QPanda	Python/C++
启科量子	QuTrunk	Python

量子编程框架类软件用来编写运行在量子计算机中的量子算法和程序，经过封装后还可提供常用的量子计算组件和量子算法库，进行量子程序快速开发。

2.Amazon Braket SDK介绍

2.1Amazon Braket

Amazon Braket 是亚马逊推出的一种全托管式Amazon Web Services（AWS）解决方案，可帮助研究人员和开发人员探索潜在的应用和评估当前的量子计算技术。它允许用户从零开始设计自己的量子算法，或者从一组预先构建的算法库中进行选择。定义算法后，Amazon Braket就会提供一个完全托管的模拟服务来帮助排除故障和验证。

Amazon Braket 可以分为三个方面[ 《什么是Amazon Braket?》（概念澄清）：

(1)Build，安装了 Amazon Braket SDK 的 Jupyter 环境，进行量子编程。

(2)Test, 在模拟器中执行量子线路，Braket 支持 4 种 Simulator，其中 local simulator 可以在本地模拟量子环境。

(3)Run，可以在真实量子环境中运行量子算法。目前 AWS 量子环境提供商有 D-Wave, IonQ, OQC. 因为量子计算机噪音影响目前无法完全去除，AWS 提供了 hybrid 的量子环境，通过QPU协同CPU工作，通过 PennyLane 开源库，支持 hybrid 算法。
在这里插入图片描述