摘要：
2020/10/25 # set proxy export http_proxy="192.168.80.1:10809" export https_proxy="192.168.80.1:10809" # prepare for the installation of rvm sudo apt i 阅读全文
摘要：
面向对象课程总结 一、单元4架构设计 作业1 作业1，我在顶层采用了HashMap将类（接口）与其对应的内容进行一一映射存储，进而将查询操作向下分配给ClassDetails。在对类内方法的参数的存储上，我采取了相似的方法，即使用OperationDetails类存储，并将对方法参数类型的查询分配到 阅读全文
摘要：
面向對象課程總結 一、單元4架構設計 作業1 作業1，我在頂層采用了HashMap將類（接口）與其對應的内容進行一一映射存儲，進而將查詢操作向下分配給ClassDetails。在對類內方法的參數的存儲上，我采取了相似的方法，即使用OperationDetails類存儲，并將對方法參數類型的查詢分配到 阅读全文
摘要：
面向对象第三单元总结 JML(Java Modeling Language) 简体版本 [TOC] 一、JML 理论基础 与 应用工具链 1.1 JML 理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言(B 阅读全文
摘要：
面向對象第三單元總結 JML(Java Modeling Language) [TOC] 一、JML 理論基礎 與 應用工具鏈 1.1 JML 理論基礎 JML(Java Modeling Language)是用於對Java程序進行規格化設計的一種表示語言。JML是一種行爲接口規格語言(Behavi 阅读全文
摘要：
面向对象第二单元总结 之 吾梯永不停 简体版本 [TOC] 一、设计策略 1.1 调度策略 三次作业我都采用了同样的电梯调度算法—— LOOK算法 。什么是LOOK算法呢？这要先从SCAN算法说起。 SCAN算法 SCAN算法是一种按照楼层顺序一次服务请求的算法。它让电梯在最底层和最顶层之间连续往返 阅读全文
摘要：
面向對象第二單元總結 之 吾梯永不停 [TOC] 一、設計策略 1.1 調度策略 三次作業我都采用了同樣的電梯調度算法—— LOOK算法 。什麽是LOOK算法呢？這要先從SCAN算法説起。 SCAN算法 SCAN算法是一種按照樓層順序一次服務請求的算法。它讓電梯在最底層和最頂層之間連續往返運行，在運 阅读全文
摘要：
2020春 面向对象设计与构造 第一单元总结 简体版本 一、程序结构分析 作业1 作业1代码量不多，主要难点在於将输入的字符串形式的表达式转换为特定数据结构的存储形式。在作业1中我分了三个类：Main、RegExp、Term。其中RegExp类使用静态变量存储了构造的正则表达式字符串；Term类对指 阅读全文
摘要：
2020春 面向對象設計與構造 第一單元總結 一、程序結構分析 作業1 作業1代碼量不多，主要難點在於將輸入的字符串形式的表達式轉換爲特定數據結構的存儲形式。在作業1中我分了三個類：Main、RegExp、Term。其中RegExp類使用靜態變量存儲了構造的正則表達式字符串；Term類對指數和係數進 阅读全文