style: modify the titles of some file in '操作系统' dir.

操作系统/chp1.md

@@ -1,5 +1,5 @@
-Conclusion on Operating System Chpater One
-==========================================
+系统启动、中断、异常和系统调用
+============================
 
 ## 系统启动流程
 

操作系统/chp5&6.md

@@ -1,4 +1,4 @@
-物理内存分配简单总结
+知识总结：物理内存分配
 ==================
 
 > 为什么需要内存管理？

操作系统/chp8.md

@@ -1,4 +1,4 @@
-虚拟存储总结
+知识总结：虚拟存储
 ===========
 
 ## 虚拟存储产生的背景

操作系统/chp9.md

@@ -1,4 +1,4 @@
-页面置换算法总结
+知识总结：页面置换算法
 ==============
 
 上次说到，当程序要加载不在内存中的页面时，就会产生一个缺页异常。从而操作系统会选择内存中的一个页面，将它换出到外存当中，这样需要加载的页面就可以驻留在刚刚释放出的内存空间了。那么，在内存中的页面那么多，操作系统是如何选择被换出的页面呢？这就是涉及到具体的页面置换算法。

操作系统/lab1_report.md

@@ -1,4 +1,4 @@
-Lab 1 Report
+Lab1 Report
 ============
 
 ## 实验目的

操作系统/lab2_report.md

@@ -1,4 +1,4 @@
-Lab 2 Report
+Lab2 Report
 ============
 
 ## 实验目的

操作系统/lab3_report.md

@@ -1,4 +1,4 @@
-Lab 3 Report
+Lab3 Report
 ============
 
 ## 实验目的

数据结构/chp7/关于几个平衡搜索树的深入探讨.md

@@ -23,7 +23,7 @@ $$
 
 ## AVL树
 
-> 高度为h的AVL树，至少拥有`fib(h + 3) - 1`个节点，此时对应了一棵`fib-AVL`数。
+> 高度为h的AVL树，至少拥有`fib(h + 3) - 1`个节点，此时对应了一棵`fib-AVL`树。
 
 可以归纳地证明该结论。
 

数据结构/chp8/SplayTree.md

@@ -5,9 +5,9 @@ Conclusion on Splay Tree
 
 > 伸展树的基本思想。
 
-伸展树完全是基于<局部性原理>(locality)的。
+伸展树完全是基于`局部性原理(locality)`的。
 
-局部性原理是计算机科学中非常重要的原理，很多设计，比如说多级存储器，缓存，都是基于局部性原理。简单说来就是<刚访问过的数据，在一段时间内极有可能再次被访问>。因此，对于物理存储器而言，会将刚刚访问过的数据，转移存储到更高级的存储介质中，比如内存或者缓存，以便下次访问这些数据时可以高效地进行。而对于数据结构而言，则可以把刚访问过的数据移动到更容易被访问到的区域，比如列表可以把每次被访问的数据都交换到列表的头部，这就构成了自调整列表。
+局部性原理是计算机科学中非常重要的原理，很多设计，比如说多级存储器，缓存，都是基于局部性原理。简单说来就是刚访问过的数据，在一段时间内极有可能再次被访问。因此，对于物理存储器而言，会将刚刚访问过的数据，转移存储到更高级的存储介质中，比如内存或者缓存，以便下次访问这些数据时可以高效地进行。而对于数据结构而言，则可以把刚访问过的数据移动到更容易被访问到的区域，比如列表可以把每次被访问的数据都交换到列表的头部，这就构成了自调整列表。
 
 伸展树也是同样的思想，即对于一棵二叉搜索树而言，将刚刚被访问的数据移动到树根结点，从而使得后续的访问可以高效地找到该数据。