闫之明

摘要： 一、第四单元架构设计总结 第一次作业：第一次作业主要是对于类图的处理，因此我将所有类图中的元素读进来之后，直接存在了一个Id到UmlElement的Map，来进行对类图元素的快速检索。第一次作业的难点还是对于类图内容和其关系的理解，理解之后就可以很清楚的进行代码编写，笔者就因为不清楚接口可以多重继承 阅读全文

摘要： 一、JML语言基础 JML语言是一种java的规格描述语言。它可以无二义性地描述一个类或者方法的行为，并且对类的行为进行规约。从而在具体实现一个类或方法之前，首先了解到其预期功能和行为，提高工程实现的效率。通过JML及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMTSolver等工具以静 阅读全文

摘要： 1.设计策略 第一次电梯：因为电梯只有一个，而且只需要实现先来先服务的调度策略，因此直接使用BlockingQueue来实现生产者-消费者模型。 第二次电梯：要实现捎带，所以原有的套用BlockingQueue的实现无法继续使用，因此手动通过wait-notify实现了一个支持捎带的请求队列。 第三 阅读全文

摘要： 第一次作业设计思路 类结构 建立两个类：Polymonial与Exec。 Exec类中有main方法，负责创建Polymonial类的实例并控制Ploymonial进行表达式的读入、求导与打印。 Polymonial类中包含内部类Term，每个Term类的实例代表表达式的一个项，其中包含coeffi 阅读全文