摘要：
本单元是通过输入UML类图、顺序图、状态图来查询其中的元素，相关内容以及检测该UML模型是否符合规范，有些类似于不给JML实现一个第三单元的感觉，依然是比较简单呀，当然这篇博客还包含了对于整个学期这门课程的总结 Unit4架构设计 先上第三次作业的类图，之前的因为每次都是在前一次基础上加东西所以不放 阅读全文
摘要：
本单元是通过给出用 JML语言描述的规格从而实现一个社交网络系统，按规格实现基本没有太大难度，不过如果完全按照规格来写绝对会 TLE，所以要优化，而优化方面采用的算法以及技巧由于都接触过很多次所以也不困难 作业思路 架构 本单元架构方面非常简单，就是严格按照官方包中的要求实现相应接口，除了第三次作业 阅读全文
摘要：
第二单元的作业是多线程模拟北航新主楼的电梯接人，由第一次作业到第三次作业，编码难度并不大，架构选用也没什么好纠结的，但是由于自己作死，过分迷信助教的实验代码，前两次把该踩的坑，不该踩的坑基本都踩了，体验极差，只有第三次状态正常 第一次作业 作业思路 架构 总框架： 第一次作业是简单的每栋楼只有一部电 阅读全文
摘要：
第一单元的作业是对表达式进行括号展开然后化简，由第一次作业的简单幂函数加括号，到第三次支持求和函数、自定义函数，三角函数与它们之间的嵌套与递归调用，难度逐步增大。在此，我采用的思路都是： \[ 递归下降解析 \rightarrow 表达式与项的括号展开 \rightarrow 化简表达式 \righ 阅读全文