本书以FreeRTOS实时操作系统为基础，使用STM32F407为MCU核心的开发板，讲解嵌入式实时操作系统控制。本书内容翔实，案例丰富，操作性极强；配有微视频和课件，帮助读者高效学习。

"《大模型核心技术与开发实践：基于Transformer、PyTorch及Hugging Face》系统地介绍大语言模型（LLM）的理论基础、实现方法及在多种场景中的应用实践。共分为12章，第1~3章介绍Transformer模型的基本架构与核心概念，包括编解码器的结构、自注意力机制、多头注意力的设计和工作原理；第4~6章结合实际案例，讲解如何利用PyTorch和Hugging Face库构建、训练和微调LLM；第7~9章介绍生成模型的推理和优化技术，包括量化、剪枝、多GPU并行处理、混合精度训练等，以提高模型在大规模数据集上的训练和推理效率；第10、11章通过实例讲解Transformer在实际NLP任务中的应用以及模型可解释性技术；第12章通过一个企业级文本分析平台项目的搭建，介绍从数据预处理、文本生成、高级分析到容器化与云端部署的完整流程，并提供了代码示例、模块化测试和性能评估方法，帮助读者实际构建

根据嵌入式系统的特点，对嵌入式系统的基础知识、工作原理与典型的应用设计等方面进行了介绍。作者根据长期的嵌入式系统开发经验，从嵌入式系统研发人员的角度，分析嵌入式系统设计需要掌握的理论知识、设计方法及步骤，介绍了嵌入式系统的基本组成，从底层到应用层各个典型模块的设计，将理论知识和实际对象充分结合起来，形成了一个完整的嵌入式系统。其主要内容包括：嵌入式系统软硬件基础知识、嵌入式系统开发基础、ARMCortexM３内核体系结构、基于STM３２F１０３VET６的典型的外设模块硬件/驱动程序设计、嵌入式操作系统基础、μC/OSII操作系统的应用及移植等部分。 《嵌入式系统原理及应用实例》既可以作为高等院校计算机、电子类、自动化及控制类大学本科高年级学生的教材，也可以作为非计算机类硕士研究生与嵌入式系统设计工程

ANSYS CFX软件是目前国际上比较流行的商业CFD软件，只要涉及流体、热传递及化学反应等工程问题，都可以用CFX来求解。 本书通过大量实例系统地介绍了CFX 19.0的使用方法，包括计算流体的基础理论与方法、创建几何模型、划分网格、CFX前处理、CFX求解、CFX后处理等，针对每个CFX可以解决的流体仿真问题进行详细讲解并辅以相应的实例，使读者能够快速、熟练、深入地掌握CFX软件。全书共16章，由浅入深地讲解了CFX仿真计算的各种功能，从几何建模到网格划分，从计算求解到结果后处理，详细地讲解CFX流体模拟计算的每一个步骤，使读者能够了解并掌握CFX软件的工作流程和计算方法。 本书结构严谨，条理清晰，重点突出，不仅适合广大CFX初、中级读者学习使用，也可作为大中专院校、高职类相关专业，以及社会有关培训班的教材，同时还可以作为工程技术人员的参

一个好的架构就像一个好的制度，我们不会时时刻刻感受到它的存在，但在关键时刻，它决定了系统能够到达的高度。本书浓缩了携程公司的整个技术架构，可以帮助读者了解支撑一家大型企业所需要的核心技术产品，以及它们的架构和面临的挑战。本书由携程的一线研发工程师们精心编写，他们对携程各个领域的技术实践了如指掌，本书所提到的各种系统离不开他们的耕耘。在给读者呈现携程架构实践的同时，也希望本书能给读者带来一些警示和启发，共同推动技术的进步。不同领域的架构关注点各有侧重，但是方法论是相通的。希望读者通过本书了解携程的架构实践，拓宽视野，丰富自己的架构工具箱，在遇到难题时，看看其他领域的解决思路，就可能碰撞出意想不到的 火花 。

阿尔伯特陈*作的《嵌入式实时系统--调度分析和验证/嵌入式系统译丛》面向嵌入式实时系统，较系统地论述基本的实时调度算法、调度性分析方法，说明引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（forreal analysis）及验证。全书特别列举了大量关于安全关键系统的工程实例，从简单系统（如温度控制系统、面包机和电饭煲）到高度复杂系统（如飞机和航天飞机），通过将上述形式化方法成功应用于这些工程项目，有助于加深读者对嵌入式实时系统分析和验证方法的理解和运用。 本书面向高等院校本科生和研究生，作为“嵌入式系统”、“实时系统”相关专业课程教材或教学参考书使用；也可面向业界从业者和研究人员，作为参考书使用。

