摘要：
本单元的架构演进 本单元相对来说可能是最简单的（当然如果不小心一开始在架构上走偏可能需要花时间重构），我没有设计太复杂的架构，因为课程组给的源码以及结构足够清晰，只是类的属性不太够，没办法描述树、图这样的结构。因此，我只是简单的为常用的元素设计了包装类（wrapper），添加了相互之间的关系以及 阅读全文
摘要：
JML相关 JML语法 注释结构 行注释： 块注释： 表达式 原子表达式 ：表示一个非void 类型的方法执行所获得的结果，即方法执行后的返回值 ：用来表示一个表达式 在相应方法执行前的取值。 表达式：用来表示括号中的变量是否在方法执行过程中被赋值。 量化表达式 表达式：全称量词修饰的表达式 表达式 阅读全文
摘要：
从多线程谈作业的设计策略 这一部分主要谈一下我的作业中涉及到多线程的地方。由于我的作业是依次迭代，整体架构没有大的变化，所以我以最复杂的第三次作业为例。 首先是要确定哪些类要作为独立的线程，这一点非常重要，会影响之后所有的架构涉及与实现和优化的复杂程度。首先main作为主线程是必须的；还有就 阅读全文
摘要：
这一单元的主要任务是求导，难点一是在输入的解析，特别是第三次作业引入嵌套后；另一个难点就是如何层次化地表示整个表达式，既方便构建，又方便后续的求导与化简。 程序结构分析 主要使用idea的插件MetricsReloaded完成。首先介绍一些度量的概念与含义，这部分选取自一些博客的总结。 一些度量的含 阅读全文