《分数阶积分和导数：理论与应用》是Stefan G.Samko,Anatoly A.Kilbas,Oleg I.Marichev所著英文专著Fractional Integrals and Derivatives:Theory and Applications的中文翻译版本。《分数阶积分和导数：理论与应用》阐述了几乎所有已知的分数阶积分-微分形式，并对它们进行了相互比较，强调了一个函数能否被另一个函数分数阶积分表出的问题，突出了已知函数的分数阶积分可表示性问题比它的分数阶导数存在性问题更为重要，揭示了在某种意义下，函数分数阶导数的存在性等价于其分数阶积分的可表示性，同时给出了分数阶积分-微分在积分方程和微分方程中的大量应用。此外，应原著作者要求，《分数阶积分和导数：理论与应用》增加了一个附录，介绍了第三作者及其合作者开发的分数阶微积分的计算机代数系统。

本书共九章，重点通过基础知识讲解、算例剖析和技巧提示，引导读者熟悉GPU并行算法、CUDA Fortran基础知识，进而掌握基于CUDA Fortran的GPU高性能计算应用软件设计方法。其中，第1章介绍相关研究背景；第2~6章介绍基于CUDA Fortran的GPU通用计算基本概念、编程方法与优化原则；第7~9章介绍基于MPI+CUDA的N-S方程数值求解。书中的示例的构思以及分析过程是本书最具价值的部分，读者通过阅读这些内容，对GPGPU技术做到融会贯通、举一反三，只要掌握了这些简单的示例，更复杂的问题也能迎刃而解。在本书的帮助下，读者不需熟悉GPU硬件或者CUDAC（虽然熟悉这两者有助于使用本书）就可完成GPU的学习和使用。

差分方程描述随离散时间变化的系统的规律性，在自然科学、工程技术和社会现象中有着广泛的应用．本教材在大学数学课程的基础上较系统地介绍了差分方程的基本概念、求解方法，线性差分方程组的基本理论，差分方程的定性、稳定性分析办法和分支理论的知识，特别是Liapunov函数、差分不等式和比较定理、鞍结点分支、Flip分支和不变解曲线的分支等知识，以便为凑者进行差分方程的应用和理论研究提供基础．书中给出了大量的应用例子来展示差分方程或差分方程组在物理学、经济学、生态学和传染病动力学等方面的广泛应用，包括我们近年来在研究人口增长、艾滋病和结核病传播、甲型流感防控等问题中建立的差分方程模型的分析和应用．这是一本差分方程基础知识介绍和应用研究相结合的教材，我们希望本书能引导读者在差分方程的应用方面尽快地从

俄罗斯历来注重数学理论的研究，并且具有鲜明的特色，在计算数学领域的研究也有许多独特之处。 由H.C.巴赫瓦洛夫、热依德科夫、柯别里科夫所著的《数值方法(第5版俄罗斯数学教材选译)》是数值方法方面的经典教材，在俄罗斯影响很大。本书视角新颖，内容翔实，阐述系统，主要内容包括：计算误差，插值与数值微分，数值积分，函数逼近，多维问题，数值代数方法，非线性方程组和*化问题的解，常微分方程、偏微分方程和积分方程的数值求解方法。 本书可供高等院校计算数学及相关专业的学生、教师和研究人员使用参考。

本书以一维杆单元为例，系统地阐述了有限单元法的基本原理、数值方法、程序实现和固体力学领域各类问题中的应用。 全书共13章。前6章为有限单元法的理论基础，包括直接刚度法，一维杆的“强”形式与“弱”形式，单元和插值函数的构造，加权余量法与虚功原理建立有限元格式，变分原理建立有限元格式。后7章为专题部分，包括线性静态有限元分析，线性动态有限元分析，几何非线性有限元分析，材料非线性有限元分析，复合材料多尺度分析，结构灵敏度分析，桁架结构有限元教学软件EFESTS。本书通过一维杆单元详尽地展示了有限单元法的细节，使读者更容易地学习有限元理论，这是作者的基本出发点，也是本书的特色。

本书详细地介绍了计算机中常用的数值计算方法，主要内容包括：解线性方程组的迭代法、线性最小二乘问题、矩阵特征值问题、解非线性方程组的数值方法、常微分方程初值和边值问题的数值解法、函数逼近。本书每章末均附有丰富、实用的习题。

