该软件发布了中国第一个量子程序设计平台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逻辑是世界上唯一能正确验证量子程序的平台。它可以克服经典计算机上计算时间和存储空间的限制，帮助大规模量子程序的设计。
软件研究所所长赵晨表示，软件研究所将继续加大对量子软件方向的支持，积极参与量子信息科学国家实验室的建设。
中国科学院院士、软件研究所学术委员会主任林惠民、中国科学院软件研究所、计算技术研究所、清华大学、华为、百度、腾讯等专家学者出席了会议。
发布会现场
更多分享
编辑：江澄