利用计算思维解决问题人和计算机都能完成,第1课计算机与计算思维.ppt

第1课计算机与计算思维

计算机学科的方法论有三个过程：抽象、理论和自动化设计及实现 最根本的问题在于：问题如何进行描述？哪些部分能够被自动化？如何进行自动化描述？ 建立物理符号系统并对其实施等价变换是计算机学科进行问题描述和求解的重要手段。 “可行性”所要求的“形式化”及其“离散特征”使得数学成为重要的工具 而计算模型无论从方法还是工具等方面，都表现出它在计算机上科学中的重要作用(参见1.3节) 科学：关于自然、社会和思维的发展与变化规律的知识体系，其核心是发现 技术：根据实践经验和科学原理而发展形成的各种工艺操作方法、技能和技巧，其核心是发明 工程：将科学原理应用到生产实践中，是某种形式的科学应用，其核心是建造 我们所使用的工具影响着我们的思维方式和思维习惯，从而也将深刻地影响着我们的思维能力 Edsger Dijkstra 霍夫曼编码使用变长编码表对源符号(如文件中的字母)进行编码 变长编码表通过评估来源符号出现概率的方法得到的，概率高的字母用较短的编码，出现概率低的则用较长的编码 使编码之后的字符串的平均长度、期望值降低，从而达到无损压缩数据的目的 四个状态的霍夫曼编码过程 在数论中，反运算的问题往往是极难求解的，或者说极难计算的 离散对数和整数因式分解问题就属于困难的计算数论问题 如果给出两个素数p和q，要求两者的乘积，即使p和q很大，那计算它们的乘积仍然是可行的 但反过来，给出N，要求p和q就极为困难了 利用反计算的难度，对数据进行加密，是现代密码学的基础 计算机通讯中的公开密钥加密算法，就是利用了数论的这个原理 生物信息学是一门新兴交叉学科，其发展的标志便是大量生命科学数据的快速积累以及为处理这些复杂数据而设计的新算法的不断涌现 最常用的数据结构主要包括四种类型： 1) 字符串结构，表示DNA，RNA和氨基酸序列； 2) 树结构，表示各种生物有机体的系统进化树； 3) 三维空间点和连接集合结构，表示蛋白质的三维结构； 4) 图结构，表示代谢和信号传导通路 计算科学中许多仿生计算算法都是受到生物学中群体行为的启发而模仿设计出来的 例如，计算科学中的神经网络算法、遗传算法、演化算法、蚁群算法、协同进化算法、粒子群算法、生物免疫算法以及突现计算算法等 计算机病毒的概念与行为也是模仿自然界中的生物病毒行为提出来的，同样具有潜伏性、流行性、传播性、自复制性、变异性和适应性等特点 计算机学科的核心概念是ACM/IEEE-CS制定的CC1991报告首次提出的，是具有普遍性、持久性的重要思想、原则和方法，核心概念具有如下基本特征： (1)在学科及各分支学科中普遍出现； (2)在理论、抽象和设计的各个层面上都有很多示例； (3)在理论上具有可延展和变形的作用，在技术上有高度的独立性 通过将一个对象(或事物)与其某种属性相联系，从而使抽象的概念具体化的过程 将一个进程与一个处理机、一个变量与其类型或值分别联系起来 这种联系的建立，实际上就是建立了某种约束 在数据库中的不同表之间建立“关系”和参照完整性，就是用约束关系来保证数据的完整性。 指随着问题规模的增长使问题的复杂性呈非线性增加的效应 这种非线性增加的效应是区分和选择各种现有方法和技术的重要因素 几十万考生的高考成绩排序，须认真选择排序算法 气候变暖对全球经济的影响，仿真与模拟 对一个想法或问题进行形式化、特征化、可视化思维的方法 数据流图和E-R图等都属于概念模型，而逻辑理论、开关理论和计算理论中的模型大都属于形式模型 UML，统一建模语言是软件工程中的重要工具和方法 一致性包括用于形式说明的一组公理的一致性、事实和理论的一致性，以及一种语言或接口设计的内部一致性 例如，由于计算机资源的部署原因，服务器的网络地址可能发生变化，但由于用户访问的是域名地址，只要保证正确的映射关系，网络地址的变化不会影响用户访问，这就是一致性在发挥作用 是关于时间、空间、人力和财力等资源消耗的度量 在计算机软硬件的设计中，要充分考虑某种预期果达到的效率，以及一个给定的实现过程较之替代的实现过程的效率 例如，原用于图形显示的图形处理器(GPU)，现广泛应用于数据密集型的高性能计算场合(GPGPU，通用图形处理器)，而这种应用可以大大节省高性能处理中的成本和能源消耗 指系统的结构、状态、特征、行为和功能等随着时间的推移而发生的更改 从CLI(命令行界面)到GUI(图形用户界面)，是计算机应用方式演化的里程碑； 而浏览器的出现，结束了桌面系统一统天下的局面 最容易使用户受到困扰的是软件无止境的演化，从而预见和适应计算机系统的演化 所谓科学思维最基本的内容是没有证据就不要求急于下结论：遵循科学的方法来建立新的知识 无论这些知识只是对日常生活中的现象，或是学科的前沿发现 逻