摘要：
##OOUnitFourSummary ###一、本单元作业的架构设计 本单元作业主要是UML类图、时序图以及状态图的分析，以实现一些查询功能，而且后续还需要对于一些错误的形式进行检测。本单元的整体构建并没有太大难度，而且对于性能的要求也并没有太大，而难点主要是在于UML图的理解，在理解了UML图的 阅读全文
摘要：
##一、实现规格所采取的设计策略 本单元的主要内容为JML规格的实现，在我们的官方包中给了我们需要实现类及函数的JML需求，通过本单元的学习，我对于JML语言格式逐渐熟悉，可以通过JML的语言格式实现自己的类、函数以及异常处理方法。而且本单元对于社交关系的模拟以及对于时间的较高要求也让我对图的学习和 阅读全文
摘要：
一、同步块的设置和锁的选择 在实现本单元三次作业的过程中，我借鉴了exp3的设计思路，均采用了生产者-消费者的模式，总共有三种线程：输入模块为生产者，输入的需求会被存在一个waitQueue中；电梯为消费者，每个电梯都有一个线程，电梯会对当前需要处理的队列operationgQueue中的需求进行处 阅读全文
摘要：
程序分析 第一次作业 思路： 第一次作业只涉及多项式的求导，所以结构比较简单。我借鉴课上的经验，用一个Term类来处理系数和幂次数，然后再用一个Map结构的TermMap类来存储整个表达式，并通过TermMap进行表达式的合并化简，最后对于TermMap中每一项进行求导，再通过加减字符连接输出出来。 阅读全文