历史上的今天：微软收购 QDOS；模型检测先驱出生-激光杂志

一、本刊要求作者有严谨的学风和朴实的文风，提倡互相尊重和自由讨论。凡采用他人学说，必须加注说明。二、不要超过10000字为宜，精粹的短篇，尤为欢迎。三、请作者将稿件（用WORD格式）发送到下面给出的征文信箱中。四、凡来稿请作者自留底稿，恕不退稿。五、为规范排版，请作者在上传修改稿时严格按以下要求： 1．论文要求有题名、摘要、关键词、作者姓名、作者工作单位（名称，省市邮编）等内容一份。 2．基金项目和作者简介按下列格式：基金项目：项目名称（编号）作者简介：姓名（出生年－），性别，民族（汉族可省略），籍贯，职称，学位，研究方向。 3．文章一般有引言部分和正文部分，正文部分用阿拉伯数字分级编号法，一般用两级。插图下方应注明图序和图名。表格应采用三线表，表格上方应注明表序和表名。 4．参考文献列出的一般应限于作者直接阅读过的、最主要的、发表在正式出版物上的文献。其他相关注释可用脚注在当页标注。参考文献的著录应执行国家标准GB7714-87的规定，采用顺序编码制。

历史上的今天：微软收购 QDOS；模型检测先驱出生

作者:

关键词:

摘要：

透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。

QDOS（Quick and Dirty Operating System）是西雅图计算机产品公司（SCP）为其基于 Intel 8086 的计算机包开发和销售的一个操作系统，目前已停产。在 SCP 于 1980 年开始授权其他厂家使用该操作系统后，该系统的名称更改为 86-DOS。86-DOS 具有与数字研究公司（Digital Research）的 CP/M 操作系统类似的命令结构和应用程序接口，从而开发者可以轻松地从后者移植程序至 86-DOS。后来 86-DOS 被微软收购，MS-DOS 和 IBM PC DOS 就是从 86-DOS 发展而来。

1975 年，艾伦跟盖茨联手在新墨西哥州的阿布奎基创立微软，开始销售 BASIC 解译器。1981 年 7 月 27 日，由艾伦牵头，微软于以五万九千美元买下名为 QDOS 的操作系统。当时，与 IBM 的协议期限迫近，盖茨与艾伦正为无法赶得及完成操作系统的开展而烦恼，而购入功能齐全的 QDOS 后，微软即修改其代码以迎合 IBM 的要求。最后，微软的产品被 IBM 采用作新电脑的操作系统，而这次合作亦成为微软日后壮大的垫脚石。

1945 年 7 月 27 日：开发模型检测技术的图灵奖先驱 Edmund Clarke 出生

图源：维基百科

1981 年 7 月 27 日：微软从西雅图计算机产品公司 (SCP) 购买了 QDOS

美国计算机科学家爱德蒙·梅尔森·克拉克（Edmund Melson Clarke, Jr）出生于 1945 年 7 月 27 日；1981 年，他与自己的博士生艾伦·爱默生（Allen Emerson）首次提出了模型检测的想法并用在自动机并发系统的验证研究上，成为形式逻辑研究方面模型检查的开创者之一。2007 年，他与爱默生和约瑟夫·斯发基斯一起因在开发模型检测技术取得的杰出贡献而获得图灵奖。美国匹兹堡当地时间 2020 年 12 月 22 日下午（北京时间 12 月 23 日上午），克拉克因感染新冠肺炎去世。

后来，数字研究公司的创始人 Gary Kildall 检查 PC DOS，并发现它复制了 CP/M 的编程接口；他本想起诉 IBM，因为当时 IBM 声称 PC DOS 是自己的产品。但是，Digital Research 的律师认为相关法律不够明确。尽管如此，Kildall 还是与 IBM 对质，并说服他们提供 CP/M-86 和 PC，以换取免除责任。围绕这两个系统之间的相似性的争论至今仍在继续。但不可否认的是，这次收购是成就微软这个科技帝国的关键一步；计算机历史上有着许多重要和成功的企业收购，如果要选出一个代表，你认为会是哪一项收购呢？欢迎在评论区参与讨论。

11 世纪，毕昇发明了活字印刷术，为世界文明的发展作出了巨大贡献；900 多年后，一位病重的科学家带领团队，创造并应用了世界上第一套“汉字信息处理与激光照排系统”，再次掀起了印刷业的“光电革命”，让信息时代的古老汉字焕发出青春的光彩。这个人，便是王选。王选教授是计算机文字信息处理专家，计算机汉字激光照排技术创始人，当代中国印刷业革命的先行者，北大方正创始人，他主持的技术为汉字告别铅字印刷开辟了道路，为新闻、出版全过程的计算机化奠定了基础。

图源：维基百科

1979 年 7 月 27 日，第一张采用汉字激光照排系统输出的报纸样张诞生。汉字激光照排系统就是将文字通过计算机分解为点阵，然后控制激光在感光底片上扫描，用曝光点的点阵组成文字和图像。1975 年 5 月，“汉字激光照排技术”由王选教授主持，北京大学汉字信息处理技术研究室负责研发。王选教授一生致力于文字、图形、图像的计算机处理研究，1984 年晋升为教授；1987 年获得首届毕昇印刷奖；1994 年当选为中国工程院院士。2005 年，科技部国家科技奖励工作办公室还颁布公告，批准中国新闻技术工作者联合会设立的“新闻科学技术奖”，更名为“王选新闻科学技术奖”。

1979 年 7 月 27 日：第一张采用汉字激光照排系统输出的报纸样张诞生

整理 | 王启隆

克拉克于 1967 年在弗吉尼亚州夏洛茨维尔的弗吉尼亚大学获得数学学士学位，于 1968 年在北卡罗来纳州达勒姆的杜克大学获得数学硕士学位，并于 1968 年获得博士学位。1976 年在纽约伊萨卡康奈尔大学获得计算机科学学士学位。获得博士学位后，他在杜克大学计算机科学系任教两年。1978 年，他搬到了哈佛大学，在那里担任应用科学部计算机科学助理教授。他于 1982 年离开哈佛，在宾夕法尼亚州匹兹堡的卡内基梅隆大学计算机科学系任教。1989 年，他被任命为正教授。1995 年，他成为卡内基梅隆计算机科学学院的 FORE Systems 教授职位的第一位获得者。2008 年成为大学教授，2015 年成为名誉教授。

文章来源：《激光杂志》网址: http://www.jgzzzz.cn/zonghexinwen/2022/0728/2072.html