摘要：第四单元作业设计 第四单元的三次作业，难度上来说大概是呈难-中-难的分布态势。第一次作业的难点主要在于对UML类图不熟悉和最大2s的cpu时间限制，针对前一个问题，边写边探索，也算掌握了大半；第二个问题，考虑到作业的需求中涉及到很多遍历操作，在参考几篇博客之后，选择了使用哈希图存储以及根据键值遍历的 阅读全文

摘要：JML JML的理论基础 JML即Java Model Language，是一种建模语言，用形式化的符号语言描述Java的类和方法。常用关键字及表达式如下： 关键字 意义 requires 方法的前置条件 assignable 方法修改域 signals 抛出异常的条件 ensures 方法的输出 阅读全文

摘要：第一次作业 类图 代码规模 复杂度 协作图 由于需求是一部电梯，所以只需要考虑线程的新建和运行。我采用了生产者-消费者模型，输入和处理相对独立。但是电梯类被我内置了过多方法，显得有些臃肿。至于捎带规则，考虑到需要输出电梯的每一步移动，我采用逐层扫描的方式，每到一层就查询是否有新的可捎带请求。这次实现 阅读全文