本书将基础经济学、高频数据的经验基础和数学工具以及模型联系在一起，为读者在试图理解和设计成功的交易算法时面对的各种各样的问题，提供足够广阔的视野。本书分为三个部分。第一部分给出了交易市场的基本概念、理论以及经验事实。第1章介绍了电子交易市场、市场参与者和订单簿。第2章概述了金融微观结构市场模型。第3章和第4章对市场进行了实证和统计分析。第二部分也就是第5章介绍了交易算法分析相关的数学工具。第三部分深入研究算法交易策略的建模。第6-8章涉及**执行策略，即代理商必须在预先指定的窗口上清算或收购大头寸，使用市价单或限价单进行持续交易。第9章涉及基于交易量日程的执行算法，为希望跟踪市场整体交易量的投资者制定战略。第10章展示了做市商如何在限价订单簿中选择限价单的发布位置。考虑了包括对库存风险的厌恶

本书是Fred等三个美国流行病学模型专家、数学家合著的Mathematical Models in Epidemiology一书的中译本。内容分流行病学的基本概念（包括各种类型的仓室模型、地方病模型、流行病模型、异质混合模型、媒介传播的疾病模型）,特殊疾病的模型（包括结核病模型、艾滋病病毒/艾滋病（HIV/AIDS）模型、流感模型、埃博拉模型、疟疾模型、登革热模型与寨卡病毒模型）,进一步概念（包括年龄结构和空间结构的疾病传播模型等）和展望未来四个部分,另加三个附录。

本书系统介绍了随机传染病动力学模型建立、分析以及数值分析，以期为传染病防控提供科学依据。全书共8章：第1章详细介绍了传染病动力学仓室建模方法和基本再生数的计算、随机模型构建及研究进展等；第2章给出了随机传染病模型研究需要的基础知识，包括概率空间、随机过程、It*微积分、随机微分方程及其稳定性、Markov半群、不变测度以及Fokker-Planck方程等；第3，4，5章分别研究了人口流动、干预策略、媒体报道等因素对随机传染病模型动力学行为的影响机制；第6章给出了猫免疫缺陷病毒模型的随机分析，特别是考虑了季节变化对疾病传播的影响；第7章研究了具有均值回归过程的随机传染病模型动力学行为；第8章给出了随机传染病动力学模型研究的基本算法及其相应的R程序代码。

本书提出了时间序列混合智能辨识、建模与预测的理论和方法。内容分四篇共16章。篇阐述了时间序列分析的重要性，从文献计量学的角度对时间序列的**国际研究进展进行了归纳总结，系统阐述了当前国内外主流时间序列辨识、建模与预测的计算策略和经典算法体系；第二篇介绍了铁路沿线风速混合智能辨识、建模与预测理论方法，包括基于特征提取的GMDH神经网络、长短期记忆深度网络、卷积门限循环单元网络、Boosting集成预测和Stacking集成预测模型；第三篇提供了智慧城市大气污染物浓度的特征分析方法及浓度时间序列建模与预测模型，包括点预测、区间预测、聚类混合预测和时空混合预测等理论；第四篇对金融股票价格时间序列进行特征提取与混合预测，包括贝叶斯统计预测模型、BP/Elman/RBF等神经网络预测模型、CNN/LSTM/BiLSTM等深度网络预测模型。本书提供

本书深入浅出地介绍了与数学建模基础有关的内容，重点放在微分方程模型、运筹学模型和数理统计模型方面，着重讲述建模的基本思想和模型求解的基本方法，以及运用数学软件求解数学模型的方法。包括数学建模人门、微分方程模型、线性规划模型、动态规划模型、最优化模型、图论与网络模型、数理统计模型、多元分析模型和计算机模拟等9章内容，同时还包括三个附录，分别是MATLAB软件的使用、LINGO软件的使用和R软件的使用。本书的重点放在数学模型的建立以及问题的分析与描述上，使读者能够举一反三，运用计算机软件解决实际问题。

深水中的Benjamin-Ono(BO)方程是一类非常重要的非线性色散方程，具有广泛的物理背景和应用背景。该类方程存在一类具有有限分式的代数孤立子，并且属于可积系统。本书给出该类方程的物理背景并阐述其怪波解，着重研究几种重要类型的BO方程的数学理论，其中包括在能量空间和Bourgain空间上的整体解的存在性、**性和低正则性等。同时本书研究了中等深度水波方程的广义解、解的渐近性和极限性质、广义KP方程和二维BO方程解的爆破性质，以及利用稳定性理论和谱分析的方法介绍了BO方程孤立波解的轨道稳定性和渐近稳定性。