本书系统介绍离散系统仿真建模与分析的理论基础，采用仿真软件Flexsim以及大量案例，介绍仿真理论方法的实际应用。全书的组织基本上按照仿真项目研究的步骤展开。本书可供高等院校物流、制造等专业本科生和研究生阅读，也可供各行各业的仿真工作者参考。

本书讲述了一个64位多核操作系统的自制过程。此操作系统自制过程是先从虚拟平台构筑起一个基础框架，随后再将基础框架移植到物理平台中进行升级、完善与优化。为了凸显64位多核操作系统的特点，物理平台选用搭载着Intel Core-i7处理器的笔记本电脑。与此同时，本书还将Linux内核的源码精髓、诸多官方白皮书以及多款常用协议浓缩于其中，可使读者在读完本书后能够学以致用，进而达到理论联系实际的目的。 全书共分为16章。第1~2章讲述了操作系统的基础概念和开发操作系统需要掌握的知识；第3~5章在虚拟平台下快速构建起一个操作系统模型；第6~16章将在物理平台下对操作系统模型做进一步升级、优化和完善。 本书既适合在校学习理论知识的初学者，又适合在职工作的软件工程师或有一定基础的业余爱好者。

本书以电子信息工程专业就业岗位所需的职业技能和知识为依据，根据典型电子产品的设计过程编排内容，具体内容包括：嵌入式系统及平台概述，设计简易计算器、电子点菜系统、智能车位管理系统以及数码相框共计5部分。本书将ARM以及Linux等与嵌入式开发密切相关的知识融入项目开发过程中，内容系统、全面、深入浅出，重点突出动手能力的培养，通过项目化的教学提高学生的学习积极性，为其将来踏上工作岗位打下扎实的基础。 本书既可作为高职高专和其他高等院校通信类、电子信息类专业教材，也可作为通信工程技术人员的培训教材。

本书从教学的角度出发，全面、系统地讲述了嵌入式系统及各组成部分的基本知识、技术原理和设计方法，使读者可以了解嵌入式系统的结构组成，掌握嵌入式系统开发的思路方法，具备嵌入式系统开发的初步分析问题和解决问题的能力。本书上篇是原理部分，内容包括：嵌入式系统概述，ARM处理器和指令集，嵌入式Linux操作系统，嵌入式软件编程技术，开发环境和调试技术，Boot Loader技术，ARM Linux内核，文件系统，设备驱动程序设计基础，字符设备驱动程序设计，块设备驱动程序设计，网络设备驱动程序开发和嵌入式GUI及应用程序设计； 本书下篇是实验部分，内容包括： 实验基础，开发环境建立，内核和模块构建，文件系统构建，调试技术演练，字符设备驱动程序设计，块设备驱动程序设计，网络设备驱动程序设计，MiniGUI实验设计和Android实验设计。本书兼顾教

《Maya 2018完全实战技术手册》主讲如何使用Maya 2018软件进行三维动画制作。全书共分为12章，内容包含了Maya软件的界面组成、模型制作、灯光技术、摄影机技术、材质与纹理、渲染与输出、粒子特效、流体动画等一系列三维动画制作技术。本书结构清晰、内容全面、通俗易懂，各个章节均设计了相应的实用案例，并详细阐述了制作原理及操作步骤，注重提升读者的软件实际操作能力。另外，本书附带的教学资源内容丰富，包括与《Maya 2018完全实战技术手册》相关案例的工程文件、贴图文件和教学视频，便于读者学以致用。另外，本书内容采用Maya 2018版本进行设计制作，请读者注意。 《Maya 2018完全实战技术手册》非常适合作为高校和培训机构动画专业的相关课程培训教材，也可以作为广大三维动画爱好者的自学参考用书。

陈泰红、肖婧、冯伟编*的《嵌入式多核DSP应 用开发与实践》从C66x的内核架构、关键外设、多核 编程等方面进行翔实介绍，同时通过基于CCS V5 simulator软件仿真以及TMDXEVM6678L EVM硬件仿真 的实例精解，从*多细节上介绍基于TMS320C6678的 电路设计开发和boot设计，给出用实例测试的片内外 设应用测试程序，*后介绍中科院某所基于 TMS320C6678的星载毫米波SAR-GMTI系统数字中频接 收机的总体设计。 本书适合于广大DSP爱好者、大学高年级学生、 研究生，以及从事DSP等嵌入式技术开发的企业工程 技术人员参考。

《基于模型的设计及其嵌入式实现（第2版）》以基于模型的设计为主线,讲述了M 代码的快速编写与调试,用户界面的创建,浮点Simulink/Stateflow模型的建立、调试与验证,用户自定义模块的生成;详细介绍了基于模型设计的全过程,主要有需求分析与跟踪、模型的检查与设计验证、浮点模型到定点模型的转换、模型嵌入式C代码的自动生成、软件/处理器/硬件在环测试,整个过程满足DO 178B航空电子规范,可显著提高工作效率、降低开发成本,并且增强了代码的安全性与鲁棒性,避免了产品开发的潜在市场风险。

