格式修正及附录部分操作系统问题解答

更新了多个文件的标点、大小写等格式问题；
解答了附录操作系统部分的问题4。