這是一個鴿了很久的系列，本來是要記錄完成本科畢設(shè)《狀態(tài)機自動生成與圖形化仿真系統(tǒng)研究與實現(xiàn)》的過程，因為使用的JavaBDD算是一個很老的包了，文檔很少，而且這個領(lǐng)域的資料也...
IP屬地：北京
-
【完結(jié)】畢設(shè)全記錄——JavaBDD的應(yīng)用（布爾表達式的運算、CTL公式解析、模型檢驗） -
無線通信學(xué)習(xí)筆記(二) 大尺度路徑損耗Wireless Communications by Andrea Goldsmith的讀書筆記。 大尺度路徑損耗(path loss & shadowing) 信號傳播概述...
-
clickhouse入門基礎(chǔ)知識了解
隨著業(yè)務(wù)的迅猛增長，Yandex.Metrica目前已經(jīng)成為世界第三大Web流量分析平臺，每天處理超過200億個跟蹤事件。能夠擁有如此驚人的體量，在它背后提供支撐的Click...
-
如何增大Oracle Virtualbox的磁盤空間如何增大Oracle Virtualbox的磁盤空間 背景 在virtualbox中裝好Linux以及Application之后，發(fā)現(xiàn)硬盤空間太小，怎樣才能增加硬盤容量。 這...
-
Debian10 更換軟件源 & 配置中文環(huán)境 & 安裝中文輸入法說明：看了一下，距離發(fā)布上篇文章都快半年了???♂?很抱歉這段時間由于各 (wo) 種 (de) 原 (lan) 因 (duo) 遲遲沒有更文，實際上我有不少東西準備和大家分享...
-
8. 紅黑樹與AVL樹，各自的優(yōu)缺點總結(jié)
RB-Tree和AVL樹作為BBST，其實現(xiàn)的算法時間復(fù)雜度相同，AVL作為最先提出的BBST，貌似RB-tree實現(xiàn)的功能都可以用AVL樹是代替，那么為什么還需要引入RB-...
-
【算法日積月累】13-二分搜索樹如何查找 我們先從二分查找法開始說起，生活中，如果我們擺放物品是按照一定規(guī)律的話，那么查找起來就會非?？?，如果我們雜亂無章的擺放我們的物品，那么找起來就非常費勁，我們幾乎要看...
-
Microsoft Visual Studio 2017 Installer Projects這是一個易于發(fā)布 VS 項目的官方插件，以下是簡要使用介紹。 1.安裝插件 VS 工具欄 > 工具 > 擴展和更新 > 聯(lián)機 > 搜索 Microsoft Visual St...
-
使用 WPF 和 MySQL 搭建小型人資管理系統(tǒng)——引言
前言 本人是某211的計算機系大四學(xué)生，雖然菜但是熱愛學(xué)習(xí)，希望能在各方面提高自己。九月剛開學(xué)不久，經(jīng)同學(xué)介紹，接到了一個小項目，主要內(nèi)容是給某公司做一個人資管理系統(tǒng)，用于管...
