摘要：
JML语言理论基础 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基 阅读全文
摘要：
一、多线程的协同与同步控制 多线程编程是Java重要的编程模式，线程经典的生命周期如下： 可通过继承Thread或者实现Runnable接口来实例化一个线程对象，调用其start()方法使其进入就绪状态，等待JVM的调度。进程在获取资源是有几种阻塞状态： 等待阻塞：运行状态中的线程执行 wait() 阅读全文
摘要：
第一单元的作业为多项式求导，在迭代作业中学习了：对象特性、OO构造机制和层次化设计，在bug互测环节也学习到很多巧妙的设计。 第一次作业 设计了三个类：Term、Derivative和ReportExit，分别处理项、求导和报错退出，如今回头看有很多设计不合理的地方，例如在Term构造方法中直接解析 阅读全文
摘要：
装Ubuntu 划分/ /home swap efi安装启动引导器在efi所在分区，作为唯一主分区即可 提前关闭快速启动，安全启动 Ubuntu sudo apt install shim-signed 之后编辑Ubuntu引导为shimx64.efi 才能重开安全启动 修改顺序 sudo gedi 阅读全文
摘要：
linux删除目录很简单，很多人还是习惯用rmdir，不过一旦目录非空，就陷入深深的苦恼之中，现在使用rm -rf命令即可。 直接rm就可以了，不过要加两个参数-rf 即：rm -rf 目录名字 删除目录、文件 rm(remove) 功能说明：删除文件或目录。 语法：rm [-dfirv][--he 阅读全文