本書(shū)引進(jìn)的改進(jìn)傅里葉級(jí)數(shù)，是在閉區(qū)間上可以一致收斂地逼近任意形式的擬光滑函數(shù)的級(jí)數(shù)。本書(shū)給出了：變系數(shù)線性常微分方程的通用求解方法（這里變系數(shù)可以是連續(xù)函數(shù)，也可以是間斷的函數(shù)）；對(duì)具有各階奇異點(diǎn)的奇異性方程（正則或非正則）給出了求解的原則；對(duì)幾種常見(jiàn)的奇異常微分方程給出了詳盡的求解過(guò)程和計(jì)算算例；完滿(mǎn)地求解了兩個(gè)典型

本書(shū)以奇攝動(dòng)控制系統(tǒng)為對(duì)象，以Kokotovic奇攝動(dòng)方法為框架，并以輸入狀態(tài)穩(wěn)定(ISS)概念作為刻畫(huà)外部干擾的工具，在Tikhonov極限定理的基礎(chǔ)上，首先討論了ISS分析與控制，包括基于狀態(tài)觀察器的控制器設(shè)計(jì)；其次對(duì)具有內(nèi)部不確定性和外部干擾輸入的奇攝動(dòng)控制系統(tǒng)，分別研究了相應(yīng)魯棒ISS穩(wěn)定與鎮(zhèn)定；然后分別討論了

本書(shū)總結(jié)了近年來(lái)作者在常微分方程邊值問(wèn)題和定性理論方面的部分研究成果,共九章。第1-6章利用Leray-Schauder度、迭合度理論、錐上不動(dòng)點(diǎn)理論、上下解方法、**值原理和單調(diào)迭代技巧研究了非線性常微分方程、時(shí)標(biāo)動(dòng)力方程非局部邊值問(wèn)題的可解性、正解的存在性和多解性以及解的收斂性。第7-9章主要介紹種群動(dòng)力系統(tǒng)中離散

本書(shū)旨在鞏固數(shù)學(xué)分析基礎(chǔ)知識(shí)，補(bǔ)充數(shù)學(xué)分析中的一些重要方法，提高分析數(shù)學(xué)問(wèn)題的思維能力和靈活運(yùn)用多種知識(shí)解決問(wèn)題的能力�；究蚣転椋簩�(duì)數(shù)學(xué)分析的一些重要知識(shí)點(diǎn)進(jìn)行回顧和梳理；介紹一些重要的方法，特別是階的估計(jì)的方法和思想；通過(guò)一些考研、競(jìng)賽試題等進(jìn)行解題思路分析，對(duì)方法進(jìn)行應(yīng)用和強(qiáng)化，注重方法上的分析和講解。內(nèi)容包括極

本書(shū)主要介紹常微分方程的初等積分法、基本理論、定性和穩(wěn)定性理論的基本內(nèi)容具體包括常微分方程的初等解法、解的存在唯一性定理、高階微分方程、線性微分方程組、定性和穩(wěn)定性理論初步等本書(shū)各節(jié)配有習(xí)題并附參考答案，個(gè)別習(xí)題還有提示，書(shū)末附錄介紹了Maple在常微分方程中的應(yīng)用本書(shū)可作為高等學(xué)校數(shù)學(xué)專(zhuān)業(yè)常微分方程課程的教學(xué)用

許多人在中學(xué)數(shù)學(xué)課堂上學(xué)習(xí)過(guò)“微積分”�！禕R》微積分是用來(lái)計(jì)算“變化”的數(shù)學(xué)，在計(jì)算如位置的變化、速度的變化、股價(jià)的變化等多種變化時(shí)，微積分發(fā)揮著重要作用，甚至可以說(shuō)微積分幾乎是不可或缺的�！禕R》本書(shū)在第1章中，對(duì)微積分的精髓進(jìn)行了精要講解。在接下來(lái)的第2章中，追溯微積分誕生的時(shí)代背景及數(shù)學(xué)家的思考，探究復(fù)雜的微積

信念修正是人工智能的研究分支之一。在哲學(xué)、認(rèn)知心理學(xué)和數(shù)據(jù)庫(kù)更新等領(lǐng)域中，很早就有對(duì)信念修正的討論和研究。AGM公設(shè)在20世紀(jì)70年代末被提出，它是任何一個(gè)合理的信念修正算子應(yīng)該滿(mǎn)足的最基本條件。本書(shū)作者李未院士在20世紀(jì)80年代中期提出了R-演算，這是一個(gè)滿(mǎn)足AGM公設(shè)、非單調(diào)的并且類(lèi)似于Gentzen推理系統(tǒng)的信念

本書(shū)共分為6章，主要內(nèi)容包括線性正則變換背景簡(jiǎn)介、線性正則變換的定義與基本原理、二維線性正則變換理論及其應(yīng)用、線性正則變換域的時(shí)頻分析、線性正則變換域雷達(dá)信號(hào)的參數(shù)估計(jì)、線性正則變換在ISAR成像中的應(yīng)用。

本書(shū)內(nèi)容包括偏微分方程的基本概念，數(shù)學(xué)物理方程相關(guān)的背景，數(shù)學(xué)模型的建立與定解問(wèn)題，定解問(wèn)題的典型求解方法(求通解方法、行波法、分離變量法、積分變換法、格林函數(shù)法以及數(shù)值求解法)。另外還介紹了勒讓德多項(xiàng)式、球函數(shù)和貝塞爾函數(shù)在求解定解問(wèn)題時(shí)的應(yīng)用。

本書(shū)是分?jǐn)?shù)階系統(tǒng)與高階邏輯形式化驗(yàn)證的基礎(chǔ)理論研究著作。分?jǐn)?shù)階系統(tǒng)是建立在分?jǐn)?shù)階微積分方程理論上實(shí)際系統(tǒng)的數(shù)學(xué)模型。分?jǐn)?shù)階微積分方程是擴(kuò)展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對(duì)函數(shù)的階次選擇分?jǐn)?shù)，而不僅是現(xiàn)有的整數(shù)。分?jǐn)?shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個(gè)新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實(shí)際系統(tǒng)動(dòng)態(tài)過(guò)程本質(zhì)上是