计算机科学与技术学科知识体系

1、计算机科学与技术学科知识体系下面是14个知识领域area及其中的知识单元llnits和知识点topiCS的描述:1离散结构DS1.1 函数、关系和集合核心DS11.1.1 函数DS111.1.1.1 满射1.1.1.2 到内的映射1.1.1.3 逆函数1.1.1.4 复合函数1.1.2 关系1.1.2.1 自反1.1.2.2 对称1.1.2.3 传递1.1.2.4 等价关系1.1.3 集合1.1.3.1 文氏图1.1.3.2 补集1.1.3.3 笛卡儿集1.1.3.4 募集1.1.4 鸽笼原理1.1.5 基数性和可数性1.2 根本逻辑核心1.2.1 命题逻辑1.2.2 逻辑连接词1.2.3 真

2、值表1.2.4 范式1.2.4.1 合取式1.2.4.2 析取式1.2.5 永真性1.2.6 谓词逻辑1.2.7 全称量词和存在量词1.2.8 假言推理、否认式推理1.2.9 谓词逻辑的局限性1.3 证实技巧核心1.3.1 蕴涵、逆、逆反、置换、非、永假等概念1.3.2 形式证实结构1.3.3 直接证实1.3.4 反例证法1.3.5 逆反式证实法1.3.6 反证法1.3.7 数学归纳法1.3.8 强归纳法1.3.9 递归数学定义1.3.10 良序1.4 计数根底核心1.4.1 计数变元1.4.2 求和与相乘的规那么1.4.3 包含排斥1.4.4 算术和几何级数1.4.5 斐波那契Fibonac

3、ci数列1.4.6 排列组合1.4.7 根本定义1.4.8 恒等式1.4.9 二项式定理1.4.10 递归关系1.4.11 实例1.4.12 Master原理1.5 图与树核心1.5.1 树1.5.2 无向图1.5.3 有向图1.5.4 生成树1.5.5 遍历策略1.6 离散概率1.6.1 有限概率空间、概率度量、事件1.6.2 条件概率、独立性、贝叶斯规那么1.6.3 整型随机变量、期望2程序设计根底PF2.1 程序设计根本结构核心2.1.1 变量、类型、表达式和语句2.1.2 高级语言的根本语法和语义2.1.3 输人和输出根底2.1.4 顺序、条件和循环限制结构2.1.5 函数定义、函数调

4、用和参数传递2.1.6 程序结构分解根底2.2 算法与问题求解核心2.2.1 问题求解策略2.2.2 问题求解算法2.2.3 算法实现策略2.2.4 调试策略2.2.5 算法的概念和特性2.3 根本数据结构核心2.3.1 根本类型2.3.2 数组2.3.3 记录2.3.4 字符串和字符串处理2.3.5 数据在存储器中的表示2.3.6 静态分配、栈式分配和堆式分配2.3.7 运行时的存储器治理2.3.8 指针和引用2.3.9 链式结构2.3.10 栈、队列和哈希表的实现策略2.3.11 树和图的实现策略2.3.12 数据结构的应用和选择策略2.4 递归核心2.4.1 递归的概念2.4.2 递归数

5、学函数2.4.3 递归过程2.4.4 分治法2.4.5 回溯法2.4.6 递归的实现2.5 事件驱动程序设计核心2.5.1 事件处理方法2.5.2 事件传播2.5.3 异常处理3算法与复杂性AL3.1 算法分析根底核心3.1.1 复杂性上界和平均复杂性的渐近分析3.1.2 最正确、最差和平均情况下的复杂性差异3.1.3 大Q小o,和.符号3.1.4 标准复杂性类3.1.5 性能的经验度量3.1.6 算法时间、空间复杂性的权衡3.1.7 用递归关系分析递归算法3.2 算法策略核心3.2.1 穷举算法3.2.2 贪心算法3.2.3 分治算法3.2.4 回溯法3.2.5 分支界限法3.2.6 试探法

6、3.2.7 模式匹配和字符串/文本匹配算法3.2.8 数值逼近算法3.3 根本算法核心3.3.1 简单数值算法3.3.2 顺序查找算法和折半查找算法3.3.3 二次排序算法3.3.3.1 选择排序3.3.3.2 插人排序3.3.4 复杂度为ONlogN排序算法3.3.4.1 快速排序3.3.4.2 堆排序3.3.4.3 归并排序3.3.5 哈希Hash表,包括冲突消解策略3.3.6 二叉查找树3.3.7 图的表示3.3.7.1 邻接表3.3.7.2 邻接矩阵3.3.8 深度优先遍历3.3.9 广度优先遍历3.3.10 最短路径算法Dijkstra和Floyd算法3.3.11 传递闭包FIoyd

