這是一個鴿了很久的系列，本來是要記錄完成本科畢設(shè)《狀態(tài)機(jī)自動生成與圖形化仿真系統(tǒng)研究與實(shí)現(xiàn)》的過程瓶盛，因為使用的JavaBDD算是一個很老的包了，文檔很少访得，而且這個領(lǐng)域的資料也...
IP屬地：北京
-
【完結(jié)】畢設(shè)全記錄——JavaBDD的應(yīng)用（布爾表達(dá)式的運(yùn)算峭判、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) 遲遲沒有更文鞋仍，實(shí)際上我有不少東西準(zhǔn)備和大家分享...
-
8. 紅黑樹與AVL樹，各自的優(yōu)缺點(diǎn)總結(jié)
RB-Tree和AVL樹作為BBST搅吁，其實(shí)現(xiàn)的算法時間復(fù)雜度相同威创，AVL作為最先提出的BBST落午，貌似RB-tree實(shí)現(xiàn)的功能都可以用AVL樹是代替，那么為什么還需要引入RB-...
-
【算法日積月累】13-二分搜索樹如何查找 我們先從二分查找法開始說起肚豺，生活中溃斋，如果我們擺放物品是按照一定規(guī)律的話，那么查找起來就會非澄辏快梗劫，如果我們雜亂無章的擺放我們的物品，那么找起來就非常費(fèi)勁截碴，我們幾乎要看...
-
Microsoft Visual Studio 2017 Installer Projects這是一個易于發(fā)布 VS 項目的官方插件梳侨，以下是簡要使用介紹。 1.安裝插件 VS 工具欄 > 工具 > 擴(kuò)展和更新 > 聯(lián)機(jī) > 搜索 Microsoft Visual St...
-
使用 WPF 和 MySQL 搭建小型人資管理系統(tǒng)——引言
前言 本人是某211的計算機(jī)系大四學(xué)生日丹，雖然菜但是熱愛學(xué)習(xí)走哺，希望能在各方面提高自己。九月剛開學(xué)不久哲虾，經(jīng)同學(xué)介紹丙躏，接到了一個小項目，主要內(nèi)容是給某公司做一個人資管理系統(tǒng)妒牙，用于管...
