本书以国产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应用技术场景，包括：接口幂等性、分布式锁、响应式开发

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

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

本书从初学者的角度出发，以实战为导向，帮助读者快速掌握Kubernetes的核心知识，并在实践中用好Kubernetes。本书共7章。第1章介绍如何搭建一个易上手的Kubernetes实验环境；第2章以Docker为例介绍容器、镜像、镜像仓库等概念和运行原理；第3章介绍容器编排概念，并搭建Minikube的单机环境和kubeadm的集群环境；第4章先讲解Kubernetes的运行机制和YAML语言，再介绍Pod、Job、CronJob、ConfigMap和Secret对象；第5章讲解Kubern

本书倡导在计算机迅速发展、技术不断革新的今天，回归到计算机的基础知识上。通过探究计算机的本质，工程师将提升对计算机的兴趣，在面对复杂的新技术时，能够迅速掌握其要点并灵活运用。本书以图配文，以计算机的三大原则为开端，相继介绍了计算机的结构、手工汇编、程序流程、算法、数据结构、面向对象编程、数据库、TCP/IP网络、数据加密、XML、计算机系统开发以及SE的相关知识。第2版的部分程序改用Python来呈现，数据库改用MySQL，并对加密部分做了升级。

自从2015年被引入JavaScript以来，Promise已经成为这门语言的重要组成部分。所有新的异步应用程序接口都是基于Promise构建的。正因为如此，深入理解Promise的原理是JavaScript开发人员的进阶必修课，也是所有JavaScript编程工作的重中之重。本书共有5章，篇幅短小精悍，代码清晰易懂。每一章从不同的方面展示了使用Promise的关键点和难点。随书附赠的Promise速查表有助于随用随查。读完本书，你将能在自己的项目中游刃有余地进行异步编程。现在就跟随专业Java

本书主要内容包括：路线图、ISR总览、战术ISR、主要性能参数(KPPs)、无线电感应器网络(WSN)、探测问题描述、光学系统节点、射频雷达节点、其他传感器形式、多传感器结构、区分空间目标的间隔(CSO)、性能方程、分辨力、评估、数据，指令&控制通信、WSN的射频通信设计、射频WSN无线电收发机、指令&控制连接性、数据发布、功率管理、T-ISR节点处理器设计、可量测性和影响T-ISR的标准。