7、算法3.3.12 最小生成树Prim算法和Kruskal算法3.3.13 拓扑排序3.4 分布式算法核心3.4.1 一致性和选择3.4.2 终止探测3.4.3 容错3.4.4 稳定性3.5 可计算性理论根底核心3.5.1 有限状态自动机3.5.2 上下文无关文法3.5.3 易解问题和难解问题3.5.4 不可计算函数3.5.5 停机问题3.5.6 不可计算性的含义3.6 复杂性类：P类和NP类选修3.6.1 P类和NP类的定义3.6.2 NP完全性3.6.3 根本的NP完全问题3.6.4 归约技术3.7 自动机理论选修3.7.1 确定的有限自动机DFA3.7.2 非确定的有限自动机NFA3.7.

8、3 DFA和NFA的等价性3.7.4 正那么表达式3.7.5 正那么表达式的泵引理3.7.6 下推自动机PDA3.7.7 PDA和上下文无关文法的关系3.7.8 上下文无关文法的特性3.7.9 图灵机3.7.10 非确定的图灵机3.7.11 集合和语言3.7.12 Chomsky文法分类3.7.13 ChurchTuring论题3.8 高级算法分析选修3.8.1 退火算法分析3.8.2 联机算法和脱机算法3.8.3 随机算法3.8.4 动态程序设计3.8.5 组合优化3.9 加密算法选修3.9.1 密码学史回忆3.9.2 私钥密码和密钥交换问题3.9.3 公钥密码3.9.4 数字签名3.9.5

9、 平安协议3.9.6 应用零知识证实,认证系统等等3.10 几何算法选修3.10.1 线段的性质和线段相交性3.10.2 求凸包算法3.11 并行算法选修3.11.1 PRAM模型3.11.2 互斥读写与并发读写3.11.3 指针跳转3.11.4 Brent定理和工作效率4计算机组织与体系结构AR4.1 数字逻辑与数字系统核心4.1.1 计算机开展历史回忆4.1.2 根本的组成元件逻辑门,触发器,计数器,存放器,PLA4.1.3 逻辑表达式,最小化,存放器传输的表示,物理特性门延迟,扇入,扇出4.1.4 计算机的根本组成,硬件结构,软件的概念,计算机语言及其编译4.1.5 计算机系统结构的概念

10、,性能评价4.2 数据的机器级表示核心4.2.1 数值表示和数制4.2.2 定点数和浮点数系统4.2.3 有符号数的表示方法和根本运算方法4.2.4 非数值数据的表示如字符代码和图象数据4.2.5 系统可靠性与纠错码4.2.6 数据运算器的结构4.3 汇编级机器组织核心4.3.1 指令格式4.3.2 数据的存储方式与寻址方式4.3.3 指令集及其分类数据操作,限制,输入输出4.3.4 子程序调用和返回机制4.3.5 汇编语言和机器语言编程根底4.4 存储系统组织和结构核心4.4.1 存储器件类型及其工作原理4.4.2 主存储器的组织和操作4.4.3 存储器的延迟,工作周期,带宽提升和交叉存储技

11、术4.4.4 层次化存储系统4.4.5 高速缓冲存储器地址映射,块大小,替换和更新机制4.4.6 虚拟存储器页表,TLB快表4.5 接口和通信核心4.5.1 输人输出根本原理,信号交换,缓冲存储4.5.2 程序限制I/O,中断驱动I/QDMA4.5.3 中断结构,向量化和优先级化,中断识别4.5.4 外部存储器的物理组织及驱动4.5.5 总线和总线协议,仲裁机构和直接存储器存取DMA4.5.6 多媒体支持4.5.7 RAID系统结构4.6 功能组织核心4.6.1 简单的数据通路实现4.6.2 限制单元,硬连线实现和微程序实现4.6.3 指令读取、解码和执行4.6.4 异常与中断4.6.5 指令