本书是一本通俗易懂的直播系统开发入门书籍。通过本书读者可以从零开始学习搭建直播系统。本书分为三部分，*部分（第1章）主要介绍Nginx，包括什么是Nginx，为什么要选择Nginx，在特定的环境下如何安装、配置及使用Nginx。第二部分（第2~4章）主要介绍基于Nginx的Nginx-rtmp-module、FFmpeg组件的安装与配置，并完整地搭建了一个简单的直播系统。第三部分（第5~7章）主要介绍在多终端下如何使用不同技术建立基于直播的SDK，并介绍多种SDK相关技术框架。本书适合对直播系统开发有兴趣的人员、高级语言开发者、音/视频开发入门者。

本书介绍了通信系统中的基本概念和常用技术,包括传输介质特性、调制解调原理、常用网络协议和信源/信道编码等基础理论,并精心编写了MATLAB仿真示例。其中,第1章介绍并回顾一些关于信号的基本思想和处理方法,是全书的理论基础; 第2章介绍物理传输介质特性,涵盖有线系统、无线/射频系统以及光纤系统; 第3章介绍调制和解调理论,从非常基础的幅度调制开始,扩展到正交调制,*后引出正交频分复用和扩频的概念; 第4章重点介绍互联网的一些重要概念和算法,包括包路由、TCP/IP、拥塞控制、错误检查和数据分组从源到目的的路由算法; 第5章重点介绍信源编码,解释量化(标量和矢量)的思想,以及熵编码的理论; 第6章围绕信道编码和安全性这一重要主题,介绍经典的循环冗余校验和汉明码,以及常见的密钥分配和公钥方法。本书适合已具备MATLAB基本知识的通信工程等专业方向

Protel 99 SE是Protel Technology公司开发的基于Windows环境下的电路板设计软件。该软件功能强大，人机界面友好，易学易用，是大中专院校电学专业必学课程，同时也是业界人士*的电路板设计工具。《Protel 99 SE电路设计实例教程(第二版)》由13章、3个附录组成，主要内容包括Protel 99 SE简介、原理图设计环境的配置、基础原理图设计、原理图元件库的编辑、原理图设计进阶、层次原理图的设计、印制电路板基础、配置PCB设计环境、基础PCB设计、PCB元件的制作、电路仿真分析、综合案例演练，以及Protel 99 SE常用快捷键、常用封装和元件封装缩写含义等。《Protel 99 SE电路设计实例教程(第二版)》通俗易懂、条理清晰，可以帮助读者在短时间内成为电路板设计高手。《Protel 99 SE电路设计实例教程(第二版)》既可作为高校现代电子技术EDA方面的教材，同时也可作为电路及电路板设计工

IP接入网是全IP化通信网络的重要构成。IP接入网技术是当前全IP通信网络发展与建设的重点，在全球广受重视。本书系统性地介绍IP接入网技术。全书内容由4篇（11章）组成，重点介绍IP接入网总体标准ITU T Y.1231和基于三平面架构的参考模型，接入控制系统与协议，各种有线接入技术和无线接入技术。本书以系统架构和参考模型为纲，基于技术标准和标准系列的分析来讨论接入网技术，标准协议介绍和协议背景分析并重，致力于知识获取、技能提高和技术理念培养。本书可作为通信工程、网络工程、物联网工程等相关专业的高年级学生或研究生的专业课教材，也可供网络通信领域的高校教师、科研人员和技术人员参考。

操作系统是计算机系统中的核心软件。本书全面介绍了操作系统的概念、结构和基本原理，设计了丰富的实践教学，力求提供给计算机科学与技术、软件工程、电子工程、物联网专业本科生一本详细的综合性教材。本书在*版的基础上，增加了一些较新的技术，并添加了习题解析部分内容，嵌入式操作系统的详细介绍及应用。本书主要内容涵盖了计算机操作系统原理的主要部分，丰富的习题及实践环节确保了学生对操作系统课程的学习。

本书从网络攻防实战的角度，对Web漏洞扫描利用及防御进行全面系统的研究，由浅入深地介绍了在渗透过程中如何对Web漏洞进行扫描、利用分析及防御，以及在漏洞扫描及利用过程中需要了解和掌握的基础技术。 全书共分10章，包括漏洞扫描 基础知识、域名信息收集、端口扫描、指纹信息收集与目录扫描、Web漏洞扫描、Web常见漏洞分析与利用、密码扫描及暴力破解、手工代码审计利用与漏洞挖掘、自动化的漏洞挖掘和利 用、Web漏洞扫描安全防御，基本涵盖了Web漏洞攻防技术体系的全部内容。书中还以一些典型漏洞进行扫描利 用及实战，通过漏洞扫描利用来还原攻击过程，从而可以针对性地进行防御。 本书实用性和实战性较强，可作为计算机本科专业或培训机构相关专业的教材，也可作为网络安全从业者 及爱好者的参考读物。

