本书作者针对并发数据结构可线性化标准及其验证方法进行了深入的研究。本书分析了并发数据结构可线性化标准的局限性，在此基础上提出了强可线性化标准。验证并发数据结构强可线性化最困难的部分是验证可线性化。

嵌入式人工智能不但具有嵌入式系统的行为能力，同时具有人工智能的思考能力，这两者的结合可以让无人机、自动驾驶汽车、机器人等智能硬件在不联网的情况下实时完成环境感知、人机交互、决策控制等功能。嵌入式人工智能是针对自动化、电子电气、信息通信等专业的一门实践性课程。本书主要内容包括嵌入式人工智能概念、机器学习基础、0160神经网络模型的压缩和加速、嵌入式AI程序的开发和优化、CANN开发平台相关知识、嵌入式人工智能的动手实践案例。本书适合自动化、电子电气、信息通信等专业研究生作为教材使用，也可作为相关技

"本书以STM32F103系列微控制器为主要平台，全面讲解了嵌入式系统设计原理及应用。全书分为9章，对嵌入式技术基本概念、嵌入式系统硬件设计基础、嵌入式软件设计基础、嵌入式系统开发流程、STM32基础内部资源、人机交互接口技术、通信接口技术、嵌入式系统传感器接口技术、嵌入式应用-物联网节点设计等进行了详细论述，并以针对性的实例进行教学。本教材的基础案例全部采用Proteus系统仿真方式，方便读者实际操作体会理解，提供案例全部工程项目源代码、仿真原理图。本书也提供了适量习题，涵盖基本概念及相关应用

触摸屏应用是从事工业自动化、机电一体化的技术人员应掌握的实用技术之一。本书采用以工作任务驱动为导向的项目训练模式，分十三个项目，每个项目设有一个或多个训练任务。通过任务驱动技能训练，读者可快速掌握汇川IT7000系列触摸屏的基础知识及其应用方法与技巧，从而全面提高汇川IT7000系列触摸屏的综合应用能力。本书贴近教学实际，可作为电气类、机电类高技能人才的培训教材，也可作为大专院校、高职院校、技工院校工业自动化、机电一体化、机械设计、制造及自动化等相关专业的教材，还可作为工程技术人员、技术工人的参

本书系统介绍了西门子S7-200PLC、MM440变频器、G110变频器、西门子人机界面、自由口通信及综合应用，通过大量的实例，深入浅出地介绍了S7-200PLC的原理与编程，变频器的各种功能调试、组态软件WinCCflexible组态技术，以及它们的综合应用和S7-200PLC的自由口通信技术。本书以大量的实例为载体，对各项目都画出了电路接线图与控制程序，提供关键内容的微课视频，读者通过本书的学习，能尽快地、全面地掌握PLC应用技术。本书可作为高等学校和职业院校电气工程、机电一体化、自动化等相

《鲲鹏架构入门与实战（计算机技术开发与应用丛书）》是鲲鹏架构的入门书籍，也是实际应用的实战书籍，逐步讲解从简单的鲲鹏环境搭建到软件产品的鲲鹏兼容性认证。《鲲鹏架构入门与实战（计算机技术开发与应用丛书）》首先讲解鲲鹏架构的由来及鲲鹏生态的构成，并搭建了鲲鹏开发环境，然后详细讲解应用从x86架构到鲲鹏架构迁移的原因、方法及辅助迁移的鲲鹏开发套件，最后介绍鲲鹏认证及如何通过鲲鹏云服务兼容性认证。《鲲鹏架构入门与实战（计算机技术开发与应用丛书）》面向希望了解鲲鹏架构是什么，以及对鲲鹏感兴趣的初学者。对于

Linkedln、Netflix等知名应用都通过实时响应用户和系统事件，来提高灵活度和响应速度。在大规模系统中，需要能高效地监控、管理和处理大量的事件流。Kafkal具以及诸如统一日志处理的创新模式可帮助我们为基于事件的系统创建连贯的数据处理架构。《事件流实战》讲解如何使用统一日志模式，来聚合、存储和处理事件流。在这本实用指南中，你将看到Lambda架构、流聚合和事件重放处理等重要的系统设计，还将看到扩展、弹性和高级流模式！读完《事件流实战》，你将能设计出易于构建、部署和维护的由数据驱动的大型应

暂无

《军用计算机检测与维修》主要以军用办公计算机为基础，讲述军用计算机维护维修的基本知识、常用检测方法、数据恢复与数据销毁的基本方法，并以某型装备为例，重点介绍基于实物仿真的装备维修训练系统。全书共分8章，依次为概论、计算机部件维修检测与维护、计算机硬件系统性能检测、军用软件维护与故障处理技术、注册表维护技术、数据恢复技术、数据销毁技术和基于实物仿真的装备维修训练等。《军用计算机检测与维修》可作为高等院校计算机专业的高年级本科生的参考教材，也可作为计算机维修人员的参考书。

本书系统介绍了关于FPGA的设计与实现的研究成果。首先，引入数字系统的设计概念，使用FPGA设计实现，并给出基于FPGA的高性能加速的仿真结果；其次，展现更多有限状态机（FSM）的理论，阐述减少FPGA基本资源的方法，并讲述如何在FPGA中实现小化电路的延时。本书着重介绍了完全综合的硬件描述规范，提供大量基于提出的模型和方法的实际设计，探索了涉及核配置逻辑器件和大量嵌入模块的建模方法。本书可作为普通高等学校微电子、电气工程、自动化、能源工程等专业本科生和研究生相关课程的教材或参考书，也可为相关专