wxMaxima

我试图用wxMaxima和sympy来求解以下不定积分：integrate(r^2*sqrt(R^2-r^2),r) 在马克西马，我确实得到了答案，但在同情中没有。我不明白为什么。我是Python的超级用户，我很喜欢用Python做符号数学，但是由于sympy没有解决这个问题，我仍然坚持使用Maxima。在 是我做错了什么，还是马克西姆好些了？ (我在Mathematica也解决了这个问题) 我在

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. 多个资源的银行家算法 必要条件 互斥：每个资源要么已经分配给了一个进程，要么就是可用的。 占有和等待：已经

基本特征 1. 并发 2. 共享 3. 虚拟 4. 异步 基本功能 1. 进程管理 2. 内存管理 3. 文件管理 4. 设备管理 系统调用 大内核和微内核 1. 大内核 2. 微内核 中断分类 1. 外中断 2. 异常 3. 陷入 基本特征 1. 并发 并发是指宏观上在一段时间内能同时运行多个程序，而并行则指同一时刻能运行多个指令。 并行需要硬件支持，如多流水线、多核处理器或者分布式计算系统。