摘要：
应试用，VS使用习惯和JB系差别还是蛮大的 打不过他们就加入他们 键位修改 工具 选项 键盘：改keymap 字体和颜色：宋体必改。 自动恢复：自动保存默认3分钟 CMake：自救时可以看一下 键位名修改备忘 编辑.设置文档的格式：对应 编辑.下开新行：对应 编辑.替换 中文编码 UTF8乱码是因为 阅读全文
摘要：
这篇博客总述了从RCNN到Mask RCNN的发展过程 https://blog.csdn.net/heavenpeien/article/details/80534963 简单的说，Fast RCNN和Faster RCNN解决的都是速度问题，到Faster RCNN时才真正实现了端到端 Mask 阅读全文
摘要：
最近需要实现一个服务程序的graceful exiting，保证在退出前关闭所有已创建的子线程 python借助 异常响应键盘中断，因此首先尝试在子线程中try catch这个异常（失败） 查阅原因，键盘中断只有主线程可以响应并处理，子线程无法收到这个异常。因此可以使用类似这样的结构： 除此之外，查 阅读全文
摘要：
第四单元架构设计 第四单元要完成的是对给定UML元素的建模/统计/分析，考虑到UML元素的组织是树状的，很容易想到基于树状的数据结构完成 由于UML元素已经由官方接口给出，因此结点类采用wrapper的形式简化设计。建图的过程为： 1. 根据不同元素type选用不同的wrapper生成对应结点。其实 阅读全文
摘要：
JML及其工具链 JML发展概述及语法回顾 Java Modeling Language (JML)是一种接口行为规格描述语言，使用它我们可以快速建模接口行为，同时借助各种工具实现一些自动化的检查，确保程序各部分符合功能需求。 基本使用： 对接口的前置条件、后置条件及副作用进行断言式描述 使规格描述 阅读全文
摘要：
一般的调试流程其实很简单：发现问题，稳定复现，确定临界条件，定位问题，修复问题，核查结果。迭代这个过程，形成一个闭环 老实说，OS的实验代码，开箱体验极差，程序跳来跳去，进了Lab4后还要考虑内核态切换，很难靠肉眼完成上述闭环。debug愉悦指数为负。 所以在几周的探索后，我大概总结整理了一些调试经 阅读全文
摘要：
电梯的这三次作业是对并发编程的一次管窥，感觉收获还是蛮多的。在设计上有好的地方也有不足，这里简单回顾总结一下 设计总述 电梯这个问题由于比较贴近真实生活，所以需求还是很好理解的。总的来说，我的数据处理流程如下（第二次作业）： 1. 使用官方接口读入下一条请求，请求进入总调度器的消息队列 2. 总调度 阅读全文
摘要：
转自 "我的个人博客" 这两天上设计课，最精华的收获就是这十条了 1. Good design is innovative. 好的设计是创新的 2. Good design makes a product useful. 好的设计是实用的 3. Good design is aesthetic. 好 阅读全文
摘要：
又双叒叕转发自 "我的个人博客" 第三次作业写的仓促，很多地方写的没太走心，不出所料被hack了。 ~~虽然有点遗憾，但可以说很直观地学到了一点：尼玛Java的assert为什么要手动开 ea啊我不做人了舅舅。~~ 虽然有点遗憾，但可以说很直观地学到了一点：时刻敬畏墨菲定律。 当然这次作业总体而言还 阅读全文
摘要：
多年以后，面对办公室的屏幕，我会回忆起开始肝第二周OO作业的那个遥远的下午。那时的程序是一个一两百行的符号求导，基类与接口在包里一字排开，工整的注释一望到底 谁能想到，接下来的十几个小时我要经历什么样的噩梦（ 转自 "我的个人博客" 问题描述 我们面临的问题很简单：给定一个符号表达式E，E由幂函数、 阅读全文