IP屬地：北京
-
【完結(jié)】畢設(shè)全記錄——JavaBDD的應(yīng)用（布爾表達(dá)式的運(yùn)算、CTL公式解析、模型檢驗(yàn)）這是一個(gè)鴿了很久的系列，本來(lái)是要記錄完成本科畢設(shè)《狀態(tài)機(jī)自動(dòng)生成與圖形化仿真系統(tǒng)研究與實(shí)現(xiàn)》的過程，因?yàn)槭褂玫腏avaBDD算是一個(gè)很老的包了，...
-
Debian10 更換軟件源 & 配置中文環(huán)境 & 安裝中文輸入法說(shuō)明：看了一下，距離發(fā)布上篇文章都快半年了???♂?很抱歉這段時(shí)間由于各 (wo) 種 (de) 原 (lan) 因 (duo) 遲遲沒有更文，實(shí)...
-
畢設(shè)全記錄——探索 JavaBDD這篇文章會(huì)介紹一種能高效操作 BDD（Binary Decision Diagrams，二叉決策圖）和布爾函數(shù)的數(shù)據(jù)結(jié)構(gòu) —— JavaBDD。...
-
畢設(shè)全記錄——探索 Graphviz這一篇會(huì)介紹畫圖利器 Graphviz，并展示一些有側(cè)重點(diǎn)的應(yīng)用，并記錄在完成畢設(shè)過程中探索 Graphviz 的過程。 Graphviz 是一...
-
畢設(shè)全記錄——開端
我的本科畢設(shè)，從四月中下旬開始到六月中上旬結(jié)束，共耗時(shí)將近兩個(gè)月。期間學(xué)到了很多，收獲頗豐，在此對(duì)于畢設(shè)做一個(gè)完整的記錄，分享給大家。 動(dòng)機(jī)與心...
-
實(shí)習(xí)二三事（下）繼續(xù)上篇的內(nèi)容。經(jīng)過寒假前的一次失敗的面試，也讓我知道了自己努力的方向，于是在寒假期間和剛開學(xué)的那段時(shí)間就開始學(xué)習(xí) Java 后臺(tái)的方向... ...
-
實(shí)習(xí)二三事（上）近期畢設(shè)差不多已完成，現(xiàn)在可以開始補(bǔ)上這兩個(gè)月見計(jì)劃寫但沒寫的文章了?? 緣起 還要從去年年底說(shuō)起。那會(huì)兒快放寒假了，大四上學(xué)期即將結(jié)束。我的時(shí)間...
-
推薦幾個(gè)優(yōu)質(zhì)的 Python 學(xué)習(xí)資料（良心推薦，非廣告）首先需要和大家說(shuō)明一下。。。最近一兩個(gè)月我都沒怎么更新文章，一是因?yàn)榘l(fā)生的事情比較多，時(shí)間不是很夠（四月份去北京找了實(shí)習(xí)，五月份回到學(xué)校做畢設(shè)）...
-
用 Python 實(shí)現(xiàn)一個(gè)網(wǎng)頁(yè)下載工具幾個(gè)月前，我完成了一次網(wǎng)絡(luò)綜合實(shí)驗(yàn)的課設(shè)，內(nèi)容是要設(shè)計(jì)并實(shí)現(xiàn)一個(gè)網(wǎng)站下載程序。感覺里面有幾個(gè)地方挺有意思的，于是在此記錄下自己的思路，與大家分享...