中国科学院软件研究所发布了国内首个量子程序设计平台isQ，该平台基于其多年理论成果，包括编译器、模拟器、模型检测工具和定理证明器，助力量子软件研发。
软件所发布国内首个量子程序设计平台isQ
2019-12-25软件研究所
【字体：大 中 小】
语音播报
12月20日上午，中国科学院软件研究所发布国内第一个较为完整的量子程序设计平台isQ。
“isQ”中的“is”代表软件研究所Institute of Software，“Q”代表量子Quantum。isQ平台基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上实现。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。其中，编译器和模拟器部分由该团队与清华大学计算机科学与技术系合作完成。
在发布会上，中科院计算机科学国家重点实验室博士应圣钢介绍了量子软件相关研究成果，现场演示了isQ平台的操作流程。他介绍，isQ平台包含的编译器能将高级语言编写的量子程序转化为指令集语言，然后交由模拟器、模型检测工具等后续工具进一步处理。模拟器可在经典计算机上模拟运行量子程序，查看运行结果，对现阶段量子程序的设计、测试有重要作用。模型检测工具可用于检测量子系统的各种性质。定理证明器实现了团队提出的量子Hoare逻辑，是目前世界上唯一能够对量子程序是否正确进行验证的平台，可在经典计算机上克服计算时间与存储空间限制，为较大规模量子程序的设计提供帮助。
软件所所长赵琛表示，软件所将继续在战略布局、科研经费、团队建设等方面加大对量子软件方向的支持，积极参加量子信息科学国家实验室的建设。
中科院院士、软件所学术委员会主任林惠民以及中科院软件所、计算技术研究所，清华大学，华为，百度，腾讯等单位的专家学者参加会议。
发布会现场
12月20日上午，中国科学院软件研究所发布国内第一个较为完整的量子程序设计平台isQ。
“isQ”中的“is”代表软件研究所Institute of Software，“Q”代表量子Quantum。isQ平台基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上实现。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。其中，编译器和模拟器部分由该团队与清华大学计算机科学与技术系合作完成。
在发布会上，中科院计算机科学国家重点实验室博士应圣钢介绍了量子软件相关研究成果，现场演示了isQ平台的操作流程。他介绍，isQ平台包含的编译器能将高级语言编写的量子程序转化为指令集语言，然后交由模拟器、模型检测工具等后续工具进一步处理。模拟器可在经典计算机上模拟运行量子程序，查看运行结果，对现阶段量子程序的设计、测试有重要作用。模型检测工具可用于检测量子系统的各种性质。定理证明器实现了团队提出的量子Hoare逻辑，是目前世界上唯一能够对量子程序是否正确进行验证的平台，可在经典计算机上克服计算时间与存储空间限制，为较大规模量子程序的设计提供帮助。
软件所所长赵琛表示，软件所将继续在战略布局、科研经费、团队建设等方面加大对量子软件方向的支持，积极参加量子信息科学国家实验室的建设。
中科院院士、软件所学术委员会主任林惠民以及中科院软件所、计算技术研究所，清华大学，华为，百度，腾讯等单位的专家学者参加会议。
发布会现场
更多分享
责任编辑：江澄
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
