< B語言與方法:實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先,介紹了B 語言的發展歷史及與其他語言的關系,然 后,從集合、序列等基本數學符號表示到B 語言的結構化機制,再到它所支 持的大型程序設計方法,全面地介細了B 符號語言的描述方法。
上傳時間: 2014-11-29
上傳用戶:康郎
解n階線形方程組Ax=b的列主元高斯消去法的通用程序如下(下列程序都是在 matlab平臺下編寫的)
上傳時間: 2016-05-16
上傳用戶:myworkpost
B+樹算法,沒有密碼,供學習使用.質量高
上傳時間: 2014-09-10
上傳用戶:遠遠ssad
高斯-塞德爾迭代法算法: 設方程組AX=b 的系數矩陣的對角線元素 ,M為迭代次數容許的最大值, 為容許誤差。 ① 取初始向量 ,令k=0 ② 對 計算 ③ 如果 ,則輸出 ,結束;否則執行④, ④ 如果 ,則不收斂,終止程序;否則 ,轉②。
上傳時間: 2014-01-22
上傳用戶:集美慧
程序清單A中收錄了產生PPM-TH和PAM-DS這兩個信號源的所有函數;程序清單B中收錄了加性高斯白噪聲(AWGN)信道建模,正交和非正交單脈沖PPM-TH接收機結構,以及反極性PAM-DS單脈沖接收機結構仿真所需的所有函數。
上傳時間: 2013-12-22
上傳用戶:hwl453472107
這是二分法程序。滿足f(a)*f(b)<0d的f(x)在[a,b]區間的實根。 優點:1)程序簡單; 2)對f(x)要求不高,收斂性好。
上傳時間: 2013-12-18
上傳用戶:wpwpwlxwlx
高斯列主元素消去法求解矩陣方程AX=B,其中A是N*N的矩陣,B是N*M矩陣
上傳時間: 2017-01-01
上傳用戶:lx9076
數值分析高斯——列主元消去法主程序 說明如下: % a----input,matrix of coefficient % b----input,right vector % sol----output,returns the solution of linear equation
標簽: input coefficient matrix vector
上傳時間: 2017-01-01
上傳用戶:dancnc
便攜式B型超聲診斷儀具有無創傷、簡便易行、相對價廉等優勢,在臨床中越來越得到廣泛的應用。它將超聲波技術、微電子技術、計算機技術、機械設計與制造及生物醫學工程等技術融合在一起。開展該課題的研究對提高臨床診斷能力和促進我國醫療事業的發展具有重要的意義。 便攜式B型超聲診斷儀由人機交互系統、探頭、成像系統、顯示系統構成。其基本工作過程是:首先人機交互系統接收到用戶通過鍵盤或鼠標發出的命令,然后成像系統根據命令控制探頭發射超聲波,并對回波信號處理、合成圖像,最后通過顯示系統完成圖像的顯示。 成像系統作為便攜式B型超聲診斷儀的核心對圖像質量有決定性影響,但以前研制的便攜式B型超聲診斷儀的成像系統在三個方面存在不足:第一、采用的是單片機控制步進電機,控制精度不高,導致成像系統采樣不精確;第二、采用的數字掃描變換算法太粗糙,影響超聲圖像的分辨率;第三、它的CPU多采用的是51系列單片機,測量速度太慢,同時也不便于系統升級和擴展。 針對以上不足,提出了基于FPGA的B型超聲成像系統解決方案,采用Altera公司的EP2C5Q208C8芯片實現了步進電機步距角的細分,使電機旋轉更勻速,提高了采樣精度;提出并采用DSTI-ULA算法(Uniform Ladder Algorithm based on Double Sample and Trilinear Interotation)在FPGA內實現數字掃描變換,提高了圖像分辨率;人機交互系統采用S3C2410-AL作為CPU,改善了測量速度和系統的擴展性。 通過對系統硬件電路的設計、制作,軟件的編寫、調試,結果表明,本文所設計的便攜式B型超聲成像系統圖像分辨率高、測量速度快、體積小、操作方便。本文所設計的便攜式B型超聲診斷儀可在野外作業和搶險(諸如地震、抗洪)中發揮作用,同時也可在鄉村診所中完成對相關疾病的診斷工作。
上傳時間: 2013-05-18
上傳用戶:helmos
超聲理論與技術的快速發展,使超聲設備不斷更新,超聲檢查已成為預測和評價疾病及其治療結果不可缺少的重要方法。超聲診斷技術不僅具有安全、方便、無損、廉價等優點,其優越性還在于它選用診斷參數的多樣性及其在工程上實現的靈活性。 全數字B超診斷儀基于嵌入式ARM9+FPGA硬件平臺、LINUX嵌入式操作系統,是一種新型的、操作方便的、技術含量高的機型。它具有現有黑白B超的基本功能,能夠對超聲回波數據進行靈活的處理,從而使操作更加方便,圖象質量進一步提高,并為遠程醫療、圖像存儲、拷貝等打下基礎,是一種很有發展前景、未來市場的主打產品。全數字B型超聲診斷儀的基本技術特點是用數字硬件電路來實現數據量極其龐大的超聲信息的實時處理,它的實現主要倚重于FPGA技術。現在FPGA已經成為多種數字信號處理(DSP)應用的強有力解決方案。硬件和軟件設計者可以利用可編程邏輯開發各種DSP應用解決方案。可編程解決方案可以更好地適應快速變化的標準、協議和性能需求。 本論文首先闡述了醫療儀器發展現狀和嵌入式計算機體系結構及發展狀況,提出了課題研究內容和目標。然后從B超診斷原理及全數字B超診斷儀設計入手深入分析了B型超聲診斷儀的系統的硬件體系機構。對系統的總體框架和ARM模塊設計做了描述后,接著分析了超聲信號進行數字化處理的各個子模塊、可編程邏輯器件的結構特點、編程原理、設計流程以及ARM處理模塊和FPGA模塊的主要通訊接口。接著,本論文介紹了基于ARM9硬件平臺的LINUX嵌入式操作系統的移植和設備驅動的開發,詳細描述了B型超聲診斷儀的軟件環境的架構及其設備驅動的詳細設計。最后對整個系統的功能和特點進行了總結和展望。
上傳時間: 2013-05-28
上傳用戶:sssnaxie