2019年5月22日
OO第三单元总结——JML规格
摘要： 一、JML简介 1.JML语言的理论基础 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基于Larch方法构建。B 阅读全文
posted @ 2019-05-22 20:59 favourLZH 阅读(506) 评论(0) 推荐(0)
2019年4月24日
OO第二单元总结——电梯
摘要： 第一次作业——FAFS调度 1.设计策略 第一次作业是单部电梯的傻瓜调度，所以电梯的运作不是难点。对于初次接触多线程的我来说，多线程之间的协同和同步控制是这次作业的难点。作业的整体思路我采用的是典型的生产者-消费者模式，请求输入是一个生产者线程，调度器相当于一个仓库，电梯则是消费者线程。 我采用的是 阅读全文
posted @ 2019-04-24 21:01 favourLZH 阅读(377) 评论(1) 推荐(0)
2019年3月27日
OO第一单元总结——表达式求导
摘要： 第一次作业 (1) UML结构图 （2）结构分析 Polynomial 类是对输入的字符串进行预处理，其中包括判断格式是否合法，运算符简化，分割成项等方法。 Polynomial处理后得到的每一个项的字符串，传给Iterm类（这个类名是item和term的组合，互测中独一无二的类名，真是可怕！），i 阅读全文
posted @ 2019-03-27 18:09 favourLZH 阅读(264) 评论(0) 推荐(0)