戴维－斯特瓦尔松方程.pdf
本书共分5章，主要介绍DS方程的物理背景，不同类型DS方程的初值问题，多种形式的孤立子解，同宿、异宿解，吸引子及结构探索。
蒋慕蓉
金兹堡-朗道方程.pdf
本书是关于金兹堡-朗道方程的一本专门著作。全书共五张，主要介绍金兹堡-朗道方程的物理背景、一维及高维金兹堡-朗道方程的整体解及渐近性态、超导中的金兹堡-朗道方程以及金兹堡-朗道模型方程及其和调和映射的联系。本书总结了今年来金兹堡-朗道方程的研究最新成果，阅读本书可使读者尽快进入这
分数阶系统高阶逻辑形式化验证 赵春娜,蒋慕蓉 著.pdf
《分数阶系统高阶逻辑形式化验证》是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学
数值计算——方法与应用 蒋慕蓉,黄亚群,苏茜 编著.pdf
《数值计算——方法与应用》以MATLAB为工具，以实际问题数学模型的建立与求解为案例，介绍数值计算方法及其在实际问题中的应用。主要内容包括：MATLAB的基本操作、误差分析、*线插值与*面插值、*线拟合、数值积分与数值微分、特征值与特征向量的计算、线性方程组的数值解法、非线性方程