摘要：oo第二单元总结 一、同步块的设置和锁的选择 第二单元采用了“生产者-消费者”模型。同步块主要是对请求队列的相关处理，用synchronized关键字对请求队列加锁，如往请求队列中添加请求、获取请求等。 二、调度器设计 电梯调度算法：采用了扫描算法（SCAN），它让电梯在最底层和最顶层之间连续往返运 阅读全文
OO第一单元总结
2021-03-30 15:49 by updragon, 61 阅读, 0 推荐, 收藏, 编辑
摘要：一、度量分析 第一次作业 对表达式字符串进行去除空白字符和合并相邻运算符后，利用正则表达式，识别出表达式的项（包括项前的运算连接符），项只有常数和幂函数两种因子，项可以用常数因子之积、幂函数指数之和表示，对其求导后，以指数为Key保存在Map里面，最后根据Map构造表达式导数。 第二次作业 本次作业 阅读全文
OO第三单元总结
2020-05-23 12:17 by updragon, 155 阅读, 0 推荐, 收藏, 编辑
摘要：1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 阅读全文