面向对象JML系列作业总结 一.综述 本单元作业,由简到难地迭代式实现了三种JML需求,主要学习了面向规格的编程方法. 第一次:实现Path类和PathContainer类 第二次:继承PathContainer类实现Graph类 第三次:继承Graph类实现RailwaySystem类 前两次作业的难度较低,最后一次作业在算法构造方面有难度,但总体来说,这三次作业在考察读懂规格,实现规格的功能方面难度较低. 二.JML语言理论基础.应用工具链 (一) JML语法总结 参考https://blo…

OO_JAVA_JML系列作业_单元总结 (1)梳理JML语言的理论基础.应用工具链情况 简单梳理 以下三者是jml规格里的核心,对一个方法功能和属性的限制: requires子句:规定方法的前置条件(precondition): assignable子句:方法的副作用范围限定: ensures子句:规定方法的后置条件(post condition). 简单运用 采用OpenJML工具check第一次JML官方开源库代码得到如下结果: 对比第一次和第二次JML规格官方源码: 第一次: /*@ p…

1.编写一个完整的程序,实现功能:向用户提问“现在正在下雨吗?”,提示用户输入Y或N.若输入为Y,显示“现在正在下雨.”:若输入为N,显示“现在没有下雨”:否则继续提问“现在正在下雨吗?” #include<iostream> #include<string> using namespace std; int main() { string input; //用户输入的是一个字符串,要用cin接收一行的输入 ) { //永远执行此循环 cout << "现在正…

(2019年2月19日注:Matlab这门课是在我大四上学期经历的,那时候开这篇文章是为了记录学习Matlab的时候遇到的坑,所以将所有的作业题合并到一篇文章中) 1.创建一个10*10的矩阵,矩阵所有对角元素为1,其余元素为10~20之间(包括10和20)的均匀分布随机数,并得出该矩阵中大于13且小于18的元素个数,同时求得这些元素的平均数. A=unifrnd(10,20,10,10); % 产生一个10*10的由10到20均匀分布的矩阵 % eye()产生了一个单位对角矩阵 % logic…

前言 转眼已是第九周,第二单元的电梯系列作业已经结束,终于体验了一番多线程电梯之旅. 第一次作业是单电梯的傻瓜调度,虽然是第一次写多线程,但在课程PPT的指引下,写起来还是非常容易:第二次作业是单电梯的捎带调度,并加入了负层电梯,写起来也相对容易,不过在写捎带策略时容易出很多BUG:第三次作业是多电梯协作调度,不同电梯有不同的停靠楼层.容量等,看起来好像比较难,但其实只要将请求拆分,并且有第二次作业的代码基础,需要大改的也基本上只有调度器而已. 相比于第一单元借助延时才完成作业,这一单元的作业我…

第二单元的电梯真是愉♂快呢,多线程编程作为java编程OOP中的重要组成部分,通过这一个单元的学习,我也是有了很多全新的认识 那么下面就先例行一下公事 三次作业分析 第五次作业 设计分析 实现的电梯是很简单的,没有复杂的逻辑,主要目的应该也是帮助同学们入手多线程编程,加上课上对设计模式有所点拨,所以整体的设计应该是不难的,编码量也不大,只要处理好锁的关系和wait与notify的时机,不要出现死锁,基本是不会有什么问题的 下面给出我的设计,也就是中规中矩的生产者-消费者模式 这里我封装了自己的一…

这次的系列作业是写一个电梯调度,主要目的是让我们熟悉多线程. 第一次作业是一个傻瓜电梯的调度问题,要求也很简单,即每次接一个人就行了.我只用了两个线程,一个是输入线程,一个是电梯线程,输入线程负责从标准输入中读入请求并加入到请求队列中,电梯线程负责从请求队列中取出请求并执行,思路非常简单,每次取一个请求,把人送到后,再取下一个,直到取完并且输入停止. 第二次作业没有什么本质区别,只不过修改了调度算法,在电梯运行时进行捎带,我这里的思路是,先找到一个主请求,然后在去接主请求和送主请求去目的地的路上…

(1)从多线程的协同和同步控制方面,分析和总结自己三次作业来的设计策略及其变化. 第五次作业 第五次作业是对多线程的初步探索,所以对于多线程的基本书写机制的认识比较多.本次作业难点在于了解多线程的运作机制,努力构建线程安全的操作方式,合理构造电梯之间.电梯与请求之间的协作关系.值得注意的是电梯.乘客在问题域中具有并发行为: (1)电梯之间“竞争”响应请求:也即电梯共用一个请求队列,电梯之间对请求的处理不得重复.也不得有遗漏,这对于线程安全的要求是很高的 (2)乘客之间“竞争”使用电梯:满足捎带策…

前三次作业可以说是入门编程,随着课程的深入,这三次多线程作业使我们开始慢慢接触工程性的编程任务. 对比起1-3次作业,5-7次作业明显没有那么顺利了,之前在互测环节每次最多就一个BUG或者没有BUG,并且出现BUG时一般可以比较容易的发现BUG的类型以及造成BUG的原因,但是在这三次作业中,由于多线程的部分不确定性,很多问题难以在测试中准确发现,尤其是自己进行测试时,所以这三次作业互测环节被发现的BUG较前三次有所上升,然而乐观地说,互测中被发现的BUG越多在互测环节的收获也越大(当然这是抛开分…

第五次作业 这次作业是电梯系列作业的终极版,要求是使用多线程实现三部电梯的运行.这次作业的难点在于第一次运用多线程技术,对于线程中的行为并不了解,以及电梯功能的实现(如果之前作业采取的是扫描指令队列预先判断电梯行为,而电梯类仅用于实现状态跳转,那么就意味着这次作业要重新设计).多线程这部分,我在完成作业的时候了解的并不多,仅仅使用了thread.sleep()方法进行对于运行时间的模拟,以及在指令队列中疯狂添加synchronized修饰方法,而并不知道这样的深刻意义.而核心的电梯行为这部分,由…