无棱二面角

摘要： 第四单元博客作业 架构设计总结 第一次作业：UML类图的构建 初始化时，用HashMap的数据结构将所有UmlElement储存起来，等待构造完成后再调用Init()方法构造所需数据结构，用HashMap<String, HashSet<UmlElement>>的嵌套结构将UML_CLASS与UML 阅读全文

摘要： OO第三次博客作业 1. JML理论基础 JML是用于对Java进行规格化设计的一种表示语言。JML一方面可以在测试时为开发人员提供逻辑严格规格以避免二义性，另一方面可以提高代码的可维护性。 JML包含了类型规格、数据规格、方法规格等形式。其中，方法规格包括了前置条件、后置条件、副作用范围限定等约束 阅读全文

摘要： 面向对象第二单元博客作业 0. 前言 本单元三次作业均成功提交，比上一单元有了一定进步。但由于没有进行充分的测试等原因，三次作业均出现了严重的失误，第一二次作业均没有通过强测进入互测阶段，第三次作业尽管进入了互测，但也出现了死锁问题。到现在进行总结时，我对OO课程的心态已经发生了一些变化…… 1. 阅读全文

摘要： 1. 前三次作业总结 1.1 第一次作业 类图： 复杂度分析： 第一次作业比较简单，根据系数和指数构造的二元对，通过HashMap来储存和表达式和求导以后的表达式，同时进行合并同类项。 1.2 第二次作业 类图： 复杂度分析： 第二次作业引入了sin(x), cos(x)作为常数因子，在读入时依然可 阅读全文