这是一个鸽了很久的系列，本来是要记录完成本科毕设《状态机自动生成与图形化仿真系统研究与实现》的过程，因为使用的JavaBDD算是一个很老的包了，...

说明：看了一下，距离发布上篇文章都快半年了🤦‍♂️很抱歉这段时间由于各 (wo) 种 (de) 原 (lan) 因 (duo) 迟迟没有更文，实...

这篇文章会介绍一种能高效操作 BDD（Binary Decision Diagrams，二叉决策图）和布尔函数的数据结构 —— JavaBDD。...

这一篇会介绍画图利器 Graphviz，并展示一些有侧重点的应用，并记录在完成毕设过程中探索 Graphviz 的过程。 Graphviz 是一...

继续上篇的内容。经过寒假前的一次失败的面试，也让我知道了自己努力的方向，于是在寒假期间和刚开学的那段时间就开始学习 Java 后台的方向... ...

近期毕设差不多已完成，现在可以开始补上这两个月见计划写但没写的文章了😉 缘起 还要从去年年底说起。那会儿快放寒假了，大四上学期即将结束。我的时间...

首先需要和大家说明一下。。。最近一两个月我都没怎么更新文章，一是因为发生的事情比较多，时间不是很够（四月份去北京找了实习，五月份回到学校做毕设）...

几个月前，我完成了一次网络综合实验的课设，内容是要设计并实现一个网站下载程序。感觉里面有几个地方挺有意思的，于是在此记录下自己的思路，与大家分享...