本書系統(tǒng)闡述模糊邏輯標(biāo)準(zhǔn)完備性證明的各種方法和理論，為初學(xué)者盡可能多的提供理論和技術(shù)上的細(xì)節(jié)，使其能盡快進入這一課題的研究工作。特別地，較為詳細(xì)的介紹了作者在這些方面所做的工作，對IUL完備性的證明進行了詳細(xì)的論述，并針對主算法的最困難部分給出了實例,這在一般地論文寫作是不可能的。

本書主要介紹數(shù)值計算原理及其實現(xiàn),內(nèi)容包括數(shù)值逼近、數(shù)值代數(shù)以及常微分方程的初值問題數(shù)值求解,還提供了主要算法的MATLAB命令和程序源代碼.全書共9章,包括數(shù)學(xué)基礎(chǔ)與誤差理論、插值法、函數(shù)逼近與曲線擬合、數(shù)值積分與數(shù)值微分、非線性方程求根、線性方程組的直接法和迭代法、方陣特征值的數(shù)值方法、常微分方程初值問題數(shù)值解等,

本書闡述了數(shù)值計算方法的基本理論和方法，包括數(shù)值計算的基本概念、解線性方程組的直接法和迭代法、一元非線性方程迭代法、插值法與最小二乘擬合、數(shù)值微分和數(shù)值積分、特征值問題的數(shù)值方法、常微分方程初值問題的數(shù)值解法以及偏微分方程數(shù)值解簡介等。書中有豐富的例題、習(xí)題和上機實驗題。本書既注重數(shù)值算法的實用性，又注意保持理論分析的

本書系統(tǒng)介紹科學(xué)與工程計算中常用的數(shù)值計算方法和理論，主要內(nèi)容包括誤差分析、解線性方程組的直接方法和迭代方法、非線性方程（組）的數(shù)值解法、插值法、函數(shù)逼近與曲線擬合、數(shù)值積分與數(shù)值微分、常微分方程的數(shù)值解法、矩陣特征值與特征向量的數(shù)值解法，以及MATLAB軟件在數(shù)值計算中的應(yīng)用.《BR》本書內(nèi)容豐富，論述翔實、嚴(yán)謹(jǐn)，重

本書是為高等院校理工科專業(yè)本科生的數(shù)值分析或計算方法課程編寫的教材，內(nèi)容包括非線性方程（組）的數(shù)值解法、線性方程組的數(shù)值解法、線性方程組的迭代解法、插值、曲線擬合與函數(shù)逼近、數(shù)值積分與數(shù)值微分、常微分方程的數(shù)值解法、矩陣特征值與特征向量的計算等常用數(shù)值算法的基本方法和理論。本書在兼顧理論講解的同時，重視算法的應(yīng)用和數(shù)學(xué)

2020年，是中國計算數(shù)學(xué)與科學(xué)工程計算學(xué)科奠基人和開拓者馮康先生誕辰100周年。為緬懷馮康先生為中國計算數(shù)學(xué)與科學(xué)工程計算所作出的巨大貢獻，追憶他生活中的片光零羽，發(fā)揚他克難創(chuàng)新的治學(xué)精神和甘于奉獻的育人理念，中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院計算數(shù)學(xué)與科學(xué)工程計算研究所、中國數(shù)學(xué)會計算數(shù)學(xué)分會聯(lián)合編輯出版《馮康先生紀(jì)念

矩陣計算不僅是一門數(shù)學(xué)分支學(xué)科,也是眾多理工科的重要的數(shù)學(xué)工具，計算機科學(xué)和工程的問題最終都變成關(guān)于矩陣的運算.《BR》本書主要針對計算機科學(xué)、電子工程和計算數(shù)學(xué)等學(xué)科中的研究需求，以各種類型的線性方程組求解為主線進行闡述.內(nèi)容側(cè)重于分析各種矩陣分解及其應(yīng)用，而不是矩陣的理論分析.介紹了各類算法在計算機上的實現(xiàn)方法，并

本書主要介紹計算方法中的一些基本內(nèi)容：誤差和條件問題、解線性方程組的直接法與迭代法、特征值問題的計算方法、解非線性方程(組)的迭代法、插值與逼近、數(shù)值積分與數(shù)值微分以及常微分方程數(shù)值解法。本書內(nèi)容深入淺出，既強調(diào)計算方法的基本概念和理論，更注重算法和實踐。每章后面都附有一定數(shù)量的習(xí)題與上機實驗題。

群體智能優(yōu)化算法作為解決復(fù)雜優(yōu)化問題的有力工具近年來獲得了較大的發(fā)展，業(yè)已成為智能計算領(lǐng)域的研究熱點之一。 本書比較全面地介紹了多目標(biāo)優(yōu)化問題和群體智能優(yōu)化算法的研究現(xiàn)狀和發(fā)展趨勢，討論了多目標(biāo)優(yōu)化方法的基本知識和基本原理；探討了多目標(biāo)優(yōu)化方法的性能度量方法和基準(zhǔn)的多目標(biāo)優(yōu)化測試函數(shù)集；并分類闡述了幾種多目標(biāo)煙花

