240 发简信
IP属地:北京
  • Resize,w 360,h 240
    【完结】毕设全记录——JavaBDD的应用(布尔表达式的运算、CTL公式解析、模型检验)

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

  • Resize,w 360,h 240
    Debian10 更换软件源 & 配置中文环境 & 安装中文输入法

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

  • Resize,w 360,h 240
    毕设全记录——探索 JavaBDD

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

  • Resize,w 360,h 240
    毕设全记录——探索 Graphviz

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

  • 毕设全记录——开端

    我的本科毕设,从四月中下旬开始到六月中上旬结束,共耗时将近两个月。期间学到了很多,收获颇丰,在此对于毕设做一个完整的记录,分享给大家。 动机与心...

  • Resize,w 360,h 240
    实习二三事(下)

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

  • Resize,w 360,h 240
    实习二三事(上)

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

  • Resize,w 360,h 240
    推荐几个优质的 Python 学习资料(良心推荐,非广告)

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

  • Resize,w 360,h 240
    用 Python 实现一个网页下载工具

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