myzr

摘要： OO第四单元与课程总结 ###第四单元作业架构设计 由于时间冲突，第四单元我只做了第十五次作业，真的没想到可以请假补交 第十五次作业的架构已经设计完成，具体参见下文，但其中依然有部分方法未完成，导致部分测试结果错误，但强测有过的也是绝了。 UML类图 作业不是很难其实……而且伊始班里同学的经验分享也 阅读全文

摘要： JML理论基础与工具链 JML简介 JML(Java Modeling Language)是一种对Java程序进行规格化设计的表示语言，定义了Java程序中的方法规格和类型规格，便于代码实现，展开测试和提高代码的可维护性。 JML语法介绍 JML主要以Javadoc的方式嵌入Java代码中，以@开头 阅读全文

摘要： 第五次作业 有关设计 1. 本单元的作业有关多线程电梯的调度，第五次作业只有一部电梯，没有载客量的限制，尽可能高效地响应乘客的请求； 2. 采用生产者 消费者模型。调度器内部维护一个用户请求的队列，接收器负责向调度器中放入请求，电梯负责从调度器中取请求并执行； 3. 执行过程中采用了LOOK算法，L 阅读全文

摘要： 第一次作业 有关设计 1. 第一次作业相对简单，我只设计了两个类。Item类存放各种项的系数和指数； 2. 识别各种概念我采用了自顶向下分析法，用一个ArrayList存放项； 3. 在对输入的表达式进行解析以后，首先进行一次同类项合并，减少需要求导的项数，根据测试结果来看这样做的优化效果不错，只有 阅读全文

摘要： 3.1三门问题 共有三个门，只有一扇门后有奖品，主办方要打开没有奖品的那个门。选手的选择情况分为两种： (1) 选手选择了没有奖品的门，此概率为2/3，则剩下的两扇门后必有一扇后有奖品，主办方要打开没有奖品的那扇门，此时剩下的那扇门就是有奖品的门。如果选手不改变选择，选手不会获奖获奖概率为0；如果改 阅读全文

摘要： 第一次作业 第一次电梯作业是FCFS傻瓜式调度，建了5个类，InputHandler类是一个线程，负责处理输入，获取请求；QueueList类负责将收到的有效请求存起来，采用了单例模式；Scheduler类相当于生产-消费者中的托盘，采取单例模式，get()方法负责从QueueList中取出需要响应 阅读全文

摘要： 一、基于度量分析自己的程序结构 （一）第一次作业 第一次作业是实现简单的多项式求导，主要是针对幂函数和常数，二者结合成因子，因子相加减为项，由项构成表达式。 总体上采用了状态机，使用状态机前，先利用正则表达式匹配分析并去掉了合法的空格。采用状态机的好处是很明显的，对于输入处理这一块绝对没有问题了，可 阅读全文

摘要： 一、测试与正确性论证 测试与正确性论证是从系统的不同层面对其可靠性进行验证。 正确性论证能够从类的规格以及方法过程规格出发，对代码实现进行逻辑上的证明，更加稳定可靠，正确性论证的难点在于，并不是系统的每个部分都可以很轻易的使用数学语言建模，在很多情况下不易论证。正确性论证在操作上有一定的难度。 测试 阅读全文

摘要： (1)规格化设计的大致发展历史 最初，程序设计是面向机器的，由于对软件的需求并不大，因此，即使代码存在如可读性差等诸多问题，在当时也无伤大雅；随着程序规模的增长，出现了面向过程的设计思想。但在1960s，Dijkstra发表《GOTO有害论》，引发了大规模对于goto语句安全问题的讨论，冲突产生思想 阅读全文

摘要： 一、三次作业 多线程从电梯的最后一次作业开始，再经过文件出租车等作业主题，真的让我很迷啊。第五次作业正赶上清明假，我不可推辞地烟花三月下扬州了，回来以后生了一场病，整个人都没劲。如果说前三次作业攒了点儿劲头，到第五次就败了个精光，种种原因吧，多线程很多不懂，第五次作业只起了一个头，没有做完，不等补写 阅读全文