• 介绍一种简单的函数式编程语言SFP • 介绍一种抽象机FAM，它的机器语言是SFP语言的目标语言 • 介绍SFP各种语言构造到FAM的编译 13.1 函数式编程语言简介 13.2 函数式语言的编译简介 13.3 抽象机的体系结构 13.4 指令集和编译

6.1 计算机网络概述 6.2 计算机网络体系结构 6.3 局域网和广域网技术 6.4 网络安全 6.5 计算机病毒 6.6 网络黑客 6.7 Internet基础 6.8 Internet应用

1.1 网络安全面临的威胁 1.2 网络安全体系结构 1.3 PDRR网络安全模型 1.4 网络安全基本原则

AutoCAD是由美国Autodesk公司开发的通用计算机辅助设计(Computer Aided Design，CAD)软件，具有易于掌握、使用方便、体系结构开放等优点， 能够绘制二维图形与三维图形、标注尺寸、渲染图形以及打印输出图纸，目前 已广泛应用于机械、建筑、电子、航天、造船、石油化工、土木工程、冶金、 地质、气象、纺织、轻工、商业等领域。 AutoCAD 2007是AutoCAD系列软件的最新版本，与AutoCAD先前的版本相比， 它在性能和功能方面都有较大的增强，同时保证与低版本完全兼容

§1. 数字化制造技术的基本概念 §2. 数字化制造技术的发展背景 §3. 数字化制造技术的相关概念 §4. 数字化制造技术的体系结构 §5. 数字化制造技术的作用与意义

◼ 计算机系统安全的现状 ◼ 计算机系统安全的概念 ◼ 安全威胁 ◼ 信息系统安全技术 ◼ 计算机系统安全应解决的问题 ◼ 安全的体系结构

2.1 网络资源 2.1.1 网络基础资源 2.1.2 网络逻辑资源 2.1.3 网络信息资源 2.2 网络业务与应用 2.2.1 业务与应用的定义 2.2.2 业务与应用需求特点及分类 2.2.3 网络业务 2.2.4 网络应用

7.1 硬件实时仿真技术 7.1.1 dSpace 体系结构: 7.1.2 基于dSPACE的控制系统开发方法 7.2 基于dSPACE的双馈电机系统实时仿真模型 7.2.1 双馈风力发电机的模型

10.1 拥塞和拥塞控制概述 10.1.1 拥塞现象的发生 10.1.2 拥塞和拥塞控制的基本概念 10.1.3 互联网中拥塞发生的原因 10.1.4 拥塞控制的目标 10.2 TCP 拥塞控制机制研究 10.2.1 互联网的网络模型 10.2.2 线性拥塞控制机制 10.2.3 线性拥塞控制机制评价 10.3 端到端拥塞控制算法研究 10.3.1 端到端拥塞控制算法设计的困难 10.3.2 端到端拥塞控制算法的研究概况 10.3.3 拥塞控制的源算法 10.3.4 拥塞控制的链路算法

1.1 计算机网络在信息时代的作用 1.2 计算机网络的发展过程 1.3 计算机网络的分类 1.4 计算机网络的主要性能指标 1.5 计算机网络的体系结构 1.6 应用层的客户-服务器方式