科技的成就（二十五）

189、新研究方向模型检测诞生
1981 年 5 月，新研究方向模型检测诞生。克拉克和爱默生发表经典论文“Design and Synthesis of Synchronization Skeletons Using Branching-Time TemporalLogic”，开创模型检测研究新方向。模型检测（model checking）是一种自动验证技术。

190、GM 密码系统诞生
1982 年 5 月，GM 密码系统诞生。戈德瓦塞尔和米卡利发表经典论文“Probabilistic Encryption & How To Play Mental Poker Keeping Secret All Partial Information”，提出 GM 密码系统（Goldwasser-Micali）。

191、图灵提交划时代论文
1936 年 5 月 28 日，图灵提交划时代论文。图灵在《论可计算数及其在判定问题上的应用》中阐述了图灵机的概念。图灵机属于思想实验，体现了现代计算机的所有逻辑功能。这台“机器”由无限长的纸带、读写头、控制器和寄存器组成。

192、深度学习经典论文发表
2015 年 5 月，深度学习经典论文发表。杨立昆、约书亚·本吉奥和杰弗里·辛顿在《自然》杂志上发表了深度学习领域综述性经典论文“Deep Learning”，总结了深度学习为人工智能领域各个方向带来的重大变革，展望了深度学习的未来发展。

193、IBM 801 计划基本完成
1980 年，IBM 801 计划基本完成。IBM 801 是 IBM 设计的实验性小型计算机，由约翰·科克主持开发，是第一个真正使用 RISC 理念来设计的系统。CISC 和 RISC 是相对而言的，CISC 可以实现很复杂的指令，但可能存在设计复杂、高延迟、高功耗等问题。

194、微服务一词首次出现
2011 年 5 月，微服务一词首次出现。在威尼斯附近举行的软件架构师研讨会上，与会人员使用了 “微服务”（microservice）一词来描述当时大家正在探索的一种架构风格。微服务以专注于单一责任与功能的小型功能区块为基础，利用模块化的方式组合出复杂的大型应用程序。

195、Napster 发布
1999 年 6 月 1 日，Napster 发布。Napster 是一款音频文件下载网站，以点对点共享服务为特色，持有与请求文件的用户可直接通过网站传输共享文件。Napster 由肖恩·范宁和西恩·帕克创立，由于版权问题收到唱片公司的大量诉讼，最后以被收购告终。

196、新的编程语言 Swift
2014 年 6 月 2 日，苹果在 WWDC 上发布了新的编程语言 Swift。Swift 由克里斯·拉特纳在苹果内部主持开发，历时 4 年。它是一种支持多编程范式的可编译语言，其设计简单、高效、安全，用来开发 macOS/OS X、iOS、watchOS 和 tvOS。

记录前辈的功绩与成就，激励我们不断前行！

科技的成就（二十五）相关推荐

开源操作系统 FreeDOS 二十五年演进史：因微软抛弃 MS-DOS 而来！
[CSDN 编者按]1994 年,微软宣布停止支持 MS-DOS,而 FreeDOS 的作者 Jim Hall 作为 MS-DOS 的超级粉丝,决定自行设计一个 MS-DOS 的自由软件替代--这就有 ...
激荡二十五年：wind、同花顺、东方财富、大智慧等金融服务商争霸史
激荡二十五年:wind.同花顺.东方财富.大智慧等金融服务商争霸史 2017-03-08 朱琼华智囊财经 2017年3月8日,经历开春后风霜雨雪后的黄浦江,这一刻恢复了平静.倒映在江水里的高楼,随着 ...
渗透测试-地基钓鱼篇-Cobalt Strike钓鱼（二十五）
** 渗透测试-地基钓鱼篇-Cobalt Strike钓鱼(二十五) ** 作者:大余时间:2020-12-17 简介: 渗透测试-地基篇: 该篇章目的是重新牢固地基,加强每日训练操作的笔记,在记录 ...
2021年大数据Hadoop（二十五）：YARN通俗介绍和基本架构
全网最详细的Hadoop文章系列,强烈建议收藏加关注! 后面更新文章都会列出历史文章目录,帮助大家回顾知识重点. 目录本系列历史文章前言 YARN通俗介绍和基本架构 Yarn通俗介绍 Yarn基本 ...
VMware vSphere 服务器虚拟化之二十五桌面虚拟化之终端服务池
VMware vSphere 服务器虚拟化之二十五桌面虚拟化之终端服务池终端服务池是指由一台或多台微软终端服务器提供服务的桌面源组成的池.终端服务器桌面源可交付多个桌面.它具有以下特征: 1.终端 ...
未处理异常和C++异常——Windows核心编程学习手札之二十五
未处理异常和C++异常 --Windows核心编程学习手札之二十五当一个异常过滤器返回EXCEPTION_CONTINUE_SEARCH标识符时是告诉系统继续上溯调用树,寻找另外的异常过滤器,但当每 ...
linux exec 二程序,二十五、Linux 进程与信号---exec函数
25.1 介绍在用 fork 函数创建子进程后,子进程往往要调用一种 exec 函数以执行另一个程序当进程调用一种 exec 函数时,该进程完全由新程序代换,替换原有进程的正文,而新程序则从其 m ...
二十五、求单点的最短路径
二十五.求单点的最短路径文章目录二十五.求单点的最短路径题目描述解题思路上机代码题目描述求从指定源点出发到各个顶点的最短路径. **假设:**图中结点名均为单个互不相同的字母,权值均&g ...
Python之精心整理的二十五个文本提取及NLP相关的处理案例
一.提取 PDF 内容 # pip install PyPDF2 安装 PyPDF2 import PyPDF2 from PyPDF2 import PdfFileReader# Creating ...
SAP UI5 初学者教程之二十五 - 使用代理服务器解决 SAP UI5 应用访问远端 OData 服务的跨域问题试读版
一套适合 SAP UI5 初学者循序渐进的学习教程教程目录 SAP UI5 本地开发环境的搭建 SAP UI5 初学者教程之一:Hello World SAP UI5 初学者教程之二:SAP UI5 ...

科技的成就（二十五）

科技的成就（二十五）相关推荐

最新文章

热门文章