本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点，系统性研究了分数阶系统的求解、近似化、控制器设计

本书共分为6章，主要内容包括线性正则变换背景简介、线性正则变换的定义与基本原理、二维线性正则变换理论及其应用、线性正则变换域的时频分析、线性正则变换域雷达信号的参数估计、线性正则变换在ISAR成像中的应用。

本书基于高阶约束流、Hamilton结构及Sato理论提出了构造孤立子系统的Rosochatius形变、Kupershmidt形变、带源形变以及扩展的高维可积系统的一般方法,并以光纤通信及流体力学中的重要模型,如超短脉冲方程、Hirota-方程、Camassa-Holm型方程及q-形变的KP方程等为例详细阐述了我们提出的方法.进而推广达布变换及穿衣法求解可积形变的孤子方程。由于可积形变的方程中增加了非线性项,所以相应方程的解具有更加丰富的特性和应用。

本书研究了非线性算子不动点问题迭代逼近的收敛算法。这些算法包括相同空间下的一些非线性算子不动点问题的迭代序列,也包括不同空间下一些非线性算子不动点分裂问题的迭代序列,并在合适的条件下验证了这些算法具有强收敛或者弱收敛性。书中给出了许多非常初等的例子,并通过这些例子说明一些非线性算子的关系、有界线性算子范数的计算等,使得更容易理解这些抽象的非线性算子概念及其不动点迭代算法。

本书研究了几类分数阶随机发展方程的控制问题，具体包括逼近能控性和最优控制。全书共分为5章。第1章介绍分数阶随机发展方程控制问题所需要的预备知识。第2章介绍带Hilfer导数的分数阶中立型随机发展方程的逼近能控性。第3章介绍带Caputo导数的分数阶随机发展方程的逼近能控性。第4章介绍带Hilfer导数的分数阶发展方程的逼近能控性。第5章介绍带Hilfer导数的分数阶随机发展方程的最优控制。

近年来，在图像处理与强度可调辐射疗法的实际应用背景下，分裂可行性问题成为近期非线性分析的研究热点之一。本专著从三个方面研究分裂可行性问题与广义分裂可行性问题（分裂公共不动点问题、分裂变分不等式问题和分裂公共零点问题）解的迭代逼近。主要体现在新算法设计、空间扩展和参数减弱限制条件等方面。对于丰富和扩展分裂可行性问题相关理论有重要价值。

本书详细介绍小波变换的起源、原理和应用,内容覆盖傅里叶变换、窗口傅里叶变换、框架理论、连续小波变换、多分辨率分析、Daubechies正交小波、小波包、小波提升理论以及小波在信号处理和图像处理等方面的应用,涵盖了发展比较成熟的小波分析的所有基本内容。另外,本书特别关注实际应用和数学理论之间的关联,强调解决实际问题中的数学原理以及解决问题所需要的数学思维和方法。

本书主要讨论无穷维Hamilton系统，旨在用现代非线性分析的框架研究无穷维Hamilton系统。本书先介绍无穷维Hamilton系统的定义和性质，同时选取现代非线性分析中的常见问题为例解释其应用。我们采用变分的方法，建立统一的变分框架并且发展一些抽象的临界点理论来处理无穷维Hamilton系统。特别地，对于量子理论中的非线性Dirac方程、非线性Dirac-Klein-Gordon方程和非线性Dirac-Maxwell方程，我们从无穷维Hamilton系统的角度出发，利用变分方法，讨论这几类系

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提供了文献出处,又对结论的特性和价值进行了剖析,提供了针对性的数值算例.书中所列彩图均可扫描封底二维码进行查看.本书力求通俗易懂、简洁实用,从问题到方法,从算例到应用,前后呼应,自成

本书共分五章，第一章为预备知识，主要介绍度量空间及其上的各种压缩型映射的不动点理论的基本知识。第二章主要介绍b-度量空间上广义压缩型映射的不动点理论及其应用知识。第三章主要介绍b-度量空间上的广义压缩型映射的不动点理论及其应用知识。第四章主要介绍矩形b-度量空间上的广义压缩型映射的不动点理论及其应用知识。第五章主要介绍偏度量空间、G-度量空间、锥度量空间等广义度量空间上压缩型映射的不动点结果。