中国科学院软件研究所发布中国首个量子程序设计平台

12月20日电,中国科学院软件研究所20日在北京正式发布中国第一个较为完整的量子程序设计平台,并期望与国内量子硬件团队紧密合作,尽快将这一平台配置在中国自主研制的量子计算机上。


中国科学院软件研究所发布中国首个量子程序设计平台_软件科技_Win系统专区


中科院软件所正式发布中国第一个较为完整的量子程序设计平台。


最新发布的量子程序设计平台名称为isQ,“is”为软件研究所英文名称“Institute of Software”缩写,“Q”取自量子英文单词Quantum首字母,平台由量子程序设计、编译、模拟、分析与验证等系列工具组成,已上线的功能主要包括编译器、模拟器、模型验证工具、定理证明器四部分。其中,isQ平台基于中科院软件所量子软件研究团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果研发成功,编译器和模拟器部分由该团队与清华大学计算机科学与技术系合作完成。


当天发布会上,中科院软件所量子软件研究团队介绍说,随着近年来量子计算机硬件的迅速发展,量子软件开发越来越引起人们的重视。正如相应的工具链在传统软件开发中的作用一样,一套可用性高、功能广泛而强大,集程序设计、测试、分析、验证于一体的工具对量子软件开发十分重要,但由于量子软件与经典软件存在本质不同,相应的量子软件工具更加复杂而难以研发。


量子程序设计方面,isQ平台包含的编译器首先将高级语言编写的量子程序转化为指令集语言,然后交由后续工具进一步处理。目前,后续工具的模拟器可在经典计算机上模拟运行量子程序,查看运行结果,对现阶段量子程序的设计、测试有重要作用;模型检验工具可用于检验量子系统的各种性质;定理证明器实现研究团队提出的量子霍尔(Hoare)逻辑,是目前所知世界上唯一能够对量子程序是否正确进行验证的平台,可在经典计算机上克服计算时间与存储空间限制,为较大规模量子程序的设计提供重要帮助。


据了解,中科院软件所量子软件研究团队后续将在现有理论研究成果及工程化实现的基础上,进一步完善isQ平台功能,包括定理证明器与编译器的对接等。该研究团队期望与中国国内量子硬件团队紧密合作,尽快将isQ平台配置于中国自主研制的量子计算机。

48
32
0
48

相关资讯

  1. 1、芳香族化合物生物传感器问世!检测速度提高60万倍以上4149
  2. 2、欧盟发布5G网络安全风险的评估报告,遭受攻击的风险增加4666
  3. 3、站在游戏与硬件产业共享-移动体感游戏4599
  4. 4、​显示器市场需求疲软OLED面板市场稳步增长3754
  5. 5、索斯科推出新式BLUETOOTH蓝牙控制器可实现无线网络控制3735
  6. 6、飞利浦收购锐珂医疗保健信息系统业务,扩大医疗IT业务3837
  7. 7、科学家提出一种新方法,可有效增强物联网设备的安全性!4925
  8. 8、细分领域“异军突起”促使工业机器人渐熟71
  9. 9、卫星公司国星宇航完成天使轮投资,自主研发AI星载操作系统1352
  10. 10、​美国联邦贸易委员会(FTC)将指控高通收取过高专利许可费1872
全部评论(0)
我也有话说
0
收藏
点赞
顶部