王延鹏

摘要： （1）总结本单元两次作业的架构设计 通过观察这两次作业的类图可以看出，关于UMLModel部分的设计是相同的，第二次相对与第一次多扩展了关于StateMachine和Collaborations部分 第一次类图 第二次类图 由于UMLModel部分和UMLStateMachine和UMLCollab 阅读全文

摘要： 一、梳理JML语言的理论基础、应用工具链情况 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于Larch 阅读全文

摘要： 多线程的协同和同步控制 第三次作业：总共四个线程，主线程(输入线程)和三个电梯线程，采用worker-Thread的设计模式，主线程工作方式同上，但是主线程需要监视三个电梯线程，并且维护三个电梯的等待队列，同时当某个电梯线程完成某个乘客的一部分请求需要换乘的时候，将请求扔给主线程。由于每个线程都有自 阅读全文

摘要： 第一次作业 设计思路 设计了两个类，一个多项式类Polynomial，一个项类Term，其中项包括幂函数及其系数组成。 在多项式类中解析出来项，然后之后根据指数的大小存入terms中，在存入的过程中，需要判断是否已经存在该键值，如果存在就需要合并这两项，如此反复，可以保证求导之后不会存在仍可以合并的 阅读全文