- 该话题有0 个回复, 1 个参与人, 由
在1年 3个月 前最后回复。
正在查看 0 条回复
-
帖子
-
-
随着近年来量子计算机硬件的迅速发展，量子软件开发越来越受到市场的重视。12月20日，中国科学院软件研究所（以下简称中科院软件所）正式发布了国内第一个自主研发的较为完整的量子程序设计平台——isQ。
中科院软件所量子软件研究团队介绍，正如相应的工具链在传统软件开发中的作用一样，一套可用性高、功能广泛而强大，集程序设计、测试、分析、验证于一体的工具链对量子软件开发十分重要。但是，由于量子软件与经典软件存在本质不同，相应的量子软件工具更加复杂而难以研发。
isQ平台包括了量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
在量子程序设计方面，isQ平台包含的编译器能首先将高级语言编写的量子程序转化为指令集语言，然后交由后续工具进一步处理。
已完成的后续工具包括模拟器和模型检测工具。模拟器可在经典计算机上模拟运行量子程序，查看运行结果，对现阶段量子程序的设计、测试有重要作用；而模型检测工具可用于检测量子系统的各种性质。
定理证明器实现了团队提出的量子Hoare逻辑，是目前世界上唯一能够对量子程序是否正确进行验证的平台，可在经典计算机上克服计算时间与存储空间限制，为较大规模量子程序的设计提供重要帮助。
-
正在查看 0 条回复
- 抱歉，回复话题必需登录。