搜索结果: 1-5 共查到“计算机科学技术 isQ”相关记录5条 . 查询时间(0.069 秒)
中国科学院软件研究所量子计算编程软件isQ正式开源
量子计算 编程软件 isQ
2022/9/21
近日，中国科学院软件研究所开发的量子计算编程软件isQ正式开源发布。isQ将持续为国内外从事量子计算研究和应用的单位及个人提供服务。
中国科学院软件所量子计算编程软件isQ正式开源
量子计算 编程软件isQ
2022/9/21
2022年9月21日，中国科学院软件研究所开发的量子计算编程软件isQ正式开源发布。isQ将持续为国内外从事量子计算研究和应用的单位及个人提供服务。isQ是一款支持经典量子混合编程的量子编程软件，能够灵活地描述各类复杂的量子算法。在语法层面，isQ软件的量子编程语言支持包括经典、量子变量定义，自定义酉门，量子门及测量操作，循环、递归等经典控制流以及oracle定义等功能；在编译层面，isQ采用ml...
中科院软件所量子计算编程软件isQ正式开源
量子计算 编程软件
2022/9/20
中科院软件所量子软件团队主要负责人介绍，isQ是一款支持经典量子混合编程的量子编程软件，能够灵活地描述各类复杂的量子算法。在语法层面，isQ软件的量子编程语言支持包括经典、量子变量定义，自定义酉门，量子门及测量操作，循环、递归等经典控制流以及oracle定义等功能；在编译层面，isQ采用mlir框架，定义了一套特有的量子中间表示，并基于此提供高效的量子电路分解、量子电路优化和量子电路映射功能，最终...
isQ量子程序设计与验证平台
isQ 量子程序设计 验证平台
2021/8/10
isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
中国科学院软件研究所发布国内首个量子程序设计平台——isQ（图）
中国科学院软件研究所 量子程序设计平台 isQ 编译器 模拟器 模型检测工具
2019/12/20
2019年12月20日上午，中国科学院软件研究所举行了量子程序设计平台新闻发布会,正式发布了国内第一个较为完整的量子程序设计平台isQ，“isQ”中的“is”代表软件研究所Institute of Software，“Q”代表量子Quantum。isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序...