安全协议形式化分析与验证
《安全协议形式化分析与验证》,作者:肖美华著 出版社:科学出版社 ISBN:9787030626332。《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
分析
热力学分析与节能论文集
《热力学分析与节能论文集》,作者:第五届全国热力学分析与节能学术讨论会学术委员会编 出版社:科学出版社 ISBN:7030023501。1990年7月在秦皇岛召开了“第五届全国热力学分析与节能学术讨论会”．本文集收编了经本届会议学术委员会评审录用的且在会议期间宣读的论文共37篇． 这些论文都是以热力学第一定律与第二定律为基础、围绕节能工作开展的科研成果，其中第一类属于基础性的研究，反映了在#
间歇过程统计监测与质量分析
《间歇过程统计监测与质量分析》,作者:赵春晖，陆宁云著 出版社:科学出版社 ISBN:9787030420275。本书第1章首先介绍了间歇生产的重要背景和地位，然后从分析间歇过程特点与数据特征出发，引出其多时段特性，揭示多时段分析的重要性。第2章综述了过程监测技术的基础，重点阐述以主成分分析、偏最小二乘等为核心的多元统计分析方法。第3章介绍了应用于间歇过程的传统多元统计分析技术，分析了其发展
民用飞机直接维修成本分析与控制
《民用飞机直接维修成本分析与控制》,作者:马小骏 编著 出版社:科学出版社 ISBN:9787030521095。本书是作者多年工程实践工作的总结，系统阐述了民用飞机直接维修成本研究的基本问题和解决方法，介绍了民用飞机直接维修成本分析与控制的方法和研究成果。 全书围绕民用飞机直接维修成本分析与控制的理论和实际问题进行阐述，共分10章。第1章概述民用飞机直接维修成本的研究背景，第2章
多元统计分析 | Multivariate statistical analysis2版
《多元统计分析 | Multivariate statistical analysis2版》,作者:袁志发，宋世德编著 出版社:科学出版社 ISBN:9787030248381。本书分为九章，内容为多元正态分布及其抽样分布、多元正态总体的均值向量和协方差阵的检验、多元方差分析、直线回归与相关、主成分分析与因子分析等。
现代分析基础及其应用
《现代分析基础及其应用》,作者:张福保编著 出版社:科学出版社 ISBN:9787030393241。本书分“Banach空间微分学”、“拓扑方法”、“变分方法”三部分。分别介绍了Banach空间、隐函数定理、约束极值与近似极值、临界点定理应用等。
重分析计算理论及其在复杂产品设计中的应用
《重分析计算理论及其在复杂产品设计中的应用》,作者:王琥等 著 出版社:科学出版社 ISBN:9787030573377。本书着眼于提高重分析方法的实用性及对该方法的推广，从理论研究和实际应用两方面同时入手，对重分析方法中的主要理论和方法进行阐述和讨论，并对近年来作者课题组取得的相关学术和应用成果进行总结。本书针对现有重分析方法的缺陷，以突破重分析方法的应用瓶颈为目标，对重分析方法的计算理论进行补
肿瘤标志物的计算识别与分析
《肿瘤标志物的计算识别与分析》,作者:曹忠波,杜伟,梁艳春 著 出版社:科学出版社 ISBN:9787030594372。本书主要针对基于表达数据的肿瘤标志物的计算识别与分析方法进行系统的研究，分别对基因表达数据和miRNA表达数据两方面内容进行分析。本书提出基于过滤方法的改进的特征选择算法，并应用于成对的基因表达数据分析中，再对算法的有效性与稳定性等方面进行全面的评估。本书还对基于表达数据的mi
近代分析基础 | 2版
《近代分析基础 | 2版》,作者:陈志华编著 出版社:科学出版社 ISBN:9787030337320。本书分为五章：分别为一般拓扑、线性泛函分析、sobolev空间、线性算子的谱分析及非线性分析简介。