12、流水技术,指令级并行ILP技术与循环级并行技术4.7 多处理和其他系统结构核心4.7.1 SIMD,MIMDVLIW和EPIC4.7.2 网络互联超立方体,混洗交换,网格结构,交叉开关结构4.7.3 共享存储系统4.7.4 cache一致性4.7.5 存储模型和存储一致性4.8 性能提升技术选修4.8.1 超标量体系结构4.8.2 分支预测4.8.3 指令预取4.8.4 推测执行4.8.5 多线程4.9 网络与分布式系统结构选修4.9.1 LAN与WAN4.9.2 网络的分层协议4.9.3 分布式算法对系统结构的影响4.9.4 网络计算4.9.5 分布式多媒体5操作系统OS>5.1 操作

13、系统概述核心5.1.1 操作系统的作用和目的5.1.2 操作系统的开展历史5.1.3 操作系统的特征和功能5.1.4 支持客户一一效劳器模型和手提设备的机制5.1.5 有关有效性、健壮性、灵活性、可移植性、平安性、兼容性的设计问题5.1.6 平安性、网络化、多媒体、视窗所带来的影响5.2 操作系统原理核心5.2.1 结构化方法整体的、分层的、模块化的、微内核模型5.2.2 抽象、进程、资源5.2.3 应用程序接口API的根本概念5.2.4 应用的需求以及软、硬件技术的开展5.2.5 设备的组织5.2.6 中断的方法和实现5.2.7 用户系统状态及其保护,以及用户/系统状态转换到核心态的原理5.

14、3 并发性核心5.3.1 状态和状态图5.3.2 就绪队列、进程限制块等的结构5.3.3 调度和状态转换5.3.4 中断的作用5.3.5 并发执行的优点和缺点5.3.6 互斥问题和一些解决的方法5.3.7 死锁的产生、条件及其预防举措5.3.8 信号量、监控、条件变量、聚集的模型和机制5.3.9 生产者一一消费者问题和同步5.3.10 多处理器自旋锁定和重入的问题5.4 调度与分派核心5.4.1 抢占和非抢占调度5.4.2 调度和策略5.4.3 进程和线程5.4.4 里程碑和实时问题5.5 内存治理核心5.5.1 物理内存和内存治理硬件的回忆5.5.2 覆盖、交换、分区5.5.3 内存分页和分

15、段5.5.4 分配和淘汰策略5.5.5 工作集和系统颠簸5.5.6 高速缓存5.6 设备治理核心5.6.1 串行和并行设备的特点5.6.2 设备的分类5.6.3 缓冲策略5.6.4 直接存储器访问DMA5.6.5 故障恢复5.7 平安与保护核心5.7.1 系统平安概论5.7.2 策略/机制别离5.7.3 平安方法和设备5.7.4 保护、访问、身份验证5.7.5 保护模型5.7.6 内存保护5.7.7 加密技术5.7.8 恢复治理5.8 文件系统核心5.8.1 文件中的数据和元数据,文件的操作、组织及缓冲,顺序文件和非顺序文件5.8.2 目录的内容和结构5.8.3 文件系统磁盘分区、文件的安装/

16、卸载、虚拟文件系统5.8.4 标准的实现技术5.8.5 内存映像文件5.8.6 特定用途的文件系统5.8.7 文件的命名、搜索、访问、备份5.9 实时和嵌入式系统选修5.9.1 进程和任务调度5.9.2 实时环境中内存/硬盘治理所需要的条件5.9.3 故障、风险、恢复5.9.4 实时系统中需考虑的特殊问题5.10 容错选修5.10.1 根本概念可靠性和可用性系统5.10.2 空间和时间冗余5.10.3 实现容错的方法5.10.4 可靠系统的实例5.11 系统性能评价选修5.11.1 系统性能评价的意义5.11.2 评价的内容5.11.3 高速缓存、内存分页、调度安排、内存治理、平安等策略5.1

17、1.4 确定型的、分析型的、仿真型的、具体实现型的评估模型5.11.5 收集评估数据的方法剖析和追踪机制5.12 脚本选修5.12.1 脚本和脚本语言的作用5.12.2 根本系统命令5.12.3 建立脚本、传递参数5.12.4 执行一个脚本5.12.5 脚本对编程的影响6网络及其计算NC6.1 网络及其计算介绍核心6.1.1 网络和因特网开展的历史和背景6.1.2 网络体系结构6.1.3 网络及其计算的主要内容6.1.4 网络和协议6.1.5 网络多媒体系统6.1.6 分布式计算6.1.7 移动和无线计算6.2 通信与网络核心6.2.1 网络标准与相关标准化组织6.2.2 ISO七层参考模型和

