摘要：
第四单元作业分析 题目简述 在官方包提取元素的基础上实现一个 UML 解析器，能回答对 UML 类图、状态图和顺序图的一些性质的询问，以及规范性验证。 架构设计 注意到元素和指令数量并不多，我选择大力遍历的方法，没有做任何的层次化设计。 也就是当程序中需要某类元素的时候遍历一遍所有元素来查找。因此我 阅读全文
摘要：
作业分析 题目简述 根据给出的 JML 规格实现并维护一个社交网络的模型，包括人、群组、网络和各种消息，还有各种异常。 涉及图论模型，并查集、最短路和最小生成树算法。 架构设计 按要求实现几个类，每个类里面都使用 HashMap 建立编号到对象的映射，方便查找。 大致如下： //MyNetwork 阅读全文
摘要：
作业分析 第五次作业 题目简述 使用多线程模拟五座楼中每座一个电梯的运行、开关门、上下客。 电梯能到达 1-10 层，所有电梯人数、运行速度固定。 思路简述 设置一个输入线程，一个调度器线程，五个电梯线程。 输入线程读入请求，送到调度器，调度器根据楼座分配给电梯，电梯内部根据特定策略模拟行为。 具体 阅读全文
摘要：
作业分析 第一次作业 题目简述 实现只包含+,-,*,(),**表达式的化简，括号深度最大为一层。 思路简述 表达式解析部分参考了第一单元训练中的递归下降的结构，先将表达式拆成若干表达式、项和因子，然后根据从属关系合并得到答案。 对于负号，我把负号全部下传，标记到底层的因子上，这样只需要在因子记录正 阅读全文