安全协议形式化分析与验证
《安全协议形式化分析与验证》,作者:肖美华著 出版社:科学出版社 ISBN:9787030626332。《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
分析
股市主力交易特征与股价波动：盘口异动的分析视角
《股市主力交易特征与股价波动：盘口异动的分析视角》,作者:王洪伟,杜战其著 出版社:科学出版社 ISBN:9787030613950。《股市主力交易特征与股价波动：盘口异动的分析视角》站在散户的立场，从盘口异动的视角研究股市主力交易特征与股价波动，主要内容包括：基于盘口异动的股市主力交易周期特征分析、基于盘口异动的股市主力交易结构特征分析、基于盘口异动的股市主力交易行为特征及交易决策、基于盘口异动
旅游业经济效应的时空分析与协调性研究
《旅游业经济效应的时空分析与协调性研究》,作者:李秋雨著 出版社:科学出版社 ISBN:9787030627100。《旅游业经济效应的时空分析与协调性研究》以人文地理学、区域经济学和旅游经济学相关的理论为基础，结合经济增长理论、非均衡发展理论、耦合协调理论，综合运用经典计量经济学、空间计量经济学、耦合协调度模型和灰色预测模型等计量研究方法对我国旅游业的经济效应，旅游业经济效应的差异性，旅游业经
时域有限差分法在屏蔽分析中的应用
《时域有限差分法在屏蔽分析中的应用》,作者:陈彬等著 出版社:科学出版社 ISBN:9787030626868。《时域有限差分法在屏蔽分析中的应用》针对时域有限差分(finite-difference time-domain,FDTD)法分析电磁屏蔽问题中遇到的典型问题，提出了一套精度更高的FDTD法模拟窄缝的亚网格技术。《时域有限差分法在屏蔽分析中的应用》首先概述了装备所处的战场电磁环境
科技基础性工作数据资料编目与分析：非资源环境领域
《科技基础性工作数据资料编目与分析：非资源环境领域》,作者:诸云强等著 出版社:科学出版社 ISBN:9787030626363。《科技基础性工作数据资料编目与分析：非资源环境领域》是“科技基础性工作数据汇交与规范整编”丛书之一，介绍了科技资料编目的基础理论方法，阐述了科技基础性工作专项项目及其数据资料的编目方法与流程，编着形成了1999～2011年科技基础性工作专项非资源环境领域项目目录和数据资
瓦斯抽采地质分析技术及应用
《瓦斯抽采地质分析技术及应用》,作者:宋志敏等著 出版社:科学出版社 ISBN:9787030623393。《瓦斯抽采地质分析技术及应用》以实验室测试、现场试验、数值模拟和理论分析为基础，结合地质构造、煤层与顶底板、水文地质、瓦斯地质、现代地应力、煤岩体物性特征等方面，根据矿井地质条件差异和煤体结构的非均质性、改造性、可抽性特点，提出了四级抽采地质单元划分方法，构建了可统一改造的强化层
计算方法典型例题分析 | 2版
《计算方法典型例题分析 | 2版》,作者:孙志忠编著 出版社:科学出版社 ISBN:7030156404。本书内容包括误差分析、方程求根、线性代数方程组的解法、函数插值、曲线拟合与函数逼近、数值积分与数值微分、常微分方程初值问题的数值解法、矩阵特征值与特征向量的计算共8章。
市场信息采集与分析 | 修订版
《市场信息采集与分析 | 修订版》,作者:刘勤侠编著 出版社:科学出版社 ISBN:9787030264909。本书共七个模块，内容包括如何确定市场调查的问题、如何进行市场信息采集设计、如何采集市场信息数据、如何整理市场信息数据、如何分析市场信息数据、如何撰写市场信息采集报告等。
临近边坡精确延时控制爆破及振动分析
《临近边坡精确延时控制爆破及振动分析》,作者:钟冬望等 出版社:科学出版社 ISBN:9787030468567。本书对爆破振动作用下的爆破地震效应、岩体损伤及其稳定性研究的历史及现状进行了较为系统的总结,分别围绕临近边坡精确延时控制爆破的几个相关问题进行了详细阐述。主要内容包括:爆破模型试验研究方法和振动信号分析方法及其应用、精确延时控制爆破及可靠性分析、精确延时控制爆破地震波传播衰减规律
