牽線搭橋——突破幾何綜合問題

有跡可循——突破新定義問題

線性代數學習指導（普通高等學校應用型教材·數學）

本書利用交互式定理證明工具Coq,在樸素集合論的基礎上,從Peano五條公設出發(fā),完整實現Landau著名的《分析基礎》中實數理論的形式化系統(tǒng),包括對該專著中全部5個公設、73條定義和301個定理Coq描述,其中依次構造了自然數、分數、分割、實數和復數,并建立了Dedekind實數完備性定理,從而迅速且自然地給出數學分

本書在講授了隨機微分方程、隨機反應擴散方程、隨機Navier-Stokes方程和帶切換的隨機微分方程解的存在**性和正則性的基礎上，系統(tǒng)地講授了加性噪聲和乘性噪聲驅動的隨機發(fā)展方程的適定性及正則性，總結了Hilbert空間和Banach空間中隨機發(fā)展方程遍歷性證明方法，簡要講述隨機動力系統(tǒng)的Wong-Zakai逼近及隨

全書分上下兩冊，共5篇，分為17章。力學篇包括物質的運動描述、質點動力學、質點系動力學與剛體運動、相對論簡介、流體力學基礎；振動與光學基礎篇包括機械振動與機械波、波動光學、應用光學基礎；熱學篇包括氣體動理論、熱力學基礎、物質狀態(tài)和相變；電磁學篇包括靜電場、恒定磁場、電磁感應；近現代物理篇包括量子物理基礎、激光技術簡介、

本書內容包括：緒論；第一篇光譜分析(光學分析法導論、原子發(fā)射光譜法、原子吸收光譜法、紫外-可見吸收光譜法、紅外吸收光譜法、激光拉曼光譜法、分子發(fā)光分析法)；第二篇電化學分析(電化學分析法導論、電導分析法、電位分析法、電解分析法與庫侖分析法、伏安分析法)；第三篇色譜分析(色譜分析法導論、氣相色譜法、高效液相色譜法、離子色

本書集編者多年教學成果和經驗總結，兼顧經典理論和學科發(fā)展，體現農林特色，利用少學時提綱挈領地向生物工程、食品科學和環(huán)境科學等與化學相關專業(yè)學生介紹物理化學的基本內容、方法和應用，強調基本概念和公式的物理意義，使其成為農林各專業(yè)學生學習基礎課與專業(yè)課之間承上啟下的橋梁。全書共12章，內容包括化學熱力學基礎、化學動力學、電

非連續(xù)變形分析（DiscontinuousDeformationAnalysis，DDA）全書分上下冊。上冊為基礎知識部分，以及對DDA方法的改進。其中第1～3章，主要介紹DDA方法的基本理論、基本程序和基本功能；第4～6章，主要介紹作者對DDA的方法改進。下冊為功能擴展部分和應用部分。其中第7～11章，主要闡述了作者

本書依據作者團隊在空天飛行器熱防護材料與結構的研發(fā)、評價與應用領域的研究成果，詳細論述了高溫結構復合材料體系與應用、力學性能試驗技術、宏觀本構理論與模型、強度理論、隨機微結構統(tǒng)計描述與虛擬試驗、高溫結構復合材料損傷及失效機理、高溫拉伸損傷及失效過程數值模擬方法以及高溫結構復合材料的許用值與設計值等方面內容。