摘要：
最近，chrome78更新之后，旧版chrome的导入密码方法已经不再适用：password import选项已经不在chrome://flags中了。 经过一番折腾，发现可以通过以下方法导入密码： 1、找到你的chrome快捷方式，右键打开属性 2、在“目标”一栏的后面加上以下代码： --enab 阅读全文
摘要：
一、作业架构设计 两次作业都采用了相似的架构，因此放在一起来说明。 将UmlClass,UmlInterface,UmlState等封装成对应的MyUmlxxx类，类中除了储存对应的Id,name,parentId等信息外，还会储存查询要用到的所有信息 为所有MyUmlxxx类建立对应的Contai 阅读全文
摘要：
一、JML理论基础及应用工具链情况梳理 JML基础语法 1.requires：定义方法的前置条件，即该方法执行前需要满足的条件； 2.assignable：副作用范围限定，列出这个方法可以修改的类成员属性，assignable \nothing表示这个方法不对任何成员属性进行修改。 3.ensure 阅读全文
摘要：
第一次作业：单部多线程傻瓜调度电梯 设计策略 本次作业我才用的是生产者消费者模式，创建一个RequestList类，将输入线程InputThread作为生产者，负责将请求放入RequestList；将电梯线程ElevatorThread作为消费者，负责从RequestList中取出请求。通过sync 阅读全文
摘要：
前言 OO第一单元共有三次作业，分别为多项式求导、带有三角函数与幂函数的表达式求导、带有嵌套表达式因子的表达式求导。虽然这三次作业都离不开求导，可是每次作业的复杂度都是大大递增的。对于习惯于面向过程编程的我来说，完成这三次作业是一个不小的挑战。我在各个方面也还存在着诸多问题，借由此次博客，我将回顾一 阅读全文