中科软是一只绝对股价超千元的价值成长高科技品种！

第四届HUAWEI CONNECT 2019(华为全联接大会)在上海召开，华为轮值董事长胡厚崑在会上发表了《共创智能新高度》主题演讲，胡厚崑表示，计算是人类认知世界的一种模式 。 预计5年后，AI计算所消耗的算力，将占到算力消耗总量的80%以上，计算正在进入一个新的智能时代。

“我们面临的是一个2万亿美元的计算产业大蓝海，华为坚定不移地投入计算产业。”　胡厚崑表示，计算产业是个开放的产业，高度依赖于生态，需要全球的协作。在通用计算上，华为已经发布了鲲鹏芯片，未来还会在主板、服务器、操作系统、数据库，编译器和工具上持续投入。同时华为也在打造鲲鹏产业生态基地：聚合生态伙伴、开展应用示范、培养产业人才、孵化产业标准。

为了支持鲲鹏产业生态的建设和发展，华为计划在未来五年内投资30亿人民币来发展鲲鹏产业生态。同时，华为已构建在线鲲鹏社区，提供加速库、编译器、工具链、开源操作系统等，帮助合作伙伴和开发者快速掌握操作系统、编译器以及应用的迁移调优等能力，共建、共享、共赢计算新时代。

　　中科软与华为联合开发建设中国计算平台生态系统！

　中国科学院软件研究所与华为签署合作协议　

　发布时间：2019-10-30 09:19

10月28日，中国科学院软件研究所（以下简称“中科院软件所”）与华为技术有限公司（以下简称“华为公司”）在深圳签署合作协议。中科院软件所所长赵琛、中科软科技股份有限公司董事长左春、华为公司高级副总裁兼Cloud & AI产品与服务总裁侯金龙、华为中国智能计算业务部总裁万志出席签约仪式进行见签，中科院软件所副总工、智能软件研究中心主任武延军，华为中国鲲鹏生态与解决方案销售部部长张英梗进行合作协议签署。

中科院软件所与华为公司将在计算产业科研领域加强合作，软件所积极参与华为计算产业核心关键技术的科研攻关，共同培养鲲鹏计算产业人才；双方将打造基于华为鲲鹏处理器、openEuler、华为GaussDB数据库等的产学研示范工程，推进产学研深度融合发展，推动创新驱动和产业数字化转型；软件所将深度参与openEuler社区建设和操作系统研发，并积极参与openEuler的开源软件生态建设；双方将共同发展鲲鹏软件生态和行业生态，在相关操作系统、编译器、中间件、应用软件的研发选型中，中科院软件所及其控股（中科软科技）公司将优先基于华为鲲鹏计算平台进行产品的开发、适配，并发布相应的软件产品和服务，同时在人工智能教育、科研、保险、卫生、证券等领域，双方将建立应用示范，树立行业标杆。

　综上所述，"棱镜门"事件后，　中国必须自主研制发展计算机系统，保障我国的国防、军事、政治、经济、文化、卫生等领域不受制于人处于绝对的安全性 。软件是计算机的‘灵魂’。公司作为中国科学院软件研究所技术研究及开发的主体，在计算机相关操作系统、编译器、中间件、应用软件的研发选型中将优先基于华为鲲鹏计算平台进行产品的开发、适配，并发布相应的软件产品和服务，同时在人工智能教育、科研、保险、卫生、证券等领域，双方将建立应用示范，树立行业标杆，联合华为打造中国计算产业生态系统，进而打造中国自主研制可控的电子计算机系统，确保国家国防、军事、经济、文教卫生健康的安全性 。

量子软件研发与工程实现-中科软承载后其价值不可限量！

背景：　

　传统计算机要100年才能破解的难题，量子计算机可能仅需1秒。量子计算机是一种前沿的、未知的设备，虽然现在来说命运未卜，但是可以确定的是这种技术一旦获得成功，对世界所产生的变革绝对是历史性的，甚至是颠覆性的。我们自己在量子计算机的发展方面绝对不能掉以轻心，需要有自己的技术积累，有自己的创新，有自己的突破，相信我们在量子计算机领域一定会获得突破的。（文章摘录：科技风景线）

　中国科学院院士量子信息和量子科技创新研究院院长、中国科学技术大学常务副校长潘建伟介绍，量子计算在原理上具有超快的并行计算和模拟能力，能解决经典计算机无法解决的大规模计算难题。

　中国科学院院士、中国科学院量子信息重点实验室主任郭光灿说：“量子计算机相比普通计算机，就相当于计算机相比算盘。”他解释，量子计算机要做的事就是算题，电子计算机用电子芯片串联计算，而量子计算机用量子芯片并行计算。“难点就在芯片和软件，”郭光灿称，除了芯片外，一些软件操作系统全都要变，量子计算机是一个复杂的工程问题，“不光芯片难做，其他的也很难做。”

