《计算机科学方法论》由会员分享,可在线阅读,更多相关《计算机科学方法论(33页珍藏版)》请在金锄头文库上搜索。
1、文坤梅 博士 讲师 E-Mail:智能与分布计算实验室Intelligence and Distributed Computing Labhttp:/计算机科学与技术方法论 思想与方法*1关于本课程关于“四年之内学什么?”的课程学习方法老师:导读课堂学习与自学的结合要求到课,边看、边写、边思考课后看书消化理解不深入?放一放,四年内自然求解重点把握学科特点 、学科形态、历史 、发展趋势、方法 、知识组织结构和 分类体系等Date2课程的目的对计算机科学的误解 这门学科的主要工作就是编程和游览网络本课程的目的寻求一种统一的思想来认知计算机学科的本质对计算机学科进行系统化和科学化的描述关注在计算学科
2、中具有共同的、本质特征的内容对将来四年学习内容有一个框架性的了解Date31. 董荣胜、古天龙:计算机科学与技术方法论,人民邮电出版社,2002.92. 黄德修主编( 徐重阳 、卢正鼎、朱光喜、孙德宝、张天序等参编):信息科学导论,中国电力出版社,2001.53. 赵致琢: 计算科学导论(第三版), 科学出版社, 20044. (J.G.)(Brookshear)布鲁克希尔(美国) 计算机科学概论. 译本 清华大学出版社 (第9版) , 2007教材与参考:Date4课程评分方法平时成绩 + 期末考试 = 总评开卷考试Date5课程内容n计算学科发展沿革及二维定义矩阵n计算学科中的科学问题n计
3、算学科中的三个学科形态n计算学科中的核心概念n计算学科中的数学方法n计算学科中的系统科学方法Date6什么是计算学科?P22计算学科是对描述和变换信息的算法过程,包括对其理论、分析、设计、效率、实现和应用等进行的系统研究。它来源于对算法理论、数理逻辑、计算模型、自动计算机器的研究,并与存储式电子计算机的发明一起形成于20世纪40年代初期。Date7计算学科的研究包括从算法与可计算性的研究到根据可计算硬件和软件的实际实现问题的研究。科学与工程技术两方面,两者互为作用,高度融合。计算学科的根本问题是:什么能被(有效地)自动执行Date8计算机的历史作用: 开辟了一个新时代信息时代 孵化了一类新产业
4、信息产业 创立了一门新学科计算机科学与技术 形成了一种新文化计算机文化把人类社会从工业时代推向信息时代,从物质产业时代推向信息产业时代,将极为深刻地改变人们的生产方式、生活方式与学习方式。Date9第1章 计算学科发展沿革及二维定义矩阵 追求一种会算、会听、会看、会说、会想追求一种会算、会听、会看、会说、会想 的工具的工具 计算学科的根本问题是:计算学科的根本问题是:什么能被(有效什么能被(有效地)自动执行地)自动执行 与理论、工业(制造水平)、商业(应用与理论、工业(制造水平)、商业(应用水平)的发展同步水平)的发展同步一、发展沿革 Date10第1章 计算学科发展沿革及二维定义矩阵 1、计
5、算机的发展线索(1623-1952) 手指、结绳、算筹、算盘 1623年,什卡尔特(Schikad),第一个演算机, 加、乘法 1641年,帕斯卡(Pascal),齿轮,加、减法计算器 1672年,莱布尼兹(G.W.Leibniz),手摇计算机奠基 1820年,托马斯(C.Thomas),生产100台演算机 18421848年,巴贝奇(C.Babbage),差分机和解析机,提出程序控制计算的思想,助手Ada一、发展沿革 Date11 1946年,宾夕法尼亚大学莫尔学院电工系,第一台通用电子数字计算机,ENIAC(Electronic Numerical Integrator And Calcu
6、lator) 占地170平米,重30吨 ,长30.48米,宽1 米,30个操作台,约相当于10间普通房间 的大小,耗电量150千瓦,造价48万美元主要元器件:电子管(二极管和三极管 ),它包含了17,468 真空管7,200水晶 二 极管, 1,500 中转, 70,000 电阻器, 10,000 电 容器,1500继电器,6000多个开关 每秒执行5000次加法或400次乘法,是继 电器计算机的1000倍、手工计算的20万倍缺点:未实现 babbage关于“程序 控制计算的思想”Date1219451952年,冯诺依曼(Von.Neuman),第一台 存储程序的通用电子数字计算机EDVAC(
7、Electronic Discret Variable Automatic Computer)为现代计算机奠定了基础 1951年,威尔斯(M.V.Wilkes),批量生产EDSAC (Electronic Delay Storage Automatic Computer),面包公司投资 Date13 康托尔(G.Cantor, 1845-1918)集合论 P98 罗素(B.Russell)悖论:s = xx s P19 布尔(G.Boole)代数 P103 希尔伯特(D.Hilbert)纲领 P20 图灵(A.M.Turing,1912-1954)机(20世纪30年代后期) P21 P62可计
8、算性 = 图灵可计算性任一过程是能行的(能够具体表现在一个计算中),当且仅当它能够被一台图灵机实现2、理论奠基 Date14计算学科中的诺贝尔奖 图灵奖(1966)1912年出生于英国伦敦,1954年去世 1936年发表论文“论可计算数及其在 判定问题中的应用”,提出图灵机理论 1950年发表论文“计算机与智能”,阐述了计算机可以具有智能的想法,提 出图灵测试 1966年为纪念图灵的杰出贡献, ACM设立图灵奖第一位华人图灵奖获得者姚期智Date153、第一代第四代计算机的主要特征 第一代 1946-1957 第二代 1957-1964 第三代 1964-1972 第四代 1972-至今 逻辑
9、逻辑 元件电电子管晶体管中小规规模集成电电 路大规规模与超大规规 模集成电电路存 储储 器延迟线迟线 、磁 鼓、磁芯磁芯、磁 带带、磁盘盘磁芯、磁盘盘、磁 带带半导导体、磁盘盘、 光盘盘软软 件 机器语语言 汇编语汇编语 言高级语级语 言 管理程序操作系统统 结结构化程序设计设计 数据库库、软软件工 程、程序设计设计 自 动动化 应应 用科学计计算数据处处理 工业业控制 科学计计算 系统统模拟拟 系统设计统设计 大型科学计计算 科技工程各项项域事务处务处 理、智能 模拟拟、大型科学 计计算,普及到社 会生活的各方面年代 特征 项目Date164、新型计算机系统: 第五代计算机(人工智能计算机)
10、 面向科学计算、工程设计、模拟仿真的SIMD、MISD、MIMD并行多机系统,高性能计算机 面向人工智能求解的LISP机、归约机、逻辑推理机 量子计算机(分子计算机)、DNA芯片与生物计算机 光计算机Date17例:“深蓝”战胜卡斯帕罗夫 IBM,256(32 node*8),2亿步/秒 1997.5. 两胜一负三平 “深蓝”主管谭崇仁等. 70万美元,卡40万,IBM5000万广告收益Date18计算思维美国卡内基梅隆大学(CMU)Jeannette M. Wing (周以真 )教授的Computational Thinking(计算思维) 计算思维是建立在计算过程的能力和限制之上的,不管这
11、 些过程是由人还是由机器执行的。 计算思维涉及运用计算机科学的基础概念去求解问题、设 计系统和理解人类的行为。计算思维涵盖了反映计算机科 学之广泛性的一系列思维活动。 把计算机这一从工具到思维的发展提炼到与“3R(读、写、 算)”同等的高度和重要性,成为适合于每一个人的“一种 普遍的认识和一类普适的技能”。 “一个人可以主修计算机科学,接着从事医学、法律、商业 、政治,以及任何类型的科学和工程,甚至是艺术工作。” Date19CDI简介“计算思维”这一概念在2006年3月提出后,引起美国科技界的高度重视,并得 到美国国家科学基金会(NSF)重大基金资助计划CDI (Cyber-Enabled
12、Discovery and Innovation,Cyber能够实现的科学发现与技术创新)的支持 。 该计划涉及NSF所有学科部门,强调以计算思维为核心,得到NSF所有学科部 门理事会的赞同,任务书2007年9月28日公布,计划五年完成,支持额度为 75000万美元,其中,2008年度预算经费为5200万美元,以后逐年增加。 该计划旨在使用计算思维(特别是在该领域产生的新思想、新方法)促进美国 自然科学和工程技术领域产生革命性的成果。而所谓的计算思维概括起来包括 :计算的概念、方法、模型、算法和工具。 计算思维正在深刻的影响美国创造新知识与应用新知识的能力,该计划通过“计 算思维”在富有挑战性
13、的自然科学与工程,以及教育等学科领域的应用来进一步 扩大这种影响。 最终CDI的研究成果,将使人们的思维方式产生转变,这种转变反映在对美国 自然科学与工程,以及社会经济与技术等学科领域创新问题的理解上,这种变 化的应用将进一步保持美国在自然科学与工程等领域所具有的世界领先地位, 并进一步提高美国人民的生活质量。 CDI网址:http:/www.nsf.gov/crssprgm/cdi/Date20计算机模式的演进Mainframe Computing(主机计算 )Client/Server (C/S模式)Client/Browser/Web Server/DB server (B/S模式)Cl
14、ient/Clusters (集群计算)Client/Networking (网络计算)Mobile Computing (移动计算)Date21Grid Computing (网格计算) Peer to peer (对等计算) Wearable Computing (可穿戴计算) Pervasive Computing (普适计算)Client / Virtual Server Environment (虚拟服务计算) Clientp4c ( personal, computer, Communication, Customer, Control ) Social Computing (社会
15、计算) Cloud Computing (云计算)Date22对等计算P2P是peer-to-peer的缩写, P2P就是人可以 直接连接到其他用户的计算机、交换文件, 而不是像过去那样连接到服务器去浏览与下 载。P2P另一个重要特点是改变互联网现在 的以大网站为中心的状态、重返“非中心化” ,并把权力交还给用户。Date23谁在“忽悠”谁?网格计算:学术界热、企业界不热云计算: 企业界热、学术界不热Date24网格计算:依托专网或互联网,将处于不同地域、不同领域的多个计算机资源组织起来,统一调度,组成一台 虚拟的“超级计算机”, 完成一个共同的任务,如一个要求大量计算处理周期和大量数据的科学计算问题。Many for oneDate25云计算:互联网上某些节点强大的信息资源, 包括存储资源、计算资源、软件资源、数据资 源、管理资源,通过