数学
-
复合分布式陈柏宇，刘桂林，王莉萍 著本书以测度论为基础，在严谨的数学理论基础上，建立了一个由离散型随机变量和一个多维连续型随机变量构成的一种新型的理论分布模型——多维复合极值分布模型。模型中的离散型随机变量，可以是不同海区每年台风、飓风、寒潮大风出现的各不相同的频次，也可以是由于海洋环境条件的随机性而构成的各年（或过阈）不同的醉大荷载取样个数，而模型中的多维连续型随机变量是由于台风（飓风）影响或不同取样条件下所产生的灾害性海洋环境条件，即相应的特征值（如波高，风速，风暴增水等）的概率分布。本书还给出了模型的工程应用。 -
模糊复集值积分理论及其应用马生全，马晶 著《模糊复集值积分理论及其应用》介绍模糊复集值积分理论与应用的主要成果.《模糊复集值积分理论及其应用》共六章：绪论简要介绍模糊复分析发展概况，第1章主要介绍《模糊复集值积分理论及其应用》所涉及的预备知识;第2章介绍模糊复数与模糊复集概念及其基本性质;第3章介绍模糊复集值测度理论初步知识;第4章介绍模糊复集值函数积分理论，包括模糊复集值积分概念、收敛性定理、几类典型的模糊复集值积分（Sugeno型、Choquet型、（N）-型）概念与基本性质;第5章介绍模糊复集值积分理论的应用问题，分别对模糊复集值积分分类器设计以及模糊复集值积分在分类器融合、多维模糊评价、模糊信息学习、数据信息分类、数据流信息处理技术等问题的应用方法做了初步尝试. -
现代油水资源数值模拟方法的理论和应用袁益让，芮洪兴，程爱杰 著油水资源数学模拟方法主要包括油田勘探和开发中的渗流力学数值模 拟方法和环境科学，特别是与地下水资源开发和利用及污染问题的防治有关 的数值模拟， 以及半导体器件数值模拟中的渗流力学方法等内容. 它是现代 计算数学和工业应用数学的重要研究方法. 《现代油水资源数值模拟方法的理论和应用》内容包括渗流驱动半定问题 数值方法的理论与应用、二相渗流驱动问题的有限体积元方法和混合体积元 -特征混合体积元方法、可压缩二相渗流的区域分裂方法、二相渗流驱动问 题的混合体积元-分数步差分方法、多孔介质非 Darcy 流问题的数值方法、 核废料污染问题数值模拟的新方法、化学采油数值模拟方法的新进展、冻土 问题数值模拟和地下水污染问题的数值模拟的计算方法及其理论分析. -
数学的精神、思想和方法（日）米山国藏 著《数学的精神、思想和方法》是非常有影响的数学教育名著，精辟论述了数学的精神实质、 思想、方法，为读者勾画出了整个近代数学的沿革和它多姿多彩的面貌。 对于如何向学生传授数学的精神、思想和方法，作者提出了很多有价值的见解。《数学的精神、思想和方法》风趣生动，仿佛是一位长者在讲述一个曲折、奇妙又颇具启发性的故事。《数学的精神、思想和方法》是长销不衰的数学启蒙佳作，深受数学教师和数学爱好者的欢迎。 -
数学底层引擎相邻论和重合法罗莫 著本书通过数学新工具“相邻论”和“重合法”，找到相邻整数之间互异互素的关系，完成了互异型哥德巴赫猜想、孪生素数猜想、黎曼假设、四色猜想、费马猜想、比尔猜想、考拉兹猜想、ABC猜想等世界系列重大数论难题的证明。作者发现，首项后继序列个体有所作为是全项所有集合群体有所作为的充要条件，火车能跑是因为火车头能跑，多项式素数之和能获得全部偶数，是因为二项式素数之和能获得全部偶数。本书成果有望带来多米诺骨牌效应，可以推动纯粹数学自身以及其他学科的迅猛发展。 -
基于二元Box样条的多进制细分算法赵义武等 著《基于二元BOX样条的多进制细分算法》针对计算机图形图像处理中的曲面细分问题，比较系统地总结了作者所在团队多年来的研究成果。《基于二元BOX样条的多进制细分算法》共8章。前3章是二元Box样条的基本概念和二元三方向均匀剖分上多元Box样条的细分；后5章重点介绍了曲面的多进制细分算法的显式表达式和细分极限曲面的光滑性分析，并给出了计算实例。《基于二元BOX样条的多进制细分算法》的结论不仅为形成完整的多进制细分理论奠定了基础，还扩展了三角形网格细分算法应用的灵活性，在实际应用中不再局限于二进制的细分算法，可以根据实际需要灵活选择多进制的细分算法。同时，也为构造细分小波提供了多种不同进制的尺度方程。 -
数学教育测量与评价马云鹏 著本书介绍了数学教育测量与评价的理论与方法。主要包括，数学教育测量与评价的一般问题；数学教育测量的技术问题，数学测试题目的选择与编制，试卷的形成与施测，测量结果的统计分析；数学教育评价的几种方法，括表现性评价，成长记录的开发与运用，课堂教学评价等；国际数学教育评价简介。 -
几何代数的形式化与初步应用关永，李黎明，施智平 著《几何代数的形式化与初步应用》以几何代数理论体系与自动定理证明思想为指导，系统深入地研究了几何代数的形式化理论与公理化体系，构建了一个兼具代数推理和几何解算能力的统一形式化数学定理体系，对代数与几何从概念上进行了融合与拓展、从描述方法和运算法则上进行了综合与归纳，为代数理论赋予了“形”的特征，为几何理论提供了“数”的内涵，并将其初步应用于实际物理问题的证明，内容涵盖了自动定理证明、机器人、形式化验证等人工智能领域。《几何代数的形式化与初步应用》主要内容包括：几何代数理论的进展、形式化理论；HOL Light 定理证明器体系；几何代数结构的形式化；几何与物理解释的形式化；单目相机姿态估计模型的形式化分析、对称陀螺运动的形式化分析等初步应用案例。作者长期对系统形式化与自动定理证明进行深入研究，并在机器人安全验证等领域持续实践迭代，《几何代数的形式化与初步应用》是对该过程成果的高度凝练与系统总结。 -
无穷维线性系统控制理论郭宝珠，柴树根 著《无穷维线性系统控制理论（第二版）》第一部分报道了无穷维线性系统控制理论的发展，特别是适定和正则系统的抽象理论，也讨论了可控性、可观性、能稳性、可检性、可优性、可估性、实现，以及极点配置等几个主要的基础性概念。第二部分报道了适定正则系统理论在偏微分方程，主要是几个经典的高维偏微分方程中的应用。第1章和附录列出了《无穷维线性系统控制理论（第二版）》所需的有穷维系统控制、泛函分析、Riemann几何的基本知识，有利于初学者入门。 -
固定收益数学弗兰克 J.法博齐，俞卓菁 著《固定收益数学：分析与统计技术（第四版）》呈现了关于固定利率债券和浮动利率债券的收益率测度、关键利率久期和收益率曲线的曲度、分级偿还债务抵押债券的现金流特征以及许多其他主题的内容和分析。它是所有固定收益投资组合经理和从业者信赖和需要的参考书卷。 在过去十年间，评估固定收益证券的概念和方法已发生了巨大变化。《固定收益数学》第四版解释了这些变化背后的分析和统计概念，并为读者提供了对类型广泛的固定收益产品投资进行持续风险控制所需要的知识。除了对新一代的资产支持证券进行内容更新以及对统计技术、模拟和优化模型章节进行更新外，更新后的第四版还增加了以下新章节： 利率建模、信用风险概念和公司债券测度、提前还款建模、MBS构建的基本知识、信用评分和风险因子识别的统计技术、跟踪误差和多因子模型
