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

在排序問題的研究中,一方面問題模型求解方法的多樣性,另一方面實際的生產(chǎn)和服務需求使得問題新模型不斷涌現(xiàn),使得經(jīng)典排序的基本假設被不斷突破.工時可變的排序問題,是一類非常重要的非經(jīng)典排序問題.《工時可變的排序模型與算法》介紹了工時可變排序問題的重要性和現(xiàn)實意義,介紹了三類工時可變的排序問題,以及在重新排序中的應用.《工時

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

本書以反應擴散方程的基本理論為基礎，以生物、物理和化學等自然學科為背景，將幾類主要的微分方程、積分方程作為研究對象，介紹非局部反應擴散方程的基本理論、基本方法以及一些常見的應用。內(nèi)容包括非局部反應擴散方程的行波解、對應柯西問題解的適定性以及斑圖動力學理論；主要用到的方法有Leray-Schauder度理論、穩(wěn)定性分析、

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

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

本書詳細介紹小波變換的起源、原理和應用,內(nèi)容覆蓋傅里葉變換、窗口傅里葉變換、框架理論、連續(xù)小波變換、多分辨率分析、Daubechies正交小波、小波包、小波提升理論以及小波在信號處理和圖像處理等方面的應用,涵蓋了發(fā)展比較成熟的小波分析的所有基本內(nèi)容。另外,本書特別關注實際應用和數(shù)學理論之間的關聯(lián),強調(diào)解決實際問題中的數(shù)

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

本書分為上、下兩冊，上冊包括力學基礎和熱學兩大部分；下冊包括電磁學、光學和量子力學三大部分．本冊為下冊，共7章，主要內(nèi)容包括靜電場、穩(wěn)恒磁場、變化的電磁場、幾何光學、波動光學、量子力學、量子力學新應用等．本書采用經(jīng)典知識體系，反映新科技發(fā)展方向，注重體現(xiàn)各部分知識之間的內(nèi)在聯(lián)系，同時保持難度適中．本書結(jié)構(gòu)清晰、表述精練

本書是為物理學專業(yè)群論教學編寫的習題集。作者按照所著的教科書《物理學中的群論》的體系，收集了大量典型的群論習題，用盡可能簡練明確的語言解答這些習題，為讀者做出示范。本書在各節(jié)習題前面，簡練且系統(tǒng)地介紹有關的群論基本理論和解題方法，努力按物理學專業(yè)的需要，建立一個群論教學的簡明體系，創(chuàng)建群論自學的一種新途徑。希望讀者能根