< B語(yǔ)言與方法：實(shí)用形式化開發(fā)指南>> 本書介紹了B抽象機(jī)符號(hào)語(yǔ)言以及用于支持形式化規(guī)格說(shuō)明和高集成 系統(tǒng)開發(fā)的方掛。首先，介紹了B 語(yǔ)言的發(fā)展歷史及與其他語(yǔ)言的關(guān)系，然 后，從集合、序列等基本數(shù)學(xué)符號(hào)表示到B 語(yǔ)言的結(jié)構(gòu)化機(jī)制，再到它所支 持的大型程序設(shè)計(jì)方法，全面地介細(xì)了B 符號(hào)語(yǔ)言的描述方法。
標(biāo)簽： gt 語(yǔ)言 lt 開發(fā)指南
上傳時(shí)間： 2014-11-29
上傳用戶：康郎
UML是一本非常好的面向?qū)ο蟮脑O(shè)計(jì)和架構(gòu)方面的書籍
標(biāo)簽： UML 面向?qū)ο蟮脑O(shè)計(jì) 架構(gòu) 方面
上傳時(shí)間： 2013-12-31
上傳用戶：han_zh
在Matlab環(huán)境下用最小相位法和負(fù)倒譜實(shí)現(xiàn)的對(duì)序列的轉(zhuǎn)換
標(biāo)簽： Matlab 環(huán)境 序列 相位法
上傳時(shí)間： 2016-04-08
上傳用戶：lz4v4
手寫數(shù)字識(shí)別程序. 該程序?qū)崿F(xiàn)了經(jīng)典的模板匹配算法, 基于神經(jīng)網(wǎng)絡(luò)的匹配算法等. 是學(xué)習(xí)人工智能和圖像處理的好的參考資料.
標(biāo)簽： 程序 數(shù)字識(shí)別 匹配算法 人工智能
上傳時(shí)間： 2016-04-11
上傳用戶：skfreeman
絕好的PPT制作參考資料,包含具體制作指導(dǎo)和豐富的動(dòng)態(tài),靜態(tài)實(shí)例.
標(biāo)簽： 參考資料 動(dòng)態(tài)
上傳時(shí)間： 2013-12-17
上傳用戶：王小奇
關(guān)于遺傳算法和梯度算子的圖像邊緣檢測(cè)處理,該文章有很好的研究意義.
標(biāo)簽： 算法 梯度 圖像邊緣檢測(cè)
上傳時(shí)間： 2016-04-14
上傳用戶：懶龍1988
數(shù)據(jù)庫(kù)集群技術(shù)分析和比較,很好的參考，適合寫論文的人
標(biāo)簽： 數(shù)據(jù)庫(kù) 分 集群技術(shù) 比較
上傳時(shí)間： 2014-01-13
上傳用戶：ccclll
基于RCP實(shí)現(xiàn)的CRM系統(tǒng), 數(shù)據(jù)庫(kù)使用mysql數(shù)據(jù)庫(kù), 是學(xué)習(xí)RCP應(yīng)用和插件的很好的例子
標(biāo)簽： RCP mysql CRM 數(shù)據(jù)庫(kù)
上傳時(shí)間： 2016-04-17
上傳用戶：大融融rr
迷宮算法.很好的實(shí)現(xiàn)棧和鏈表的數(shù)據(jù)結(jié)構(gòu)算法
標(biāo)簽： 迷宮算法 棧 數(shù)據(jù)結(jié)構(gòu) 算法
上傳時(shí)間： 2016-04-18
上傳用戶：mhp0114
PCA算法程序設(shè)計(jì)步驟： 1、去均值 2、計(jì)算協(xié)方差矩陣及其特征值和特征向量 3、計(jì)算協(xié)方差矩陣的特征值大于閾值的個(gè)數(shù) 4、降序排列特征值 5、去掉較小的特征值 6、去掉較大的特征值(一般沒(méi)有這一步） 7、合并選擇的特征值 8、選擇相應(yīng)的特征值和特征向量 9、計(jì)算白化矩陣 10、提取主分量
標(biāo)簽： 特征 PCA 協(xié)方差矩陣 計(jì)算
上傳時(shí)間： 2016-04-23
上傳用戶：66666
蟲蟲下載站版權(quán)所有 京ICP備2021023401號(hào)-1
