搜索结果: 1-15 共查到“计算机软件 量子”相关记录20条 . 查询时间(0.34 秒)
西北工业大学在第二届CCF量子计算编程挑战赛中获特等奖（图）
西北工大 CCF 量子 计算编程
2023/8/21
2023年8月19日-20日，由中国计算机学会CCF主办的第二届CCF量子计算大会暨中国量子计算产业峰会在安徽省合肥市召开，第二届CCF“司南杯”量子计算编程挑战赛颁奖典礼同期举行。西北工业大学计算机学院张伟伟副教授指导的本科生参赛队伍“量子纠缠”队获特等奖，现场由中国量子光学和量子信息开创者、奠基人郭光灿院士颁奖。
北京中科弧光量子软件技术有限公司
北京中科弧光量子软件技术有限公司 量子软件 量子计算技术
2023/3/16
北京中科弧光量子软件技术有限公司由中国科学院软件研究所及其量子软件研究团队共同出资设立，依托中国科学院计算机科学国家重点实验室，以商业化平台聚集和培育创新人才，以产业化运营方式推进量子软件的快速发展和广泛应用，致力于成为世界一流的一站式量子软件产品和服务提供商。
中国科学院软件研究所量子计算编程软件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平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
运行效率倍增！我国科研团队发布量子计算机操作系统
运行效率 量子计算机 操作系统
2021/2/8
操作系统是管理计算机软硬件的“大管家”，也是决定其性能的关键技术领域。2月8日，中科院量子信息重点实验室的科技成果转化平台合肥本源量子科技公司，发布具有自主知识产权的量子计算机操作系统“本源司南”。专家表示，经测试该操作系统能数倍提升现有量子计算机的运行效率。量子计算机是国际热点研究领域，目前全球范围内可供使用的量子计算机仅有约50台。在量子计算资源稀缺的情况下，如何高效稳定的发挥算力，成为量子计...
中国科学院软件研究所发布国内首个量子程序设计平台——isQ（图）
中国科学院软件研究所 量子程序设计平台 isQ 编译器 模拟器 模型检测工具
2019/12/20
2019年12月20日上午，中国科学院软件研究所举行了量子程序设计平台新闻发布会,正式发布了国内第一个较为完整的量子程序设计平台isQ，“isQ”中的“is”代表软件研究所Institute of Software，“Q”代表量子Quantum。isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序...
中国科学院软件研究所量子软件团队推出国际首个量子程序证明工具
中国科学院软件研究所 量子软件 量子程序 证明工具
2019/3/31
为了保证程序的正确性及应用系统的安全性，程序测试、分析与验证在经典计算机科学占有重要的地位。量子世界与经典世界有着本质的不同， 人类的直觉在处理量子世界中的问题时，往往容易做出错误的判断。因而，量子程序设计更加容易出错。近日，软件所量子软件团队詹博华博士及博士生刘君毅等推出国际首个量子程序证明工具QHLProver。QHLProver是基于开源定理证明器Isabelle / HOL的量子算法正确性...
中国科学院软件研究所举办“量子软件：从理论到实现”研讨会（图）
中国科学院软件研究所 量子软件 理论到实现 研讨会
2018/10/8
2018年9月27日至9月29日，中国科学院软件研究所举办了“量子软件：从理论到实现”研讨会。清华大学、北京大学、北京航空航天大学、南京大学、中国科技大学、电子科技大学、中山大学、华东师范大学等高校，中科院计算技术研究所、数学与系统科学研究院等研究院所以及腾讯、百度、中兴、华为等企业共200多人参加了会议。本次研讨会包括“量子机器学习（Quantum Machine Learning）”、“量子算...
“量子软件：从理论到实现”研讨会通知（图）
量子软件 理论到实现 研讨会通知
2018/8/24
近年来，国际信息产业巨头（如IBM、Google、Intel）及初创公司（如Rigetti)，在量子计算机硬件研制中取得进步，我国在这方面也取得许多重大成果。Microsoft、IBM、Google、Rigetti等致力于开发相应的量子软件，但国内量子软件的研究相当缺乏。为推动我国的量子软件研究，中国科学院软件研究所组织研讨会，邀请学术界及工业界（如百度、腾讯）相关领域的学者做报告，综述重要研究领...
全球首台可编程量子计算机在美国诞生（图）
全球 编程量子计算机 美国
2016/8/5
2016年8月中旬，中国将发射全球首颗量子通信卫星。就在国内紧锣密鼓地准备卫星发射之际，位于大洋彼岸的美国，正式对外宣布，要求学术界、工业界和政府尽快就量子信息科学（QIS）议题进行交流，以保证量子信息研发的关键需求得到满足。中美两国在量子信息科学领域里的竞争似乎已经拉开序幕。
小型可编程配置量子计算机问世
小型可编程配置 量子计算机
2016/8/4
本周出版的英国《自然》杂志在封面位置报告了一项量子计算机重大进展：一种小型可编程重新配置的量子计算机问世，这个也可称为量子计算机结构的装置有望被放大为规模更大的计算机。而长期以来，量子计算的这一特性一直难以实现。理论上，量子计算机能比传统计算机更快地解决某些问题，但迄今为止，绝大多数量子计算机只能执行有限的任务，且很难重新配置——事实上，这些量子计算机被设计时目标就是用来运行特定单一的量子算法的，...
为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合协同机制实现各种群协同演化,较好地达到属性协同演化约简中广度寻优和深度探索的有效平衡;然后将信任裕度报酬机制引入到多种群精英量子协同博弈模型,种群精英在每个划分的属性子集中通过量子协...
量子三值全加器设计
多值逻辑 全加器 扩展三值Toffoli门 三值Feynman门
2013/1/15
量子多值加法器是构建量子多值计算机的基本模块.通过认真分析三元域上加法的运算规则及带进位加法的真值表，通过设置扩展三值Toffoli门的控制条件有效实现一位加法在各种情况下的进位，利用三值Feynman门实现一位加法的求和运算，由此设计出一位量子三值全加器，再利用进位线将各位量子全加器连接起来构造出n位量子三值全加器.与同类电路相比，此量子全加器所使用的辅助线及量子代价都有所减少.