摘要： 1.简单多项式求导 第一次作业的难点，我认为是对输入的预处理，尤其是正则表达式的使用。这次作业的思路是：首先将表达式进行预处理，（由于题目中要求不会有空格产生的WF，所以可以放心大胆的消除空格）。 消除空格之后进行表达式的解析，主要分为表达式的判断，以及对指数以及系数的存储，将指数以及系数分别放在两 阅读全文

摘要： 一、架构 本单元作业的目的是熟悉UML类图的元素及其解析方法，共三次作业，第一次作业解析类图中的各个元素，第二次作业加入了状态图和时序图，第三次对类图的有效性做分析。 第一次作业 本次作业要求实现类图解析器接口，实现的方法如下： 我通过MyUmlInteraction类实现次接口，功能的完成通过对输 阅读全文

摘要： 1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 阅读全文

摘要： 一.电脑基本型号调研 1.上官网或者售后查询电脑是否支持加装固态硬盘； 2.如果支持加装固态硬盘，直接进行硬件层次的操作，操作之后用windows自带的磁盘管理分配硬盘就可以了。不需要安装系统，驱动等复杂的操作了。 3.如果不支持加装固态硬盘，就只能更换固态硬盘，上官网以及售后询问能更换的固态硬盘的 阅读全文