< B語言與方法：實(shí)用形式化開發(fā)指南>> 本書介紹了B抽象機(jī)符號語言以及用于支持形式化規(guī)格說明和高集成 系統(tǒng)開發(fā)的方掛。首先，介紹了B 語言的發(fā)展歷史及與其他語言的關(guān)系，然 后，從集合、序列等基本數(shù)學(xué)符號表示到B 語言的結(jié)構(gòu)化機(jī)制，再到它所支 持的大型程序設(shè)計(jì)方法，全面地介細(xì)了B 符號語言的描述方法。
標(biāo)簽： gt 語言 lt 開發(fā)指南
上傳時(shí)間： 2014-11-29
上傳用戶：康郎
遞歸方法實(shí)現(xiàn)HANOI塔問題 子程序模塊個(gè)數(shù)不限。要求: 盤子個(gè)數(shù)可以輸入,第一個(gè)塔為A,第二個(gè)塔為B,第三個(gè)塔的名稱為C。打印出移動(dòng)過程。
標(biāo)簽： HANOI 遞歸 程序 模塊
上傳時(shí)間： 2013-12-22
上傳用戶：小鵬
這是一個(gè)三次樣條插值的.m程序 輸入的是一個(gè)二維數(shù)組A(Nx2) 插值方法為: S(x) = A(J) + B(J)*( x - x(J) ) + C(J)*( x - x(J) )**2 +D(J) * ( x - x(J) )**3 for x(J) <= x < x(J + 1)
標(biāo)簽： Nx2 插值 三次樣條 二維
上傳時(shí)間： 2013-12-14
上傳用戶：gengxiaochao
用b-splines變換的方法實(shí)現(xiàn)分?jǐn)?shù)延遲濾波器matlab仿真程序
標(biāo)簽： b-splines matlab 變換 分?jǐn)?shù)
上傳時(shí)間： 2016-11-08
上傳用戶：yt1993410
小型公司工資管理系統(tǒng) 工資的計(jì)算方法： A 經(jīng)理：固定月薪為8000； B 技術(shù)員：工作時(shí)間＊小時(shí)工資（100元每小時(shí)）； C 銷售員：銷售額＊4％提成； D 銷售經(jīng)理：底薪（5000）＋所轄部門銷售額總額＊0.5％；
標(biāo)簽： 8000 5000 銷售 100
上傳時(shí)間： 2013-12-18
上傳用戶：qilin
功能：用斐波那契法求f(x)在區(qū)間[a,b]上的近似極小值。當(dāng)且僅當(dāng)f(x)在[a,b]上為單峰時(shí)次方法適用
標(biāo)簽：
上傳時(shí)間： 2013-12-24
上傳用戶：csgcd001
黃金分割法求極小值 功能：用黃金分割法求f(x)在區(qū)間[a,b]上的近似極小值。當(dāng)且僅當(dāng)f(x)在[a,b]上為單峰時(shí)次方法適用
標(biāo)簽： 分割
上傳時(shí)間： 2016-12-18
求解大規(guī)模非對稱線性方程組AX=b的迭代方法
標(biāo)簽： AX 大規(guī)模 非對稱 線性
上傳時(shí)間： 2017-02-12
上傳用戶：xiaohuanhuan
VC++實(shí)現(xiàn)圖像檢索技術(shù),VC++實(shí)現(xiàn)圖像檢索技術(shù) a) 采用顏色檢索方法的目的, b) 利用顏色直方圖進(jìn)行檢索
標(biāo)簽： VC 圖像檢索 檢索 直方圖
上傳時(shí)間： 2017-07-08
上傳用戶：lwwhust
杜利特爾三角分解用此方法解Ax=b的方程。
標(biāo)簽： Ax 分解 方程
上傳時(shí)間： 2014-01-04
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
