本书以国产RT-Thread实时操作系统为蓝本，以ARM架构MCU为载体，基于应用开发的视角，阐述实时操作系统的线程、调度、延时函数、事件、消息队列、信号量、互斥量等基本知识要素，重点讲解实时操作系统下的程序设计方法。对于原理部分，本书从知其然且了解其所以然的角度，用一章篇幅以在内核代码中注入显示输出的方式给出原理浅析。

本书按照知识结构顺序分为15章，分别讲述SOLIDWORKS2024概述、草图绘制、基础特征建模、附加特征建模、曲线与曲面、钣金设计、装配体设计、动画制作和工程图设计等知识。书中的每个实例都是编者独立设计的真实零件，每章都提供了独立、完整的零件制作过程，每个模块都有大型、综合的实例介绍，操作步骤都有简洁的文字说明和精美的图例展示。

本书使用Qiskit开源框架和IBM Quantum Experience平台搭建一个量子计算平台，并借助Python来介绍实现量子编程的方法。 本书内容由浅入深，从搭建编程环境并编写一个简单的量子程序开始，介绍如何使用Python编写简单的脚本，Qiskit和IBM Quantum Experience进行交互的方法，概率计算、叠加和纠缠等基本概念，影响量子程序输出结果的各种物理因素，Qiskit量子门资源库，使用Aer模拟量子计算机，使用Ignis清理量子操作，Grover搜索算法，以及使用

本书在编写时考虑到了Redis的实际应用场景，所以认真详细分析了Java中的三种Redis开发结构，包括Lettuce、SpringDataRedis以及与SpringBoot的整合开发，整体的图书编写中基于Linux系统环境，按照由浅至深的顺序递进知识体系。从最基础的服务安装、常用数据类型、Redis配置管理、Java开发、Lua编程，一直讲解到集群架构以及RedisStack。 在本书中除了讲解Redis基本使用之外，还包含有各种的Java应用技术场景，包括：接口幂等性、分布式锁、响应式开发

全链路压测是互联网服务容量保障工作人员的重要工作，也是横跨多个领域的技术。本书采用“理论联系实际，再从实际回溯到理论”的方式，深入浅出地阐述全链路压测的知识。本书前4章聚焦于全链路压测的基础知识，先对全链路压测的基本知识和发展前景等进行深入介绍，再展开讲解全链路压测的技术实现、组织保障和工具建设，其间穿插一些实例代码和图表，帮助读者融会贯通。第5章和第6章介绍全链路压测的衍生实践，包括微服务架构下的容量治理，以及容量规划与容量预测，将全链路压测的应用价值扩大到更广的领域。第7章用4个案例讲解全链

本书介绍常用的统计方法，以及如何以Excel为工具实现这些统计方法并对结果进行解读。本书通过对统计学理论与操作实例进行讲解，帮助读者在掌握统计学原理的基础上，熟练运用Excel进行统计分析。 本书有5篇，共16章。第1篇为开篇，包含第1章,叩统计分析与Excel概述；第2篇为描述统计分析，包含第2-5章，分别为定性数据的图表展示、定量数据的图表展示、二维数据的图表展示和描述性统计量的计算；第3篇为推断统计分析基础，包含第6-8章,分别为离散型随机变量的分布、连续型随机变量的分布和抽样分布；第4篇

本书介绍了ISO/IEC 15026系列标准中的系统和软件保证方法——软件保证举证。全书共6章，首先概述了软件保证举证的相关知识，接着详细介绍了软件安全性举证、软件可靠性举证、软件保密性举证和软件可信性举证的基础知识、举证框架、论证模式及应用实例，最后给出了基于非形式逻辑理论的软件保证举证信心评定方法。 本书适合从事软件安全性、软件可靠性、软件保密性及软件可信性举证理论与技术研究的科技人员和实际应用的工程人员阅读，也可作为高等院校质量和可靠性工程专业的教师、高年级本科生和研究生的参考书。

本书全面介绍了图神经网络的基础和前沿内容，以及图表示学习的基本概念和定义，并讨论了高级图表示学习方法的发展，旨在帮助研究人员和从业者了解图神经网络的基本问题。此外，本书探讨了图神经网络的几个前沿主题，包括利用图数据描述社会科学、化学和生物学等领域的真实数据的关系，还介绍了图神经网络的若干前沿趋势，能够帮助读者进一步掌握图神经网络所涉及的技术。 本书适合所有想了解图神经网络基本问题和技术的人，包括但不限于高等院校计算机专业高年级本科生及研究生、科研人员以及相关从业者。

Vue是一款用于构建用户界面的渐进式框架，现已成为Web前端开发领域三大主流框架之一。2020年9月，Vue 3正式发布，目前其在国内Web前端开发（尤其是手机App的HTML5页面开发）领域已被广泛应用。

本书共16章，内容分为四部分，即Vue概述、Vue基础、Vue生态和Vue实战，从基础知识到实战项目，全面系统地介绍Vue技术，且涵盖目前新一代企业级状态管理库Pinia和下一代前端构建工具Vite。本书内容由浅入深，实例丰富实用，实战部分通过一个通用的Vue 3项目脚手架实

本书以媒介变迁为整体脉络，通过几类推荐产品的发展趋势来探讨推荐产品创新的核心驱动力，以及由具体产品特性引发的技术变革。全书内容分为5部分。第一部分从宏观视角探讨推荐产品从0到1进行创新的产品思路和技术思路；第二部分介绍革新传统纸质媒介的新闻推荐和资讯推荐，包括关键算法设计和产品设计；第三部分介绍构建线上社交网络的社交和社区推荐，以及如何通过协同过滤算法模拟社交网络；第四部分从产品、生态和算法设计的角度，介绍革新传统影视行业的视频推荐；第五部分以阿里推荐产品及其新兴的竞争产品为例，介绍革