2019年12月20日，中国科学院软件研究所在北京正式发布国内第一个较为完整的量子程序设计平台，包括量子程序设计、编译、模拟、分析与验证等系列工具。

中国科学院软件研究所所长赵琛

　　最新发布的量子程序设计平台名称为“isQ”，“is”代表软件研究所Institute of Software，“Q”代表量子Quantum。“2016年，软件所在国内率先部署量子软件研究方向，成立了量子软件研究研究室，重点开展量子软件理论研究和工程实现两部分工作。今天发布的量子程序设计平台，就是基于研究团队多年来，在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上实现的，其中验证工具是国际首创。”中国科学院软件研究所所长赵琛说。

　当前，量子软件大致可以分为两类，一类是面向量子算法，其目的是保证量子算法能够准确地转化为量子计算机可以执行的量子机器语言；一类是为量子硬件服务，其目的是保障量子芯片能够有效地设计、运行。现阶段，这两大类软件均运行于经典计算设备上，是量子计算机开发、运行不可或缺的部分。

　　“一套可用性高、功能广泛而强大，集程序设计、测试、分析、验证于一体的工具链对量子软件开发十分重要。”中国科学院软件研究所计算机科学国家重点实验室量子软件研究团队副研究员应圣钢表示，随着量子芯片规模和电路层数深度的提升，经典计算机上用模拟器运行、调试量子程序所需的时间、空间将成指数增长，最终将无法完成。

国内第一个较为完整的量子程序设计平台——isQ

　　“我们开发isQ平台，主要目的就是为了保证量子程序开发的正确性及纠错的便利性。现在isQ平台已上线的功能主要分编译器、模拟器、模型检测工具、定理证明器四大部分。”应圣钢介绍说，在量子程序设计方面，编译器能首先将高级语言编写的量子程序转化为指令集语言，然后交由后续工具进一步处理。已上线的模拟器和模型检测工具就是两款后续工具。其中，模拟器可在经典计算机上模拟运行量子程序，查看运行结果，对现阶段量子程序的设计、测试有重要作用；模型检测工具可用于检验量子系统的各种性质。而定理证明器实现了研究团队提出的量子霍尔（Hoare）逻辑，是目前已知的世界上唯一能够对大型量子程序是否正确进行验证的途径，可在经典计算机上克服计算时间与存储空间限制，为较大规模量子程序的设计提供重要帮助。

　接下来，研究团队将在现有理论研究成果及工程化实现的基础上，进一步完善平台功能,包括定理证明器与编译器的对接等；同时，团队也期望与国内量子硬件团队紧密合作，尽快将这一平台配置在中国自主研制的量子计算机上。

中国科学院院士、软件所学术委员会主任林惠民，委书记、副所长操云甫，学术副所长应明生，所长助理、科技处处长武斌，中国科学院计算技术研究所、清华大学、华为、百度、腾讯等单位的专家学者，新华社、光明网、科技日报、中国科学报等媒体记者也参加了本次会议。

然而，为助力中国量子计算机的研制发展，研发、适配量子软件生态是中科软科技的责任和使命！

基于　"棱镜门"事件 以及传统计算机要100年才能破解的难题，量子计算机可能仅需1秒的技术特征，决定了中国必须自主研制发展量子计算机系统，保障我国的国防、军事、政治、经济、文化、卫生等领域不受制于人处于绝对的安全性 。而突破芯片和软件难题是中国自主研制发展量子计算机的关键。公司作为中国科学院软件研究所技术研究及开发的主体，助力中国自主研制量子计算机的发展，为其提供量子软件生态这是公司的责任和使命。据此，母公司在量子程序设计平台——isQ功能完善后，将isQ专利权和技术团队一并注入中科软科技（603927）是必然的结果，同时公司将进一步整合中科院量子软件相关资源，研发、适配中国自主研制发展量子计算机系统软件、支撑软件、系统集成、行业应用软件等各个层次， 覆盖国防、航空航天、军事、卫星通讯、财产保险、人寿保险、健康医疗、政府 、金融、媒体、能源、邮政、呼叫中心、交通、民航、企业信息化、人工智能教育等诸行业领域，可为大型应用系统工程提供全方位解决方案的支持，确保国家的国防、军事、经济、文教卫生健康领域的绝对安全性自主可控。

总之，量子软件研发与工程实现，是一项前瞻性的、颠覆性的、里程碑式的伟大的工程。中科软科技（603927）承载实施后其价值是不可限量的。