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

《PremierePro2022视频编辑实例教程(微课版)》采用“项目引导、任务驱动”的项目化教学编写方式，从视频制作中所遇到的实际问题出发，以软件使用流程为主线、以案例制作为抓手，由浅入深、循序渐进地介绍Adobe公司经典非线性编辑软件——中文版PremierePro2022的操作方法和使用技巧。全书体现了“基于工作

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

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

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

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

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

模型制作是产品设计开发过程中体现设计概念的重要方法和手段，为产品概念的实现提供了可进行综合分析、研究与评价的实物参考依据，保障产品从研发顺利过渡到正式生产阶段。《产品设计模型制作与工艺(第四版)》共分为11章，内容包括产品模型概述，产品模型制作材料的选择与应用，产品模型制作常用的工具、设备及安全防护，使用聚氨酯、纸质、

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

《Photoshop产品设计与表现》首先详细介绍计算机辅助工业设计的相关内容，对各种辅助设计软件进行对比分析，使读者了解这些软件在工业设计中的作用，并根据自己的需要选择学习，避免盲目学习软件技能；其次，本书对设计表达的相关理论知识进行讲解，从形态的体量感、质感，以及产品常见的材质特征、滤镜表现等方面分析和讲解产品形态表