本書內容包括：緒論、基于H-Hk結構的算子型最小范數(shù)解析解、基于Kriging插值模型的最小范數(shù)插值解、基于高斯過程回歸模型的最小范數(shù)正則解、基于高斯過程回歸模型的有限維逼近解、Burgers方程算例分析。

本書對計算機科學方面的數(shù)理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、通過模型檢測進行驗證、程序驗證、模態(tài)邏輯與代理、二叉判定圖這些內容。本書主要討論有關軟硬件規(guī)范和驗證這一主題的內容，反映了計算機科學中數(shù)理邏輯的新發(fā)展和實際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理，并介紹了Alloy語言和

本書重點研究摩擦界面潤滑液毛細電滲效應對其滲透和潤滑性能的影響，并提出了一種考慮摩擦界面潤滑液毛細電滲效應的促進潤滑液滲透策略。主要內容包括(1)分析摩擦副的材料摩擦表面電荷及其發(fā)射特性，探究摩擦界面潤滑液毛細電滲驅動電場的形成機理與調控機制；(2)在表征潤滑液固/液界面雙電層電導率的基礎上，分析摩擦副材料在不同潤滑液

數(shù)理科學的發(fā)展史是和人類物質文明和精神文明的發(fā)展史交融在一起的，要學好數(shù)理化，就要著重領會數(shù)理科學的思想和精神實質，了解數(shù)理科學在人類文明發(fā)展中所起的關鍵作用。本書主要包括兩篇，第一篇介紹數(shù)學的萌芽與發(fā)展，包括數(shù)與形的概念的發(fā)展總結，對古埃及、古巴比倫、古希臘、古印度、古阿拉伯及古代中國的數(shù)學的介紹；第二篇講述數(shù)學之美

本書是與《高等數(shù)學》同濟大學數(shù)學科學學院編相配套的同步習題冊，根據(jù)應用型本科院校的實際情況，結合理工類專業(yè)“高等數(shù)學”課程的教學及考試大綱要求，為配合教學需要，方便學生課后鞏固基本概念和掌握基本解題方法為主要目的而編寫的配套練習冊。主要包括微分方程、向量代數(shù)與空間解析幾何、多元函數(shù)微分法及其應用、重積分、曲線積分與曲面

本書稿為作者多年的有關延遲分離渦模擬的研究成果，涉及模型的基本原理以及其在流動傳熱和建筑風工程領域的應用。全書共有十一章，具體包括：湍流數(shù)值模擬方法；限制生成項的DDES湍流模型；PL-DDES湍流模型鈍體繞流模擬；基于定值Prt數(shù)強制對流傳熱模擬；槽道內混合對流傳熱模擬；一種新的延遲分離渦模擬PLES；亞格子模型對P

本書精選了186個最重要的一直在普遍應用的經(jīng)典的或當代的有機人名反應或試劑。每個反應均給出一步步詳盡的電子轉移機理和眾多具體的合成應用。全書還有2800多篇直至2020年度以綜述和應用為主的參考文獻，此外還提供了不少有機人名反應發(fā)現(xiàn)者的簡歷和栩栩如生的為人風貌。

本書介紹泛函分析的基礎知識，包括距離空間與賦范空間、有界線性算子、Hilbert空間、有界線性算子的譜和拓撲線性空間。 本書旨在提供一本教師易于使用、學生易于閱讀的本科生教材。為此，本書在內容編排上注重理論展開的條理性和清晰性，在文字敘述上力求可讀性強，定理的證明過程較為詳細。本書的第5章不是本科生必須學習的內容，僅

本書介紹了歐氏空間上的Lebesgue測度和Lebesgue積分理論，也附帶簡要介紹抽象測度論的基礎知識。 本書旨在提供一本教師易于使用，學生易于閱讀的教材。為此，本書在內容編排上注重理論展開的條理性和清晰性，將基礎的部分和較難的部分適當分開，便于在教學上根據(jù)情況作取舍，也便于初學者在學習上循序漸進。在文字敘述上力求

本書主要利用空間光調制器的可編程特性，分析其模擬光柵、透鏡、軸錐鏡等光學器件的原理，并利用這些器件實現(xiàn)靈活的光場調控。本書介紹的光場調控技術主要有：將單光束變?yōu)槟芰俊��?shù)量、位置可控的二維和三維空間多光束；將光束聚焦成軸向光強可控的線光束；將圓形高斯光束整形為高均勻性、高能量利用率的多形狀光束和自加速光束；將線偏振光變換