本书将基础经济学、高频数据的经验基础和数学工具以及模型联系在一起，为读者在试图理解和设计成功的交易算法时面对的各种各样的问题，提供足够广阔的视野。本书分为三个部分。第一部分给出了交易市场的基本概念、理论以及经验事实。第1章介绍了电子交易市场、市场参与者和订单簿。第2章概述了金融微观结构市场模型。第3章和第4章对市场进行了实证和统计分析。第二部分也就是第5章介绍了交易算法分析相关的数学工具。第三部分深入研究算法交易策略的建模。第6-8章涉及最优执行策略，即代理商必须在预先指定的窗口上清算或收购大头寸，使用市价单或限价单进行持续交易。第9章涉及基于交易量日程的执行算法，为希望跟踪市场整体交易量的投资者制定战略。第10章展示了做市商如何在限价订单簿中选择限价单的发布位置。考虑了包括对库存风险的
本书是“Abaqus用户手册大系”中的一册，包括 条件、约束与相互作用三个部分。 条件部分对各种物理过程中涉及的各种形式的载荷进行了描述，阐述了如何定义施加随空间和时间变化的载荷。约束部分对模型中节点与节点之间、单元与单元之间的各种约束关系进行了阐述。相互作用部分对广泛存在于物理过程中的相互接触问题进行了详尽的阐述。 本书中阐述的技术要点对于完整、细致、正确地建立仿真模型是 必要的，是对《Abaqus分析用户手册——分析卷》的 细致的补充。本书不仅适合于从事大型装备设计的工程技术人员使用，也 适合各行业中从事各种尺度产品设计与分析的人员使用。对于需要使用Abaqus进行实际复杂问题处理的学生及工程技术人员来说，本书则是 的。对于采用其他软件进行相关工作的技术人员，书中的技术要点也具有 重要的参考价值。
本书针对应用科学中的11个重要的非线性发展方程，介绍差分求解方法的**研究成果，包括微分方程问题解的守恒性和有界性分析、差分方法的建立、差分解的守恒性和有界性分析、差分解的存在性分析、差分解收敛性的证明、差分格式的求解等内容。建立的差分求解格式包括非线性差分格式和线性化差分格式。这11个非线性发展方程如下：Burgers方程、正则长波方程、Korteweg-deVries方程、Camassa-Holm方程、Schr.dinger方程、Kuramoto-Tsuzuki方程、Zakharov方程、Ginzburg-Landau方程、Cahn-Hilliard方程、外延增长模型方程和相场晶体模型方程。
本书是《小波与量子小波》（共三卷）的第三卷，内容包括线性调频小波理论及其构造理论，量子力学与量子态小波，量子计算与量子比特小波理论，以及关于小波理论的291个练习题。。。。。。。。。。。。。。。。。。
多源多目标统计信息融合进展 ,(美)罗纳德？马勒,国防工业出版社 【新华正版书籍】 作者 (美)罗纳德？马勒 原价 ￥218.00 出版社 国防工业出版社 出版时间 2017-12-01
基本解方法 早由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的基本和重要要素。
本书提出了时间序列混合智能辨识、建模与预测的理论和方法。内容分四篇共16章。 篇阐述了时间序列分析的重要性，从文献计量学的角度对时间序列的** 研究进展进行了归纳总结，系统阐述了当前 外主流时间序列辨识、建模与预测的计算策略和经典算法体系；第二篇介绍了铁路沿线风速混合智能辨识、建模与预测理论方法，包括基于特征提取的GMDH神经网络、长短期记忆深度网络、卷积门限循环单元网络、Boosting集成预测和Stacking集成预测模型；第三篇提供了智慧城市大气污染物浓度的特征分析方法及浓度时间序列建模与预测模型，包括点预测、区间预测、聚类混合预测和时空混合预测等理论；第四篇对金融股票价格时间序列进行特征提取与混合预测，包括贝叶斯统计预测模型、BP/Elman/RBF等神经网络预测模型、CNN/LSTM/BiLSTM等深度网络预测模型。本书提供了各类
本书在介绍水文模型发展概况、分类以及主要研究与应用领域的基础上，将内容分为3篇； 篇主要讲述流域水循环与水文过程模拟，从流域与流域水循环基本概念开始，分为降水过程模拟、地表截留和人渗过程模拟、蒸散发过程模拟、地下水过程模拟以及产汇流过程模拟等，并以水文模型评估作为本篇的结束；第二篇主要论述概念性水文模型，从 外常用的几十种概念性水文模型中选择了具有一定代表性、且以国外模型为主的6个概念性水文模型，包括新安江模型、水箱模型、SWMM模型、PRMS模型、HSPF模型以及HBV模型；第三篇主要讨论分布式水文模型，介绍了分布式与半分布式水文模型共7个，包括TOPMODEL、SHE模型、SWAT模型、VIC模型、TOPKA-PI模型、数字新安江模型以及PDTank模型。
第八届国际工业与应用数学大会（ICIAM 2015）将于2015年8月10日-14日在北京召开。这是该国际会议首次在亚洲、特别是在发展中国家举办。ICIAM 2015的举办不仅将对我国应用数学的发展产生巨大深远的影响，极大地促进数学与科学技术及国民经济的密切结合与相互推动，而且将在国际同行及朋友面前更好地展示我国改革开放以来的飞速发展和精神面貌。这也是我们与国际前沿研究近距离接触的一次绝佳机会，对于进一步加强国内外同行之间的学术交流、寻求更深更广的合作空间、促进交叉学科研究、并取得高质量和高水平的科学研究成果等方面均会起到重要的推动作用。
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。 可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。 前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。 第3 章为几何定理证明的机械化与Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
