摘要： BUAA_OO_Unit3总结 一、整体概述 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言，它对于方法内部具体是如何实现的并无要求，只是对方法的接口以及行为进行限制，具体来说就是对方法里面允许接受的数据，可以做出的改动，必须返回的数据， 阅读全文

摘要： BUAA_OO_Unit2总结 一、整体概述 第二单元主题为实现多线程的实时电梯模拟，研究探索多线程协作、线程安全、设计模式等问题。 电梯单元的主要难点在于，在保证线程安全的前提下，设计出易于扩展的架构，同时保证性能。对此，我采用了单级托盘集中式调度的架构。三次作业迭代增量开发的过程中，我在电梯之间 阅读全文

摘要： 一、整体概述 ​ 第一单元三次作业核心任务是进行表达式的化简问题，包含因子、项和表达式三个层级，在此基础上进行了迭代开发，如下： 含有加减幂次运算的括号表达式 增加sin、cos、自定义函数与求和函数 增大sin、cos内部因子范围 二、设计思路 类图 分析 第一次作业 ​ 基于形式化表述，将表达式 阅读全文