自1998年PT对称量子力学(非经典量子力学)被提出以来,逐步激发了人们对有关PT对称理论和实验方面的广泛关注.作者自2007年开始研究PT对称相关的问题,本书的主要内容源于作者的部分研究成果.本书主要阐述PT对称理论、方法及其在线性和非线性波方程中的应用,主要针对具有物理意义的不同复值PT对称势,研究非厄米Hamilton算子具有全实特征值谱的参数分布、非线性光学系统及相关领域中的非线性Schr？dinger方程(其在Bose-Einstein凝聚态中被称为Gross-Pitaevskii方程

本书以奇摄动控制系统为对象，以Kokotovic奇摄动方法为框架，并以输入状态稳定(ISS)概念作为刻画外部干扰的工具，在Tikhonov极限定理的基础上，首先讨论了ISS分析与控制，包括基于状态观察器的控制器设计；其次对具有内部不确定性和外部干扰输入的奇摄动控制系统，分别研究了相应鲁棒ISS稳定与镇定；然后分别讨论了奇摄动系统的鲁棒H∞分析与控制，并且详细介绍了线性奇摄动系统的动态输出反馈的问题;最后着重介绍了基于边界层函数法的直接展开法，以不同的视角讨论了非标准奇摄动**控制中具有阶梯型空间

整数剩余类环上导出序列，主要介绍环上线性递归序列基础理论、本原序列的权位压缩导出序列的保熵性和模2压缩导出序列的保熵性；第二部分是带进位反馈移位寄存器(FCSR)序列，主要介绍FCSR序列算术表示、有理逼近算法和极大周期FCSR序列的密码性质；第三部分是非线性反馈移位寄存器(NFSR)序列，主要介绍NFSR序列簇的线性结构、NFSR串联结构分解、环状串联结构分析、Galois NFSR的非奇异性等。

"本书介绍常微分方程的基础知识，包括基本理论、方法和在工程实际的若干应用。全书共分六章28节，包括绪论、初等积分法、线性方程、常系数线性方程、一般理论和定性理论初步等内容，涉及常微分方程模型、矩阵指数函数方法、微分不等式与比较定理、微分方程数值解、动力系统概念、周期轨道与Poincar6映射、平面Hamilton系统等方面的知识。本书力求贴近工程实际，贴近现代微分方程的发展主流，贴近新时代读者的阅读习惯，为读者以后深入学习、研究和应用微分方程提供一个方便的台阶。    本书可以作为高等

微积分是理工科高等学校非数学类专业最基础、重要的一门核心课程。许多后继数学课程及物理和各种工程学课程都是在微积分课程的基础上展开的，因此学好这门课程对每一位理工科学生来说都非常重要。本套教材在传授微积分知识的同时，注重培养学生的数学思维、语言逻辑和创新能力，弘扬数学文化，培养科学精神。本套教材分上、下两册。上册内容包括实数集与初等函数、数列极限、函数极限与连续、导数与微分、微分学基本定理及应用、不定积分、定积分、广义积分和常微分方程。下册内容包括多元函数的极限与连续、多元函数微分学及其应用、重积

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

上海大学理学院数学系，成立于1960年，其前身是上海科技大学数学系，由嘉定校区的数学系和延长校区、徐汇校区、嘉定东校区的数学教研室合并而成，本书主编为杨建生。杨建生，基础数学博士，上海大学数学系教授。《微积分强化训练题》（第三版）是2015年上海普通高校优秀本科教材《高等数学（上、下）》(上海大学数学系编，高等教育出版社出版)配套辅导书。全书由三个部分组成，分别对应上海大学三个学期教学内容。 第一部分含有13套训练题，涵盖函数极限与连续、导数与微分、微分中值定理及其应用、不定积分与定积

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

本书是专门为幂零李群上的非交换调和分析方向的研究生和青年教师编写的全英文学术专著，主要介绍从事一般二步幂零李群相关工作所需的基础知识、概念和原理，内容聚焦于一般二步幂零李群的几何分析、不可约酉表示的完整分类、傅里叶分析的相关性质、二阶次椭圆算子以及热核的刻画等。

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