本书是高等院校控制类专业课程的辅助教学用书，配合北京工业大学出版社2006年2月出版的《自动控制原理（修订版）》和2006年9月出版的《线性系统理论基础》两本教材使用。全书根据原教材各章的内容，分为内容概述、习题精解、扩充习题三个部分。内容概述部分介绍了各章的学习内容和教学重点；习题精解部分对原教材各章后的习题进行了详细解答；扩充习题部分是在原教材习题的基础上增加的部分具有一定难度的习题，供学有余力的学生进行扩展知识的训练。为了帮助学生熟练掌握控制系统仿真技术，书中介绍了部分习题的MATIAB语言求解方法，附录中还编入了控制类专业硕士研究生入学考试真题与题解，供学生特别是准备考研的学生参考。本书适合于高等院校信息控制类专业及其他工科相关专业的大学本科生作为课内与课外的学习辅助用书，也可供相关专业的技术人员学习参考。

《非线性常微分方程边值问题》是作者近年来研究工作的总结。在介绍拓扑度理论的基础上，分别对二阶非线性微分方程边值问题，带p-Laplace算子的二阶方程边值问题，周期边值问题和高阶微分方程边值问题，给出了有解性、多解性及解得唯一性的判断依据，展示了各类问题的研究技巧和方法。《非线性常微分方程边值问题》适用于大学数学专业高年级学生、研究生、教师及对本方向有兴趣的研究人员。

对角占优矩阵是计算数学中应用非常广泛的矩阵类，它较多出现于经济价值模型和反网络系统的系数矩阵及解某些确定微分方程的数值解法中，在信息论、系统论、现代经济学、网络、算法和程序设计等众多领域都有着十分重要的应用。《对角占优矩阵》是在作者承担的河南省教育厅2003年自然科学基础研究项目结项成果的基础上并参考国内外有关文献编撰而成。介绍了对角占优矩阵的概念、性质和应用，反映了近年来国内外学者在该领域的主要研究成果。《对角占优矩阵》内容丰富，系统性强，由浅入深，叙述严谨，语言通俗易懂。可作为高等院校数学专业和计算机专业高年级学生以及矩阵理论专业研究生的教材或教学参考书。

微积分和数学分析是人类智力的伟大成就之一，其地位介于自然和人文科学之间，成为高等教育成果硕然的中介。不幸的是，有时候教师采用机械的方法教授微积分，不能展现其作为生动智力斗争的成果所具有的魅力。这种延续了2 500多年的智力斗争的历史，深深扎根于人类奋斗的许多方面，并且，只要人们像了解大自然那样去努力认识自己，它就还会继续发展下去。教师、学生和学者若想真正理解数学的力量和表现，就必须从历史的角度来理解这一领域发展至今的现状，以广阔的视野看待数学。本书以时间为顺序，通过对古希腊乃至更久远时期、中世纪和1 7世纪关于微积分学构想的描述，剖析了一些阻碍微积学发展进程的哲学与宗教观点，叙述了积分和微分两方面的发展，以及牛顿和莱布尼茨的伟大贡献，和我们今天所知道的最严格的牛顿一莱布尼茨公式。

《高等教育工科数学系列教材：现代数学基础》是一本基础性的现代数学教材，重点介绍与科学技术密切相关的一些重要的现代数学与应用数学的分支的基本概念和方法，全书分七篇：第一篇实变函数；第二篇一般拓扑学；第三篇泛函分析；第四篇抽象代数；第五篇人工神经网络；第六篇小波变换；第七篇分形理论及其应用。前四篇介绍了现代数学的经典内容，后三篇介绍了与现代科技密切相关的一些现代应用数学内容及其在工程中的应用实例，以帮助读者更好地理解和掌握相关内容。《高等教育工科数学系列教材：现代数学基础》各篇可独立作为高校理工科类的高年级本科生和研究生的现代数学同名课程的教材或参考书，也可将各篇综合使用作为现代数学系统教材，《高等教育工科数学系列教材：现代数学基础》还可供科研工作者参考使用。

本书是关于耦合非线性偏微分方程Davey-Stewartson（DS）方程的一本专门著作。全书共分5章，主要介绍DS方程的物理背景；不同类型DS方程的初值问题；多种形式的孤立子解；同宿、异宿解；吸引子及结构探索。本书总结了DS方程的主要研究成果，特别是近年来我国科学工作者的成果。本书既注重理论，又侧重于方法和技巧的总结。本书适合于数学、物理、力学等有关专业人员及高等学校有关教师、高年级学生及研究生阅读。

《几何定理计算机证明》作者将我国著名的数学家吴文俊院士独创的“几何定理机器证明的新方法”应用到大学和中学的数学教育中，经过多年的教学实验和数学现代化探索，总结出了这《几何定理计算机证明》，《几何定理计算机证明》的出版对数学素质教育将有很深远的指导意义。《几何定理计算机证明》共分6章，主要讲述几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法、杨路降维算法等。《几何定理计算机证明》适合作为高等院校教材，更适合师范院校和高中数学教师学习阅读。

根据中国人民大学出版社的要求，我们对《微积分》（修订本）进行了再次修订。《经济应用数学基础（一）：微积分》等教材，自1982年第一版出版二十多年来深受广大读者的欢迎，直至目前，仍保持着很大的年度发行量，说明这套教材现在仍然适合很多读者的需要。但也有不少读者希望我们进行修订，本着对广大读者负责的态度，我们的修订工作进行得十分慎重。本次修订，我们保持了原书的风格，内容上有少量增删，习题中的选择题根据目前考试的要求全部进行了改写。参加本次修订工作的有：赵树螈、胡显佑、陆启良、褚永增等。对第三版中的错误与不妥之处热诚欢迎广大读者批评指正。

《鞅与Banach空间几何学》是关于取值于Banach空间的鞅与Banach空间几何理论的专著，全书分为8章，在介绍了向量测度与积分、条件期望的基础知识以后，一方面叙述鞅与鞅型序列的极限定理，独立增量鞅的大数定律、中心极限定理、重对数律、鞅不等式与鞅空间、鞅变换等问题；另一方面研究Banach空间的几何性质，包括RN性质、型和余型、一致凸与一致光滑性、无条件鞅差序列性质、复空间的几何性质等，在整个叙述中，随机过程的概率性质、函数空间的分析性质与值空间的几何性质是有机结合在一起的，所得结果在现代概率与现代分析的多种领域里都具有重要意义。《鞅与Banach空间几何学》内容属于概率论、调和分析与泛函分析的交叉学科领域，因此可作为相关专业的研究生、本科生与数学工作者的教材或参考书。

《交互式马尔可夫链：并发系统的设计、验证与评价》主要介绍了IMC的理论及其在并发系统层次化设计以及功能验证与性能评价方面的应用，主要内容包括IMC上的分支时间等价和前序关系、IMC的动作细化理论以及基于IMC的模型检验方法。通过正交结合经典的进程代数和连续时间马尔可夫链模型，交互式马尔可夫链（IMC）提供了完美的可组合化的并发系统设计和分析框架。《交互式马尔可夫链：并发系统的设计、验证与评价》可以供研究生、教师和科研人员作为了解并发系统理论研究及与数学机械化基本思想与方法相结合的形式在设计与分析技术最新成果的参考书。