本书是关于非线性系统故障可诊断性评价与诊断方法的一本专著，主要汇集了作者近年来在故障可诊断评价与设计、非线性系统故障诊断及传感器优化配置等相关领域的新理论与新方法，并探索将相关研究成果应用在电源车系统中，同时也集中介绍了近年来国内外在安全控制研究领域的新的技术原理和主要方法。本书以分块逐步递进的方法共分为三篇，分别包括

主要内容●如何配置Go语言环境，并提供设计、开发和测试Go应用程序的入门指南。●对基本数据结构(如映射、切片和数组)的实际讨论。●gRPC和并发的基本原理。●在Go语言中设计和开发API的基础知识。

本书是关于现代类型论的专著。与集合论类似，现代类型论是数学及诸多领域的基础语言。本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行深入浅出的讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优

图神经网络不仅能够解决传统机器学习方法无法解决的图数据问题，而且能够应用于许多实际场景，例如社交网络、药物发现、网络安全、金融风控等。《图神经网络基础、模型与应用实战》旨在为初学者和实践者提供一个详细、全面的入门指南，围绕图神经网络基础、模型、应用实战（均采用Python+PyTorch实现）等方面进行介绍。《图神经网

新编计算机基础教程(微课版)》基于教学实践编写而成，在写作过程中，根据“夯实基础、面向应用、培养创新”的指导思想，以介绍计算机基础知识和基本应用技能为主线，具有内容丰富、层次清晰、通俗易懂、图文并茂、易教易学的特色。新编计算机基础教程(微课版)重点突出了教材的基础性、应用性和创新性，旨在提高大学生的计算机应用能力，并为

《数字身份认证技术与实践》内容涵盖身份认证的基础理论，包括身份认证与授权的区别、常见的认证方式以及关键技术和协议，如SAML、OAuth2.0、OIDC等。除基础概念外，《数字身份认证技术与实践》还展示如何在不同的环境中安全地接入和实现身份认证，包括纯前端应用、BFF和后端领域服务。同时，《数字身份认证技术与实践》详细

本书面向华为设备，以一个真实的企业网搭建项目贯穿全书，共分四篇。第一篇为教学项目准备，通过引入教学项目，引导学生了解课程目标，提高学生的学习兴趣；第二篇为教学项目实施，紧紧围绕引入的教学项目，按照一般网络项目实施的工作流程，从企业总部内网搭建，到企业内外网路由连通，再到企业网络安全控制，直至无线网络配置4大步，分成11

本书较为全面地介绍了Cinema4D2023的基本操作和核心功能，选取了部分“1+X”数字创意建模考试真题与企业真实项目融合。全书共包括7个项目：初识Cinema4D、Cinema4D数字创意建模基础、卡通角色设计、虚拟数字人中国娃娃、Cinema4D动画、Cinema4D与Arnold渲染器、“1+X”数字创意建模综

本书以智能制造产线为对象，介绍了智能制造产线运行优化涉及的关键技术:产线状态数据实时采集与云-边协同计算技术、产线混合生产任务的集成规划与优化技术、产线生产物流的主动感知与协同调度技术、刀具磨损状态智能监控与寿命预测技术、工件加工质量的误差分析/溯源与预测技术、复杂数控加工装备的健康状态综合评价技术等。这些关键技术是实

本书共13章。第1～3章分别讲解Go语言、基本数据类型和各种运算符的使用；第4章主要讲解选择和循环两种控制结构；第5章讲解函数与方法；第6章讲解数据容器；第7章讲解结构体；第8章讲解接口，这部分内容难度稍大；第9章讲解协程与通道；第10～12章分别讲解异常处理、正则表达式、文件和文件夹；第13章讲解常用的内置包。本书立