这是一个鸽了很久的系列，本来是要记录完成本科毕设《状态机自动生成与图形化仿真系统研究与实现》的过程，因为使用的JavaBDD算是一个很老的包了，文档很少，而且这个领域的资料也...
IP属地：北京
-
【完结】毕设全记录——JavaBDD的应用（布尔表达式的运算、CTL公式解析、模型检验） -
阴影衰落与路径衰落的混合那里，对数形式，等式的最后一个减号弄错了，应该是加号🐛
无线通信学习笔记(二) 大尺度路径损耗
Wireless Communications by Andrea Goldsmith的读书笔记。 大尺度路径损耗(path loss & shadowing) 信号传播概述...
-
无线通信学习笔记(二) 大尺度路径损耗Wireless Communications by Andrea Goldsmith的读书笔记。 大尺度路径损耗(path loss & shadowing) 信号传播概述...
-
clickhouse入门基础知识了解
随着业务的迅猛增长，Yandex.Metrica目前已经成为世界第三大Web流量分析平台，每天处理超过200亿个跟踪事件。能够拥有如此惊人的体量，在它背后提供支撑的Click...
-
硅谷资深工程师
-
-
如何增大Oracle Virtualbox的磁盘空间如何增大Oracle Virtualbox的磁盘空间 背景 在virtualbox中装好Linux以及Application之后，发现硬盘空间太小，怎样才能增加硬盘容量。 这...
-
Debian10 更换软件源 & 配置中文环境 & 安装中文输入法说明：看了一下，距离发布上篇文章都快半年了🤦♂️很抱歉这段时间由于各 (wo) 种 (de) 原 (lan) 因 (duo) 迟迟没有更文，实际上我有不少东西准备和大家分享...
-
并不是大佬。。。你加加油，肯定能做得更好滴~💪
毕设全记录——开端
我的本科毕设，从四月中下旬开始到六月中上旬结束，共耗时将近两个月。期间学到了很多，收获颇丰，在此对于毕设做一个完整的记录，分享给大家。 动机与心态 其实，对于我们学校的学生来...
-
哈哈，你应该不认识，xhj老师
毕设全记录——探索 JavaBDD
这篇文章会介绍一种能高效操作 BDD（Binary Decision Diagrams，二叉决策图）和布尔函数的数据结构 —— JavaBDD。二叉决策图广泛用于模型检查，形...
-
现在不在学校，也没整理好，后续有机会会发出来的~
毕设全记录——探索 JavaBDD
这篇文章会介绍一种能高效操作 BDD（Binary Decision Diagrams，二叉决策图）和布尔函数的数据结构 —— JavaBDD。二叉决策图广泛用于模型检查，形...
-
毕设全记录——探索 JavaBDD这篇文章会介绍一种能高效操作 BDD（Binary Decision Diagrams，二叉决策图）和布尔函数的数据结构 —— JavaBDD。二叉决策图广泛用于模型检查，形...
-
8. 红黑树与AVL树，各自的优缺点总结
RB-Tree和AVL树作为BBST，其实现的算法时间复杂度相同，AVL作为最先提出的BBST，貌似RB-tree实现的功能都可以用AVL树是代替，那么为什么还需要引入RB-...
-
文章随便转，不要来问我
-
【算法日积月累】13-二分搜索树如何查找 我们先从二分查找法开始说起，生活中，如果我们摆放物品是按照一定规律的话，那么查找起来就会非常快，如果我们杂乱无章的摆放我们的物品，那么找起来就非常费劲，我们几乎要看...
-
毕设全记录——探索 Graphviz这一篇会介绍画图利器 Graphviz，并展示一些有侧重点的应用，并记录在完成毕设过程中探索 Graphviz 的过程。 Graphviz 是一个开源的图形可视化软件，官网：...
-
毕设全记录——开端
我的本科毕设，从四月中下旬开始到六月中上旬结束，共耗时将近两个月。期间学到了很多，收获颇丰，在此对于毕设做一个完整的记录，分享给大家。 动机与心态 其实，对于我们学校的学生来...
-
实习二三事（下）继续上篇的内容。经过寒假前的一次失败的面试，也让我知道了自己努力的方向，于是在寒假期间和刚开学的那段时间就开始学习 Java 后台的方向... 寻觅 开学以后就是春招的时期了...
-
实习二三事（上）近期毕设差不多已完成，现在可以开始补上这两个月见计划写但没写的文章了😉 缘起 还要从去年年底说起。那会儿快放寒假了，大四上学期即将结束。我的时间还算充足，就想着抓紧时间提高一...
