• 关于

    自动化理论-图灵机是什么

    的搜索结果
  • 软件即抽象

    本文关键字:抽象是软件的本质,设计是编程的本质 首先,什么是编程,这或许要先问,什么是软件,因为具体编程就是一种“在某平台下,使用某语言,针对解决某个需求进行实现,某个问题进行解决,由程序团队完成最终递交给客户并维护的整个过程,产生的结果就叫软件”,人们只注意到了作为结果的软件,但其实这里提到了很...

    文章 minlearn2016 2020-09-28 39浏览量

  • MySQL vs PostgreSQL干掉你的,往往不是你的对手

            今天突然看到一篇文章《方便面销量3年下降80亿包:干掉你的,往往不是你的对手》 ,结合之前MySQL和PostgreSQL的世纪大战,做为一个多年从事数据库行业研发的老司机,禁不住想说些什么。         谈到世纪之争,不如先看下上世纪没有云计算的时代,我们能听到的耳熟能详的经...

    文章 悟道之客 2018-10-30 6401浏览量

  • 图灵奖得主Joseph Sifakis:将模型检测从学术应用至产业界的功臣 | CCF-GAIR 2018

    软件工程专业的同学想必都很熟悉下面这起惨剧:1996 年 6 月 4 日,由欧洲 12 国联合研制的阿丽亚娜 (Ariane) 5 型运载火箭,在首次发射后因为一行代码的溢出错误导致火箭升空约 37 秒时爆炸,造价几亿欧元的火箭就这样悲剧收场。 如此重大的发射任务事前势必经过了周密的检查,但为什么...

    文章 技术小能手 2018-05-21 1208浏览量

  • PolarDB-X 一致性共识协议 (X-Paxos)

    背景 分布式一致性算法(Consensus Algorithm )是一个分布式计算领域的基础性问题,其最基本的功能是为了在多个进程之间对某个(某些) 值达成一致(强一致),进而解决分布式系统的可用性(高可用)。Paxos是最重要的分布式一致性算法,很多人都把它作为“分布式一致性协议”的代名词(Mi...

    文章 louth 2021-01-18 666浏览量

  • 号称史上最晦涩的算法Paxos,如何变得平易近人?

    Paxos(分布式一致性算法)作为分布式系统的基石,一直都是计算机系统工程领域的热门话题。Paxos号称是最难理解的算法,其实真的这么困难么? “X-Paxos”是阿里巴巴数据库团队面向高性能、全球部署以及阿里业务特征等需求,实现的一个高性能分布式强一致的Paxos独立基础库。X-Paxos具体又...

    文章 技术小能手 2017-08-03 14861浏览量

  • 《从问题到程序:用Python学编程和计算》——第1章 程序设计和Python1.1 计算机和程序

    本节书摘来自华章计算机《从问题到程序:用Python学编程和计算》一书中的第1章,第1.1节,作者:裘宗燕 更多章节内容可以访问云栖社区“华章计算机”公众号查看。 第1章 程序设计和Python 我们已经生活在信息时代,环顾四周,信息技术的影响无处不在。由于信息科学技术的发展和应用,我们的世界的方...

    文章 华章计算机 2017-05-02 458浏览量

  • 《从问题到程序:用Python学编程和计算》——第1章 程序设计和Python 1.1 计算机和程序

    本节书摘来自华章计算机《从问题到程序:用Python学编程和计算》一书中的第1章,第1.1节,作者 裘宗燕,更多章节内容可以访问云栖社区“华章计算机”公众号查看。 第1章 程序设计和Python 我们已经生活在信息时代,环顾四周,信息技术的影响无处不在。由于信息科学技术的发展和应用,我们的世界的方...

    文章 华章计算机 2017-07-03 1753浏览量

  • 《基于模型的软件开发》——1.4 技术革新

    本节书摘来自华章计算机《基于模型的软件开发》一书中的第1章,第1.4节,作者:[美]H. S.莱曼(H. S. Lahman)著, 更多章节内容可以访问云栖社区“华章计算机”公众号查看。 1.4 技术革新 在OO范式之前,即使是编程的“黑暗时代”,也并非一片混沌。学术界一直致力于调整数学运算使其能...

    文章 华章计算机 2017-07-03 994浏览量

  • 带你读《Greenplum:从大数据战略到实现》之一:ABC:人工智能、大数据和云计算

    大数据技术丛书点击查看第二章点击查看第三章Greenplum:从大数据战略到实现 ]冯 雷 姚延栋 高小明 杨 瑜 著 第1章 ABC:人工智能、大数据和云计算 人工智能(Artif?icial Intelligence,AI)、大数据(Big Data)和云计算(Cloud Computing)...

    文章 温柔的养猫人 2019-11-14 473浏览量

  • 带你读《深入理解AutoML和AutoDL:构建自动化机器 学习与深度学习平台》之一:人工智能概述

    智能系统与技术丛书点击查看第二章点击查看第三章深入理解AutoML和AutoDL:构建自动化机器学习与深度学习平台 王健宗 瞿晓阳 著 第1章 人工智能概述 本章主要是人工智能的基本概述,包括人工智能的起源和发展,以及人工智能的两个重要组成部分:机器学习和深度学习。深度学习一直在持续发展,我们将用...

    文章 被纵养的懒猫 2019-11-01 1320浏览量

  • CNCC 2016 | 中国工程院高文院士39张PPT带你看懂人工智能60年浪潮

    雷锋网(公众号:雷锋网)按:本文根据高文院士今天上午在 CNCC 2016 上所做的大会特邀报告《人工智能--螺旋上升的60年》编辑整理而来,在未改变原意的基础上略有删减。 高文,北京大学信息科学技术学院教授。中国工程院院士、ACM/IEEE Fellow。1991年获日本东京大学电子工程学博士。...

    文章 青衫无名 2017-08-01 928浏览量

  • 明略科学院院长、IEEE Fellow吴信东:大数据知识工程基础理论 | 直播课笔记

    不久前,明略数据成立明略科学院,并由明略科学院院长吴信东教授带来第一讲:《大数据知识工程基础理论及其应用》相关分享。 吴信东教授是国家“千人计划”特聘专家,长江学者,IEEE & AAAS Fellow,数据挖掘研究与应用领域的顶级科学家。 在分享中吴信东教授讲解了新环境下大数据技术应用...

    文章 技术小能手 2018-08-15 1761浏览量

  • 带你读《深入理解AutoML和AutoDL:构建自动化机器 学习与深度学习平台》之三:机器学习概述

    点击查看第一章点击查看第二章第3章 机器学习概述 机器学习(Machine Learning,ML)是实现人工智能的一种方法,它来源于早期的人工智能领域,是人工智能研究发展到一定阶段的必然产物。机器学习可以分为以支持向量机为代表的统计学习和以人工神经网络为代表的深度学习。统计学习模型参数往往是可解...

    文章 被纵养的懒猫 2019-11-01 1234浏览量

  • 姚期智云栖大会首日演讲:为什么我说现在是金融科技的“新”黄金时代

    2017年10月11日,阿里云栖大会在杭州盛大开幕。当日,阿里巴巴集团宣布成立 “达摩院”,一家研究基础科学和颠覆式技术创新的机构。达摩院首批公布的研究领域包括:量子计算、机器学习、基础算法、网络安全、视觉计算、自然语言处理、人机自然交互、芯片技术、传感器技术、嵌入式系统等,涵盖机器智能、智联网、...

    文章 行者武松 2017-10-13 1646浏览量

  • 机器智能加速器:大数据环境下知识工程的机遇和挑战 | 清华李涓子教授

    李涓子,清华大学计算机科学与技术系教授,博士生导师。清华-青岛数据科学研究院科技大数据研究中心主任、中国中文信息学会语言与知识计算专委会主任、中国计算机学会术语委员会执行委员。研究兴趣是语义 Web,新闻挖掘与跨语言知识图谱构建。多篇论文在重要国际会议(WWW、IJCAI、SIGIR、SIGKDD...

    文章 技术小能手 2017-12-29 1987浏览量

  • 带你读《物联网之魂:物联网协议与物联网操作系统》之一: 网络通信技术

    物联网工程实战丛书点击查看第二章物联网之魂:物联网协议与物联网操作系统   孙昊 王洋 赵帅 杜秀芳 曾凡太 编著第1章 网络通信技术 1.1 数字通信概述   数字通信是指用数字信号作为载体来传输信息,或者用数字信号对载波进行数字调制后再传输的通信方式。它的主要技术设备包括发射器...

    文章 温柔的养猫人 2019-11-12 687浏览量

  • 一页纸说清楚“深度学习”

    深度学习:像人脑一样深层次地思考 如果你认为"个性化推荐"系统有了“人工智能”,那你就错了。其实,这些推荐系统背后的运行原理主要基于概率统计、矩阵或图模型,计算机对这些数值运算确实很擅长,但由于采用的只是“经验主义”的实用方法(也即管用就行),而非以“理性主义”的原则真正探求智能产生的原理,所以距...

    文章 小旋风柴进 2017-04-03 1266浏览量

  • 何为程序员思维

     看到这个题目,我想起了很多很多...........   首先,我说明我为什么要写这篇文章了。   一个原因是逸惋惜峥嵘岁月岁月稠,当初读大学的时候,学习计算机技术的课程,我过多的走向了两种极端的状况。一种情况,我愿意把他归结于本末倒置,例如我学习《C++面向对象程序设计》的时候,更多的是研究C...

    文章 laozhu1124 2016-04-14 1655浏览量

  • 什么是低代码(Low-Code)?

    作者 | 楚衡来源 | 阿里技术公众号一 前言如果选择用一个关键词来代表即将过去的2020年,我相信所有人都会认同是“新冠”。疫情来得太快就像龙卷风,短短数月就阻断了全世界范围内无数人与人之间的物理连接。但好在,我们已经全面迈入互联网时代:N95口罩再厚,也阻挡不了信息比特流的顺畅流通(宅男:B...

    文章 开发者小助手_LS 2020-11-16 12978浏览量

  • 《计算机科学概论》—第1章1.2节计算的历史

    本节书摘来自华章出版社《计算机科学概论》一书中的第1章,第1.2节计算的历史,作者[美]内尔·黛尔(Nell Dale)约翰·路易斯(John Lewis),更多章节内容可以访问云栖社区“华章计算机”公众号查看。 1.2 计算的历史计算的历史十分悠久,计算系统为什么成为今天这个样子是可以解释的。这...

    文章 华章计算机 2017-05-02 1195浏览量

  • 什么是低代码(Low-Code)?

    来源 | 阿里巴巴云原生公众号作者 | 楚衡导读:什么是低代码?我们为什么需要低代码?低代码会让程序员失业吗?本文总结了低代码领域的基本概念、核心价值与行业现状,带你全面了解低代码。前言如果选择用一个关键词来代表即将过去的 2020 年,我相信所有人都会认同是“新冠”。疫情来得太快就像龙卷风,短短...

    文章 阿里巴巴云原生小助手 2020-11-30 2074浏览量

  • 什么是低代码(Low-Code)?

    阿里云 云原生应用研发平台EMAS 彭群(楚衡)一、前言如果选择用一个关键词来代表即将过去的2020年,我相信所有人都会认同是“新冠”。疫情来得太快就像龙卷风,短短数月就阻断了全世界范围内无数人与人之间的物理连接。但好在,我们已经全面迈入互联网时代:N95口罩再厚,也阻挡不了信息比特流的顺畅流通(...

    文章 南迦FourFish 2020-11-18 3861浏览量

  • 带你读《Greenplum:从大数据战略到实现》之三:数据处理平台的演进

    点击查看第一章点击查看第二章 第3章 数据处理平台的演进 在上一章中,我们回顾了云原生应用的数字化战略,进而提出大数据和机器学习是未来企业构筑竞争优势和壁垒的高地,最后从人才和技术角度介绍如何建立合适的数据平台。本章将着重介绍数据处理平台的发展历程,根据其演进的内在动力、外在环境和当前趋势,提出集...

    文章 温柔的养猫人 2019-11-14 1478浏览量

  • 带你读《区块链开发实战: 基于JavaScript的公链与DApp开发》之二:DApp开发简介

    点击查看第一章点击查看第三章第2章 DApp开发简介 在开发一个区块链应用之前,我们首先需要了解智能合约和DApp(Decentralized Application)的概念。本章首先介绍智能合约的概念以及智能合约的案例,然后解释 DApp 的概念及特点,最后介绍目前几个主流的区块链应用开发平台。...

    文章 被纵养的懒猫 2019-10-30 1321浏览量

  • 重磅清单 | 当前AI领域尚未攻克的29个难题及进展评估(附百篇文献)

    引言 本文列出了人工智能中的开放性问题,根据人工智能路线图研究所重点关注的“ 开放性研究问题 ”主题,简要介绍该领域的最大挑战和现有技术水平。(译者注:人工智能路线图研究所是一个旨在研究和比较由人工智能领域工作者提出的各种人工智能路线图的新机构。) 这些挑战可分为:人工智能完备(AI-compl...

    文章 小旋风柴进 2017-05-18 1785浏览量

  • 区块链技术指南.

    区块链技术指南 邹均 张海宁 唐屹 李磊 等著 图书在版编目(CIP)数据 区块链技术指南 / 邹均等著. —北京:机械工业出版社,2016.11 ISBN 978-7-111-55356-4 I. 区… II. 邹… III. 电子商务-支付方式-指南 IV. F713.361.3-6...

    文章 华章计算机 2017-05-02 6799浏览量

  • 智谷大会上,来自全球领先专业的专家学者们都分享了什么样的研究成果?

    在上个月US News公布的2017最新全球大学排名中,清华大学有4个学科排名全球前10,其中在工程类专业排名第一,计算机科学专业排名第二。那么,在清华的这些院系中又在关注哪些领域,产生了什么样的成果呢?在刚刚召开的首届中国智谷大会上,清华大学智能技术与系统国家重点实验室、清华大学全球产业4.5研...

    文章 青衫无名 2017-08-01 969浏览量

  • 一位真正的科学思想家: 纪念人工智能之父Marvin Minsky教授

    图1. Marvin Minsky (1927.08.09-2016.01.24)  为了纪念去世的人工智能创始人之一,认知科学家Marvin Minsky教授,IEEE Intelligent Systems(IS)杂志正组织相关领域专家及其Minsky生前的学生与朋友,撰写In Memori...

    文章 小旋风柴进 2017-05-02 1493浏览量

  • 带你读《Python 程序设计与问题求解(原书第2版)》之一:引言

    计算机科学丛书点击查看第二章点击查看第三章Python 程序设计与问题求解(原书第2版)Fundamentals of Python:First Programs,Second Edition [美] 肯尼斯· A. 兰伯特(Kenneth A. Lambert ) 著刘鸣涛 孙 黎 甘 靖 ...

    文章 温柔的养猫人 2019-11-05 302浏览量

  • 牛津大学人类未来研究所:万字长文谈AI新职场方向-政策研究

    最近两年,虽然AI这个词语充斥在人类的媒体和生活中,但实际上AI技术的发展才刚刚起步,目前AI能做的事情还非常初级。黑暗森林法则里的“技术大爆炸”不知道何时会突然到来,各种法律、伦理和人性都会受到前所未有的挑战。本文的团队认为未雨绸缪,在那个时代到来之前做好准备,现在开始制定最完善"AI政策 ” ...

    文章 技术小能手 2018-02-08 1638浏览量

1 2 >

云产品推荐

上海奇点人才服务相关的云产品 小程序定制 上海微企信息技术相关的云产品 国内短信套餐包 ECS云服务器安全配置相关的云产品 开发者问答 阿里云建站 自然场景识别相关的云产品 万网 小程序开发制作 视频内容分析 视频集锦 代理记账服务 阿里云AIoT