中科院软件所团队发布全新量子计算编程软件――isQ-Core

2 月 17 日消息,据新华社,中科院软件所团队日前发布全新量子计算编程软件――isQ-Core,并成功部署至世界领先的超导量子硬件平台,标志着国产量子计算软硬件结合迈出重要一步。

据介绍,该软件具有简洁、易用、高效、扩展性强、可靠性高等特点,将为用户便利使用量子计算硬件设备提供有力支持。

查询公开资料可知,此前中科院量子信息与量子科技创新研究院、国盾量子等共同打造了 12 超导量子比特量子计算云平台。而且国盾量子等多家一流的软件科研单位共同开发设计了适配云平台 QCIS 指令集硬件的 isQ-Core 量子编程语言及其编译器。

据了解,isQ 平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具,已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。

isQ 编程语言是由中国科学院软件研究所开发的量子程序设计语言,目前开发团队正与中科弧光量子软件公司共同研发 isQ 语言新功能。开发团队实现了多个版本的编译器以将 isQ 语言对接到不同的硬件平台或模拟器上,如 isQ-core 编译器。

未来,通过在云平台上的测试以及两台样机的迭代研发,官方计划形成适用于高性能超导量子计算机的新一代量子调控技术、超导量子计算机整机集成技术等核心技术。

去年 12 月,中国科学院量子信息与量子科技创新研究院量子计算云平台公布了用于量子计算物理系统远程调控的指令集 QCIS,这意味着云平台将支持用户远程调用其开放接口,在真实量子计算原型机上进行“云端”量子编程实验。而这一次量子计算云平台发布的是 QCIS (Quantum Control Instruction Set) 指令集。据了解,QCIS 指令集也是“祖冲之二号”的编译语言,此前由科研人员内部使用,为首次对外开放。