数学
-
周期结构中的Maxwell方程组包刚,李培军 著This book addresses recent developments in mathematical analysis and computational methods for solving direct and inverse problems for Maxwell’s equations in periodic structures. The fundamental importance of the fields is clear, since they are related to technology with significant applications in optics and electromagnetics. The book provides both introductory materials and in-depth discussion to the areas in diffractive optics that offer rich and challenging mathematical problems. It is also intended to convey up-to-date results to students and researchers in applied and computational mathematics,and engineering disciplines as well.
-
测度论[美] 保罗·哈尔莫斯 著,程晓亮,徐宝,华志强 译测度论是研究一般集合上的测度和积分的理论,近年来在现代分析的应用中已显示出极大的潜力.作为测度论中的“**”,本书的主要目的是对测度论进行统一的介绍,内容有:集合与集类、测度与外测度、测度的扩张、可测函数、积分、一般集函数、乘积空间、变换与函数、概率、局部紧空间、哈尔测度、群的测度和拓扑.
-
常微分方程东北师范大学微分方程教研室 著本书是东北师范大学微分方程教研室所编写的《常微分方程》(1982年第一版、2005年第二版)的修订版。全书共分六章,主要内容有:初等积分法、基本定理、一阶线性微分方程、n阶线性微分方程、定性和稳定性理论简介、一阶偏微分方程初步等。各章节之后都配备一定数量的习题。 本书可作为高等学校数学类各专业常微分方程课程的教学用书或参考书,对理工科学生学习常微分方程理论亦具有参考价值,还可作为科技工作者的参考用书。
-
分层分位模拟田茂再 著随着科学技术的迅猛发展,具有复杂分层结构的数据在现实生活中很普遍。能完全剖析这类数据,发觉该类数据表象下的潜在规律性对于统计学等科研领域很有意义。《分层分位模拟——理论、方法及以应用(英文版)》致力于介绍复杂分层数据分析前沿知识,侧重于分层分位回归理论、方法及其应用研究。内容主要包括三大块:分层数据建模、分位回归与分层-分位回归。主要涉及到线性分层分位回归模拟、非参数分层分位回归模拟、适应性分层分位回归模拟、可加性分层分位回归模拟、变系数分层分位回归模拟、单指数分层分位回归模拟、分层分位自回归模拟、复合分层分位回归模拟、高维分层分位回归模拟、分层分位回归模拟、分层样条分位回归模拟、分层线性分位回归模拟、分层半参数分位回归模拟、复合分层线性分位回归模拟、复合分层半参数分位回归模拟等。
-
概率论与数理统计吴传生 著本书是与吴传生主编的普通高等教育“十二五”国家级规划教材《经济数学——概率论与数理统计》第4版相配套的学习辅导教材,主要面向使用该教材的教师和学生,同时也可供报考经济管理类专业研究生的学生作复习之用。 本书的内容按章编写。每章包括教学基本要求、典型方法与范例、习题选解、补充习题、补充习题参考答案等五个部分,基本与教材同步。典型方法与范例部分是本书的重心所在,它是教师上习题课和学生自学的极好的材料。通过对内容和方法进行归纳总结,把基本理论、基本方法、解题技巧、释疑解难、数学应用等多方面的教学要求,融于典型方法与范例之中,注重对教材的内容作适当的扩展和延伸,注重数学与应用有机结合。习题选解部分,选择教材中一部分习题给出了习题解法提要,对一些富有启发性的习题,给出了较详细的分析和解答。补充习题大多数选自与各章节内容相关的历年的研究生招生考试的典型试题,并给出了相应的参考答案,供学生作为自测和复习之用。本书内容丰富,思路清晰,例题典型,注重分析解题思路,揭示解题规律,引导读者思考问题,对培养和提高学生的学习兴趣以及分析问题和解决问题的能力能起到较大的作用。它是经济管理类专业学生学习概率论与数理统计课程的一部很好的参考教材。
-
几类非线性系统的混沌同步与分岔控制海泉 著本书主要利用反馈控制技术、线性矩阵不等式技术、Jensen积分不等式理论及李雅普诺夫稳定性理论,研究了几类非线性系统的混沌同步与分岔控制问题,本书内容的具体安排如下:第一章绪论,介绍了课题的研究背景及意义,混沌、分岔的定义与基本特征。第二章利用李雅普诺夫稳定性理论和LMIs方法,设计了时滞输出反馈控制器,实现了时滞混沌神经网络系统的指数H同步。第三章利用李雅普诺夫函数方法和反馈控制技术,得到了误差动态系统均方全局指数稳定的判定标准。第四章利用适当的Lyapunov-Krasovski泛函、Jensen积分不等式理论和线性矩阵不等式技术,给出了若干个时滞相关的充分条件,保证了具有受限制的扰动的混合时滞混沌神经网络的均方指数同步。第五章基于平面系统不动点的稳定性,得到了空间平面的稳定域。根据空间平面的稳定域,确定了空间混沌系统线性广义同步耦合强度的稳定域。第六章利用一个统一的延迟反馈方法控制2D离散动力系统的空间静态分岔,利用该控制方法。
-
自然哲学的数学原理[英国]艾萨克·牛顿 著;1.至今还没有一个同样无所不包的统一概念来代替牛顿关于宇宙的统一概念,要是没有牛顿明晰的体系,我们到现在为止所得到的收获,将是不可想象的。2.牛顿由于发现了万有引力定律而创立了天文学,由于进行了光的分解而创立了科学的光学,由于创立了二项式定律和无限理论而创立了科学的数学,由于认识了力的本质而创立了科学的力学。3.牛顿在其科学才华处于时期所撰,绘就经典力学世界图景的旷世巨典,是他“个人智慧的伟大结晶”。《自然哲学的数学原理》标志着经典力学体系的建立,是人类科学史乃至人类文明史的不朽巨著。
-
分析基础机器证明系统郁文生,付尧顺,郭礼权 著《分析基础机器证明系统》利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下,给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明,这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等,基于实数的完备性定理,作为应用,进一步给出闭区间上连续函数的重要性质——有界性定理、*值定理、介值定理、一致连续性定理——的机器证明.另外,还给出张景中院士提出的第三代微积分——不用极限的微积分——的形式化系统实现.在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于数学分析相关理论的形式化构建.
-
一类混沌动力系统的分歧分析与控制[埃及]埃尔-哈提卜.苏比.阿里.埃尔-加里卜本书是一部英文版的非线性科学方面的专著,内容是20世纪中非常令人鼓舞的非线性科学。它不仅在科学和技术上对人类有非常大的震撼而且还在世界观和方法论层面对世人造成了颠覆式的冲击。本书介绍了三个不同类型的分歧的分析与数值的研究。类属于局部分歧的是霍普夫分歧,另外两个类型是同宿与异宿分歧,属于全局分歧。还讨论了两个不同的带时滞反馈控制的非线性动力系统中的分歧分析与混沌。
-
横式简算法暂缺作者本书内容共分十二章,一至九章主要介绍了加、减、乘、除、乘方、开方横式计算方法,除了文字叙述外,还通过例题示范计算过程。每一类别都配备了一定量的练习题,并在每章末附有答案,供练习时参考。第十章介绍了非十进制数的转换和运算,列举例题都采用横式完成,另辟蹊径。尽管日常计算用不到,但了解这些知识,对我们更深刻地认识和了解进制、解决所关联的问题是大有好处的;第十一章横式简算法综合应用题例,展示了横式简算法在综合解题中的具体应用和简便快捷的运算特点;第十二章方法活用主要介绍了从日常计算中总结出来的一些经典方法,有助于读者拓宽思路,提升能力。本书各部分独立成篇,既可以按顺序学习,也可以根据读者需要进行有选择的学习。