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

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

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

《密码算法、计算架构及硬件实现》梳理了各类密码算法的发展历程及现状，在流密码、分组密码和哈希函数三类算法中进行轻量化设计和可重构设计两方面的研究，在公钥密码算法中对椭圆*线加密算法的标量乘和模乘两个关键部分进行深入研究，并结合作者团队近年来的研究工作，给出上述四类算法的计算架构设计和可重构硬件实现的参考示例。此外，《密码算法、计算架构及硬件实现》还介绍了在基于身份的加密和硬件安全方面取得的进展，并展望了密码算法在实现和应用等方面的前景。

基本解方法 早由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的基本和重要要素。

《洪水设计值计算原理与应用》是继《单变量水文序列频率计算原理与应用》之后，力求反映国内外关于一般洪水序列频率分布参数估计新型计算理论和特殊洪水序列频率计算的前沿研究进展的一部图书。《洪水设计值计算原理与应用》主要内容包括:洪水频率计算研究面临的挑战、特殊洪水序列频率计算原理、四参数指数Gamma分布计算原理、Johnson变换系统分布与多项式正态变换计算原理、智能优化算法估算洪水分布参数计算原理、GG和GB2分布在洪水频率计算中的应用、基于Copula函数的多变量洪水联合概率分布计算原理。

本书是“Abaqus用户手册大系”中的一册，包括 条件、约束与相互作用三个部分。 条件部分对各种物理过程中涉及的各种形式的载荷进行了描述，阐述了如何定义施加随空间和时间变化的载荷。约束部分对模型中节点与节点之间、单元与单元之间的各种约束关系进行了阐述。相互作用部分对广泛存在于物理过程中的相互接触问题进行了详尽的阐述。 本书中阐述的技术要点对于完整、细致、正确地建立仿真模型是 必要的，是对《Abaqus分析用户手册——分析卷》的 细致的补充。本书不仅适合于从事大型装备设计的工程技术人员使用，也 适合各行业中从事各种尺度产品设计与分析的人员使用。对于需要使用Abaqus进行实际复杂问题处理的学生及工程技术人员来说，本书则是 的。对于采用其他软件进行相关工作的技术人员，书中的技术要点也具有 重要的参考价值。

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

基本解方法最早由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的基本和重要要素。

油水资源数学模拟方法主要包括油田勘探和开发中的渗流力学数值模 拟方法和环境科学，特别是与地下水资源开发和利用及污染问题的防治有关 的数值模拟, 以及半导体器件数值模拟中的渗流力学方法等内容. 它是现代 计算数学和工业应用数学的重要研究方法. 《现代油水资源数值模拟方法的理论和应用》内容包括渗流驱动半定问题 数值方法的理论与应用、二相渗流驱动问题的有限体积元方法和混合体积元 -特征混合体积元方法、可压缩二相渗流的区域分裂方法、二相渗流驱动问 题的混合体积元-分数步差分方法、多孔介质非 Darcy 流问题的数值方法、 核废料污染问题数值模拟的新方法、化学采油数值模拟方法的新进展、冻土 问题数值模拟和地下水污染问题的数值模拟的计算方法及其理论分析.

本书系统全面地介绍了随机集信息融合最近10年来的理论及技术进展，密切结合弱小目标检测、联合跟踪识别、集群目标跟踪、多源异质融合、传感器配准、传感器/平台资源管理等实际应用问题。全书按专业化程度和应用水

本书在归纳分析国内外相关研究的基础上，从小波变换，轮廓变换，剪切波等多尺度变换，以及多尺度变换的子带选择等全新角度研究了图像纹理分类理论和方法，并且还对大数据图像纹理分析和分类问题进行了研究。主要内容包括《BR》（1）研究背景，对早期多尺度变换和图像纹理分类理论和方法给出一个概述性的总结；《BR》（2）对当前主要多尺度变换的理论框架进行总结性介绍《BR》（3）研究小波域直方图比对的纹理分类理论和方法《BR》（4）研究轮廓波域泊松混合模型，及其基于该模型的纹理分类方法；《BR》（5）研究基于轮廓波域聚类的纹理分类理论和方法《BR》（6）研究剪切波子带依赖性的线性回归模型，以及基于该模型的的纹理分类方法《BR》（7）研究轮廓波子带的统计特征提取方法，以及基于轮廓波域统计特征的纹理分类方法《BR》（8）研究了多

本书是《小波与量子小波》（共三卷）的第二卷，内容包括内容包括图像小波和图像小波链算法理论、图像小波包和图像小波包算法理论，多分辨率分析理论应用，小波理论典型应用实例；。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

第八届国际工业与应用数学大会（ICIAM 2015）将于2015年8月10日-14日在北京召开。这是该国际会议首次在亚洲、特别是在发展中国家举办。ICIAM 2015的举办不仅将对我国应用数学的发展产生巨大深远的影响，极大地促进数学与科学技术及国民经济的密切结合与相互推动，而且将在国际同行及朋友面前更好地展示我国改革开放以来的飞速发展和精神面貌。这也是我们与国际前沿研究近距离接触的一次绝佳机会，对于进一步加强国内外同行之间的学术交流、寻求更深更广的合作空间、促进交叉学科研究、并取得高质量和高水平的科学研究成果等方面均会起到重要的推动作用。

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

本书是一本关于利用金融工程方法对衍生产品建立模型的理论教科书，主要内容是关于大多数衍生证券都共同适用的联定价原理。仔细分析通常在公平和有固定收益市场交易的金融衍生产品所涉及的广泛内容，主要集中在定价、对冲及其风险管理等几个方面。从著名的Black-Scholes-Merton期权定价模型开始，读者通过本书可以看到关于丰富的衍生产品定价模型和利率模型的新进展。书中重点介绍了求解不同类型衍生产品定价模型的解析技巧和数值方法。《BR》 第二版对版进行了大量的修订。在离散时间的框架内，通过对基本金融经济学原理的分析，使连续时间缺定价理论变得更生动。书中给出了大量的新型权益和有固定收益的衍生证券的闭式定价公式。在每章的后面通过习题的方式把许多近的研究成果和方法呈现给读者。《BR》 郭宇权是香港科技大学的数学教授

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

本书系统深入地阐述了鸽群优化的起源、原理、模型、理论、改进及应用，力图概括该算法自提出以来的国内外**研究进展。全书共9章，主要包括鸽群优化思想起源和研究现状，鸽群优化机制原理、数学模型和实现流程，鸽群优化收敛性理论证明、首达时间及参数选择，鸽群优化模型改进，鸽群优化在任务规划、自主控制、信息处理、电气能控等领域的典型应用，以及鸽群优化研究前沿与展望。本书面向工程实际应用，突出前沿学科交叉，强调理论基础支撑，着眼优化技术发展，取材新颖，深入浅出，覆盖面广，系统性强，力求使广大读者能快速掌握和应用这一新兴的仿生群体智能优化方法。