Hayden11

摘要： 第四单元总结 一、本单元作业总结 （1）第一次作业 第一次作业我将UmlElement进行分类，新建一个封装类Uml，用接口和类进行实例化；新建一个operation类实例化Operation元素。在MyUmlInteraction的初始化，先找到所有的类和接口实例化Uml。然后找到所有的方法，实例 阅读全文

摘要： 一、JML的梳理和总结 1、jml理论基础 （1）前置条件 requires P; 使用逻辑或操作符来表示相应的约束场景： requires P1||P2; 要求调用者确保P为真，并且条件要求是并列，各种关系不能够重合。 （2）后置条件 ensures P; 即方法实现者必须同时满足有所并列ensu 阅读全文

摘要： 一、设计策略 （1）单电梯： a、线程分工： elevator、request两个线程。 elevator线程主要负责乘客的接送和进出。 request线程是接收乘客信息。 control是缓冲器，用来保存elevator和request两个线程共享的乘客队列。 b、调度策略： 以电梯当前楼层和运行 阅读全文

摘要： 多项式求导 一、简单的多项式求导 1、设计思路 第一次设计，由于项只有变量项和常数项，在没有经过充分的构思下，我建立了一个可扩展性很差的假面向对象的代码。我搭建一个类Term来解析输入的字符串，并将解析得到指数作为key，系数作为value放在Term类的hashmap里面。解析完代码将hashma 阅读全文