本書是圍繞作者命名的"數(shù)學機械化"這一中心議題而陸續(xù)發(fā)表的一系列論文的綜述。本書試圖以構(gòu)造性與算法化的方式來研究數(shù)學，使數(shù)學推理機械化以至于自動化，由此減輕繁瑣的腦力勞動�！禕R》全書分成三個部分g*部分考慮數(shù)學機械化的發(fā)展歷史，特別強調(diào)在古代中國的發(fā)展歷史。第二部分給出求解多項式方程組所依據(jù)的基本原理與特征列方法。作

本書系統(tǒng)論述包含奇異性(s夸克)的強子與原子核的基本性質(zhì)。奇異性自由度為原子核物理打開了新的維度，極大地豐富了核物理的研究內(nèi)容。本書內(nèi)容涉及奇異粒子性質(zhì)(第1章)、奇異粒子與核子的二體相互作用(第2章)、奇異粒子與原子核的相互作用束縛態(tài)(第3章)、奇異性散射態(tài)(第4章)、奇異原子與強相互作用(第5章)、奇異性夸克物質(zhì)和

高維信息幾何與幾何不變量

本書系統(tǒng)地介紹了核磁共振設(shè)備研制中的電磁場問題，論述了核磁共振、梯度線圈及勻場線圈、射頻線圈的設(shè)計方法。針對梯度線圈及勻場線圈的設(shè)計，本書詳細討論了傳統(tǒng)目標場方法、諧波系數(shù)法以及等效偶極子法；針對射頻線圈的設(shè)計，本書討論了低頻射頻線圈、鳥籠線圈以及橫電磁模線圈的設(shè)計方法。全書共7章，第1章對核磁共振的發(fā)展歷程及梯度線圈

本書是作者根據(jù)多年教學經(jīng)驗，結(jié)合*版教學應(yīng)用中出現(xiàn)的情況，以及這些年與課程內(nèi)容有關(guān)的應(yīng)用理論方面的發(fā)展情況，總結(jié)修改而成的作者在介紹近世代數(shù)課程的傳統(tǒng)內(nèi)容時，從以下幾個方面進行了深入淺出的講解，引人了泛代數(shù)研究的基本思想內(nèi)容;較深入地介紹群、環(huán)的思想和內(nèi)容，簡單介紹了格論的思想內(nèi)容;同時還指出了所介紹的幾種代數(shù)結(jié)構(gòu)的一

本書是高等學校非化學化工、非冶金類專業(yè)公共課的化學基礎(chǔ)課教材。《BR》全書共十二章，包括化學反應(yīng)基本規(guī)律，溶液與離子平衡，氧化還原反應(yīng)電化學，物質(zhì)結(jié)構(gòu)基礎(chǔ)，金屬元素與金屬材料，非金屬元素與無機非金屬材料，有機高分子化合物與高分子材料，化學與能源，化學與環(huán)境保護，化學與生命，化學與生活，化學與國防。前四章屬于化學原理部分

本書以Lax可積為主線，從變換的角度系統(tǒng)地研究可積系統(tǒng)中的非線性波的構(gòu)造問題，所介紹的內(nèi)容絕大部分是作者近年來的研究成果.具體采用N重Darboux變換、可對角化Darboux變換、廣義Darboux變換、Hirota直接方法、雙Wronskian技巧和分部理論，通過大量實例詳細地介紹如何構(gòu)造非線性波，即孤立波、周期波

本書分上下兩冊。上冊主要涉及的是基本關(guān)系和現(xiàn)象，包括顆粒的尺寸和性質(zhì)、固體顆粒碰撞力學、顆粒的動量傳遞和電荷轉(zhuǎn)移、顆粒的傳熱學與傳質(zhì)學基礎(chǔ)、氣固兩相流的基本方程，以及氣固兩相流中的本征現(xiàn)象。下冊主要是選擇了一些應(yīng)用氣固兩相流原理的工業(yè)過程，進行系統(tǒng)的討論與分析，主要包括氣回分離、料斗和堅管流、密相流化床、循環(huán)流化床、固

本書分上下兩冊。上冊主要涉及的是基本關(guān)系和現(xiàn)象，包括顆粒的尺寸和性質(zhì)、固體顆粒碰撞力學、顆粒的動量傳遞和電荷轉(zhuǎn)移、顆粒的傳熱學與傳質(zhì)學基礎(chǔ)、氣固兩相流的基本方程，以及氣固兩相流中的本征現(xiàn)象。下冊主要是選擇了一些應(yīng)用氣固兩相流原理的工業(yè)過程，進行系統(tǒng)的討論與分析，主要包括氣固分離、料斗和豎管流、密相流化床、循環(huán)流化床、固

