方程求解与机器证明 : 基于MMP的问题求解
《方程求解与机器证明 : 基于MMP的问题求解》,作者:高小山[等]著 出版社:科学出版社 ISBN:7030178629。本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。
基于
基于进化优化的多目标批量流水线调度
《基于进化优化的多目标批量流水线调度》,作者:韩玉艳等 著 出版社:科学出版社 ISBN:9787030566034。多目标批量流水线调度问题普遍存在于制造业、信息服务业等，但是，已有的解决该问题的方法非常少，采用进化优化方法求解多目标批量优化问题成为近年来进化优化界的热点研究方向之一。本书阐述用于求解多目标、多约束以及参数具有不确定性的批量流水线调度理论与进化优化方法，主要包括构建多目标批量、
汇率与宏观经济——基于中国数据的实证研究
《汇率与宏观经济——基于中国数据的实证研究》,作者:潘红宇,谷欣,刘琼 著 出版社:科学出版社 ISBN:9787030525604。随着中国经济日益开放，资本管制逐步放开，汇率形成机制更加市场化，研究汇率对宏观经济的影响对于了解汇率的作用机制以及制定宏观政策有重要意义。本书从四个方面进行研究：一是汇率制度与经济增长的关系，更浮动的汇率制度是否有利于中国经济的发展；二是汇率风险对贸易的影响，汇率波
基于信息融合的无线传感器网络部署
《基于信息融合的无线传感器网络部署》,作者:张聚伟 著 出版社:科学出版社 ISBN:9787030529213。节点部署是无线传感器网络研究的一个基本问题，部署效果的好坏直接影响无线传感器网络所提供的服务质量的好坏。本书结合作者长期以来在该领域的研究工作，基于信息融合理论，论述和总结无线传感器网络部署的发展及所面临的诸多技术挑战。全书分三篇，共16章，内容涉及水下传感器网络部署、有向传感器
中国经济灰色投入产出分析——基于对全国投入产出表的实证研究
《中国经济灰色投入产出分析——基于对全国投入产出表的实证研究》,作者:王学萌,郭常莲,李晋陵 著 出版社:科学出版社 ISBN:9787030517166。投入产出分析是研究经济系统各部门之间投入与产出相互依存关系的经济数量方法, 它最基本的作用就是把最终需求和产业部门的产出水平联系起来. 因此, 投入产出分析是研究一切经济活动的核心内容与工作基础.全书以十个年度的《全国投入产出表(17个部门)》
以汉语和韩语为母语的英语学习者对英语中动及其相关结构的习得：基于事件结构理论的解释
《以汉语和韩语为母语的英语学习者对英语中动及其相关结构的习得：基于事件结构理论的解释》,作者:高育松著 出版社:科学出版社 ISBN:9787030292032。本书旨在探讨以汉语和韩语为母语的英语学习者如何习得英语中动及其他去及物结构。
美国弱势群体优质高等教育机会研究:基于美国一流大学综合评价招生制度的分析视角
《美国弱势群体优质高等教育机会研究:基于美国一流大学综合评价招生制度的分析视角》,作者:陈为峰著 出版社:科学出版社 ISBN:9787030597526。在高等教育发展的关注点从规模走向质量的同时，高等教育入学机会的关注点同样从普及程度转向优质高等教育的分配问题。弱势群体由于经济、文化、社会等资本弱势，在优质高等教育资源的获得方面可能遭遇某些制度性不公。如何破解这个难题？《美国弱势群体优质高等教
计量经济学实验：基于R语言的实现
《计量经济学实验：基于R语言的实现》,作者:时奇 主编 出版社:科学出版社 ISBN:9787030632463。本书用R语言来实现计量经济学方法，主要包含经典线性回归、自回归、向量自回归、受限因变量模型(Logit、Probit、Tobit 等)、匹配方法、工具变量回归、分位数回归等。
基于多元样条插值的有限元方法
《基于多元样条插值的有限元方法》,作者:陈娟 著 出版社:科学出版社 ISBN:9787030648501。本书系统介绍了采用多元样条插值基函数构造平面四边形、多边形和三维单元形状函数的有限元方法.全书内容分为6章.第1章简要介绍了弹性力学有限元方法的基本理论.第2章概述了多元样条方法的基础知识,包括光滑余因子协调法、B网方法.第3章介绍了Ⅱ型三角剖分的平面凸四边形样条单元族的构造.第
基于面向对象遥感技术的地理本体建模
《基于面向对象遥感技术的地理本体建模》,作者:崔巍 出版社:科学出版社 ISBN:9787030503237。基于语义的空间信息系统集成和互操作是当前空间信息科学的一个热点。本书结合空间数据的特殊性，探讨了基于面向对象遥感技术的地理本体建模思想和方法。通过把地理本体与面向对象的遥感技术有机地结合在一起，构造一个基于遥感特性的地理本体系统，从而屏蔽空间信息资源和服务的分布、异构特征，在逻辑
