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