摘要： 第四单元作业架构： 第四单元的作业仍然采用增量开发的形式，总体难度不大。但由于实在没办法实现高效的解耦，导致hw15的时候Myimplement里面写了超过500行。 hw13： hw13中主要进行了对于UMl类图的解析，在实现的过程中，我通过HashMap的方式来映射id和不同类型UmlEleme 阅读全文

摘要： JML规格及测试： JML规格： JML规格提供了一种对于数据的约束，通过更加形式化的语言来对于前置条件、后置条件进行约束，从而保证程序在正确执行后能得到正确的结果。 总体来说，JML规格相较于平时使用的自然语言来说更加复杂，这在作业中也有很明显的体现，例如最短路、最小生成树的描述，让人看着感到不适 阅读全文

摘要： 第一次作业： 同步块设置与锁的选择： 第一次作业相对比较简单，需要实现一个纵向的电梯调度问题。 我将电梯和输入请求都当作线程进行处理，将请求队列作为中间的交互通道，将请求队列中的增加请求、得到请求等操作加锁。这样就可以实现线程安全的交互。 调度器设置： 第一次作业由于只有直上直下的请求，所以调度相对 阅读全文

摘要： 第一次作业： 作业要求：完成多层嵌套表达式和函数调用的括号展开与化简 思路： 由于该次作业所有参与运算的部分均可以写成多项式的形式，因此可以将所有的式子都写为多项式系数+指数的形式。 那么因子、项、表达式都可以通过一个多项式类继承过来。 然后就是符号和空格 我通过正则表达式和替换的方法将所有的符号都 阅读全文