摘要：
一、概述 任务要求：完成对UML的mdj文件的解析以及分析查询功能，通过此来获得对UML模型、类图、顺序图、状态图的一定的理解。 第一次作业：实现一个UML类图分析器，学习目标为UML入门级的理解、UML类图的构成要素及其解析方法。 第二次作业：扩展程序，实现对UML顺序图和UML状态图的解析。 第 阅读全文
摘要：
一、概述 任务要求：根据jml给定的规格完成代码设计。主要难点在于jml语法理解、算法优化、和JML工具链（完全不会）。 该单元坑点很多，然而每一个坑点我都中了，（因为我在摸鱼），在bugs部分详述。 二、JML基础 简介 JML(Java Modeling Language)是用于对Java程序进 阅读全文
摘要：
任务要求：通过多线程的互斥和同步控制，实现电梯功能模拟，并进行扩展和迭代。 第一次作业：单电梯，由于请求完成时间有限制，所以需要进行捎带或者其他优化策略。 第二次作业：多部电梯，增加每部电梯人数限制，到达楼层可扩展到负数层。 第三次作业：多部电梯，每部电梯可到达楼层、速度、人数限制不同。需要支持乘客 阅读全文
摘要：
一、程序设计思路及度量分析 第一次作业 思路与实现方案：由于第一次作业要求简单，只需要实现幂函数的求导即可，所以我只设立了两个类，在主类Entry中通过大正则进行匹配，提取每一项的coefficient和index。此外建立Poly类管理表达式和求导，并在其中通过hashmap管理每一项，用幂函数的 阅读全文