MathEclipse

Axiom是一个通用的计算机代数系统，用于研究和开发数学算法，定义了强类型的数学形式上正确的类型系统，拥有自己的编程语言和内置编译器。

三范式 第一范式 在关系模型中，对域添加的一个规范要求，所有的域都应该是原子性的，即数据库表的每一列都是不可分割的原子数据项，而不能是集合，数组，记录等非原子数据项。 第二范式 在第一范式的基础上，非码属性必须完全依赖于候选码，在第一范式基础上消除非主属性对主码的部分函数依赖。 第三范式 在第一范式基础上，任何非主属性不依赖于其它非主属性，在第二范式基础上消除传递依赖。

计算机操作系统

编译系统的四个阶段 预处理：将头文件的内容直接插入到文本 编译：源码到汇编 汇编：汇编指令到机器指令，这时得到的可重定位目标程序还无法执行 链接：将标准库函数所在的预编译文件合入到上一步的程序中，得到最终的可执行文件 系统硬件组成 32 位、64 位也是计算机总线依次传递的字的大小 控制器和适配器：控制器存在硬件上，硬件直接与 I/O 总线相连，在主板内部；适配器：不在主机内部而是通过扩展槽相连到

冯·诺依曼体系结构 计算机处理的数据和指令一律用二进制数表示 顺序执行程序 计算机运行过程中，把要执行的程序和处理的数据首先存入主存储器（内存），计算机执行程序时，将自动地并按顺序从主存储器中取出指令一条一条地执行，这一概念称作顺序执行程序。 计算机硬件由运算器、控制器、存储器、输入设备和输出设备五大部分组成。 数据的机内表示 二进制表示 机器数 由于计算机中符号和数字一样，都必须用二进制数串来表

编译系统 静态链接 目标文件 动态链接 编译系统 以下是一个 hello.c 程序： // c #include int main() { printf("hello, world\n"); return 0; } 在 Unix 系统上，由编译器把源文件转换为目标文件。 // bash gcc -o hello hello.c 这个过程大致如下： 预处理阶段：处理以 # 开

概述 进程管理 死锁 内存管理 设备管理 链接 参考资料 Tanenbaum A S, Bos H. Modern operating systems[M]. Prentice Hall Press, 2014. 汤子瀛, 哲凤屏, 汤小丹. 计算机操作系统[M]. 西安电子科技大学出版社, 2001. Bryant, R. E., & O’Hallaron, D. R. (2004). 深入理解

必要条件 处理方法 鸵鸟策略 死锁检测与死锁恢复 1. 每种类型一个资源的死锁检测 2. 每种类型多个资源的死锁检测 3. 死锁恢复 死锁预防 1. 破坏互斥条件 2. 破坏占有和等待条件 3. 破坏不可抢占条件 4. 破坏环路等待 死锁避免 1. 安全状态 2. 单个资源的银行家算法 3. 多个资源的银行家算法 必要条件 互斥：每个资源要么已经分配给了一个进程，要么就是可用的。 占有和等待：已经