《高斯隨機過程的局部時和隨機流形》主要介紹幾類高斯隨機過程在局部時和隨機流動形等方面的最新研究進展，較為系統(tǒng)地講述局部時和隨機流動形這些概率論中的重要問題.主要內(nèi)容包括：①分數(shù)布朗運動、多分數(shù)布朗運動和次分數(shù)布朗運動等幾類高斯過程的局部時；②由分數(shù)布朗運動驅(qū)動的Ornstein-Uhlenbeck過程的碰撞局部時；③兩

本書架構(gòu)上分為函數(shù)極限、微分方程、多元微分學，多元函數(shù)積分、級數(shù)4個部分，章節(jié)設計由淺入深逐步遞進。在微分方程部分，包括微分方程的求解及應用。多元微分學部分，包括多元函數(shù)的概念、求導方法、多元函數(shù)偏導數(shù)的意義。多元函數(shù)積分學部分，包括重積分、二重積分和三重積分、曲線積分和曲面積分。級數(shù)部分，包括級數(shù)內(nèi)容。教材每節(jié)后均配

全書共9章，前8章分別討論聲吶方程、海洋的聲學特性、海洋中的聲傳播理論、典型傳播條件下的聲傳播、聲波在聲吶目標上的反射和散射、海洋中的混響、水下噪聲、聲傳播起伏。本書最后一章簡要介紹近些年來的部分水聲科技進展。

本書主要講述了多維標度方法的主要內(nèi)容。結(jié)合作者五年來在優(yōu)化教學課程中的經(jīng)驗及研究內(nèi)容，研究成果，總結(jié)整理而成。主要包括三大部分內(nèi)容。第一部分(第一章至第六章)介紹多維標度方法的傳統(tǒng)內(nèi)容,包括經(jīng)典多維標度方法,度量多維標度方法,非度量多維標度方法,及多維標度方法應用的具體流程.第二部分(第七章)介紹多維標度方法的最新進展

本書內(nèi)容為：有限元法構(gòu)造及其在電子計算機實現(xiàn)解題的全過程，橢圓邊值問題變分原理、有限元解的收斂性、非標準有限元法，以及有限元法在科學與工程中的應用，并且介紹了作者幾年來在工程問題中的部分研究結(jié)果。

圖像信號本質(zhì)上可以看作是關(guān)于一組基向量的稀疏表示，而稀疏表示是獲得、表示和壓縮圖像信號的一種強有力的工具。從稀疏約束的角度來劃分，可以將稀疏表示分為五類，分別為（1）基于最小化L0范數(shù)的稀疏表示，（2）基于最小化Lp（0＜p＜1）范數(shù)的稀疏表示，（3）基于最小化L1范數(shù)的稀疏表示，（4）基于最小化L2,1范數(shù)的稀疏表示

本書系統(tǒng)地介紹流體力學中的基本方程，即：不可壓縮Navier-Stokes方程的最新理論和方法，著重介紹Fourier分離方法及其在Navier-Stokes方程中的應用。具體講，就是用此方法建立大初值整體弱解在范數(shù)意義下的最優(yōu)大時間行為，以及整體小初值強解在范數(shù)意義下的長時間漸近行為。本書循序漸進地闡述Navier-

以作者20年來的研究成果為基礎(chǔ)，精選一批在傳統(tǒng)物理學教科書中無法深入討論的重要問題，借助新版本Mathematica強大的符號運算和數(shù)值計算能力、杰出的數(shù)字繪圖以及動畫制作功能，圖文并茂地展現(xiàn)各個重要實問題的物理內(nèi)涵.本書內(nèi)容有電場、磁場、動力學微分方程的數(shù)值解與運動軌跡、量子力學四章.選題經(jīng)典，內(nèi)容先進，方法新穎，分

布爾巴基學派的序、代數(shù)、拓撲三大母結(jié)構(gòu)是現(xiàn)代數(shù)學的基礎(chǔ).利用計算機證明輔助工具,可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng).《公理化集合論機器證明系統(tǒng)》利用交互式定理證明工具Coq,實現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對該體系中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述,其

《高等代數(shù)問題求解的多向思維》是作者結(jié)合多年給數(shù)學專業(yè)本科生進行高等代數(shù)考研輔導的有關(guān)內(nèi)容,和長期的探索積累編著而成的。《高等代數(shù)問題求解的多向思維》精選包括多項式、行列式、線性方程組、矩陣、二次型、線性空間、線性變換、λ-矩陣、歐幾里得空間等內(nèi)容的典型例題，給出多種證法或解法，反映高等代數(shù)各類知識點之間的有機聯(lián)系，注