华科计算机方法论精炼知识.doc

二维定义矩阵 理论、抽象和设计 数据库领域的三个形态实例 程序设计语言三种形态实例 图灵机 冯·诺依曼型计算机 博弈与搜索树 12个核心概念 集合、关系、布尔逻辑 递归与迭代 计算学科的根本问题是：什么能被（有效地）自动执行计算的本质即符号串的变化 一、发展沿革 1623年，什卡尔特（Schikad），第一个演算机， 加、乘法 1641年，帕斯卡（Pascal），齿轮，加、减法计算器 1672年，莱布尼兹（G.W.Leibniz），手摇计算机奠基 （提出2进制运算法则） 1820年，托马斯（C.Thomas），生产100台演算机 1842~1848年，巴贝奇（C.Babbage），发明差分机和解析机原理，提出程序控制计算的思想，助手Ada 1946.2.14美国宾夕法尼亚大学研制成功的ENIAC电子数字积分器和计算器）是世界第一台多功能、全电子数字计算机。 1945~1952年，冯·诺依曼（Von.Neuman），第一台存储程序的通用电子数字计算机EDVAC为现代计算机奠定了基础。建议采用二进制，存储程序和程序控制的思想，“计算机之父”。 1951年，威尔斯（M.V.Wilkes），批量生产EDSAC 1946年，宾夕法尼亚大学莫尔学院电工系，第一台 通用电子数字计算机，ENIAC 缺点：未实现babbage关于“程序控制计算的思想” 第一代——第四代计算机的主要特征 ? 第一代1946-1957 第二代1957-1964 第三代1964-1972 第四代1972-至今 逻辑元件 电子管 晶体管 中小规模集成电路 大规模与超大规模集成电路 存 储 器 延迟线、磁鼓、磁芯 磁芯、磁带、磁盘 磁芯、磁盘、磁带 半导体、磁盘、光盘 软 件 机器语言 汇编语言 高级语言 管理程序 操作系统 结构化程序设计 数据库、软件工程、程序设计自动化 应 用 科学计算 数据处理 工业控制 科学计算 系统模拟 系统设计 大型科学计算 科技工程各项域 事务处理、智能模拟、大型科学计算，普及到社会生活的各方面 第五代计算机（人工智能计算机） 面向科学计算、工程设计、模拟仿真的SIMD、MISD、 MIMD并行多机系统，高性能计算机 面向人工智能求解的LISP机、归约机、逻辑推理机 量子计算机 DNA计算机（分子计算机）、DNA芯片与生物计算机 光计算机 计算机的发展方向 未来的计算机以超大规模集成电路为基础，向以下方向发展 巨型化（不是体积大，而是速度高、容量大、功能强） 微型化（体积缩小、重量减轻） 网络化（分散的计算机联成网） 智能化（计算机将具有一定的“思维能力”） 相同之处：资源共享、虚拟计算 当今互联网用户的需求是什么？ 接入能力 可以从任何地点、任何设备接入服务和数据 共享能力 数据的建立和存储共享 容易方便 自由 不希望受数据的影响 简单 容易学会, 容易使用 安全 相信数据不会丢失或不会被不允许的人看到 三个过程主领域 抽 象 理 论 设 计 1. 离散结构 (DS) ? ? ? 2. 程序设计基础 (PF) ? ? ? 3. 算法与复杂性 (AL) ? ? ? 4. 体系结构 (AR) ? ? ? 5. 操作系统 (OS) ? ? ? 6. 网络计算 (NC) ? ? ? 7. 程序设计语言 (PL) ? ? ? 8. 人机交互 (HC) ? ? ? 9. 图形学和可视化计算 (GV) ? ? ? 10. 智能系统 (IS) ? ? ? 11. 信息管理 (IM) ? ? ? 12. 软件工程 (SE) ? ? ? 13. 社会和职业的问题 (SP) ? ? ? 14. 科学计算 (CN) ? ? ? 博弈树搜索 所谓双人完备博弈就是两位选手对垒，轮流走步，其中一方完全知道另一方已经走过的棋步以及未来可能的走步，对弈的结果要么是一方赢（另一方输），要么是和局。 国际象棋、西洋跳棋、围棋、中国象棋都属于双人完备博弈。 对于任何一种双人完备博弈，都可以用一个博弈树（与或树）来描述，并通过博弈树搜索策略寻找最佳解。 博弈树类似于问题求解搜索中使用的搜索树。 搜索树上的第一个结点对应一个棋局，树的分支表示棋的走步，根节点表示棋局的开始，叶节点表示棋局的结束。 一个棋局的结果可以是赢、输或者和局。 博弈树的规模： 国际跳棋--1040个结点 国际象棋--10120个结点（棋局总数） 中国象棋--估计有10160个结点， 围棋--盘面状态达10768。 “井字棋”游戏（又叫“三子棋”），是一款十分经典的益智小游戏。“井字棋”的棋盘很简