這是一個(gè)鴿了很久的系列，本來(lái)是要記錄完成本科畢設(shè)《狀態(tài)機(jī)自動(dòng)生成與圖形化仿真系統(tǒng)研究與實(shí)現(xiàn)》的過(guò)程呼奢，因?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)??
無(wú)線通信學(xué)習(xí)筆記(二) 大尺度路徑損耗
Wireless Communications by Andrea Goldsmith的讀書(shū)筆記横漏。 大尺度路徑損耗(path loss & shadowing) 信號(hào)傳播概述...
-
無(wú)線通信學(xué)習(xí)筆記(二) 大尺度路徑損耗Wireless Communications by Andrea Goldsmith的讀書(shū)筆記。 大尺度路徑損耗(path loss & shadowing) 信號(hào)傳播概述...
-
clickhouse入門(mén)基礎(chǔ)知識(shí)了解
隨著業(yè)務(wù)的迅猛增長(zhǎng)熟掂，Yandex.Metrica目前已經(jīng)成為世界第三大Web流量分析平臺(tái)缎浇，每天處理超過(guò)200億個(gè)跟蹤事件。能夠擁有如此驚人的體量赴肚，在它背后提供支撐的Click...
-
硅谷資深工程師
-
-
如何增大Oracle Virtualbox的磁盤(pán)空間如何增大Oracle Virtualbox的磁盤(pán)空間 背景 在virtualbox中裝好Linux以及Application之后侣夷，發(fā)現(xiàn)硬盤(pán)空間太小，怎樣才能增加硬盤(pán)容量仑乌。 這...
-
Debian10 更換軟件源 & 配置中文環(huán)境 & 安裝中文輸入法說(shuō)明：看了一下百拓，距離發(fā)布上篇文章都快半年了???♂?很抱歉這段時(shí)間由于各 (wo) 種 (de) 原 (lan) 因 (duo) 遲遲沒(méi)有更文，實(shí)際上我有不少東西準(zhǔn)備和大家分享...
-
并不是大佬晰甚。衙传。。你加加油厕九，肯定能做得更好滴~??
畢設(shè)全記錄——開(kāi)端
我的本科畢設(shè)蓖捶，從四月中下旬開(kāi)始到六月中上旬結(jié)束，共耗時(shí)將近兩個(gè)月扁远。期間學(xué)到了很多俊鱼，收獲頗豐，在此對(duì)于畢設(shè)做一個(gè)完整的記錄畅买，分享給大家并闲。 動(dòng)機(jī)與心態(tài) 其實(shí)，對(duì)于我們學(xué)校的學(xué)生來(lái)...
-
哈哈谷羞，你應(yīng)該不認(rèn)識(shí)帝火，xhj老師
畢設(shè)全記錄——探索 JavaBDD
這篇文章會(huì)介紹一種能高效操作 BDD（Binary Decision Diagrams，二叉決策圖）和布爾函數(shù)的數(shù)據(jù)結(jié)構(gòu) —— JavaBDD湃缎。二叉決策圖廣泛用于模型檢查犀填，形...
-
現(xiàn)在不在學(xué)校，也沒(méi)整理好嗓违，后續(xù)有機(jī)會(huì)會(huì)發(fā)出來(lái)的~
畢設(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. 紅黑樹(shù)與AVL樹(shù)，各自的優(yōu)缺點(diǎn)總結(jié)
RB-Tree和AVL樹(shù)作為BBST制恍，其實(shí)現(xiàn)的算法時(shí)間復(fù)雜度相同父能，AVL作為最先提出的BBST，貌似RB-tree實(shí)現(xiàn)的功能都可以用AVL樹(shù)是代替净神，那么為什么還需要引入RB-...
-
文章隨便轉(zhuǎn)，不要來(lái)問(wèn)我
-
【算法日積月累】13-二分搜索樹(shù)如何查找 我們先從二分查找法開(kāi)始說(shuō)起爱榕，生活中瓣喊，如果我們擺放物品是按照一定規(guī)律的話，那么查找起來(lái)就會(huì)非城郑快藻三，如果我們雜亂無(wú)章的擺放我們的物品，那么找起來(lái)就非常費(fèi)勁跪者，我們幾乎要看...
-
畢設(shè)全記錄——探索 Graphviz這一篇會(huì)介紹畫(huà)圖利器 Graphviz棵帽，并展示一些有側(cè)重點(diǎn)的應(yīng)用，并記錄在完成畢設(shè)過(guò)程中探索 Graphviz 的過(guò)程渣玲。 Graphviz 是一個(gè)開(kāi)源的圖形可視化軟件逗概，官網(wǎng)：...
-
畢設(shè)全記錄——開(kāi)端
我的本科畢設(shè)，從四月中下旬開(kāi)始到六月中上旬結(jié)束忘衍，共耗時(shí)將近兩個(gè)月逾苫。期間學(xué)到了很多，收獲頗豐淑履，在此對(duì)于畢設(shè)做一個(gè)完整的記錄隶垮，分享給大家。 動(dòng)機(jī)與心態(tài) 其實(shí)秘噪，對(duì)于我們學(xué)校的學(xué)生來(lái)...
-
實(shí)習(xí)二三事（下）繼續(xù)上篇的內(nèi)容狸吞。經(jīng)過(guò)寒假前的一次失敗的面試，也讓我知道了自己努力的方向指煎，于是在寒假期間和剛開(kāi)學(xué)的那段時(shí)間就開(kāi)始學(xué)習(xí) Java 后臺(tái)的方向... 尋覓 開(kāi)學(xué)以后就是春招的時(shí)期了...
-
實(shí)習(xí)二三事（上）近期畢設(shè)差不多已完成蹋偏，現(xiàn)在可以開(kāi)始補(bǔ)上這兩個(gè)月見(jiàn)計(jì)劃寫(xiě)但沒(méi)寫(xiě)的文章了?? 緣起 還要從去年年底說(shuō)起。那會(huì)兒快放寒假了至壤，大四上學(xué)期即將結(jié)束威始。我的時(shí)間還算充足，就想著抓緊時(shí)間提高一...
