摘要：
[TOC] 第四单元博客作业 一、前两次作业架构设计 1. 第一次作业 1.1 结构分析 对于第一次的作业，完成的任务是类图的解析。由于官方的jar包已经帮我们完成了大部分的工作，所以我们需要做的任务就是对解析完成后的标签进行处理，完成相应的函数的功能。 通过阅读作业指导书，我发现本次作业中的函数都 阅读全文
摘要：
[TOC] 第三单元博客作业 JML语言理论基础 1.注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，和普通的java语言的注释类似，分为行注释和块注释。 行注释： 块注释： 按照javadoc习惯，JML注释一般被放在被注释成分的近邻上部。 2.JML表达式 阅读全文
摘要：
[TOC] 电梯作业总结 程序结构与复杂度的分析 第一次作业 1.设计思路 第一次作业是电梯作业的第一次，也是我多线程变成的第一次实践。任务是编写一个多线程实时电梯系统，采用FAFS的调度方式。由于第一次作业中没有涉及到多部电梯以及捎带的情况，因此来说是比较简单的。我采用的是指导书提示部分中的模式， 阅读全文
摘要：
[TOC] OO——求导作业总结 程序结构的分析 第一次作业 1.设计思路 在第一次作业中，我设计了两个类： PolyDerivation(主类) 、 Poly 。 函数存在于 PolyDerivation 类中，作为程序的入口。 PolyDerivation 是一个主要控制类，负责 多项式合法性的 阅读全文
摘要：
学习笔记——OS——引论 操作系统的定义 操作系统是一组管理计算机硬件资源的软件集合： 用户和计算机硬件之间的接口 控制和管理硬件资源 实现对计算机资源的抽象 计算机系统硬件 冯诺依曼体系结构和哈佛结构的区别 冯诺依曼体系结构：指令和数据共同存储 哈佛体系结构：指令和数据分离 处理器多级Cache的 阅读全文