这是一个鸽了很久的系列,本来是要记录完成本科毕设《状态机自动生成与图形化仿真系统研究与实现》的过程,因为使用的JavaBDD算是一个很老的包了,...
说明:看了一下,距离发布上篇文章都快半年了🤦♂️很抱歉这段时间由于各 (wo) 种 (de) 原 (lan) 因 (duo) 迟迟没有更文,实...
这篇文章会介绍一种能高效操作 BDD(Binary Decision Diagrams,二叉决策图)和布尔函数的数据结构 —— JavaBDD。...
这一篇会介绍画图利器 Graphviz,并展示一些有侧重点的应用,并记录在完成毕设过程中探索 Graphviz 的过程。 Graphviz 是一...
我的本科毕设,从四月中下旬开始到六月中上旬结束,共耗时将近两个月。期间学到了很多,收获颇丰,在此对于毕设做一个完整的记录,分享给大家。 动机与心...
继续上篇的内容。经过寒假前的一次失败的面试,也让我知道了自己努力的方向,于是在寒假期间和刚开学的那段时间就开始学习 Java 后台的方向... ...
近期毕设差不多已完成,现在可以开始补上这两个月见计划写但没写的文章了😉 缘起 还要从去年年底说起。那会儿快放寒假了,大四上学期即将结束。我的时间...
首先需要和大家说明一下。。。最近一两个月我都没怎么更新文章,一是因为发生的事情比较多,时间不是很够(四月份去北京找了实习,五月份回到学校做毕设)...
几个月前,我完成了一次网络综合实验的课设,内容是要设计并实现一个网站下载程序。感觉里面有几个地方挺有意思的,于是在此记录下自己的思路,与大家分享...