Q|SI＞:一个量子程序设计环境

Q|SI＞:a quantum programming environment

本文介绍了作者设计并实现的一个量子程序设计环境:Q|SI>.Q|SI>是基于.net语言开发的支持量子while扩展语言的平台环境,它包括了一个支持量子while语言的编译器和一套支持量子计算模拟、量子电路优化、量子程序分析和量子程序验证的工具.阐述了如何在经典计算机上通过平台的各个组件和概率算法来模拟量子行为.平台可扩展的架构允许用户在平台上自定义新的功能.同时,编译器是Q|SI>的核心,它内置的分解算法扩展了现阶段的量子硬件功能,使通用量子计算成为了可能,成为连接量子硬件和量子软件的桥梁.

This paper describes a quantum programming environment called QISI〉. It is a platform created in the .NET language to support quantum programming as a quantum extension of the while-language. This platform includes a compiler for the quantum while-language and a chain of tools for the simulation of quantum computations, optimization of quantum circuits, and analysis and verification of quantum programs. Throughout the paper, QISI〉 is used to simulate quantum behaviors on classical platforms and demonstrate the combination of components. The scalable framework allows users to program customized functions on the platform. The compiler works as the core of QISI〉, bridging the gap between quantum hardware and quantum software. The built-in decomposition algorithms enable universa! quantum computation on current quantum hardware.