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