摘要：
OO_U4总结 一、简介 本单元的主要任务是对UML模型进行解析。UML模型将抽象化的代码转化为直观可见的视图，其中类图可以表达类、接口直接存在的基本关系，顺序图展现了进程生命周期中的调度关系，状态图展现了基于条件判断的状态转移。解析UML模型是一个巨大的工作量，因此这部分作业中只提取了部分工作作为 阅读全文
摘要：
OO_U3总结 一、简介 本单元学习了JML进行规格化设计。JML通过前置条件、后置条件、副作用等对方法与类进行约束，而编程者只需要保证自己的代码实现符合JML规约，便可以保证程序的正确性。这大大化简了代码编写过程中的思考，降低了出错的概率，防止方法或者类之间过度耦合，也改善了一边架构一边写，想到哪 阅读全文
摘要：
OO_U2总结 一、简介 本单元三个任务为电梯调度与迭代升级。第一个任务是简单的纵向电梯，每栋楼一座纵向电梯，载人数固定，速度固定，可以简单分解为五个电梯线程与一个生产者线程。第二次任务新增横向电梯，并且保证没有换乘且必定有电梯存在才会有请求。第三次任务为换乘处理，且可能出现多次换乘，调度器的必要性 阅读全文
摘要：
OO_U1总结 一、简介 1. 第一次作业 本次作业是简单的多项式化简，我将输入划分为表达式、项、因子三个层次进行解析。本次作业难点主要在于表达式因子相乘或加减的情况。在训练中官方提供的思路为递归下降解析，但是我使用的并非这个方法，我在每一个层次进行解析再下发给下一个层次，这是一种逻辑上较为简单的方 阅读全文