數(shù)學、邏輯學、計算機科學三大領域?qū)崒僖患�，彼此成jiu，彼此影響。從古希臘哲學到計算機，數(shù)字、計算、推理這些貌似簡單的概念在三千年里融匯、碰撞。如何將邏輯賦予數(shù)學意義？如何從簡單運算走向復雜智慧？這背后充滿了人類智慧的閃光：從柏拉圖、萊布尼茨、羅素、香農(nóng)到圖靈都試圖從數(shù)學公式中證明推理的合理性，締造完整的思維體系。他們

近百年來，由于大量計算的例子，數(shù)論學家增進了他們的直覺性。計算機和精心研制的算法逐漸導致出現(xiàn)了算法數(shù)論這一專門的領域。這個年輕的學科和計算機科學、密碼學以及數(shù)學的其他分支有很強的聯(lián)系。數(shù)學思想往往導致更好的算法，這是此學科的魅力之一；而對算法的廣泛研究也促使數(shù)學新思想的產(chǎn)生和新問題的探索。本書包括由各領域首屈一指的專家

本書以ANSYSWorkbench18.0為基礎，以常見工程應用問題為章節(jié)，涵蓋了接觸與摩擦分析、結(jié)構(gòu)對稱分析、子模型應用分析、塑性分析、結(jié)構(gòu)振動分析、機構(gòu)剛?cè)狁詈戏治�、碰撞分析、瞬態(tài)熱分析、裂紋擴展與壽命分析、蠕變與松弛分析、復合材料分析、導電與磁場分析、流體動力學分析、多物理場耦合分析、客戶化定制應用分析、試驗探索

本書以簡單易懂的寫作風格，通過解決現(xiàn)實世界常見的問題來介紹各種算法技術，揭示了算法的設計與分析思想。全書共有41章，分為四大部分，圖文并茂，把各種算法的核心思想講得淺顯易懂。本書可作為高等院校算法相關課程的本科生教材，也可作為研究人員、專業(yè)技術人員的常備參考書。

現(xiàn)代航空航天結(jié)構(gòu)經(jīng)常受到空氣動力、高溫和振動環(huán)境的耦合作用，其結(jié)構(gòu)行為的預測只有通過多個學科的交叉融合才有可能做到。本書分別介紹了飛行器結(jié)構(gòu)分析涉及的結(jié)構(gòu)力學、旋轉(zhuǎn)結(jié)構(gòu)動力學、振動理論、傳熱學、流體力學等學科的有限元數(shù)值計算方法，并將上述各學科的有限元方法與優(yōu)化方法以及控制理論相結(jié)合，建立了結(jié)構(gòu)傳熱、氣動形狀優(yōu)化、氣動

本書根據(jù)工科教學《計算方法課程教學基本要求》，為普通高等學校理工科及工科院校各關專業(yè)本科生編寫的教科書。著重闡述了科學與工程計算中的基本概念、基本理論和基本方法。內(nèi)容包括：誤差理論、插值與擬合、數(shù)值積分與數(shù)值微分、非線性方程與線性方程的數(shù)值解法、常微分方程初值問題的數(shù)值解法、上機數(shù)值實驗。書中有豐富的例題、習題和數(shù)值實

以ANSYS和ABAQUS作為現(xiàn)代CAE技術應用與實踐的典型軟件，系統(tǒng)地介紹了CAE軟件的基本分析過程，并重點放在有限元理論深層次問題的CAE軟件應用與實踐，即材料非線性問題，幾何非線性與曲屈分析，高度非線性接觸問題，斷裂力學問題，流－固耦合問題，溫度場與應力場耦合問題，計算流體動力學問題和固體動力學分析問題，同時對C

內(nèi)容簡介：優(yōu)化問題一直是計算機科學、人工智能和管理決策等領域廣泛關注的一個問題。《智能進化算法概述及應用》由淺入深地介紹了粒子群優(yōu)化算法、差分進化算法、混洗蛙跳算法、人工蜂群優(yōu)化算法、果蠅優(yōu)化算法、人工免疫優(yōu)化算法和量子衍生進化算法及其相關應用，力求幫助讀者能較容易地應用智能進化算法解決相應的問題。

C*-逼近論為算子代數(shù)中許多最重要的概念性突破和應用提供了基礎。本書系統(tǒng)研究了（絕大多數(shù)）最近幾年非常重要的諸多類型的逼近性質(zhì)，包括：核性、正合性、擬對角性、局部自返性，等等。此外，本書盡可能地包含了許多基本結(jié)果的易懂證明，這些結(jié)果以往很難在文獻中找到。實際上，前十章最重要的新穎之處或許是對一些基礎的（然而也是困難的和

本書首先系統(tǒng)地講述了有限元分析的基本理論，在此基礎之上詳細地介紹了通用有限元分析軟件-ANSYS及其具體應用。全書分為上中下三篇，上篇講述有限元法的基本原理，包括有限元法的基本思想、特點及其應用領域，彈性力學基本理論，彈性力學有限元法，有限元分析中的若干問題等內(nèi)容。中篇以ANSYS為平臺，系統(tǒng)講述了有限元求解問題的基本