操作系統(tǒng)形式化驗證實踐教程(1) - 證明第一個定理 形式化方法分為三個主要部分：系統(tǒng)建模(System Modeling)、形式規(guī)約(Formal Specificatio...
發(fā)簡信
IP屬地：北京
-
操作系統(tǒng)形式化驗證實踐教程(1) - 證明第一個定理 -
Standard ML快餐教程(1) - 初識
Standard ML快餐教程(1) - 初識 好久沒寫快餐教程了，下面開始一個新的系列，關(guān)于函數(shù)式編程語言的系列。打算寫三種語言：Standard ML，ocaml和Has...
-
“李達(dá)康”的成功學(xué)作為《人民的名義》中的配角，吳剛飾演的京州市委書記李達(dá)康火了。這位一身正氣但又帶點狡黠，追求政績但又不忘初心，愛惜羽毛但又敢闖敢拼，性格暴躁但又是非分明的復(fù)雜人物，極大顛覆了...
-
2.2.3 純隨機(jī)性檢測純隨機(jī)性檢測也成白噪聲檢測，是專門用來檢測序列是否為純隨機(jī)序列的一種方法。我們知道如果一個序列是純隨機(jī)序列，那么它的序列值之間應(yīng)該沒有任何關(guān)聯(lián)關(guān)系，這是一種理論上才會出現(xiàn)的理...
-
公告：關(guān)于暫停用戶發(fā)布功能，并全面清查平臺內(nèi)容
親愛的簡書用戶 「簡書」因個別上傳作品用戶違反《中華人民共和國網(wǎng)絡(luò)安全法》《互聯(lián)網(wǎng)信息服務(wù)管理辦法》《互聯(lián)網(wǎng)新聞信息服務(wù)管理規(guī)定》《互聯(lián)網(wǎng)用戶公眾賬號信息服務(wù)管理規(guī)定》《移動...
-
一會輕，一會用力，女人真的是麻煩！
用力，沒吃飯??！ 輕點，這么用力干嘛！ 不得不說，女人要求真的多，明明十幾分鐘的快活時間，卻被搞得一點心情都沒有了！ 千萬不要試圖揣摩一個女人的想法，可能前一秒是這樣想的，但...
-
普通人走向財務(wù)自由的兩條腿——主動收入和被動收入
主動收入和被動收入，是普通人走向財務(wù)自由的兩條腿。 大多數(shù)人不可能去創(chuàng)業(yè)，不可能全職去投資，很難一下子跨入企業(yè)家象限和投資人象限。 一是本金不足，再高超的理財技能，也難以達(dá)到...
個人介紹