随笔分类 -  OO_JAVA

面对对象程序设计(JAVA)
摘要:总结本单元两次作业的架构设计 设计目标 尽量减少特殊容器的存在,能通用就通用,减少重复的类同代码。 基础容器的存在,就是为上述目标而服务的。 设计概要 1. 底层:基础的、类型无关、无依赖的容器以及对应的查询方法 2. 中间层:用来存所有的parent和association映射关系及对应的查询方法 阅读全文
posted @ 2019-06-24 16:14 Mind_Edge 阅读(342) 评论(0) 推荐(0)
摘要:OO_JAVA_JML系列作业_单元总结 (1)梳理JML语言的理论基础、应用工具链情况 简单梳理 以下三者是jml规格里的核心,对一个方法功能和属性的限制: 1. requires子句:规定方法的前置条件(precondition); 2. assignable子句:方法的副作用范围限定; 3. 阅读全文
posted @ 2019-05-22 10:51 Mind_Edge 阅读(462) 评论(0) 推荐(0)
摘要:OO_JAVA_JML系列第三次作业 ————架构之谈 [TOC] 出发点 操作的可分离性 总的来说,我们的计算最短路,计算最少换乘,都可以视作计算一条路径的权值之和,然后找到权值之和最小的那一条路径,返回对应的权值。 所以我的出发点就是:分离出如下两个操作 1. 遍历图结构生成两点间路径 2. 根 阅读全文
posted @ 2019-05-15 21:10 Mind_Edge 阅读(316) 评论(1) 推荐(0)
摘要:电梯运行模拟——三次作业总结 [TOC] 。。博客园不支持目录。。 总体遵循的设计思路 逻辑解耦 电梯与调度器解耦 在我的三次电梯作业里,追求的目标都是让电梯运行与调度器分离,电梯只负责按照指令运行,目前的最终版本中,指令有UP、DOWN、OPEN、CLOSE、STILL、STOP六条。 楼层信息的 阅读全文
posted @ 2019-04-20 18:09 Mind_Edge 阅读(625) 评论(0) 推荐(0)
摘要:OO_JAVA_表达式求导\_单元总结 这里引用个 "链接" ,是我写的另一份博客,讲的是设计层面的问题,下面主要是对自己代码的单元总结。 程序分析 (1)基于度量来分析自己的程序结构 第一次作业 程序结构大致如图: 结构比较简单,只有三个类,分别是Main,Polynomial和Polynomia 阅读全文
posted @ 2019-03-25 00:09 Mind_Edge 阅读(453) 评论(1) 推荐(0)
摘要:OO_JAVA_表达式求导\_第一弹 表达式提取部分 词法分析 ​ 首先,每一个表达式内部都存在不可分割的字符组,比如一个不止一位的数字,或是一个sin三角函数,这样不能分离的字符组我称之为词法单元,依照其定义,可以将第三次作业的表达式分割成如下词法单元: SPACE:即空格和TAB字符的组合 纯数 阅读全文
posted @ 2019-03-23 12:39 Mind_Edge 阅读(707) 评论(0) 推荐(0)