本書是國家精品在線開放課程“有機化學”配套教材，內(nèi)容與教育部編制的全國農(nóng)林院校考研大綱吻合。作為新形態(tài)教材的探索，本書將動畫、圖片、視頻和思考題及習題參考答案與教材內(nèi)容深度融合，使學生的學習從課堂延伸到課外�！禕R》全書共分十六章，主要內(nèi)容包括各類有機化合物的結(jié)構(gòu)、物理性質(zhì)、化學性質(zhì),立體化學，天然產(chǎn)物化學，化學反應(yīng)機

本書是國家精品在線開放課程“有機化學”配套實驗教材。全書共7章，主要包括有機化學實驗基本知識、有機化合物物理常數(shù)的測定、有機化合物分離與純化、色譜法分離提純有機化合物、有機化學波譜技術(shù)分析、25個基礎(chǔ)實驗及16個綜合實驗。實驗選編重視綠色化和微型化原則，強化分離和純化操作訓練，實驗步驟層次分明，實驗內(nèi)容體現(xiàn)農(nóng)林高校各專

面向后件集的模糊推理機制是在模糊集合相互關(guān)聯(lián)的環(huán)境下進行的，可以捕獲到規(guī)則中更多的模糊信息，克服了傳統(tǒng)模糊推理會丟失前件集與后件集相關(guān)性信息的缺陷，推理結(jié)果更加合理。本書詳細介紹了面向后件集的模糊推理機制及其應(yīng)用，包括在Type-1模糊邏輯系統(tǒng)、區(qū)間型Type-2模糊邏輯系統(tǒng)和一般型Type-2模糊邏輯系統(tǒng)中的應(yīng)用，以

納流控富集技術(shù)

本書*章為條件的符號記法，一個條件是給定代數(shù)簇中子簇的某種等價類，引進了條件的乘法和加法運算，這是Schubert的獨創(chuàng)。第二章為關(guān)聯(lián)公式，由直線和其上的一點、平面和其上的一點或一直線組成的幾何形體稱為關(guān)聯(lián)體，本章給出了關(guān)聯(lián)體上各種條件之間關(guān)系的公式及其應(yīng)用。第三章為疊合公式，用現(xiàn)代術(shù)語來說，疊合公式就是把乘積空間沿對

本書針對應(yīng)用科學中的11個重要的非線性發(fā)展方程，介紹差分求解方法的**研究成果，包括微分方程問題解的守恒性和有界性分析、差分方法的建立、差分解的守恒性和有界性分析、差分解的存在性分析、差分解收斂性的證明、差分格式的求解等內(nèi)容。建立的差分求解格式包括非線性差分格式和線性化差分格式。這11個非線性發(fā)展方程如下：Burger

《定量分析化學》是為高等院校生物工程、環(huán)境工程、食品工程、藥學、農(nóng)學、動物科學、林學、化學、應(yīng)用化學等本科專業(yè)編寫的教材。全書共11章，內(nèi)容包括分析化學概論、定量分析的誤差和分析結(jié)果的數(shù)據(jù)處理、滴定分析法概述、酸堿滴定法、配位滴定法、氧化還原滴定法、沉淀重量法和沉淀滴定法、電位分析法、分光光度法、定量分析中常用的分離與

本書介紹Ito型隨機微分方程（包括隨機泛函微分方程與中立型隨機微分方程）的基本理論與研究進展。前半部分簡要介紹隨機微分方程的基本概念與一般理論，然后以較大篇幅綜述該領(lǐng)域若干有代表性的近期研究成果，其內(nèi)容集中于隨機微分方程解的漸近狀態(tài)，包括穩(wěn)定性、有界性、持久性、非爆發(fā)性等，特別深入討論了有重要應(yīng)用價值的隨機神經(jīng)網(wǎng)絡(luò)系統(tǒng)

本書主要討論了Banach代數(shù)上元素線性組合的廣義Drazin逆、算子分塊矩陣的廣義Drazin逆和廣義Drazin逆的擾動問題等。

本書主要介紹不確定決策系統(tǒng)中的平衡度量理論、靜態(tài)與兩階段動態(tài)平衡優(yōu)化方法及其應(yīng)用。在平衡度量理論中，介紹平衡度量的構(gòu)造方法，引入平衡均值和風險值等優(yōu)化指標，討論基于平衡度量的收斂模式等。在靜態(tài)平衡優(yōu)化方法方面，引入評價函數(shù)來評估決策向量的優(yōu)劣；依據(jù)所選擇的評價函數(shù)，建立各種不同的靜態(tài)優(yōu)化模型。在動態(tài)平衡優(yōu)化方法方面，介

《定量分析化學實驗》是為高等農(nóng)林院校農(nóng)學、動物科學、生物工程、環(huán)境工程、食品工程等專業(yè)的學生編寫的。全書由定量分析化學實驗的要求、基本知識、基本儀器和基本操作技術(shù)，定量分析化學實驗內(nèi)容和常用數(shù)據(jù)表等部分組成，共編寫了23個實驗，包括基礎(chǔ)性實驗、設(shè)計性實驗和應(yīng)用性實驗三大類，內(nèi)容涵蓋酸堿滴定法、沉淀滴定法、配位滴定法、氧