OceaBase开发者大会落地上海!4月20日共同探索数据库前沿趋势!报名戳 了解详情
写点什么

微软发布量子开发套件预览版

  • 2017-12-14
  • 本文字数:859 字

    阅读完需:约 3 分钟

据 InfoQ 之前报道,微软曾在Ignite 大会上宣布开发量子计算机的计划,并提供一个开发套件。现在,微软发布了 Quantum Development Kit (QDK)预览版。

QDK 集成在 Visual Studio 中,使用 Q#编程语言,并提供了一个量子模拟器,可以在笔记本上模拟最多 30 个逻辑量子位,这需要 16GB 的内存。如果要增加到 40 个逻辑量子位,内存需要呈指数级增长,比如增加 10 个逻辑量子位,就需要增加 2 的 10 次方那么多内存。微软为此提供了一个基于 Azure 的模拟器。开发者可以使用 QDK 来学习如何在量子计算机上编程,同时等待微软推出拓扑量子计算机。微软声称,在模拟器开发的程序最终可以不做任何修改就可以在真实的量子计算机上运行。

微软量子处理器使用了拓扑量子位,相关信息并不是保存在某个特定位置,而是进行全局保存,从拓扑结构的全局视图可以直接看出一个串是不是打结了。这种方式的好处在于量子信息的表示只需要少量的误差校正,而误差校正是限制量子处理器伸缩的主要因素。

在编程语言方面,微软将Q#定位成一门特定领域的编程语言,拥有原生的量子位类型系统、算子和其他抽象。它同时支持传统的语言控制流程和量子逻辑演算。

下面是Q#代码示例,目的是将一个量子位设置成给定的状态,如果它不在指定的状态,那么就翻转它:

复制代码
<pre data-linenums="1
2
3
4
5
6
7
8
9
10
11
12" line="7oqd" spellcheck="false">
namespace Quantum.Bell {
  open Microsoft.Quantum.Primitive;
  operation Set (desired: Result, q1: Qubit) : () {
    body {
      let current = M(q1);
      if (desired != current) {
        X(q1);
      }
    }
  }
}

Visual Studio 的调试器可以用来调试 Q#程序,可以设置断点并逐步跟踪执行流程,还可以通过跟踪模拟器来评估运行一个量子程序需要的资源。

除了 QDK,微软还发布了相关文档,涵盖了量子计算基础和高级概念,比如如何管理量子机器和驱动器,以及特定的开发技术。

现在就可以下载QDK ,并在Visual Studio 2017 里使用,VS 2017 的社区版是免费的。

查看英文原文: Microsoft Quantum Development Kit Available to Developers

公众号推荐:

2024 年 1 月,InfoQ 研究中心重磅发布《大语言模型综合能力测评报告 2024》,揭示了 10 个大模型在语义理解、文学创作、知识问答等领域的卓越表现。ChatGPT-4、文心一言等领先模型在编程、逻辑推理等方面展现出惊人的进步,预示着大模型将在 2024 年迎来更广泛的应用和创新。关注公众号「AI 前线」,回复「大模型报告」免费获取电子版研究报告。

AI 前线公众号
2017-12-14 18:001772
用户头像

发布了 322 篇内容, 共 134.2 次阅读, 收获喜欢 144 次。

关注

评论

发布
暂无评论
发现更多内容

ChatGPT“爆红”启示:工业AI如何掀起新型“工业革命”?

Openlab_cosmoplat

人工智能 开源 工业 智能制造 ChatGPT

解决方案| anyRTC 融合其他厂商视频会议系统方案

anyRTC开发者

音视频 私有云 视频会议 视频通话 H.323

软件测试 | 普罗米修斯 - HTTP API调用PromQL

测吧(北京)科技有限公司

测试

OpenMLDB SQL 与标准 SQL 的主要差异

第四范式开发者社区

人工智能 机器学习 数据库 开源 特征

Airserver2023免费手机投屏电脑工具

茶色酒

AirServer2023

OpenMLDB 社区月报 | 2023 年 2 月

第四范式开发者社区

人工智能 机器学习 数据库 开源 特征

足不出户,搞定IoT设备故障诊断和恢复——实践类

阿里云AIoT

阿里云 物联网 IoT

我嘞个去——原来软件开发根本不需要会编码(看我10分钟应用上线)

这我可不懂

程序员 软件开发 低代码平台 应用开发 JNPF

mysongbook2023吉他谱永久免费版

茶色酒

mysongbook2023

【网易云商】概念解读稳定性保障

网易云信

稳定性 稳定性测试

江苏鸿程大数据:基于鲲鹏DevKit开发数据报告生成平台,数据库查询效率提升30%

Geek_2d6073

软件测试| 普罗米修斯 - 基本使用

测吧(北京)科技有限公司

测试

PCB板漏孔、漏槽怎么办?看工程师避坑“SOP”

华秋PCB

PCB 电路板 PCB设计 钻孔

ONES 获得 SOC2 Type1 鉴证报告,数据安全能力受权威认可

万事ONES

软件测试 | 跨平台设备管理方案Selenium Grid

测吧(北京)科技有限公司

测试

软件测试 | 简历中应该如何描述才能体现出软技能的实力?

测吧(北京)科技有限公司

测试

Exposure2023绿色版本人像滤镜插件下载

茶色酒

Exposure2023

链上抢币机器人什么原理?夹子开发源码公开

加密先生

API+DevOps:华为云API Arts一体化平台,端到端呵护您的API

科技怪授

API 华为云

软件测试 | HTTPS 的通信加解密过程,证书为什么更安全?

测吧(北京)科技有限公司

测试

前端刷完这12道滑动窗口,就可以出山面试了

js2030code

JavaScript LeetCode

Camtasia 2023体验版有哪些新功能

茶色酒

Camtasia Studio2023

安卓手机的网络权限,全网最全解答

神锁离线版

android 互联网 安卓 网络权限 安卓权限

AntDB数据库首个社区版正式发布,携手生态更多可能

亚信AntDB数据库

AntDB 国产数据库 AntDB数据库 企业号 3 月 PK 榜

存量设备 0 改造,平滑迁移阿里云 IoT 物联网平台最佳实践——实践类

阿里云AIoT

阿里云 物联网 IoT

小程序与微服务架构如何进行结合

Onegun

小程序 微服务架构 移动开发

腾讯云助力河北打造人社一体化公共服务平台,显著提升治理能力和服务水平

科技热闻

LP分红、加池分红U、杀机器人、防巨鲸、八代邀请分红的智能合约教程

加密先生

FlagOpen大模型技术开源体系,开启大模型时代“新Linux”生态

硬科技星球

猫咪在逐步壮大--PUSS通证深度解析

股市老人

软件测试 | 普罗米修斯 - 自定义exporter

测吧(北京)科技有限公司

测试

微软发布量子开发套件预览版_微软_Sergio De Simone_InfoQ精选文章