行业软件及应用
-
计算机简史 第三版马丁·坎贝尔–凯利(Martin Campbell-Kelly) 等 著,蒋楠 译这是一部计算机史的权-威之作,追溯了计算机的史前史、发明、软硬件的创新、应用领域的扩展以及个人计算机和因特网的兴起。《计算机简史 第三版》增加了对软件和因特网的**分析,涉及编程、社交网络、移动终端等诸多新话题。本书还探讨了谷歌、Facebook等行业巨擘的崛起与发展,讨论了强大的应用程序如何改变了人们的工作、消费、学习和社交方式。 -
SPSS统计分析从入门到精通杜琳琳,时立文,薛晓光 著IBM在收购SPSS后发布了新版本IBM SPSS Statistics 25.0。新版加入了一些新特性和功能,并跟IBM协作和部署服务系统进行整合。 《SPSS统计分析从入门到精通(第二版)》共分18章,对SPSS的基本操作、SPSS统计分析以及SPSS图形功能等进行了全面的介绍,并在本书最后列举了多个SPSS在各学科领域实际应用的案例,为读者的学习提供更多的便利。SPSS基本操作部分,介绍了SPSS概述、数据文件的建立与操作;SPSS统计分析部分,介绍了基本统计分析功能、平均值比较与检验、方差分析、相关分析、回归分析、非参数检验、聚类分析与判别分析、因子分析与主成分分析、生存分析、信度分析等统计分析过程;SPSS图形功能部分,不仅介绍了基本统计图和交互图相关内容,还介绍了SPSS的主题地图功能。 《SPSS统计分析从入门到精通(第二版)》内容翔实、语言简练、思路清晰、图文并茂、深入浅出、理论与实际设计相结合,通过大量的实例对SPSS进行了比较全面的介绍。 《SPSS统计分析从入门到精通(第二版)》适合高等院校相关专业本科生、研究生,以及各领域从事统计分析和决策的相关人员学习参考。 -
多旋翼鲁棒三维视觉跟踪付强,郑子亮 著There are 7 chapters in this book. Chapter 1 introduces the three-dimensional(3D)visual tracking problem for multicopters. Chapter 2 gives some preliminaries used in the book. Chapters 3~4 focus on the one-dimensional(1D) calibration problem for multiple perspective cameras and multiple fish-eye cameras. Chapters 5~6 deal with the robust pose estimation problem of multicopters in single-camera case and multi-camera case. Chapter 7 introduces a 3D visual tracking system for multicopters built with cheap and off-the-shelf cameras.This book is written for researchers and engineers working in robotic visual servo-ing, machine vision, systems and control, etc. -
公理化集合论机器证明系统郁文生,孙天宇,付尧顺 著利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论。这是Morse-Kelley公理化集合论系统的首次形式化实现。 -
系统生物学问题的时滞动力学分析闫芳,刘海鸿 著《系统生物学问题的时滞动力学分析》简要介绍时滞动力学方法在系统生物学问题中的应用,侧重于时滞在某些生物问题中的重要作用。采用专题形式编排,包括四个具体热点问题(传染病模型、基因调控、神经网络以及细胞应对DNA损伤的调控机制)的研究背景及意义、动力学理论分析以及数值模拟分析等。其中理论部分主要集中在正平衡点的稳定性、Hopf分岔的存在性以及Hopf分岔的性质等内容。 -
广义马尔可夫跳变系统的分析与控制李丽 著《广义马尔可夫跳变系统的分析与控制》主要阐述广义马尔可夫跳变系统的稳定性分析以及控制器设计的基本内容和方法,介绍国内外相关领域的新研究成果。本书采用广义系统理论、随机系统理论和鲁棒控制理论的思想,利用先进的矩阵分析理论和线性矩阵不等式方法对非线性时滞广义马尔可夫跳变系统的H∞模糊控制问题、广义马尔可夫跳变系统的有限时间H∞控制问题、非线性广义马尔可夫跳变系统的有限时间H∞模糊控制问题、生物经济广义马尔可夫跳变系统的模糊随机保成本控制问题、广义随机马尔可夫跳变系统的鲁棒有限时间H∞控制问题、广义随机马尔可夫跳变系统的滑模控制问题、执行器非线性受限时广义马尔可夫跳变系统的滑模控制问题进行了较为深入的研究。《广义马尔可夫跳变系统的分析与控制》可供高等院校控制理论与控制工程及相关专业的高年级本科生和研究生阅读参考,也可作为从事随机广义系统控制研究的科研人员的参考用书。 -
非光滑多目标规划最优性理论及方法王金鹤,孟凡云,庞丽萍 著《非光滑多目标规划*优性理论及方法》主要研究非光滑多目标规划问题,借助广义函数集值映射,讨论广义函数的多目标优化问题,建立该问题的充分条件、必要条件以及对偶定理;针对参数变分不等式约束和二阶锥广义方程约束的多目标优化问题,利用变分分析,建立问题的较优性条件,对基于参数变分不等式约束的多目标优化问题,借助扰动分析,讨论问题的KKT点的渐近收敛性;提出求解非光滑均衡问题的近似束方法,进行算法的收敛性分析 -
群体智能与仿生计算暂缺作者本书广泛吸取群智能计算、模式识别、统计学、数据挖掘、机器学习、人工智能等学科的先进思想和理论,以一种新的体系,系统、全面地介绍各种群智能算法的理论、仿生计算方法及其聚类应用。全书内容包括进化计算、人工免疫算法、Memetic算法、混合蛙跳算法、猫群算法、细菌觅食算法、人工鱼群算法、蜂群算法等。其中,进化计算内容包括进化计算、遗传算法、进化规划算法、进化策略算法、差分进化算法;人工免疫算法内容包括人工免疫算法概述、免疫遗传算法、免疫规划算法、免疫策略算法、基于动态疫苗提取的免疫遗传算法、免疫克隆选择算法。 -
粒子对波束散射的解析和半解析方法王明军,张华永 著《粒子对波束散射的解析和半解析方法》主要讨论粒子对波束散射的解析和半解析方法。《粒子对波束散射的解析和半解析方法》共6章,第1章介绍粒子对激光波束散射的研究进展;第2章给出入射高斯波束用球矢量波函数展开的表达式,是广义Mie理论的基础;第3章详细讨论规则形状粒子对高斯波束的散射,给出球、旋转椭球的微分散射截面,以及无限长圆柱和介质平板的归一化强度分布;第4章讨论规则形状粒子对任意波束的散射;第5章应用扩展边界条件法讨论均勻和双层粒子对高斯波束的散射;第6章研究粒子对任意波束的散射特性。《粒子对波束散射的解析和半解析方法》附有典型粒子对常用波束散射的程序,便于读者学习和研究之用。 -
企业级DevOps技术与工具实战刘淼 张笑梅 编著 著本书系统全面地介绍了DevOps 的现状趋势、基础理论和实践方法,对DevOps 实践中的架构设计、开发、测试、部署等各阶段所需践行的原则和方法进行了总结,并提出相关建议。以实战为中心,对DevOps实践中的常用工具进行了分类介绍和特性分析,并结合相关示例进行了使用说明和演示。