18、TCP/IP模型6.2.3 电路交换和分组交换6.2.4 流和数据报6.2.5 网络物理层概念：理论根底、传输媒体、标准以及接口6.2.6 数据链路层概念：组帧、过失限制、流量限制和协议6.2.7 互联和路由：路由算法、拥塞限制以及网络互联6.2.8 传输层效劳：连接的建立与释放、性能问题、传输层的根本元素6.3 网络平安核心6.3.1 密码学根底6.3.2 密钥算法6.3.3 公钥算法6.3.4 认证协议6.3.5 数字签名6.3.6 举例6.4 客户一效劳器计算举例核心6.4.1 Web技术6.4.2 效劳器端程序6.4.3 公共网关接口CGI程序6.4.4 客户端脚本6.4.5 Appl

19、et概念6.4.6 Web效劳器特征6.4.7 处理许可6.4.8 文件治理6.4.9 常用效劳器体系的性能6.4.10 客户计算机的角色6.4.11 客户效劳器联系的性质6.4.12 Web协议6.4.13 Web站点创立和Web治理的支持工具6.4.14 开发因特网信息效劳器6.4.15 客户端程序开发6.5 构建Web应用核心6.5.1 应用层协议6.5.2 Web工程原理6.5.3 数据库驱动的Web站点6.5.4 远程过程调用RPO6.5.5 轻量分布式对象6.5.6 中间件的角色6.5.7 支持工具6.5.8 分布式对象系统的平安问题6.5.9 基于Web的企业级应用6.6 网络治

20、理核心6.6.1 网络治理问题概述6.6.2 口令和访问限制技术的使用6.6.3 域名和名字效劳6.6.4 因特网效劳提供者ISP问题6.6.5 平安问题和防火墙6.6.6 效劳质量问题：性能、故障恢复6.7 压缩与解压缩选修6.7.1 模拟和数字表示法6.7.2 编码和解码算法6.7.3 有损和无损压缩6.7.4 数据压缩：Huffman编码、Ziv-Lempel算法6.7.5 视频压缩和解压缩6.7.6 图像压缩和解压缩6.7.7 音频压缩和解压缩6.7.8 定时、压缩因子以及实时应用的适宜性6.8 多媒体数据技术选修6.8.1 声首和首频、图像和图形、动回和视频6.8.2 多媒体标准音频

21、、音乐、图形、图像、视频以及TV6.8.3 容量方案和性能问题6.8.4 输入输出设备扫描仪、数码相机、触摸屏、语音识别6.8.5 MIDI键盘、合成6.8.6 存储标准CD-ROMDVD6.8.7 多媒体效劳器和文件系统6.8.8 支持多媒体开发的工具6.9 无线和移动计算选修6.9.1 概述历史、开展以及无线标准的兼容性6.9.2 无线和移动计算的特殊问题6.9.3 无线局域网和基于卫星的网络6.9.4 无线本地回路6.9.5 移动因特网协议6.9.6 扩展客户/效劳器模型,以适应移动的特征6.9.7 移动数据访问：效劳器数据分发和客户缓冲治理6.9.8 支持移动和无线计算的软件包6.9.

22、9 中间件和支持工具的角色6.9.10 性能问题6.9.11 新技术7程序设计语言PL7.1 程序设计语言概论核心7.1.1 程序设计语言的历史7.1.2 程序设计语言范型概述7.1.2.1 过程式语言7.1.2.2 面向对象语言7.1.2.3 函数语言7.1.2.4 说明性,非算法式语言7.1.2.5 脚本式语言7.1.3 程序设计方法学的规模效应7.2 虚拟机核心7.2.1 虚拟机的概念7.2.2 虚拟机层次结构7.2.3 中间语言7.2.4 不同机器上运行代码的平安性问题7.3 语言译简介核心7.3.1 解释器和编译器的比拟7.3.2 语言译步骤词法分析,语法分析,代码生成,优化7.3.3 机器相关译,机器无关译7.4 声明和类型核心7.4.1 类型的值集和操作集的概念7.4.2 声明模式绑定、可见性、作用域与生存期7.4.3 类型检查概论7.4.4 垃圾回收7.5 抽象机制核心7.5.1 过程和函数等抽象机制7.5.2 参数化机制引