本书面向无人协作系统所涉及的动态优化问题，深入系统地介绍作者在动态进化算法及其应用方面的重要研究进展。全书共9章。首先，简要介绍了动态优化和本书主要内容，并对动态环境中的进化算法进行了概述。其次，针对不同的动态优化问题，分别研究了基于环境辨识记忆策略的分布估计算法、基于粒子滤波的动态进化算法和基于Pareto解集预测的动态多目标进化算法。再次，给出了基于动态多目标进化算法的UCAV在线航迹规划方法，同时利用动态进化算法解决了UCAV编队智能战术飞行与动态目标分配问题。*后，对合作协同进化算法进行了概述，并在此基础上，给出了面向水下无人系统的合作协同进化算法。

本书是一本介绍CoreOS操作系统使用和周边技术的入门实践类书籍。本书内容分为三个主要部分。**部分（第1章）主要介绍CoreOS的基本概念和系统的安装，为后续各个组件的使用做好铺垫工作；第二部分（第2~6章）主要介绍CoreOS中*核心的内置组件，通过这些组件，使用者能够完成大部分CoreOS的日常操作和开发任务；第三部分（第7~9章）主要针对CoreOS中一些比较进阶的话题以及组件进行更具体的讲解，并介绍一些CoreOS使用技巧。 在通读了这些内容后，相信读者会对CoreOS系统有一个比较全面的认识。

本书全面介绍了LTE-Advanced系统构架和关键技术。本书共分7章，内容包括系统概述、各关键技术的基本概念、标准化发展情况、关键技术及性能要求、组网及部署、应用场景以及LTE-A的发展演进等。 全书遵循“深入浅出”和“实用、适用”的原则，编写的素材主要来自3GPP*的技术规范、相关的技术报告、以及国际性学术会议文稿等一手资料和*的英文文献和当前学术界的研究成果。重点讲解了当前学术界的研究热点。使得读者不仅能够轻易的了解LTE-Advanced重要课题和主要研究方向。 该书有助于业内相关人员加深对LTE-Advanced技术规范的认识和理解，对通信行业相关人员在LTE-Advanced方面的深入研究、设备研发、系统部署和业务运营方面都能起到积极的参考作用。

本书是根据高等教育自学考试指导委员会制定的《操作系统自学考试大纲》，为参加全国自学考试的考生编写的指定教材。本书从计算机系统资源管理的角度，系统阐述了操作系统的基本概念、基本结构、基本工作原理、运行机制、典型实现技术和算法。本书共分为8章，包括操作系统概论、操作系统运行环境与运行机制、进程/线程模型、进程/线程调度、存储管理、文件系统、设备管理、进程同步机制与死锁。 本书每章一开始有学习目标、建议学时、教师导读，每一章最后都有小结、知识点和习题，便于考生自学。本书也可作为高等院校计算机类专业教材和教学参考书，以及有兴趣了解和学习计算机操作系统原理的读者的入门教程。

《Spring Data JPA从入门到精通》以Spring Boot为技术基础，从入门到精通，由浅入深地介绍Spring Data JPA的使用。有语法，有实践，有原理剖析。《Spring Data JPA从入门到精通》分为12章，内容包括整体认识JPA、JPA基础查询方法、定义查询方法、注解式查询方法、@Entity实例里面常用注解详解、JpaRepository扩展详解、JPA的MVC扩展REST支持、DataSource的配置、乐观锁、SpEL表达式在Spring Data里面的应用、Spring Data Redis实现cacheable的实践、IntelliJ IDEA加快开发效率、Spring Data REST简单介绍等。《Spring Data JPA从入门到精通》适合Java开发初学者、Java开发工程师、Java开发架构师阅读，也适合高等院校和培训学校相关专业的师生教学参考。

本书以教科书的方式，循序渐进地向软件开发人员或软件开发的项目管理人员，讲述如何快速掌握分布式版本控制系统 Git 的应用方法，让繁琐复杂的项目开发的版本控制变得高效且轻松自如。书中细致入微地介绍了如何使用设置文件和操作Git文档库，以及建立项目开发的分支、合并分支和解决冲突的操作；在具备扎实的基础之后，介绍了Git GUI程序用法，以及 Git 在团队开发模式中应用的问题；讲述如何与全球的项目开发人员进行交流，提升程序开发的经验和能力；介绍了GitHub、Bitbucket、GitLab等提供Git服务的网站；本书后的重点为介绍架设Git Server的几种方法，让每一个项目开发团队，可以按照自己的软硬件环境，选择适合的方式来控管项目开发。 本书封面贴有清华大学出版社防伪标签，无标签者不得销售。