Navier-Stokes方程是流体的经典方程。在本书中，我们将从线性的Stokes问题入手，研究如何利用协调有限元方法、有限体积方法以及非协调有限元方法高效求解。然后在强**解情况和非奇异解束两个层面研究定常Navier-Stokes方程理论和高效计算方法，同时介绍求解定常Navier-Stokes方程的三种迭代方法和针对较大雷诺数问题的Euler时空迭代方法。后研究了非定常Navier-Stokes方程的有限元离散方法以及高效全离散方法。

无

本书收集了2022年至2023年度中国数学奥林匹克的试题，并对试题作详细地分析、解答与评点。 试题包括：全国高中数学联赛、全国中学生数学冬令营、女子数学奥林匹克、东南地区数学奥林匹克、 集训队测试、美国数学奥林匹克、俄罗斯数学奥林匹克以及 数学奥林匹克。 本书倾注了许多专家和学者的心血，书中有很多他们的创造性的工作。本书可供数学爱好者、参加数学竞赛的广大中学生、从事数学竞赛教学的教练员、开设数学选修课的教师参考。

《数值分析与科学计算》系统地介绍了数值分析的有关内容，共十章．内容包括：误差：非线性方程求根；线性方程组的数值解法；解线性代数方程组的迭代法；非线性方程组数值解与*化方法；插值方法；数据拟合与函数逼近；数值积分和数值微分；常微分方程的数值解；矩阵特征值与特征向量的计算．本书的*特色是在书中增加了科学计算与matlab软件的内容，在介绍各种数值方法的同时，具体讲解了如何将算法编写成程序，以及如何用数学软件求解相关的数值问题． 《数值分析与科学计算》可作为工科研究生以及本科生“数值分析”或“计算方法”课程的教材或教学参考书，也可作为“数值分析实验”的参考书和数学建模竞赛的辅导教材，还可供科技工：作者和工程技术人员学习和参考．

本书是编者在多年从事计算方法课程教学经验的基础上编写的。全书共分七章，内容包括计算方法的基本概念及应用软件——Matlab,详细介绍了函数插值法的基本概念、各种插值方法和数值积分的各种插值型求积公式，函数逼近的基本概念及包括曲线拟合的小二乘法在内的基本逼近方法，阐述了矩阵分解法、迭代法的基本概念和相应应用以及泰勒级数法的相关内容。 本书适用于普通高校理工类本科专业学生和非数学类研究生，也可为科学技术和工程技术人员提供学习参考。

随着科学计算水平的不断提高，数值模拟成为自然科学领域的关键技术手段。对于流体领域的研究者，动力学数值模拟是描述流体运动客观现象及规律的重要工具，也是深刻理解流体及其伴生要素输移运动基本理论的重要途径。随着数值模拟的重要性日益显著，数值模拟的核心问题即数学模型的可靠度和准确性也备受关注，如何度量科学计算的综合性能，如何确认和验证模型的计算结果，是流体数值模拟领域进行行业标准化应用和推广亟待解决的重要科学问题。 目前，靠前同业对科学计算确认与验证评价传统模式主要是通过实测资料对模型进行验证以及主观因素为知名品牌的专家评审，针对河流动力模型数值解的可靠性、准确性分析及结果可信度研究甚少。纵观河流数值模拟领域，仍缺乏一套科学规范的可度量评价体系，导致模型性能难以合理的确认和验证，模型

如何通过25次简单迭代得到圆周率的4500万位有效数字？利用深刻的数学思想以及高超的算法设计，就可以产生如此有威力的算法。本书用比较浅显的数学知识，比如三角函数、级数、迭代等概念，解释如何得到圆周率计算的高效算法。希望通过这本小册子，让读者从一个很小的角度感悟到计算机时代算法的基本思想。

