這是一個(gè)鴿了很久的系列，本來是要記錄完成本科畢設(shè)《狀態(tài)機(jī)自動(dòng)生成與圖形化仿真系統(tǒng)研究與實(shí)現(xiàn)》的過程，因?yàn)槭褂玫腏avaBDD算是一個(gè)很老的包了，文檔很少，而且這個(gè)領(lǐng)域的資料也...
IP屬地：北京
-
【完結(jié)】畢設(shè)全記錄——JavaBDD的應(yīng)用（布爾表達(dá)式的運(yùn)算、CTL公式解析、模型檢驗(yàn)） -
陰影衰落與路徑衰落的混合那里，對(duì)數(shù)形式，等式的最后一個(gè)減號(hào)弄錯(cuò)了，應(yīng)該是加號(hào)??
無線通信學(xué)習(xí)筆記(二) 大尺度路徑損耗
Wireless Communications by Andrea Goldsmith的讀書筆記。 大尺度路徑損耗(path loss & shadowing) 信號(hào)傳播概述...
-
無線通信學(xué)習(xí)筆記(二) 大尺度路徑損耗Wireless Communications by Andrea Goldsmith的讀書筆記。 大尺度路徑損耗(path loss & shadowing) 信號(hào)傳播概述...
-
clickhouse入門基礎(chǔ)知識(shí)了解
隨著業(yè)務(wù)的迅猛增長，Yandex.Metrica目前已經(jīng)成為世界第三大Web流量分析平臺(tái)，每天處理超過200億個(gè)跟蹤事件。能夠擁有如此驚人的體量，在它背后提供支撐的Click...
-
硅谷資深工程師
-
-
如何增大Oracle Virtualbox的磁盤空間如何增大Oracle Virtualbox的磁盤空間 背景 在virtualbox中裝好Linux以及Application之后，發(fā)現(xiàn)硬盤空間太小，怎樣才能增加硬盤容量。 這...
-
Debian10 更換軟件源 & 配置中文環(huán)境 & 安裝中文輸入法說明：看了一下，距離發(fā)布上篇文章都快半年了???♂?很抱歉這段時(shí)間由于各 (wo) 種 (de) 原 (lan) 因 (duo) 遲遲沒有更文，實(shí)際上我有不少東西準(zhǔn)備和大家分享...
-
并不是大佬。。。你加加油，肯定能做得更好滴~??
畢設(shè)全記錄——開端
我的本科畢設(shè)，從四月中下旬開始到六月中上旬結(jié)束，共耗時(shí)將近兩個(gè)月。期間學(xué)到了很多，收獲頗豐，在此對(duì)于畢設(shè)做一個(gè)完整的記錄，分享給大家。 動(dòng)機(jī)與心態(tài) 其實(shí)，對(duì)于我們學(xué)校的學(xué)生來...
-
哈哈，你應(yīng)該不認(rèn)識(shí)，xhj老師
畢設(shè)全記錄——探索 JavaBDD
這篇文章會(huì)介紹一種能高效操作 BDD（Binary Decision Diagrams，二叉決策圖）和布爾函數(shù)的數(shù)據(jù)結(jié)構(gòu) —— JavaBDD。二叉決策圖廣泛用于模型檢查，形...
-
現(xiàn)在不在學(xué)校，也沒整理好，后續(xù)有機(jī)會(huì)會(huì)發(fā)出來的~
畢設(shè)全記錄——探索 JavaBDD
這篇文章會(huì)介紹一種能高效操作 BDD（Binary Decision Diagrams，二叉決策圖）和布爾函數(shù)的數(shù)據(jù)結(jié)構(gòu) —— JavaBDD。二叉決策圖廣泛用于模型檢查，形...
-
畢設(shè)全記錄——探索 JavaBDD這篇文章會(huì)介紹一種能高效操作 BDD（Binary Decision Diagrams，二叉決策圖）和布爾函數(shù)的數(shù)據(jù)結(jié)構(gòu) —— JavaBDD。二叉決策圖廣泛用于模型檢查，形...
-
8. 紅黑樹與AVL樹，各自的優(yōu)缺點(diǎn)總結(jié)
RB-Tree和AVL樹作為BBST，其實(shí)現(xiàn)的算法時(shí)間復(fù)雜度相同，AVL作為最先提出的BBST，貌似RB-tree實(shí)現(xiàn)的功能都可以用AVL樹是代替，那么為什么還需要引入RB-...
-
文章隨便轉(zhuǎn)，不要來問我
-
【算法日積月累】13-二分搜索樹如何查找 我們先從二分查找法開始說起，生活中，如果我們擺放物品是按照一定規(guī)律的話，那么查找起來就會(huì)非常快，如果我們雜亂無章的擺放我們的物品，那么找起來就非常費(fèi)勁，我們幾乎要看...
-
畢設(shè)全記錄——探索 Graphviz這一篇會(huì)介紹畫圖利器 Graphviz，并展示一些有側(cè)重點(diǎn)的應(yīng)用，并記錄在完成畢設(shè)過程中探索 Graphviz 的過程。 Graphviz 是一個(gè)開源的圖形可視化軟件，官網(wǎng)：...
-
畢設(shè)全記錄——開端
我的本科畢設(shè)，從四月中下旬開始到六月中上旬結(jié)束，共耗時(shí)將近兩個(gè)月。期間學(xué)到了很多，收獲頗豐，在此對(duì)于畢設(shè)做一個(gè)完整的記錄，分享給大家。 動(dòng)機(jī)與心態(tài) 其實(shí)，對(duì)于我們學(xué)校的學(xué)生來...
-
實(shí)習(xí)二三事（下）繼續(xù)上篇的內(nèi)容。經(jīng)過寒假前的一次失敗的面試，也讓我知道了自己努力的方向，于是在寒假期間和剛開學(xué)的那段時(shí)間就開始學(xué)習(xí) Java 后臺(tái)的方向... 尋覓 開學(xué)以后就是春招的時(shí)期了...
-
實(shí)習(xí)二三事（上）近期畢設(shè)差不多已完成，現(xiàn)在可以開始補(bǔ)上這兩個(gè)月見計(jì)劃寫但沒寫的文章了?? 緣起 還要從去年年底說起。那會(huì)兒快放寒假了，大四上學(xué)期即將結(jié)束。我的時(shí)間還算充足，就想著抓緊時(shí)間提高一...
