面向未来卫星系统的网络与协议架构
《面向未来卫星系统的网络与协议架构》,作者:(意)托马索·德科勒等 著;雒江涛,冉泳屹 译 出版社:科学出版社 ISBN:9787030683595。本书译自德国宇航中心德科勒等所著Network and Protocol Architectures for Future Satellite Systems一书。该书展望未来卫星系统及组网技术的发展趋势，重点阐述网络编码、多路 TCP 和信息中心网
系统
美国土壤系统分类检索
《美国土壤系统分类检索》,作者:康奈尔大学农学系编；龚子同等译 出版社:科学出版社 ISBN:130313014。本书主要介绍美国土壤系统分类的原则、标准、等级系统和方法，系统地介绍了土壤诊断分类中的标准化和定量化成果。它实际上是《美国土壤系统分类》一书的简写本，可作为研究美国土壤分类、拟定本国或本地区土壤分类系统时的参考资料。它还是一本可供广大土壤工作者鉴别土壤类型的检索工具书，在科研、野
可靠系统的设计理论与实践. 上册
《可靠系统的设计理论与实践. 上册》,作者:(美)西沃赖克(D.P.Siewiorek)，(美)斯沃茨(R.S.Swarz)著；袁由光译 出版社:科学出版社 ISBN:7030004280。可靠性是系统设计最重要的目标之一．本书全面地介绍构成高可靠数字系统中所涉及的各种问题． 全书分上、下两册．上册为可靠系统的设计理论，下册为可靠系统的设计实践．上册共分六章．第一章介绍基本概念；第二章探究了
实用统计分析及其DPS数据处理系统
《实用统计分析及其DPS数据处理系统》,作者:唐启义，冯明光著 出版社:科学出版社 ISBN:7030098447。本书阐述了现代统计学200多种实验数据统计分析和模型模拟方法，如试验设计、各类型方差分析、列联表分析及非参数检验；专业统计包括了生物测定、遗传育种、生存分析；各种回归分析；非线性回归模型参数估计等。
分析基础机器证明系统
《分析基础机器证明系统》,作者:郁文生,付尧顺,郭礼权 著 出版社:科学出版社 ISBN:9787030706713。本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数
奇异系统的鲁棒控制理论
《奇异系统的鲁棒控制理论》,作者:鲁仁全[等]著 出版社:科学出版社 ISBN:9787030203816。本书采用Lyapunov-Razumikhin、Lyapunov-Krasovskii稳定性理论以及凸优化等重要理论，基于Barbalat引理以及非奇异线性降阶变换，以线性矩阵不等式作为研究的工具，提出了奇异系统鲁棒稳定性、输入输出稳定性、鲁棒D-稳定的判据，研究了鲁棒控制器、滤
基塘系统的水陆相互作用
《基塘系统的水陆相互作用》,作者:钟功甫 出版社:科学出版社 ISBN:7030036166。本书对花基鱼塘、桑基鱼塘等基塘类型进行了能量流、经济流入、投入产出比较，探讨了系统内水陆相互作用的效益、土地利用率等各种要素等。
非线性偏微分系统的可积性及应用
《非线性偏微分系统的可积性及应用》,作者:夏亚荣 著 出版社:科学出版社 ISBN:9787030699749。本书主要以对称理论为工具，研究了若干非线性偏微分系统的非局部对称、Lie对称、条件Lie-Bäcklund对称及近似条件Lie-Bäcklund对称；以伴随方程方法及相关理论为基础，研究了几类非线性系统的守恒律；以Lax对和规范变换为基础，研究了几类非局部方程的Darboux变换．书中介
PH模型在城轨交通车站系统中的应用
《PH模型在城轨交通车站系统中的应用》,作者:蒋阳升 出版社:科学出版社 ISBN:9787030435392。本书主要介绍PH分布的相关概念、原理与方法及PH分布在城市轨道交通车站系统中的应用。全书内容包括：PH分布及其排队模型简介、行人数据采集及其PH拟合、城市轨道交通车站设施节点PH排队模型、城市轨道交通车站设施PH排队网络模型等。
