本书以数学模型及计算为主线,围绕微分方程与反问题,介绍了数学建模与计算的理论、方法及应用。微分方程及反问题研究在计算科学与工程领域具有特别重要的意义,在大数据和人工智能快速发展的时代正扮演着理论创新与技术升级的核心角色且起着不可替代的作用。《BR》 本书首先介绍数学建模的理论与方法,特别是微分方程、积分方程与反问题、线性代数方程组、**化等模型,着重建模、计算与应用三方面;然后分别给出了大数据领域、图像处理与压缩感知领域中的建模与计算案例,供读者学习、研究参考。本书是新时代数学深度应用、新工科迅猛发展形势下的一本应用与计算数学书,具有交叉性、集成性、应用性特征,以激发读者活学数学、活用数学的思考与热情。
作为此前出版的《非线性常微分方程边值问题》研究内容的后续进展,本书是作者十余年来在常微分方程和时滞微分方程周期轨道方面所作研究工作的总结.在介绍临界点理论和指标理论的基础上,对常用的指标理论和指标理论作出推广,提出和论证了Zn指标理论和Sn指标理论,拓展了应用范围.对不同类型的时滞微分方程通过选定相应的Hilbert空间,在其上给出自伴线性算子,构造特定的可微泛函,得出多个周期轨道的估计.对非自治型时滞微分方程的研究,是一个值得继续探索的方向.
《控制之美(卷1)——控制理论从传递函数到状态空间》涵盖了动态系统分析、经典控制理论与现代控制理论的核心基础内容。其中,经典控制理论以拉普拉斯变换为数学工具,通过传递函数分析系统的表现并进行控制器的设计;现代控制理论以状态空间方程为研究对象,以微分方程和线性代数为数学工具,从时域的角度分析系统的表现并设计系统的控制器。 本书在多个章节对比讲解了两种理论之间的区别与联系。本书共分为10章。第1章为绪论;第2、3章分别介绍使用传递函数和状态空间方程描述系统的方法;第4、5章使用这两种方法分析一阶系统与二阶系统的时域响应;第6章介绍系统稳定性的概念;第7、8章重点分析经典控制理论中的控制器设计方法,包含比例积分控制和根轨迹法;第9章介绍系统的频 率响应并与滤波器的设计相结合; 0章讨论现代控制理论中的控制器设
本书共十六章.内容比较独立的是章与第十章.前者涉及解析函数理论中的部分基本问题,后者讨论了T函数及相关函数的幂级数展开,以及与之有关的级数与积分.其余各章大体可分为三部分.第二章到第五章围绕无穷级数而展开.内容包括:一、由解析函数Taylor展开而演绎出的各种变型;二、将常微分方程的幂级数解法用于求解已知函数的幂级数展开;三、卷积型级数的M6bius反演问题.第六章至第九章的中心是应用留数定理计算定积分,包括从一些简单的积分出发而演绎出许多新的积分.特别是,笔者综合已有的弓I理,提出了一个新的引理;并在此基础上,建立了计算含三角函数无穷积分的新方法.第十一章至第十六章讨论的是积分变换,介绍了有关Fourier变换和Laplace变换的一些理论问题.书中还介绍了Mellin变换,它与Fourier变换或Laplace变换密切相关,是处理某
本书为“科学计算及其软件教学丛书”之一,主要介绍小波分析的基本理论、方法和应用,其内容包括:有限离散小波,无限离散小波,实数集上的小波,多种重要和常用的小波,以及小波在信息处理和科学计算领域的一些重要应用。全书由浅入深,注重原理,联系应用,每章附有习题,可供练习。 本书可作为信息与计算科学、数学与应用数学,以及相近专业的高年级大学生的教材和参考书,也可供从事信息处理或科学与工程计算的科技人员学习参考,具有数学分析和线性代数知识的读者也可以自学本书。
《样条函数实用指南(修订版)》是著名数学家Carl de Boor的《样条函数实用指南》(1978)的修订版。原版本许多错误在修订版中得到了全面纠正。尤其是第九章到第十一章作了较大的修改,B-样条理论是直接建立在不依赖于均差的递归关系。这使得节点插入成为一个提供B-样条序列保形特性简单证明的强有力工具。 本书的章节安排详略得当,重点突出,有利于读者学习理解。章简要讲述了多项式插值,特别是均差理论。第二章介绍了初步的多项式逼近论知识,并为讲述分段多项式函数做准备。只想了解样条函数大体知识的读者可以略过随后的四章。它们主要讲述了分段线性逼近、分段立方插值以及抛物型样条插值。第七、八章讲述了任意序的分段多项式函数的计算处理。第九、十、十一章介绍了B-样条。余下的几章介绍了各种应用,几乎都涉及到B-样条。每章后
《Haskell函数式编程基础:原书第3版》是一本非常的Haskell函数式程序设计的入门书,依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、数组和列表的结构化数据、列表上的原始递归和推理、输入输出I/O的控制处理、类型检测方法、代数数据类型、抽象数据类型、惰性计算等内容。《Haskell函数式编程基础:原书第3版》包含大量的实例和习题,注重程序测试、程序证明和问题求解,易读易学。《Haskell函数式编程基础:原书第3版》循序渐进,从基本的函数式程序设计直至专题,让读者对Haskell的学习不断深入。
《复变量(第2版)》是Cambridge《应用数学系列丛书》之一,内容相当精辟,巧妙地展示了复变量在数学科学中的核心地位以及其在工程和物理科学应用中的关键性作用。复变量的引入不仅增加数学理论本身的性,更重要的是提供了一种解决一些数学疑难问题的途径,甚至可以说是解决有些问题的途径。《复变量(第2版)》的内容分为两大部分。部分是整个课程的引入,包括:解析函数,积分,级数和残数积分等初等理论以及一些过渡性方法:复平面的普通微分方程、数值方法等。第二部分包括保形映射,渐近扩张以及Riemann-Hilbert问题。每章节都提供了大量的应用、图例以及练习,这些可以帮助读者加深对复变量的基本概念和基本定理的理解。新版本做了全新的改进,是研究生以及分析方向本科生的理想教程。
本书是关于不连续动力系统动力学及其流转换性理论的专著、本专著提供了研究动力系统网络动力学及其行为复杂性的数学基础。书中介绍的不连续动力系统中的障碍向量场理论将改变人们在动力学系统中传统的思维方式;棱上动力学及其流转换复杂性理论是人们讨论动力学系统的低维网络通道吸引的数学基础;具有多值向量场的流对其边界、棱和顶点的跳跃流理论给小厂动力系统网络的“台球”理论的数学基础;动力系统的相互作用理论是动力系统网络中的普适性原理,并应用于动力系统同步。本书可作为应用数学、物理、力学及控制领域的师生及科研人员的参考书。
递推数列多年来一直是数学竞赛的命题来源,对于的竞赛选手及教练来说已不是难题。而利用差分方法求解数列问题有很多优点。《差分方程的拉格朗日方法:从一道2011年全国高考理科试题的解法谈起》从一道2011年全国理科试题的解法谈起,首先全文摘录了一篇作者23年前发表的小文章。然后再进行现实的联系并进而介绍差分方程理论的完整体系。并进一步介绍了俄罗斯数学家在差分方程解的稳定性方面的前沿结果。《差分方程的拉格朗日方法:从一道2011年全国高考理科试题的解法谈起》适合于的初高中学生尤其是数学竞赛选手、初高中数学教师和中学数学奥林匹克教练员使用,也可作为高等院校教师和学生的学习用书及数学爱好者的兴趣读物。
CIMPA-UNESCO-CHINA暑期学校“自守形式与L-函数”于2010年8月1日至14日在山东威海校区举办,该国际暑期学校受联合国教科文组织资助,邀请的演讲人都是本领域的专家。刘建亚主编的《自守形式与L-函数》汇集了这次暑期学校以下演讲人的讲义:J.Cogdell,G.Harcos,李小青,P.Michel,A.Reznikov,F.Shahidi以及叶扬波。《自守形式与L-函数》涵盖自守形式、L-函数、谱理论及表示理论等方面的内容,既给出了自守形式与L-函数很好的介绍,也指出了其算术应用。《自守形式与L-函数》不仅是本领域专家们有价值的参考书,也是研究生开展研究时极好的入门书。
《样条函数实用指南(修订版)》是著名数学家CarldeBoor的《样条函数实用指南》(1978)的修订版。原版本许多错误在修订版中得到了全面纠正。尤其是第九章到第十一章作了较大的修改,B-样条理论是直接建立在不依赖于均差的递归关系。这使得节点插入成为一个提供B-样条序列保形特性简单证明的强有力工具。本书的章节安排详略得当,重点突出,有利于读者学习理解。章简要讲述了多项式插值,特别是均差理论。第二章介绍了初步的多项式逼近论知识,并为讲述分段多项式函数做准备。只想了解样条函数大体知识的读者可以略过随后的四章。它们主要讲述了分段线性逼近、分段立方插值以及抛物型样条插值。第七、八章讲述了任意序的分段多项式函数的计算处理。第九、十、十一章介绍了B-样条。余下的几章介绍了各种应用,几乎都涉及到B-样条。每章后面都有
本书的内容主要包括:密度泛函理论(Densityfunctionaltheory,DFT)的基本概念,以及如何使用DFT方法对工程实际问题进行建模模拟和计算。内容包括:何谓密度泛函理论(DFT)、对于简单固体的DFT计算、DFT计算中的基本要素、固体表面的DFT计算、DFT计算振动频率、使用过渡态理论计算化学过程的速率、基于从头算动力学的平衡相图、电子结构和磁性、从头算分子动力学、在"标准"计算之外的精度和方法。