本書首先系統(tǒng)介紹了高維多目標(biāo)優(yōu)化及其進化算法的發(fā)展現(xiàn)狀與趨勢、實現(xiàn)技術(shù)。然后針對高維多目標(biāo)優(yōu)化目前存在的難點，著重闡述了作者在錐形分解高維多目標(biāo)進化算法方面的系統(tǒng)研究成果，包括錐形分解高維多目標(biāo)進化算法的核心原理、設(shè)計與實現(xiàn)，介紹了在差異尺度、不規(guī)則前沿等一些極端情形下的相應(yīng)擴展處理機制設(shè)計，舉例說明了其在汽車駕駛室設(shè)

本書針對計算機圖形圖像處理中的曲面細(xì)分問題，比較系統(tǒng)地總結(jié)了作者所在團隊多年來的研究成果。全書共8章。前3章是二元Box樣條的基本概念和二元三方向均勻剖分上多元Box樣條的細(xì)分；后5章重點介紹了曲面的多進制細(xì)分算法的顯式表達式和細(xì)分極限曲面的光滑性分析，并給出了計算實例。本書的結(jié)論不僅為形成完整的多進制細(xì)分理論奠定了基

《周期Sylvester矩陣方程的解及其應(yīng)用》討論周期Sylvester矩陣方程的求解及其在控制理論和工程中的應(yīng)用問題，內(nèi)容包括相關(guān)的理論基礎(chǔ)、設(shè)計算法和應(yīng)用�！吨芷赟ylvester矩陣方程的解及其應(yīng)用》是作者近些年來在周期矩陣與魯棒控制領(lǐng)域研究與實踐工作的總結(jié)與提煉�！吨芷赟ylvester矩陣方程的解及其應(yīng)用》共

隨著科學(xué)技術(shù)的飛速發(fā)展和計算機的廣泛應(yīng)用，科學(xué)計算已成為繼理論方法、試驗方法后的第三種基本手段。數(shù)值計算方法已成為當(dāng)代大學(xué)生必須掌握的基礎(chǔ)知識。本書講述數(shù)值計算的理論與基本方法，內(nèi)容包括：誤差概念及數(shù)值計算中的若干問題、插值法、曲線擬合與逼近理論、方程的近似解法、線性方程組的直接解法、線性方程組的迭代解法、數(shù)值積分與數(shù)

本書總結(jié)各種廣義的最小二乘問題的理論與計算的最新成果。主要包括最小二乘問題、總體最小二乘問題、等式約束最小二乘問題、剛性加權(quán)最小二乘問題、有效條件數(shù)以及四元數(shù)矩陣計算的基本知識等問題的理論與科學(xué)計算問題。

本書介紹了HyperMesh在有限元分析中的應(yīng)用。全書以HyperMesh軟件的操作過程為主線，以模型面板的順序過程及軟件的特征演示為主要內(nèi)容，最后結(jié)合ANSYS軟件的導(dǎo)入過程進行了求解對接及工程實例演練。本書可作為工程力學(xué)專業(yè)和機械工程專業(yè)本科生的專業(yè)課教材，也可作為機械設(shè)計制造及其自動化、機械設(shè)計及理論、機械電子工

《遞推算法與多元插值》詳細(xì)介紹了多元差商與多元逆差商的遞推算法及其在多元多項式與連分式插值中的應(yīng)用。內(nèi)容包括常用的張量積型二元多項式與連分式插值方法概述、直角三點組上的二元多項式與連分式插值及其比較研究、直角三點組上二元多項式插值余項等的進一步研究、非矩形網(wǎng)格上的二元多項式插值、基于二元遞推多項式的散亂數(shù)據(jù)插值、基于二

《數(shù)值計算方法》主要介紹數(shù)值計算方法及其有關(guān)的理論，內(nèi)容包括插值法、函數(shù)逼近與曲線擬合、數(shù)值積分與數(shù)值微分、解線性方程組的直接法、解線性方程組的迭代法、非線性方程與方程組的數(shù)值解法、常微分方程的初值問題、矩陣特征值和特征向量計算等內(nèi)容，章末配有數(shù)值實驗習(xí)題,并提供編程及應(yīng)用MATLAB數(shù)學(xué)軟件完成數(shù)值實驗兩種解決方案，

本書分為8章，包括最優(yōu)控制理論涉及的基礎(chǔ)知識、最優(yōu)控制中的變分法、最小值原理、線性二次型最優(yōu)控制、離散時間系統(tǒng)的最優(yōu)控制、動態(tài)規(guī)劃以及微分對策問題。書中包括大量的例題及MATLAB實現(xiàn)方法，并通過工程應(yīng)用實例使得讀者能充分掌握最優(yōu)控制的基本理論及應(yīng)用。

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

**化是一門應(yīng)用性強且發(fā)展十分迅速的新興學(xué)科。本書旨在系統(tǒng)介紹近代優(yōu)化基本理論，主要研究線性規(guī)劃和二次規(guī)劃、二次約束二次規(guī)劃等基本問題及其對偶模型，特別強調(diào)Lagrange對偶方法和半定松弛技術(shù)的運用，并以大量例子展示它們的特點，充分反映**化領(lǐng)域**研究成果。除預(yù)備知識外，本書主要內(nèi)容包括凸分析基礎(chǔ)、線性規(guī)劃、二次規(guī)