摘要： [TOC] 一、第四单元作业架构设计 1.第一次UML作业架构设计 ![1.1] 总的来说，第一次作业还是比较简单的，在类的设计上，个人为了方便管理数据，新开了MyOperation、MyClass、MyInterface三个类，每一个类中都利用self变量来存储对应的UMLElement，并根据情 阅读全文

摘要： [TOC] 一、JML语言理论基础及应用工具链 理论基础 官网定义： Java建模语言（JML）是一种行为接口规范语言，可用于指定Java模块的行为 。它结合了Eiffel的契约方法设计 和Larch系列接口规范语言的基于模型的规范方法 ，以及细化演算一些元素 。 用法： （1）开展规格化设计。这样 阅读全文

摘要： 第三次电梯作业个人优化 [TOC] 前言 由于个人能力有限，第二次电梯作业只能完成正确性设计，没能进行优化，也因此损失了强测分数，于是第三次电梯作业时便决定进行优化，结果强测错了一个点，同样损失了强测分数……但是总的来说，第三次作业的优化还是有一定效果的，性能分比起完全没有优化的第二次高了许多，有的 阅读全文

摘要： [TOC] 一、设计策略 1 第一次完成的是一个傻瓜电梯，简单来说，就是来一个请求，就服务一个请求，服务完之后再服务下一个请求，这样循环往复。在完成这一次作业的时候，我对于多线程的理解还不是很深入，一开始在尝试单开一个电梯线程完成这次作业的时候出现了一些bug，我便尝试继续使用单线程的思路，很快就写 阅读全文

摘要： 一、第一单元作业回顾 ​ 系列一作业分为三周进行，都是表达式求导，难度渐进。 ​ 第一次实现的是简单幂函数的求导，第二次加入了sin和cos两种三角函数，第三次实现了三角函数内的嵌套以及引入了表达式因子。 主要学到的东西有： ​ IDEA的操作使用（包括checkstyle/statics/Metr 阅读全文