当前位置:主页 > 美的 >

美的

历史上的今天:苹果推出 System 7 系统;NP 完备领域开山论文发

发布日期:2022-05-14 16:44   来源:未知   阅读:

  今天是 2022 年 5 月 13 日,在 2007 年的今天,腾讯收购域名并把该域名指向其搜索网站互动业务 问问 。而完成该域名的收购,腾讯只花了 8 万元。 创始人吕希文后来表示,当初购买域名的并不是腾讯公司,在域名被低价购买后,吕希文大呼上当。回顾互联网历史上的 5 月 13 日,这一天还发生过哪些影响深远的关键事件呢?

  1971 年 5 月,计算机科学家、计算复杂度理论的重要研究者史蒂芬 · 库克(Stephen Cook)在自己的博士论文 The Complexity of Theorem Proving rocedures 中定义了 NP 完备问题,并提出了库克定理,奠定了 NP 完备的理论基础,开启了该领域的快速发展。因对计算复杂度理论的贡献,史蒂芬 · 库克获得了 1982 年的图灵奖,现担任多伦多大学计算机科学教授。

  NP 完备(NP-complete)一词由贝尔实验室的研究者提出。 完备 出自数学逻辑学,一个事实集合被称为完备的,就是说它能解释某些逻辑系统的所有真命题。类似地,NP 完备 表示这些 NP 问题的集合强大到能够用来解决任何其他的 NP 问题。在库克发表论文之后不久,1972 年,理查德 · 卡普提出了 21 个 NP 完备问题。卡普在知名论文 Reducibility Among Combinatorial Problems 中证明了分割难题、旅行推销员、哈密顿回路、地图填色等 21 个难题均为 NP 完备问题。卡普的研究直接推动了 P/NP 问题成为计算机领域的研究焦点。

  子公司的故事彻底告一段落,让我们继续回到母公司上面。1999 年,迈克菲(McAfee)首次上市,成为母公司 Network Associates 的在线部门;事实上,作为全球第一家杀毒软件,迈克菲曾多次易主,这也让它在开源软件领域具有很大的影响力,让 Linux、FreeBSD 和 Darwin 操作系统等等都能体验到完善的网络解决方案和病毒防护。

  2011 年 2 月,McAfee 公司成为英特尔旗下的全资子公司,隶属于英特尔安全(Intel Security)部门的一部分,英特尔在 2014 年宣布将在未来停止使用 McAfee 的品牌名称。2016 年 9 月 7 日,英特尔与 TPG 资本达成协议,将 Intel Security 转变为一合资公司,并重命名为 McAfee。由英特尔掌握 49% 股份,而 TPG 资本则拥有 51% 股份,该交易于 2017 年 4 月 3 日完成。2021 年 11 月 8 日,公司宣布私有化。

  System 7 是第一个以光盘形式提供的 Apple 操作系统;System 7 版本中添加的功能包括虚拟内存、个人文件共享、QuickTime、 QuickDraw 3D 以及改进的用户界面。直到 System 6 的 Macintosh 系统软件的开发进展相当顺利,随着时间的推移添加了新功能以及相对较小的更改和升级,所以主要增加的内容相当有限。周艳仿创建中老年服装商城打造权威服装平台!这些有限的变化意味着最初的 Macintosh 系统在很大程度上保持了最初引入时的样子。

  在那个普通人还不知道电脑为何物的年代,System 7 引进了多任务处理功能,而不是像 System 6 之前的版本,只能运行独立的单一软件程序。当时的人们思维已经形成了定式,认为如果一次只使用一个应用程序,反而可以更加专注,提高工作效率。System 7 成为经典 Mac OS 版本中使用时间最长的版本,一直持续到 1997 年的 System 7.6.1。你可以在如今的 Mac OS 上看到 System 7 的影子,这是它作为初代 Mac OS 打下的坚实基础。