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