摘要：
2020-面向对象第四单元-总结博客 本单元三次作业的架构设计总结 这三次作业完成了对uml核心图中类图、顺序图、状态图的解析，从零散的信息中找出联系，最终复原uml模型图，实现相关的统计查询功能，以及完成一些uml模型的规则检查。 第一次作业 第一次作业是完成对类图的解析，重要的是要理解各个元素的 阅读全文
摘要：
OO JML第三单无博客 一、JML理论基础及应用工具链情况 JML理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计、行为接口规格语言（Behavior Interface Specification Language，BISL）。通过JML及其支持 阅读全文
摘要：
电梯架构与策略 三次电梯架构均基于生产者消费者模式，其中homework6和homework7采取的是二级生产者消费者架构。在一个清晰稳定的架构下，可以开始对性能的追求。 此图为homework7的二级模型， 是一级生产者，即输入请求线程； 为一级托盘，由队列构成； 为主调度器，一级消费者和二级生产 阅读全文
摘要：
2020 面向对象 第二单元（电梯惊魂） homework5 1. 设计策略 第一次接触多线程编程，所以为保险起见，我完完全全按照生产者 消费者模式完成了这次作业。我设置了两个线程，一个输入请求线程（生产者），一个电梯线程（消费者），二者共享 ，`Channel`即为模式中的托盘，在此处为一个等待队 阅读全文
摘要：
2020-面向对象-第一单元（表达式求导） 一、程序结构分析 homework1 整体架构思路 此次任务为简单多项式的求导，每一项的形式可以视为a*x**b（其中a，b为带符号整数），所以建立Poly{coef,exp}类储存每一项，并在Poly类中实现项的求导方法。考虑化简因素，覆写equals， 阅读全文