本书引进的改进傅里叶级数,是在闭区间上可以一致收敛地逼近任意形式的拟光滑函数的级数。本书给出了:变系数线性常微分方程的通用求解方法(这里变系数可以是连续函数,也可以是间断的函数);对具有各阶奇异点的奇异性方程(正则或非正则)给出了求解的原则;对几种常见的奇异常微分方程给出了详尽的求解过程和计算算例;完满地求解了两个典型
本书以奇摄动控制系统为对象,以Kokotovic奇摄动方法为框架,并以输入状态稳定(ISS)概念作为刻画外部干扰的工具,在Tikhonov极限定理的基础上,首先讨论了ISS分析与控制,包括基于状态观察器的控制器设计;其次对具有内部不确定性和外部干扰输入的奇摄动控制系统,分别研究了相应鲁棒ISS稳定与镇定;然后分别讨论了
本书总结了近年来作者在常微分方程边值问题和定性理论方面的部分研究成果,共九章。第1-6章利用Leray-Schauder度、迭合度理论、锥上不动点理论、上下解方法、**值原理和单调迭代技巧研究了非线性常微分方程、时标动力方程非局部边值问题的可解性、正解的存在性和多解性以及解的收敛性。第7-9章主要介绍种群动力系统中离散
本书旨在巩固数学分析基础知识,补充数学分析中的一些重要方法,提高分析数学问题的思维能力和灵活运用多种知识解决问题的能力。基本框架为:对数学分析的一些重要知识点进行回顾和梳理;介绍一些重要的方法,特别是阶的估计的方法和思想;通过一些考研、竞赛试题等进行解题思路分析,对方法进行应用和强化,注重方法上的分析和讲解。内容包括极
本书主要介绍常微分方程的初等积分法、基本理论、定性和稳定性理论的基本内容具体包括常微分方程的初等解法、解的存在唯一性定理、高阶微分方程、线性微分方程组、定性和稳定性理论初步等本书各节配有习题并附参考答案,个别习题还有提示,书末附录介绍了Maple在常微分方程中的应用本书可作为高等学校数学专业常微分方程课程的教学用
许多人在中学数学课堂上学习过“微积分”。《BR》微积分是用来计算“变化”的数学,在计算如位置的变化、速度的变化、股价的变化等多种变化时,微积分发挥着重要作用,甚至可以说微积分几乎是不可或缺的。《BR》本书在第1章中,对微积分的精髓进行了精要讲解。在接下来的第2章中,追溯微积分诞生的时代背景及数学家的思考,探究复杂的微积
信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中,很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出,它是任何一个合理的信念修正算子应该满足的最基本条件。本书作者李未院士在20世纪80年代中期提出了R-演算,这是一个满足AGM公设、非单调的并且类似于Gentzen推理系统的信念
本书共分为6章,主要内容包括线性正则变换背景简介、线性正则变换的定义与基本原理、二维线性正则变换理论及其应用、线性正则变换域的时频分析、线性正则变换域雷达信号的参数估计、线性正则变换在ISAR成像中的应用。
本书内容包括偏微分方程的基本概念,数学物理方程相关的背景,数学模型的建立与定解问题,定解问题的典型求解方法(求通解方法、行波法、分离变量法、积分变换法、格林函数法以及数值求解法)。另外还介绍了勒让德多项式、球函数和贝塞尔函数在求解定解问题时的应用。
本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式,即允许微积分方程中对函数的阶次选择分数,而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具,它的广泛应用也表明了实际系统动态过程本质上是