本书以拉格朗日力学理论与自动定理证明思想为指导，系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系，从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。《BR》全书

本书对网络化并联式串级控制系统的研究方法与技术路线、使用范围与特点、系统结构以及控制器设计等内容，进行详细分析与研究。针对网络化并联式串级控制系统，提出基本概念、定义与5种基本结构形式，以及17种基于新型Smith预估控制和内模控制的网络时延补偿与控制方法。结合仿真实例，验证所提方法能够提高系统稳定性、改善动态性能、增

本书以TMS320F2812为例，介绍TMS320C2000系列DSP在作者所从事的航空遥感器控制系统项目中的具体应用，包括数据串行通信控制、直流伺服控制、步进电机控制、温度控制以及嵌入式控制软件的在线升级应用等。结合各个应用的特点，通过分析其功能需求和使用情况，推导数学模型，进行硬件控制电路原理和主要软件代码的设计，

随机切换系统对由环境突变干扰、随机产生的故障或者内部部件故障、甚至正常操作过程中的人为因素等引起的随机跳变现象具有较强的建模能力，因而在实际应用中得到广泛关注。本书在随机混杂系统的框架下，主要研究了随机切换系统的均方指数稳定性分析、耗散性分析、鲁棒控制、模型降阶、降阶控制器设计及降阶滤波器设计等课题。本书的主要研究内容

数据分析的精髓在于能够利用合理的数据分析方法来解决实际的业务问题，本书介绍了互联网行业中数据分析常见的思维和方法，并且呈现了这些分析方法在实际案例中的应用。同时也利用本书解答了大家对于想要从事数据分析行业的一些担忧和困惑。阅读本书，你会对数据分析的工作内容有更清晰、完整的了解，同时对常见的业务问题处理的方法和经验有质的

本书内容是三维点云的核心原理、方法与技术，重点是点云模型的三维空间识别、理解与重建。全书上、下两册，分为四部分，共15章，上册包括点云获取与预处理、点云特征分析与计算和点云识别与理解；下册介绍点云重构与艺术风格化。本书为下册。

本书首先研究JESD204B协议的基本内容，整理了其关键技术，分析了204B控制器的确定性延迟机制，探讨了收发器PHY的系统结构和重要的参数设置。然后，本书分别针对发送端和接收端，详细分析和描述JESD204B控制器的协议和数字电路设计实现。其次，本书基于55纳米1p7m_RF工艺，采用数模混合设计完成了JESD204

本书以无源测向与定位为主题，总结提炼该领域的基本原理，整理作者所在研究团队的一些研究成果。全书介绍测向定位的应用背景、系统基础、测向方法以及定位原理技术，既包含基础理论方法，也包含一些**的研究进展。

本书针对传统钢丝绳电磁无损检测装置体积大、现场操作难、检测精度低等问题，设计了小型化、检测速度较快、检测精度较高的钢丝绳弱磁无损检测系统，能够实现钢丝绳断丝定量识别，为钢丝绳的安全使用和剩余寿命估计提供参考。本书主要讲述目前钢丝绳定量检测领域的研究现状以及存在的问题，并针对这些问题提出一些解决方案，包括以下内容：提出剩

信息抽取的目的是从海量互联网文本信息中抽取结构化知识，是知识图谱自动化构建、更新的基础，为信息检索、推荐系统、智能问答等诸多研究领域提供底层知识推理支撑并取得了重大突破，是推动人工智能技术由感知走向认知的关键要素，具有重要的研究意义和实用价值。本书梳理了命名实体识别、关系抽取、事件抽取等相关研究方向的知识资源、基础理论

机器人传感器是实现机器人及自身与外部环境进行信息交互的重要手段。通过搭载不同类型的传感器，机器人对其自身及周围环境进行检测，并对检测结果进行处理、分析、决策，然后选择合适的运动。本书按传感器基础篇、机器人传感器篇进行编排，全书共7章，前后呼应，循序渐进，由常用传感器到机器人传感器应用，逐步介绍了传感器的基础知识与检测技

本书系统地介绍了皮肤镜图像处理的基础理论和关键技术，注重涵盖当前的最新研究方法，总结皮肤镜图像分析与识别领域的发展动态。全书共8章，第1章为概述，介绍皮肤镜的工作原理、皮肤镜图像处理的发展现状和未来趋势；第2章和第3章为皮肤镜图像的预处理部分，包括皮肤镜图像的质量评价、皮肤镜图像增强复原中用到的预处理方法；第4～8章涵

本书基于作者20多年的信息技术行业的工作经验、丰富的区块链企业投资经验，通过跟踪和研究行业发展，以及参与行业研讨会和拜访企业等方式，结合全球区块链的关键核心应用案例，深入浅出地从区块链对人们的影响切入，以人们深切体会的变化和体验为基础，为读者普及了区块链技术对人们日常生活和工作方式，以及社会结构产生的影响等。此外，作者

本书主要描述Linux系统的总体框架和设计思想，包含很多可以直接操作的实例。编写本书的目的是希望读者对Linux系统背后的逻辑有一个全面的了解。本书对比较核心且常用的技术点有更加深入的解释，对实际使用Linux系统工作大有裨益，同时，选择重点的方向进行源码级深度分析，包含大量的案例，而且增加了与Windows同类操作系

本书以OpenCV-Python（thePythonAPIforOpenCV）为工具，以案例为载体，系统介绍了计算机视觉从入门到深度学习的相关知识点。本书从基础知识、基础案例、机器学习、深度学习和人脸识别5个方面对计算机视觉的相关知识点进行了全面、系统、深入的介绍。书中共介绍了40余个经典的计算机视觉案例，其中既有图像

Access数据库是微软Office软件中的一个组件，和Word、Excel、PPT等一样，都是Office软件中的成员，Access数据库主要有三大用途：一是存储数据；二是处理数据；三是开发软件。Access的特点：容易学会，从而开发出实用管理软件！学员一般都有Excel的应用经历，而Access数据库与Excel均

本书分为四大部分：第1～6章，初步认识Java的基础语法及主流编程工具的使用；第7～11章，详解Java面向对象编程语言的语法、核心编程思想、基础API等；第12～17章，介绍使用Java进行高级应用开发所需的API和基础原理；第18、19章，介绍了Java8～Java17版本的新特性。本书核心内容基于目前企业应用最主

本书从政府、社会、行业、城市等角度全方一数字化转型时期，数字化发展的现状、理论、技术、实践和趋势。当前，全球新一轮科技革命和产业变革深入推进，信息技术日新月异，互联网、大数据、云计算、人工智能、区块链等技术加速创新，并日益融入经济社会发展的各领域和全过程。数字技术革命会带来怎样的生产关系的变革？各级政府、企事业单位如何

本书从实际应用角度，围绕网络攻击和威胁逐步展开对网络安全问题的讨论，从网络系统和应用系统方面，论述企业网络安全建设的要点，探讨网络安全防护的技术与措施，最终呈现出完整的企业网络安全建设解决方案。本书详细阐述了具有不同安全级别要求、满足实际需要的安全网络建设过程和指导思路，对具体的技术实施细节不过多地关注，从一般的互联网

《数据中心机房搬迁实用指南》涵盖了数据中心机房搬迁的全过程，对老旧机房搬迁项目相关工作流程进行了全面梳理，内容包括概述、新机房的准备、搬迁服务商引入、搬迁组织管理、搬迁规划、搬迁方案设计、搬迁前准备、搬迁实施、搬迁项目收尾等方面，遵循保障业务稳定、高效的原则，解决了搬迁过程中遇到的很多难题。编委会成员在数据中心规划、建