本书介绍了二层模型及其拟合方法，包括数据准备、模型估计、模型解释、假设检验、模型假设条件检验及中心化，并介绍了多层次模型的扩展应用，包括对非连续型因变量和非正态分布型因变量的处理以及使用多层次方法分析纵向数据和构建三层模型的方法。

本书是髙等学校数学建模课程教材，共12章，包括数学建校概述、初等模型、微分方程模型、差分方程模型、概率与随机模型、数学规划模型、数据处理模型、问归分析模型、分类模型、评价模型、预测模型、现代优化算法。本书以数学建模方法为主线，以解决社会生活和生产符理等领域中的实际问题为切入点，着重介绍解决问题的数学建模思想方法和基本过程，包括问题分析与假设、模型建立与求解、结果分析与检验、模型应用与解释等基本内容。各章后附有一定量的思考题供学生思考和练习，书后提供了主要的参考文献以便学生系统地学习相关的知识和方

本书是王海敏主编的《简明高等数学》(浙江工商大学出版社)的配套用书。
本书按教材各章节顺序编排，每章内容由两部分组成：第一部分内容概要，主要是系统归纳总结这一章的基本概念、基本定理和基本方法，梳理知识结构；第二部分习题全解，与教材的习题一一对应进行详细解答，方便读者检查对所学内容的掌握程度，巩固学习效果。

本书是王海敏主编的《简明高等数学》(浙江工商大学出版社)的配套用书。
本书按教材各章节顺序编排，每章内容由两部分组成：第一部分内容概要，主要是系统归纳总结这一章的基本概念、基本定理和基本方法，梳理知识结构；第二部分习题全解，与教材的习题一一对应进行详细解答，方便读者检查对所学内容的掌握程度，巩固学习效果。

本书深入贯彻近年职业教育有关指示批示和重要文件精神，基于高职教育的实际情况和本课程教学要求，基于"数专结合”理念，以服务高职院校航空专业群（含通用航空航务技术、无人机应用技术、通用航空器维修、空中乘务等专业）教学需求为导向，内容体现思想性、科学性、基础性、职业性、时代性，体现学科知识与航空行业应用场景的融合，对数学概念、性质等内容提供直观、通俗的说明和解释，契合高职生数学基础和学习特点。本书作为高职院校航空专业学生必修的一门专业基础课教材，分为两个部分：一是基础部分。以一元函数微积分的基本知识和

本书根据高等职业教育经济管理类专业的高等数学（经济数学）基础课程教学基本要求，结合编者多年教学实践，综合编者长期教学改革和探索进行编写，力求体现高等职业教育经济管理类专业的特点，体现数学素养和数学应用能力的培养。本书共八章，内容包括函数与极限、导数、导数的应用、不定积分、定积分、定积分的应用、向量与空间解析几何初步、线性代数初步。本书适合作为高等职业教育经济管理类、财经类和信息类专业教材，亦可作为普通高等学校文科类教材。

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

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

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

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