• 实时任务类型与约束模型 – Assumptions about task timing，interaction，。。。 • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness：deadline，worst response time，。。。 • Efficiency：average response time，makespan – Prioritized goals • Temporal predictability first，performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks？ – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

9.1 Diffie-Hellman密钥交换 9.2 公开密钥密码体制的基本原理 9.2.1基本概念 9.2.2 应用方法 9.2.3 功能 9.2.4 对公开密钥密码编码系统的要求 9.3 RSA公钥系统 9.3.1 RSA密码体制基本原理 9.3.2 RSA的安全性

8.1 防火墙的基本概念 8.2 防火墙的发展历程与技术 8.3 包过滤防火墙 8.4 应用代理防火墙 8.5 电路级网关 8.6 自适应代理防火墙 8.7 状态检测（动态包过滤）防火墙 8.8 防火墙局限性 8.9 防火墙体系结构 8.10 防火墙部署案例 8.11 VPN技术

2.1 威胁与攻击分类 2.2 网络攻击环节 2.3 网络攻击步骤 2.4 TCP/IP协议各层安全威胁

6.1 问题的提出 一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结 6.3 数据依赖的公理系统 6.4 模式的分解 6.5 小结

◆6.1 概述 ◆6.2 图像编码的基本理论 ◆6.3 无损压缩编码 ◆6.4 限失真编码 ◆6.5 二值图像编码 ◆6.6 小波变换及在图像压缩编码中的应用 ◆6.7 图像压缩国际标准简介

• 第一章 工资概述 • 第二章 工资决定理论 • 第三章 工资关系 • 第四章 工资水平 • 第五章 工资等级制度 • 第六章 工资形式 • 第七章 工资宏观管理 • 第八章 国家机关、 现行事业单位工资制度 • 第九章 公务员及各类人员工资待遇 • 第十章 计算机在工资管理中的应用

3.1 分组密码的原理 3.2 数据加密标准DES 3.3 DES的安全强度 3.5 差分分析和线性分析