作者:胡珉琦 来源:中国科学报 发布时间:2019/12/21 13:33:36
选择字号:
国内首个量子程序设计平台isQ正式发布

 

随着近年来量子计算机硬件的迅速发展,量子软件开发越来越受到市场的重视。1220日,中国科学院软件研究所(以下简称中科院软件所)正式发布了国内第一个自主研发的较为完整的量子程序设计平台——isQ

中科院软件所量子软件研究团队介绍,正如相应的工具链在传统软件开发中的作用一样,一套可用性高、功能广泛而强大,集程序设计、测试、分析、验证于一体的工具链对量子软件开发十分重要。但是,由于量子软件与经典软件存在本质不同,相应的量子软件工具更加复杂而难以研发。

isQ平台包括了量子程序设计、编译、模拟、分析与验证等系列工具,已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。

在量子程序设计方面,isQ平台包含的编译器能首先将高级语言编写的量子程序转化为指令集语言,然后交由后续工具进一步处理。

已完成的后续工具包括模拟器和模型检测工具。模拟器可在经典计算机上模拟运行量子程序,查看运行结果,对现阶段量子程序的设计、测试有重要作用;而模型检测工具可用于检测量子系统的各种性质。

定理证明器实现了团队提出的量子Hoare逻辑,是目前世界上唯一能够对量子程序是否正确进行验证的平台,可在经典计算机上克服计算时间与存储空间限制,为较大规模量子程序的设计提供重要帮助。

据悉,该平台研发的一大特点是,它是基于该研究团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果进行的工程化应用。

团队期望与国内量子硬件团队紧密合作,尽快将这一平台配置在国内自主研制的量子计算机上。

 
版权声明:凡本网注明“来源:中国科学报、科学网、科学新闻杂志”的所有作品,网站转载,请在正文上方注明来源和作者,且不得对内容作实质性改动;微信公众号、头条号等新媒体平台,转载请联系授权。邮箱:shouquan@stimes.cn。
 
 打印  发E-mail给: 
    
 
相关新闻 相关论文

图片新闻
稻米蛋白品质形成分子机制获揭示 鸽子羽毛让机器人像鸟一样飞翔
薇甘菊:“疯狂”的植物杀手 科学家研制出“活砖头”
>>更多
 
一周新闻排行 一周新闻评论排行
 
编辑部推荐博文