今年是恩师郭柏灵院士70寿辰，华南理X-大学出版社决定出版《郭柏灵论文集》。郭老师的弟子，也就是我的师兄弟，推举我为文集作序。这使我深感荣幸。我于1985年考入北京应用物理与计算数学研究所，师从郭柏灵院士和周毓麟院士。研究生毕业后我留在研究所工作，继续跟随郭老师学习和研究偏微分方程理论。老师严谨的治学作风和对后学的精心培养与殷切期望，给我留下了深刻的印象，同时老师在科研上的刻苦精神也一直深深地印在我的脑海中。 郭老师1936年生于福建省龙岩市新罗区龙门镇，1953年从福建省龙岩市中学考入复旦大学数学系，毕业后留校工作。1963年，郭老师服从祖国的需要，从复旦大学调入北京应用物理与计算数学研究所，从事核武器研制中有关的数学、流体力学问题及其数值方法研究和数值计算工作。他全力以赴地做好了这项工作，为我国

本书把握当今信息时代数字化、互联网、大数据三大技术特征，着眼于当代科学活动及科学文本的大数据引领科学计量学深刻变革的理念，从理论基础和应用两个方面介绍科学计量大数据的**进展。理论基础部分，从科学计量的大数据基础的角度，论述了数字出版、互联网与科学计量大数据，面向科学计量的数据体系；科学论文的使用数据和论文使用数据的开放获取优势；应用部分，分别探讨了科学家的工作时间表，科学论文在社交网络中的传播机制，实时追索论文使用数据呈现的研究热点与研究前沿，以及基于使用、引用等多重指标的单篇论文评价体系。

本书介绍了科学计算中基本的数值计算方法。主要内容有：线性代数方程组的数值解法，非线性方程和方程组的迭代解法，矩阵特征值和特征向量的计算，函数的插值与曲线拟合，数值积分和常微分方程初值问题的数值解法。 本书可作高校理工科有关专业的教材，也可供有关科技人员参考。

本书讨论处理无约束**化问题的数值方法，主要包括Newton法。共轭梯度法、拟Newton法、Powell直接方法以及非线性小二乘法，并且阐明了其理论、应用和发展动向。

《轨迹》主要讨论了点的轨迹的意义和探求轨迹的方法，包括综合法和解析法。在此基础上，还简要地介绍了动图形的轨迹和曲线族的包络的初步知识。《轨迹》可供中学数学教师参考，也可供中学生课外阅读。

《轨迹》主要讨论了点的轨迹的意义和探求轨迹的方法，包括综合法和解析法。在此基础上，还简要地介绍了动图形的轨迹和曲线族的包络的初步知识。《轨迹》可供中学数学教师参考，也可供中学生课外阅读。

无

Maple是目前应用非常广泛的符号计算软件之一，它拥有非常强大的符号计算和数值计算功能。本书详细地介绍了Maple的基本功能，包括：数值计算、解方程、微积分计算、向量及矩阵计算、解常微分方程和偏微分方程等，本书深入讲解了Maple编程的基本原理。

支持向量机的研究是近十余年机器学习、模式识别和数据挖掘领域中的研究热点，受到了计算数学、统计、计算机、自动化和电信等有关学科研究者的广泛关注，取得了丰硕的理论成果，并被广泛地应用于文本分类、图像处理、语音识别、时间序列预测和函数估计等领域，本书首先介绍了核函数的概念；然后从几何直观的角度介绍了建立二分类模型和回归模型过程中所取得的理论成果；*后对于分解算法、*小二乘支持向量机、多分类、模糊支持向量机、在线学习和大规模分类相关的优秀成果进行了归纳和整理，从数学上对相关算法的原理进行了详细分析。本书的内容既包括支持向量机的**进展，也包括作者的多年研究成果。作者希望本书能够有助于对机器学习、模式识别和数据挖掘感兴趣的读者更加快速地了解支持向量机的**研究动态，能够有助于读者理清算法的本

云计算正在成为一种通用的计算技术，它将深刻地改变地球科学应用的传统方法和模式，解决21世纪地球科学面临的诸多挑战。本书通过17个章节及实例，从5个方面为读者介绍了全面的空间云计算知识，包括：（1）云计算的基本概念和为什么地球科学需要云计算？（2）如何将简单的地球科学应用迁移到云计算？（3）如何使云计算支撑复杂的地球科学应用？（4）如何测试一个云服务是否已准备好支撑地球科学应用？（5）什么是需要进一步研究的问题和需求？本书可为读者提供系统的空间云计算知识，指导读者了解空间云计算，应用空间云计算，进一步研究空间云计算。