本书被选编入了斯普林格经典的 数学研究生教材 系列。尽管市场上有关编码理论的书籍繁多，这本书以其高品质脱颖而出，是编码理论相关书籍榜上畅销不衰的经典。本书特色在于：简短、精确、数学严谨地介绍了书本主题内容，从数学家的角度清晰地提出了基本概念和思想，并在各种特殊类型的代码中加以说明。本书被推崇为每个想要了解编码代数理论的数学家的要读之书。再版版本除了添加了编码增益等内容，还附上了关于编码理论的最新文献，让读者能够进一步拓展知识面。

本书系统介绍有关多尺度建模的基本问题，主要介绍其基本原理而非具体应用。前四章介绍有关多尺度建模的一些背景材料，包括基本的物理模型，例如，连续统力学、量子力学，还包括一些多尺度问题中常用的分析工具，例如，平均方法、齐次化方法、重正规化群法、匹配渐近法等，同时，还介绍了运用多尺度思想的经典数值方法。接下来介绍一些更前沿的内容：多物理模型的实例，即明确使用多物理渐近的分析模型，当宏观经验模型不足时，借助微观模型，使用数值方法来获取复杂系统的宏观行为规律，使用数值方法将宏观模型和微观模型结合起来，以便更好地解决局部奇点、亏量及其他问题；后一部分主要介绍三类具体问题：带多尺度系数的微分方程、慢动力和快动力问题以及其他特殊问题。

作为2007年版Statistical Multisource-Multitarget Information Fusion一书的姊妹篇，《多源多目标统计信息融合进展》系统全面地介绍了随机集信息融合*近10年来的理论及技术进展，密切结合弱小目标检测、联合跟踪识别、集群目标跟踪、多源异质融合、传感器配准、传感器／平台资源管理等实际应用问题，内容新颖且系统性强。 《多源多目标统计信息融合进展》按专业化程度和应用水平分为五篇26章：有限集统计学初步（第2～6章）；标准观测模型的RFs滤波器（第7～15章）；未知背景下的RFS滤波器（第16～18章）；非标观测模型的RFs滤波器（第19 22章）；RFS传感器与平台管理（第23 26章）。主要内容涵盖：随机有限集与多目标的数学基础、贝叶斯建模／滤波与性能评估、经典有限集滤波器、多传感器有限集滤波、跳变多目标系统滤波、联合的滤波与传感器配准、多目标平

本书以经济系统效率分析为研究背景,探讨如何进一步拓展和完善DEA理论、模型及其应用.其中,第1章主要介绍效率与生产力分析中的一些概念.第2章介绍一些基本DEA模型及广义DEA模型.第3章探讨广义DEA模型的有效性度量方法.第4章分析DEA效率悖论产生的原因,并给出克服“效率悖论”出现的修正DEA模型.第5章给出一种含有中性指标的DEA模型,并讨论其在经济结构调整中的应用.第6章给出测算时间序列决策单元效率的DEA模型.第7章提出一种评价多层次复杂系统的DEA模型.第8章给出一种基于决策单元合作与竞争博弈的DEA模型.第9章给出一种用于测算个体对群体效率贡献的DEA模型.第10章给出权重受限的超效率DEA模型及投影方法.第11章给出一种用于电影衍生品市场前景综合评价的DEA模型.第12章建立一种评价大型超市选址合理性的DEA模型.第13章和第14章分别对中国省级经济发展效率和高

本书是Springer统计系列丛书之一，旨在让读者深入了解数据挖掘和预测。随着计算机和信息技术迅猛发展，医学、生物学、金融、以及市场等各个领域的大量数据的产生，处理这些数据以及挖掘它们之间的关系对于一

本书是Springer统计系列丛书之一，旨在让读者深入了解数据挖掘和预测。随着计算机和信息技术迅猛发展，医学、生物学、金融、以及市场等各个领域的大量数据的产生，处理这些数据以及挖掘它们之间的关系对于一

本书是Springer统计系列丛书之一，旨在让读者深入了解数据挖掘和预测。随着计算机和信息技术迅猛发展，医学、生物学、金融、以及市场等各个领域的大量数据的产生，处理这些数据以及挖掘它们之间的关系对于一

本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。 可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。 前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。 第3 章为几何定理证明的机械化与Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。

基本解方法 早由V.D. Kupradze 在文章Potential methods in elasticity J.N.Sneddon 和 R.Hill (Eds), Progress in Solid Mechanics, Vol.III, Amsterdam, pp.1-259, 1963 中提出。自 1963 年开始，出现大量基本解方法的计算，但鲜有对基本解方法的分析。本书中，给出基本解方法的数值算法、特点，主要着力于建立其误差和稳定性的理论分析。 本书中的严格分析（以及源节点的选择）为MFS提供了坚实的理论基础，使其成为偏微分方程（PDE）的有效且称职的数值方法。内容源于作者已经发表的论文，本书介绍了MFS的基本和重要要素。

本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。 可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。 前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。 第3 章为几何定理证明的机械化与Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。