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

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

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

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

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

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

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

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

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

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