本書系統(tǒng)闡述模糊邏輯標(biāo)準(zhǔn)完備性證明的各種方法和理論，為初學(xué)者盡可能多的提供理論和技術(shù)上的細(xì)節(jié)，使其能盡快進(jìn)入這一課題的研究工作。特別地，較為詳細(xì)的介紹了作者在這些方面所做的工作，對IUL完備性的證明進(jìn)行了詳細(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í)題和上機(jī)實驗題。本書既注重數(shù)值算法的實用性，又注意保持理論分析的

本書系統(tǒng)地介紹了數(shù)值分析的基本概念、基礎(chǔ)理論、基本數(shù)值方法和具有實際應(yīng)用背景的數(shù)值方法的實現(xiàn)過程。主要包括：數(shù)值計算基礎(chǔ)、解非線性方程的數(shù)值方法、解線性方程組的直接方法、多項式逼近和插值法、逼近理論與最小二乘法、解線性方程組的迭代法、數(shù)值微分與數(shù)值積分、解非線性方程組的數(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īng)用實例兩篇，將相關(guān)理論、工程分析經(jīng)驗與案例相結(jié)合，向讀者詮釋了ABAQUS的基本功能、應(yīng)用領(lǐng)域及具體操作方法。書中詳細(xì)介紹了ABAQUS的幾何建模，網(wǎng)格劃分，分析步、相互作用、載荷與邊界條件，分析與后處理及優(yōu)化等模塊的常用功能和使用技巧。在此基礎(chǔ)上，較為全面地講解了ABAQUS工程實例，包括接觸分析

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

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

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

本書以學(xué)生成績管理系統(tǒng)為主線，從簡單的成績輸入/輸出到采用文件存儲成績，并基于文件管理成績，逐步豐富成績管理系統(tǒng)的方式，引導(dǎo)讀者思考利用計算機(jī)解決實際問題的方法，從而理解算法和計算思維，達(dá)到培養(yǎng)計算思維的目的。 計算思維是一個抽象概念，養(yǎng)成計算思維需要反復(fù)實踐和反思。本書立足于計算思維的培養(yǎng)，每章都以問題為驅(qū)動，主要闡

本書介紹數(shù)值計算方法的基本原理、基礎(chǔ)知識，并通過講解函數(shù)插值、數(shù)值微分與積分、線性方程組的解法、矩陣特征值與特征向量的計算、非線性方程(組)的解法等基本數(shù)學(xué)問題的數(shù)值解法來闡述如何應(yīng)用計算方法的基本原理解決實際問題，結(jié)合具有實際背景的案例，做到理論與實際相結(jié)合，幫助學(xué)生掌握數(shù)值計算的基本方法和基本思想。

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

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

本書針對計算機(jī)圖形圖像處理中的曲面細(xì)分問題，比較系統(tǒng)地總結(jié)了作者所在團(tuán)隊多年來的研究成果。全書共8章。前3章是二元Box樣條的基本概念和二元三方向均勻剖分上多元Box樣條的細(xì)分；后5章重點介紹了曲面的多進(jìn)制細(xì)分算法的顯式表達(dá)式和細(xì)分極限曲面的光滑性分析，并給出了計算實例。本書的結(jié)論不僅為形成完整的多進(jìn)制細(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ā)展和計算機(jī)的廣泛應(yīng)用，科學(xué)計算已成為繼理論方法、試驗方法后的第三種基本手段。數(shù)值計算方法已成為當(dāng)代大學(xué)生必須掌握的基礎(chǔ)知識。本書講述數(shù)值計算的理論與基本方法，內(nèi)容包括：誤差概念及數(shù)值計算中的若干問題、插值法、曲線擬合與逼近理論、方程的近似解法、線性方程組的直接解法、線性方程組的迭代解法、數(shù)值積分與數(shù)

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

本書內(nèi)容包括兩部分，第一部分為8章實驗，共22個實踐活動；第二部分為與教材配套的習(xí)題解答。

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