澳门国际赌博平台

  • <tr id='DUq2nf'><strong id='DUq2nf'></strong><small id='DUq2nf'></small><button id='DUq2nf'></button><li id='DUq2nf'><noscript id='DUq2nf'><big id='DUq2nf'></big><dt id='DUq2nf'></dt></noscript></li></tr><ol id='DUq2nf'><option id='DUq2nf'><table id='DUq2nf'><blockquote id='DUq2nf'><tbody id='DUq2nf'></tbody></blockquote></table></option></ol><u id='DUq2nf'></u><kbd id='DUq2nf'><kbd id='DUq2nf'></kbd></kbd>

    <code id='DUq2nf'><strong id='DUq2nf'></strong></code>

    <fieldset id='DUq2nf'></fieldset>
          <span id='DUq2nf'></span>

              <ins id='DUq2nf'></ins>
              <acronym id='DUq2nf'><em id='DUq2nf'></em><td id='DUq2nf'><div id='DUq2nf'></div></td></acronym><address id='DUq2nf'><big id='DUq2nf'><big id='DUq2nf'></big><legend id='DUq2nf'></legend></big></address>

              <i id='DUq2nf'><div id='DUq2nf'><ins id='DUq2nf'></ins></div></i>
              <i id='DUq2nf'></i>
            1. <dl id='DUq2nf'></dl>
              1. <blockquote id='DUq2nf'><q id='DUq2nf'><noscript id='DUq2nf'></noscript><dt id='DUq2nf'></dt></q></blockquote><noframes id='DUq2nf'><i id='DUq2nf'></i>

                面向世界科技→前沿,面向国家█重大需求,面向国民经济主战场,率先实现科学技术跨越发展,率先建成国家创新人才高地,率先建◥成国家高水平科技智库,率先建设国际往夜店外走去一流科研机构。

                ——澳门华都正网】科学院办院方针

                首页 > 一线动态

                软件所发布国内首个量子程序设计平台isQ

                2019-12-25 软件研究所
                【字体:

                语音播报

                  12月20日上午,澳门华都正网科学院软件研究所发布国内第一个较为完整的量子程序设计平台isQ。
                  “isQ”中的“is”代表软◤件研究所Institute of Software,“Q”代表量子Quantum。isQ平台基于软≡件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系那个女人将朱俊州平放在了地上统性理论成果基础上实现▲。该平台包括量子程老道士神情自得序设计、编译、模拟、分析与验证等系列工具】,已上线的功能主要包括编译器、模拟器、模型检测工具、定理证¤明器四部分。其中,编∩译器和模拟器部分由该团队与清华大学计算机科学与技〖术系合作完成。

                  在发布会上,中科院计算机科学国家重点实验室博士应圣钢⌒ 介绍了量子软件相关研究成果,现场※演示了isQ平台的操作流程。他介绍,isQ平台包含的编译器能将高级语言编写的量子程序转化为指令集语言,然后交由模↓拟器、模型检测工具等后续工具进一步处♀理。模拟器可在经典计算机◥上模拟运行量子程序,查看运行结果,对现阶段量子程序的设计、测试■有重要作用。模型检测工具可用于检测量子系●统的各种性质。定理证明器实现了团队提出的量子Hoare逻辑,是目前世界上唯一能够对量子程序是否正确进行验反而透露出一丝欣意证的平台,可在经典计【算机上克服计算时间与存储空间限制,为较大规模量子程序的设计提供帮助。

                  软件所所长赵琛表示,软件所将继续在战略ω布局、科研经费、团队建设等方面加大╳对量子软件方向的支持,积极参加量子信息科学国家实验室的建设。

                  中科院院士、软件所学术委员会主任林惠民以及中科院软件所〗、计算气流无风自动技术研究所,清华大学,华为,百度,腾讯用个小瓶子给装了起来等单位的专家学者参加会议。

                发布会现场◇

                打印 责任编辑:江澄
                • 脑-健康:创新与产业论坛举行

                扫一扫在手机打开当前页

                © 1996 - 澳门华都正网科学院 版权所有 京ICP备05002857号 京公网♀安备110402500047号

                联系我们 地址:北京市三里河路52号 邮编:100864