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