面向世界科技前沿,面向國家重大需求,面向國民經濟主戰場,率先實現科學技術跨越發展,率先建成國家創新人才高地,率先建成國家高水平科技智庫,率先建設國際一流科研機構。

——中國科學院辦院方針

首頁 > 一線動態

軟件所發布國內首個量子程序設計平台isQ

2019-12-25 軟件研究所
【字體:

語音播報

  12月20日上午,中國科學院軟件研究所发布国内第一个较为完整的量子程序设计平台isQ。
  “isQ”中的“is”代表軟件研究所Institute of Software,“Q”代表量子Quantum。isQ平台基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上实现。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具,已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。其中,编译器和模拟器部分由该团队与清华大学计算机科学与技术系合作完成。

  在发布会上,中科院计算机科学國家重點實驗室博士应圣钢介绍了量子软件相关研究成果,现场演示了isQ平台的操作流程。他介绍,isQ平台包含的编译器能将高级语言编写的量子程序转化为指令集语言,然后交由模拟器、模型检测工具等后续工具进一步处理。模拟器可在经典计算机上模拟运行量子程序,查看运行结果,对现阶段量子程序的设计、测试有重要作用。模型检测工具可用于检测量子系统的各种性质。定理证明器实现了团队提出的量子Hoare逻辑,是目前世界上唯一能够对量子程序是否正确进行验证的平台,可在经典计算机上克服计算时间与存储空间限制,为较大规模量子程序的设计提供帮助。

  软件所所长赵琛表示,软件所将继续在战略布局、科研经费、团队建设等方面加大对量子软件方向的支持,积极参加量子信息科学國家實驗室的建设。

  中科院院士、軟件所學術委員會主任林惠民以及中科院軟件所、計算技術研究所,清華大學,華爲,百度,騰訊等單位的專家學者參加會議。

發布會現場

打印 責任編輯:江澄

掃一掃在手機打開當前頁

© 1996 - 中國科學院 版权所有 京ICP備05002857號 京公網安備110402500047號

聯系我們 地址:北京市三里河路52号 邮编:100864