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

据中新网消息,近日,中国科学院软件研究所于北京正式发布了中国首个较为完整的量子程序设计平台,且期望同我国量子硬件团队合作,尽快将该量子程序设计平台配置在我国自研的量子计算机上。

据报道,此次发布的量子程序设计平台名为“isQ”。其中“is”是“Institute of Software(软件研究所)”的缩写,“Q”则来自“Quantum(量子)”的首字母。

治愈出院患者王某,男,20岁,宁夏银川市人。2月5日由自治区人民医院确诊转入宁夏回族自治区第四人民医院。2月21日,经宁夏新冠肺炎诊疗专家组分析评估,解除隔离出院。

治愈出院患者白某,女,32岁,宁夏吴忠市人。2月10日由同心县庆华村韦二煤矿医院转入宁夏回族自治区第四人民医院。2月21日,经宁夏新冠肺炎诊疗专家组分析评估,解除隔离出院。

治愈出院患者苏某,女,50岁,宁夏吴忠市人。2月6日由同心县庆华村韦二煤矿医院转入宁夏回族自治区第四人民医院。2月21日,经宁夏新冠肺炎诊疗专家组分析评估,解除隔离出院。(完)

报道称,这一平台包括量子程序设计、编译、模拟、分析与验证等系列工具。编译器、模拟器、模型验证工具、定理证明器四部分主要功能已经上线。

You may also like :