摘要：
本单元作业实现了一个 UML 解析器，使其支持对 UML 类图的分析，可以通过输入相应的指令来进行相关查询，并具有对规则检查的功能。 #1 本单元架构设计 ##1.1第一次作业架构 本次作业的目的为实现对类图相关指令的查询，需要理解类图中各个元素之间的关系，包括UMLClass，UMLOperati 阅读全文
摘要：
本单元根据给出的JML规格实现一个社交网络模型，同时为了让我们阅读理解一些复杂的JML规格，涉及了图论的一些算法。这部分的JML还是较难以理解的，并且一些指令的实现也不能完全按照JML所给出的方法去实现不然容易超时，在满足JML规格的要求下还需要进行很多的优化。 #从JML的角度构造测试数据 在测试 阅读全文
摘要：
第五次作业 1.1 思路分析 第五次作业实现了五个楼座每个楼座单个电梯，以基本的消费者生产者模型为思路，一个输入类作为生产者线程，五个楼座的总共五个单部电梯作为五个消费者。构建自己的一个存放请求的线程安全队列，每个楼座对应一个队列，生产者线程将输入判断后添加到对应的队列中，电梯作为消费者从对应队列中 阅读全文
摘要：
#1.第一次作业 ##1.1思路分析 第一次作业主要任务是完成对表达式的去括号，在完成第一次训练的作业后使用梯度下降法分析表达式，将表达式，项，因子逐层分离。在完成表达式转换为各项因子后，难点就在于项与项之间的相乘以及符号的转化，表达式之间的因子用+，—号连接，而项之间因为可能又存在表达式的因子无法 阅读全文