flow networks Definition. A flow network is a directed graph G=(, E)with two distinguished vertices:a source s and a sink t. Each edge(u, v)E E has a nonnegative capacity c(u, v). If(u, v) E, then c(u, v)=0 Example: c 2001 by Charles E Leiserson

Order statistics Select the ith smallest of n elements(the element with rank i i=l: minimum, .i=n: marimum, i=L(n+1)/2]or[(n+1)/2 median Naive algorithm: Sort and index ith element Worst-case running time =o(n Ig n)+o(1 o(nIg n using merge sort or heapsort(not quicksort) c 2001 by Charles E Leiserson

Modules（模块） 将一个复杂的系统划分为子模块，便于设计、实现和维护 分而歼之是百试百灵的法宝。毛泽东的军事指挥艺术

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

• 基本知识 – 多核体系结构、并行编程模型 • 内存一致性模型 – 严格一致性模型、顺序一致性模型、内存一致性模型的重要性 • 共享变量并行编程模型 – 同步、锁、临界区、条件变量、死锁、数据竞争 • 消息传递并行编程模型 – 消息传递、同步与异步

• 大数据的魅力 – 数据挖掘、大数据、大数据案例、大数据的特点 • 大数据时代的思维变革 – 样本和全体、精确性和混杂性、因果关系和相关关系 • 大数据的处理 – 几种主要处理方式、MapReduce编程模型 • 大数据的分析 – 关键技术概述、PageRank初步

• 了解类型系统的重要性 – 围绕数组类型的若干实例来解释这个重要性 • 基本知识 – 类型表达式、定型断言、定型规则、类型系统 • 多态类型 – 多态函数、类型变量、多态函数的类型推断和类型检查 • 依赖类型 – 依赖类型的实例、编程语言中使用依赖类型的状况

一、 用于存放大量的数据 二、当程序运行结束时其数据被永久地保存在文件中 三、文件保存在各种辅助存贮器中 四、磁盘 五、光盘 六、U盘（闪存）

一、面向对象理论的基本概念 二、面向对象程序设计语言 三、面向对象理论的主要内容 四、UML、OOAD与OOP 五、设计模式 六、软件开发方法

第六章遥感数字图像的计算机解译 本章要点 一、遥感数字图像的性质与特点 二、遥感数字图像的自动分类 三、遥感图像多种特征的抽取 四、遥感图像解译专家系统