Stitch11752

摘要： Final Summary 写在前面：由于撰写本文时正处考期，时间较为紧张，很多内容没有展开来谈，深表遗憾。 第四单元三次作业架构设计 总体架构：用MyElement管理每个（任何类型的）UML元素，其中存储儿子、父亲、关联对端、继承与实现的目标、状态转移的目标状态、生命线接受的信息等。在MyUml 阅读全文

摘要： 第七次作业第2题 独立路径数计算（DFS） 为什么是DFS？ 已经对DFS有良好理解的同学可以跳过这一部分。 首先回顾一下生成全排列的算法： int visit[n], path[n]; void dfs(int level) { if (level == n) { // 有明确的终止条件 prin 阅读全文

摘要： Unit 3 Summary by 刘登元 [toc] JML JML语言理论基础 JML是一种用于描述设计规格的程式化语言，能够使得提出功能要求一方和程序开发一方能够无二义性地交流。此外，借助一些工具，还可以验证开发的功能是否符合了JML规格，从出发点来看，JML的用途是十分广泛的。 整体类似于离 阅读全文

摘要： Unit 2 Summary by Mike Liu [toc] 代码分析 总的来看，本单元三次作业的架构没有大的变化。 主要的类（线程）有三个：主类（读入线程） ，电梯 和电梯控制器 。 每个电梯线程均和一个控制器线程形成一一对应关系。 主类负责读入请求，并随即决定将请求分配给某一部电梯，加入该电 阅读全文

摘要： Unit 1 Summary by Mike Liu [toc] 代码分析 Homework 1 Preview 第一次作业较为简单，只用了3个class，分别是： Term 用来存储一项 TermMap 用来存储所有项 TermSet 原本用来存储排序后的项，后发现算法有误，不再用set存储；该类 阅读全文