织梦CMS - 轻松建站从此开始!

云霞中文吧

当前位置: 主页 > 国际新闻 >

国际新闻片头一套可用性高、功能广泛而强大

时间:2020-09-15 17:17来源:未知 作者:admin 点击:
作为国家在科学技术方面的最高学术机构和全国自然科学与高新技术的综合研究与发展中心,建院以来,中国科学院时刻牢记使命,与科学共进,与祖国同行,以国家富强、人民幸福为
广告位API接口通信错误,查看德得广告获取帮助

  作为国家在科学技术方面的最高学术机构和全国自然科学与高新技术的综合研究与发展中心,建院以来,中国科学院时刻牢记使命,与科学共进,与祖国同行,以国家富强、人民幸福为己任,人才辈出,硕果累累,为我国科技进步、经济社会发展和做出了不可替代的重要贡献。更多简介 +

  中国科学技术大学(简称“中科大”)于1958年由中国科学院创建于北京,1970年学校迁至安徽省合肥市。中科大坚持“全院办校、所系结合”的办学方针,是一所以前沿科学和高新技术为主、兼有特色管理与人文学科的研究型大学。

  中国科学院大学(简称“国科大”)始建于1978年,其前身为中国科学院研究生院,2012年更名为中国科学院大学。国科大实行“科教融合”的办学体制,与中国科学院直属研究机构在管理体制、师资队伍、培养体系、科研工作等方面共有、共治、共享、共赢,是一所以研究生教育为主的独具特色的研究型大学。

  上海科技大学(简称“上科大”),由上海市人民政府与中国科学院共同举办、共同建设,2013年经教育部正式批准。上科大秉持“服务国家发展战略,培养创新创业人才”的办学方针,实现科技与教育、科教与产业、科教与创业的融合,是一所小规模、高水平、国际化的研究型、创新型大学。

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

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

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

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

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

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

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

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

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

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

(责任编辑:admin)
织梦二维码生成器
顶一下
(0)
0%
踩一下
(0)
0%
------分隔线----------------------------
发表评论
请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
评价:
表情:
用户名: 验证码:点击我更换图片
广告位API接口通信错误,查看德得广告获取帮助