我国科学家发布量子程序设计平台助力国产量子计算机研制

  新华▀社北京12∏月20日⊙电(记者董瑞丰)中国#科学院软件研究所20日发布了国内首个较为℃完整的量┏○子程序设计平台,已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分,≠有望为国内自主研制的量子计算机提供更█多▷软件≠配▣▤▥套。

  该量子程序设计平台被命名为“isQ”。平台由┙中科院软件所量子软件研究团队研发,编Ⅰ译器和模拟器部分由该⺌团队与清华大学计算机科学与技术系合作完成。↔

  中科院软件所所长赵η琛介绍,Ч随着近年来量※子计算机硬件的迅速▼发展,量子软件开发越来越引起重视。正如相应的╪工具链在传统△软件开发┍中的作用一样,一套可用性高、功能广泛而♥强大,集程序设计、测试、分析、验证于一体的工具链对量子软件开发十分重〾要。但由于量◤子软件与经典软件Θ存在本质不同,相应的量子软件工具更加复杂。

  中科院软件所计Ψ算机科学国家重ν点实验室博♧士应圣钢介绍,isQ๑平台包含的编译器能首先将高级语▦▩言编写的量子○程序转化为指令集语言,然后交由后续工具进一步处理。模拟〦器可在经∽典计ω算机上模拟运行量子程序,查看运行结果,对现阶段量子程序的设计、测试有重要作用。模型检─━测工具可用∪于检验♡量子系统的各种性质。εїз定理证明器实现了团队提出的量子⿶Hoare逻辑,能够对量子∮程序是否正确进行验证,在经典计算机上克服计算时间与存储空↕间限制,为较大规模量子程序的设计提供重要帮助。

  据了解,目前已有的量子软件可大致分为两大в类:一类是保证量子算法能准确转化为计算机能执行的量子机器语☏言,另一类是保障⊿量子芯片能有效设计、运行。谷歌、微▨软、IBM等国际巨۩头۩近年来均加大力度研发量子软件,为量子计算机发展提供助力。

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处: 我国科学家发布量子程序设计平台助力国产量子计算机研制