本書是一本有關(guān)電離氣體/等離子體和等離子體動(dòng)理學(xué)方面的導(dǎo)論性的教材，基于物理概念、直接數(shù)學(xué)推導(dǎo)和數(shù)值仿真提供指導(dǎo)論述，在涉及等離子體研究和應(yīng)用方面，使讀者就相關(guān)的物理基礎(chǔ)、技術(shù)應(yīng)用和問題解釋獲得全面的了解。本書主要包括三個(gè)部分：第一部分為物理基礎(chǔ)，主要講述氣體動(dòng)理學(xué)知識(shí)、分子的能量分布、氣體電離及電磁學(xué)的基本知識(shí)；第二

本書是作者在長(zhǎng)期從事量子力學(xué)教學(xué)實(shí)踐和科學(xué)研究過(guò)程中所形成講義的基礎(chǔ)上，參考國(guó)內(nèi)外新版量子力學(xué)教材，結(jié)合現(xiàn)代量子理論的發(fā)展趨勢(shì)和教學(xué)改革的需要，經(jīng)多年的反復(fù)修訂編著而成。本書力求物理圖像清晰，內(nèi)容結(jié)構(gòu)完整，邏輯連貫，在突出基礎(chǔ)概念的同時(shí)反映現(xiàn)代量子力學(xué)的發(fā)展前沿。本書的特點(diǎn)是引入數(shù)學(xué)軟件Mathematica作為輔助工

本書主要介紹一維不定常流體動(dòng)力學(xué)的基本概念和系統(tǒng)理論,著重分析一維流體運(yùn)動(dòng)中波的產(chǎn)生、傳播及相互作用,介紹一維流場(chǎng)問題的求解方法、重要結(jié)論及其在實(shí)際問題中的應(yīng)用,為研究流體動(dòng)力學(xué)和沖擊波問題提供基礎(chǔ)理論.本書內(nèi)容包括基本控制方程組、特征線方法、一維不定常連續(xù)流動(dòng)、沖擊波、波的相互作用、自模擬運(yùn)動(dòng)等.

邏輯定理的機(jī)器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機(jī)器證明兩方面來(lái)展現(xiàn)邏輯定理證明的藝術(shù)，而機(jī)器證明又從定理的自動(dòng)證明和計(jì)算機(jī)輔助證明兩個(gè)方面來(lái)展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機(jī)器證明工具

本書是一部系統(tǒng)地介紹Nabla離散分?jǐn)?shù)階系統(tǒng)理論的專著,其中包含了許多原創(chuàng)性成果和未解問題.針對(duì)Nabla離散分?jǐn)?shù)階系統(tǒng),本書討論了其穩(wěn)定性分析和控制器設(shè)計(jì)問題,為了便于驗(yàn)證所提理論,還介紹了數(shù)值實(shí)現(xiàn)方法.本書由淺入深、循序漸進(jìn)地展開,雖不是字斟句酌的教科書,但所給出的結(jié)論均提供了巧妙且嚴(yán)謹(jǐn)?shù)淖C明,既介紹了靈感來(lái)源,提

第1章介紹規(guī)范變換、正則量子化和經(jīng)典量子對(duì)應(yīng)。第2~5章從規(guī)范場(chǎng)的觀點(diǎn)統(tǒng)一論述Aharonov-Bohm效應(yīng)，自旋-軌道耦合動(dòng)力學(xué)，Berry相因子及其應(yīng)用；揭示Dirac磁單極，超導(dǎo)體Josephson效應(yīng)和量子態(tài)拓?fù)湎嘁蜃拥年P(guān)系；動(dòng)力學(xué)旋轉(zhuǎn)對(duì)稱和分?jǐn)?shù)量子化角動(dòng)量。第6~7章介紹路徑積分。量子隧穿的瞬子方法及在分子磁

本書主要討論無(wú)窮維Hamilton系統(tǒng)，旨在用現(xiàn)代非線性分析的框架研究無(wú)窮維Hamilton系統(tǒng)。本書先介紹無(wú)窮維Hamilton系統(tǒng)的定義和性質(zhì)，同時(shí)選取現(xiàn)代非線性分析中的常見問題為例解釋其應(yīng)用。我們采用變分的方法，建立統(tǒng)一的變分框架并且發(fā)展一些抽象的臨界點(diǎn)理論來(lái)處理無(wú)窮維Hamilton系統(tǒng)。特別地，對(duì)于量子理論中

本書為“聚集誘導(dǎo)發(fā)光叢書”之一。全書共分為7章，第1章介紹了聚集誘導(dǎo)發(fā)光分子在水環(huán)境應(yīng)用中的瓶頸問題和解決方案；第2章介紹了基于聚集誘導(dǎo)發(fā)光的金屬離子檢測(cè)；第3章介紹了基于聚集誘導(dǎo)發(fā)光的陰離子檢測(cè)；第4章重點(diǎn)介紹了聚集誘導(dǎo)發(fā)光熒光探針在環(huán)境樣品pH檢測(cè)中的應(yīng)用；第5章介紹了聚集誘導(dǎo)發(fā)光材料對(duì)有毒氣體的檢測(cè)；第6章介紹了

以理性選擇模型為基礎(chǔ)發(fā)展而來(lái)的博弈理論，是20世紀(jì)人類知識(shí)最重要的進(jìn)展之一，它為我們洞察、認(rèn)識(shí)和理解人類社會(huì)提供了重要的理論、方法與工具。本書覆蓋了博弈論的所有重要理念，系統(tǒng)介紹了博弈論的基本理論與研究方法，注重博弈論在經(jīng)濟(jì)學(xué)中的應(yīng)用，對(duì)經(jīng)濟(jì)學(xué)中的經(jīng)典博弈論實(shí)例，如寡頭競(jìng)爭(zhēng)、公共產(chǎn)品、討價(jià)還價(jià)、保險(xiǎn)市場(chǎng)、聲譽(yù)理論、拍賣

近年來(lái)，在圖像處理與強(qiáng)度可調(diào)輻射療法的實(shí)際應(yīng)用背景下，分裂可行性問題成為近期非線性分析的研究熱點(diǎn)之一。本專著從三個(gè)方面研究分裂可行性問題與廣義分裂可行性問題（分裂公共不動(dòng)點(diǎn)問題、分裂變分不等式問題和分裂公共零點(diǎn)問題）解的迭代逼近。主要體現(xiàn)在新算法設(shè)計(jì)、空間擴(kuò)展和參數(shù)減弱限制條件等方面。對(duì)于豐富和擴(kuò)展分裂可行性問題相關(guān)理