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