本书以奇摄动控制系统为对象,以Kokotovic奇摄动方法为框架,并以输入状态稳定(ISS)概念作为刻画外部干扰的工具,在Tikhonov极限定理的基础上,首先讨论了ISS分析与控制,包括基于状态观察器的控制器设计;其次对具有内部不确定性和外部干扰输入的奇摄动控制系统,分别研究了相应鲁棒ISS稳定与镇定;然后分别讨论了
本书总结了近年来作者在常微分方程边值问题和定性理论方面的部分研究成果,共九章。第1-6章利用Leray-Schauder度、迭合度理论、锥上不动点理论、上下解方法、**值原理和单调迭代技巧研究了非线性常微分方程、时标动力方程非局部边值问题的可解性、正解的存在性和多解性以及解的收敛性。第7-9章主要介绍种群动力系统中离散
许多人在中学数学课堂上学习过“微积分”。《BR》微积分是用来计算“变化”的数学,在计算如位置的变化、速度的变化、股价的变化等多种变化时,微积分发挥着重要作用,甚至可以说微积分几乎是不可或缺的。《BR》本书在第1章中,对微积分的精髓进行了精要讲解。在接下来的第2章中,追溯微积分诞生的时代背景及数学家的思考,探究复杂的微积
信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中,很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出,它是任何一个合理的信念修正算子应该满足的最基本条件。本书作者李未院士在20世纪80年代中期提出了R-演算,这是一个满足AGM公设、非单调的并且类似于Gentzen推理系统的信念
本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式,即允许微积分方程中对函数的阶次选择分数,而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具,它的广泛应用也表明了实际系统动态过程本质上是
本书基于高阶约束流、Hamilton结构及Sato理论提出了构造孤立子系统的Rosochatius形变、Kupershmidt形变、带源形变以及扩展的高维可积系统的一般方法,并以光纤通信及流体力学中的重要模型,如超短脉冲方程、Hirota-方程、Camassa-Holm型方程及q-形变的KP方程等为例详细阐述了我们提出
本书根据数学分析课程知识点的正常教学顺序设计,共六十讲。主要通过极限、实数基本定理、微积分和无穷级数等教学内容介绍数学分析中的思想方法。书中内容既有细致到具体小知识点的思想方法,也有覆盖到数学分析大知识体系的思想方法。通过这些基本思想方法的讲解,使读者能够在较短时间内掌握数学分析思想,对数学分析内容有深刻的理解,也可以
本书研究了非线性算子不动点问题迭代逼近的收敛算法。这些算法包括相同空间下的一些非线性算子不动点问题的迭代序列,也包括不同空间下一些非线性算子不动点分裂问题的迭代序列,并在合适的条件下验证了这些算法具有强收敛或者弱收敛性。书中给出了许多非常初等的例子,并通过这些例子说明一些非线性算子的关系、有界线性算子范数的计算等,使得
本书详细介绍小波变换的起源、原理和应用,内容覆盖傅里叶变换、窗口傅里叶变换、框架理论、连续小波变换、多分辨率分析、Daubechies正交小波、小波包、小波提升理论以及小波在信号处理和图像处理等方面的应用,涵盖了发展比较成熟的小波分析的所有基本内容。另外,本书特别关注实际应用和数学理论之间的关联,强调解决实际问题中的数
本书以反应扩散方程的基本理论为基础,以生物、物理和化学等自然学科为背景,将几类主要的微分方程、积分方程作为研究对象,介绍非局部反应扩散方程的基本理论、基本方法以及一些常见的应用。内容包括非局部反应扩散方程的行波解、对应柯西问题解的适定性以及斑图动力学理论;主要用到的方法有Leray-Schauder度理论、稳定性分析、