OO第三单元总结 如何自测 关于如何利用JML规格来准备测试数据这一问题： 首先一开始的时候，尝试使用课程组介绍的工具Junit。但后来发现，该工具的作用主要是能够更佳细致地测试每一个函数的功能正确性。但正确答案、以及数据仍需自己给出。 之后便是根据JML准备测试数据。这一部分，首
一、测试数据 采用了随机数据+特殊数据的方法准备测试数据 随机数据 采用的生成策略为：纯随机数据+优化。 纯随机策略：设置询问条数上限，随后每个询问都以相同概率随机出现。 分析纯随机生成策略，可知其中\(personNum : groupNum: relationNum : MessageNum = 1 : 1:1 : 1\)，显然生成的
BUAA OO 第三单元总结 一、题目简介 第三单元整体目标为实现简单社交关系的模拟和查询，让我们了解了基本的JML语法和语义，以及具备根据JML给出的规格编写Java代码的能力。 二、架构设计 （一）类图及分析 在此仅放出最后一次作业的类图，且去掉了实现的异常类。 本单元作业实现给出每个类
一.自测数据 本次作业我采用的自测策略是根据JML规格中给出的边界条件自造数据进行自测。例如本单元第一次作业的IsCircle函数，可以通过建立复杂图的方式验证算法本身及细节是否正确；第二次作业的queryLeastConnection函数可通过建立含复杂最小生成树的图进行自测；第三次作业
测试方法 这一单元课程组鼓励我们使用JUnit进行测试，但是在简单的使用之后，我发现JUnit比较适合自己构造一些边界数据来测试自己的程序是否满足自己的逻辑。他的优点很明显，某个方法如果没有按照自己的预期设想完成相应的功能我们都可以通过测试发现。但是他的缺点也同样明显：如果
OO第三单元总结 1. 测试数据准备 1.1 如何利用JML规则 在进行自测的过程中，JML规格可以帮助我们快速找出容易超时的函数。因为作业中给出的JML限制往往是采用循环遍历+函数嵌套调用的说明逻辑, 可以很容易的找出O(n^2)复杂度及以上的函数. 例如：第二次作业的中的getValueSum()函
OO2022第三单元总结 第三单元主要学习了契约式编程以及JML，根据作业提供的JML实现相应的接口来完成一定的任务。 JML只严格约束了方法和类的行为、对象可见状态的改变等，内部的实际实现是自由的。在本单元作业中，需要灵活使用一些算法（Dijkstra、Kruskal等）、数据结构（二叉堆、并查集等）
需要注意的是ATM (Appraisal Team Member)作为根据CMMI模型的评价团队组成单元，关于评价的进程实施与成果产出起到非常要害的作用。所以作为ATM成员是需求经过培训和考试的，需要熟悉CMMI模型、公司的规范进程以及SCAMPI A类评价方法。在评价进程中，ATM与参与访谈
面向对象第三单元总结 〇.单元总览 本单元的主要目的是建立一个社交通信网络，代码已由课程组给出，我们只需根据给出的jml规格实现接口即可，主要包括人，群组，网络和各种消息以及各种可能会产生的异常，部分方法涉及图论的相关知识。 一.容器选择 在jml规格提供的可选属性中，一般提供的都是
1. 架构设计 1.1 第一次作业 此次作业的架构比较简单，首先依据Person接口和JML规格来实现MyPerson，MyPerson类生成的每个对象都会有id（编号）、name（姓名）、character（性格）、age（年龄）、acquaintAndVaule（认识的Person和两人关系的权重）和circleFlag（所处的连通块编号）等属性，其中，因为id是独
郑重声明：原文参见标题，如有侵权，请联系作者，将会撤销发布！ arxiv 2021 ABSTRACT 基于脉冲的神经形态硬件有望提供比GPU等标准硬件更节能的深度神经网络(DNN)实现。但这需要了解如何在基于事件的稀疏发放机制中模拟DNN，否则会失去能量优势。特别是，解决序列处理任务的DNN通常采用
beautiful soup的基本元素 基于BS4的html内容遍历方法 像parents的就需要，for in 去循环遍历； 总结
概述 新能源汽车根据其动力源可分为纯电动汽车 (EV) 和混合动力车 (HEV\PHEV)。整车控制器是新能源汽车的核心控制部件，主要功能是解析驾驶员需求，监控汽车行驶状态，协调控制单元如BMS、MCU、EMS、TCU等的工作，实现整车的上下电、驱动控制、能量回收、附件控制和故障诊断等功能。
1、定义一个基于图灵模型的计算机 图灵模型的计算机是通过输入数据和程序产生输出数据的模型。我们通过不同的输入和程序获得不同的输出结果，这使得我们计算机不是只能进行单一的功能。 2、定义一个基于冯·诺伊曼模型的计算机 冯·诺伊曼模型建造的计算机由存储器，算术逻辑单元
整数类型 长度 有符号类型 无符号类型 8位 i8 u8 16位 i16 u16 32位 i32 u32 64位 i64 u64 128位 i128 u128 视架构而定 isize usize 类型的定义格式为 有无符号 + 类型大小。无符号表示数字只能为正数，而有符号则表示数字即可以为正数也可以为负数。 Rust 整
OO第二单元总结 一、单元重点 1.1 多线程的概念和理解 多线程，顾名思义，就是在一个程序运行时有多个同时运行的线程，它是比进程更加细化的概念，主要的研究对象就是我们的共享对象，针对研究对象进行各个线程间的合作协同，一般情况下能较大程度提升程序性能。 1.2 JAVA多线程 JAVA语言自
综述 本人这几周的学习状态依旧很差，且总是喜欢拖延，因此三周没有完成相应的要求，在此只能分享一下自己的问题和经验。对于自己的程序结构，因为仍有问题，就不做分享了。 心得体会 这学期第二个月也结束了，虽然OO第二单元相较于第一单元对我来说感觉较简单，但由于我总是拖到ddl前的最后几
第二单元实验总结 | TrickEye 目录第二单元实验总结 | TrickEye基本情况部分架构篇：个人代码结构分析架构篇：设计模式的使用和思考架构篇：协作图调度篇：电梯自调度-ALS与LOOK调度篇：多电梯协作-自由竞争与预先分配调度篇：换乘安排-预先安排和动态安排测试篇：强测与互测感想 基本情况部分
OO电梯单元回顾 HW5 直接上图！ UML 协作图 可以看出，这次作业的架构非常清晰易懂，调度策略方面一开始使用的是ALS，后来用的是look，这也导致了我写的look策略中有颇有ALS的遗风。。。。 同步块的设置和锁的选择 使用synchronized方法将Scheduler中的方法锁住，防止出现异常情况。
oo第二单元总结 第一次作业 同步 第一次作业中只有请求队列Queue共享给InputThread和Building两个线程，使用最简单的synchronized进行同步。 调度器 第一次作业独立出了调度器，采用Look策略，通过共享elevator和queue实例与线程交互。 架构 Bug 错误理解开关门时间导致TLE：修
OO 第二单元总结 一、作业架构设计与分析 1、homework5 1.1 UML 类图 1.2 UML 协作图 1.3 架构设计 请求处理方式 在此次作业中我采用了生产者消费者模式，InputThread 线程获取输入请求，再通过 NewMainBuilding 线程分发给各个楼座(SubBuilding)，电梯作为消费者从各个楼座获取请求
OO 第二单元总结 1作业综述 本单元作业共计三次，核心内容为迭代开发java程序模拟电梯的运行，要求按固定格式输出电梯运行过程中电梯到达楼层和开关门的信息以及乘客进出电梯的信息。其中，第一次仅仅有5个纵向电梯，第二次在第一次的基础上增加了横向电梯，并且允许动态增加电梯数量，但是乘
OO第二单元总结 作业架构及分析 hw5 基本要求 A-E五栋楼，每栋楼里一部电梯，实现电梯调度模拟。 基本设计（架构&策略&同步块&调度器） 本次作业由于之前没有接触过多线程编程，我小心翼翼地参（照）考（抄）了实验架构。采用生产者-消费者模式，构建ReQQ类作为“托盘”作为共享对象，分别在: （1）总调度器
OO_第二单元总结 第一次作业 架构 我采用的是生产者-消费者模型。有一个读入线程负责读入请求并发送给调度器。用一个调度器当输入请求来临时，由调度器分配给五个楼座的电梯线程去执行运送任务 同步块和锁 输出线程：为保证TimableOutput。println()的线程安全，我创建了一个新的输出类
OO 第二单元总结 第二单元的任务是设计一个电梯调度的程序，需要我们设计调度方法以便在相对较短的时间内将乘客送到目的地。主要应用多线程的知识，包括多线程中的同步和互斥，以及避免出现死锁。理解线程间如何进行通信以及如何保持通信的安全，就已经完成了本单元任务的大部分。 第一次
