< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
解n階線形方程組Ax=b的列主元高斯消去法的通用程序如下(下列程序都是在 matlab平臺下編寫的)
標簽： matlab 程序 Ax 方程
上傳時間： 2016-05-16
上傳用戶：myworkpost
用過采樣和求均值提高ADC分辨率 很多應用需要使用模/數轉換器 ADC 進行測量 這些應用所需要的分辨率取決于信號的動 態范圍 必須測量的參數的最小變化和信噪比 SNR 因此 很多系統使用較高分辨率的片外ADC 然而也可以通過使用一些技術來達到較高的分辨率和SNR 本應用筆記介紹用過采樣和求均值的方 法來提高模數轉換的分辨率和SNR 過采樣和求均值技術可以在不使用昂貴的片外ADC的情況下提 高測量分辨率 本應用筆記討論如何使用過采樣和求均值的方法來提高模/數轉換 ADC 測量的分辨率 另 外 本文最后的附錄A B和C分別給出了對ADC噪聲的深入分析 最適合過采樣技術的ADC噪聲 類型和使用過采樣和求均值技術的示例代碼
標簽： ADC SNR 分辨率 測量
上傳時間： 2016-06-21
上傳用戶：hanli8870
B+樹算法,沒有密碼,供學習使用.質量高
標簽： 樹 密碼 算法 質量
上傳時間： 2014-09-10
上傳用戶：遠遠ssad
RSA核心運算使用的乘模算法就是 M(A*B)。雖然M(A*B)并不是乘模所需要的真正結果，但只要在冪模算法中進行相應的修改，就可以調用這個乘模算法進行計算了。本軟件起初未使用Montgomery 乘模算法時，加密速度比使用Montgomery乘模算法慢，但速度相差不到一個數量級。 將上述乘模算法結合前面敘述的冪模算法，構成標準Montgomery冪模算法，即本軟件所使用的流程
標簽： RSA 模 核心 運算
上傳時間： 2016-07-16
上傳用戶：hullow
高斯－塞德爾迭代法算法： 設方程組AX=b 的系數矩陣的對角線元素 ，M為迭代次數容許的最大值， 為容許誤差。 ① 取初始向量 ，令k=0 ② 對 計算 ③ 如果 ，則輸出 ，結束；否則執行④， ④ 如果 ，則不收斂，終止程序；否則 ，轉②。
標簽： AX 高斯 迭代法 算法
上傳時間： 2014-01-22
上傳用戶：集美慧
這是一個由java寫成的猜數字遊戲！目的在猜4個數字！如果輸入的數字和位置是對的等於一個A！如果只有數字對但位置不對等於一個B！由此來推測出正確的4個數字！
標簽： java 正
上傳時間： 2016-10-26
上傳用戶：ecooo
程序清單A中收錄了產生PPM-TH和PAM-DS這兩個信號源的所有函數；程序清單B中收錄了加性高斯白噪聲（AWGN）信道建模，正交和非正交單脈沖PPM-TH接收機結構，以及反極性PAM-DS單脈沖接收機結構仿真所需的所有函數。
標簽： PPM-TH PAM-DS AWGN 程序
上傳時間： 2013-12-22
上傳用戶：hwl453472107
這是二分法程序。滿足f(a)*f(b)<0d的f(x)在[a,b]區間的實根。 優點：1）程序簡單； 2）對f(x)要求不高，收斂性好。
標簽： 程序 lt 分
上傳時間： 2013-12-18
上傳用戶：wpwpwlxwlx
大數的模運算。 a^b ％ m a可以為1000位的大數，b，m在int 范圍內
標簽： 1000 模 運算
上傳時間： 2014-01-01
上傳用戶：heart520beat
蟲蟲下載站版權所有 京ICP備2021023401號-1
