搜索结果: 1-2 共查到“知识库 计算机软件 isQ”相关记录2条 . 查询时间(0.155 秒)
中国科学院软件研究所量子计算编程软件isQ正式开源
量子计算 编程软件 isQ
2022/9/21
近日，中国科学院软件研究所开发的量子计算编程软件isQ正式开源发布。isQ将持续为国内外从事量子计算研究和应用的单位及个人提供服务。
isQ量子程序设计与验证平台
isQ 量子程序设计 验证平台
2023/3/16
isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。