本书的设计和编写目标是培养读者的数据思维能力和数据预处理能力，内容具有典型性和实用性，全面介绍基于Python的数据预处理的流程和技术。 全书共8个单元，单元1介绍数据预处理的基础知识，单元2介绍Python数据预处理的库pandas的用法及主要数据对象的用法，单元3～单元7依次介绍数据预处理流程中数据获取、数据合并、数据清洗、数据变换和数据描述等相关知识和技术。 为突出培养读者的动手能力，本书单元2～单元7都配套了任务实践和拓展实训，除单元8，每个单元还配套了课后习题。单元8为综合案例，通过网

本书基于Python 3.10.0，以项目教学的方式，循序渐进地讲解Python 数据分析的基本原理和具体应用的方法与技巧。全书分为6个项目，具体内容为Python数据分析基础、Python数据分析开发环境、数组计算库NumPy、数据分析库Pandas、数据可视化库Matplotlib、数据分析库SciPy。本书实例丰富、内容翔实、操作方法简单易学，不仅适合作为职业院校计算机与软件工程相关专业的教材，还可供从事数据分析相关工作的专业人士参考。

本书基于Python 3.8和OpenCV 4.5编写，共8章，包括环境搭建、简易调色画布、几何图像绘制、简单的图像处理、马赛克、图像美颜、人脸检测、人脸跟踪。读者通过学习本书内容及运行相应的仿真程序，可以更加深刻地理解图像处理的内容，并且更加熟练地掌握计算机视觉在不同领域的应用。

物联网技术是数字经济技术中的重要部分，物联网工程专业的人才培养也一直备受社会关注。经过十多年的发展，高等教育改革进入了一个新时代，随着OBE理念、工程教育认证、新工科、新产业、新业态等概念的提出，物联网工程专业的深度改革也势在必行，逐步深入。本书结合OBE理念、工程教育认证标准对学生进行认知教育，所涉及技术的难度和深度适中，在知识体系上不一味地追求大而全。本书除介绍支撑物联网的核心内容外，重点讲解能够支持专业应用特色方向（工业互联网、物联网安全）和具体场景的知识，力图让学生了解真正的物联网技术。

本书以职业岗位的典型工作过程为导向，融入行动导向教学法，将教学内容与职业能力相对接、单元项目与工作任务相对接，选用基于ARM Cortex-M3内核的STM32微控制器为对象，构建9个嵌入式项目，推动学生“做中学”，习得岗位职业能力，快速提升学生嵌入式技术相关的专业技能。本书主要内容包括：制作花样流水灯控制系统、制作柜台报警系统、制作竞赛电子秒表、制作智慧滑冰场馆温控系统、制作电子广告屏、制作智能电子称重系统、制作餐馆无线点餐系统、制作天气手环及制作智能家居防盗系统。
本书可作为各类职业院

本书采用项目制对标企业研发的具体工作过程，以智能家居——嵌入式室内控制与监控设置、物联网通信——有线及无线通信接口嵌入式设计、智慧交通——汽车行驶安全传感装置、智慧农业——温室大棚数据采集装置实现和智慧医疗——人体健康监控装置嵌入式实现5个物联网应用的热门行业为应用场景，基于典型案例任务进行物联网嵌入式的学习和实践，为物联网相关实际产品的开发打下良好基础。全书从认知路线出发，首先掌握嵌入式开发调试通用技能，再学习各个具体应用领域的专属技能，从而有利于实现技能的近迁移和远迁移。
本书既可作为

机器视觉是当代智能制造、自动控制等领域中重要的研究内容之一。本书涵盖了机器视觉的基本原理与概念、机器视觉系统的构成等内容，并以VisionPro为例介绍了机器视觉技术在测量、识别、引导等实际工业生产中的应用。
全书共13个项目，各项目进一步分解为若干个任务并配有相应习题，由易及难地逐步介绍机器视觉及其应用技术。本书重在理论联系实际，主要内容都具有实际工程应用背景，各个项目中配套的案例、习题均来源于实际工业应用。
本书可作为高等职业院校自动化类和电子信息类等相关专业的教学参考书，也可作

本书介绍了常见的算法设计方法，主要内容包括算法概述、递归、分治法、动态规划、贪心算法、回溯法和分支限界法。书中介绍各种算法的设计思路、算法复杂性及实例分析，同时在每一章的章首*分增加了学习要点，每一章的章末给出和本章内容相关的习题。本书适合普通高等学校及高职院校的计算机科学与技术专业、软件工程专业、数据科学与技术专业、信息与计算科学等专业本科生作为教材使用，也适合从事算法设计的技术人员学习参考。

本书第1章是模式分析概述，宏观介绍模式分析。第2章主要论述模式分析的基本原则与策略；容量、集中度、VC维、Rademacher理论；这些是模式分析的顶层思想和泛化错误率分析的基础理论。第3章给出后面各章节共用的核函数与核映射空间知识。在前面三章的基础上，讨论具体的模式分析与核方法，各章节首先比较详细论述基本原理和方法，然后利用核函数有关理论或核技巧“平滑过渡”到核映射空间中模式分析。第4章论述数据分析与模式分析，包括：矩阵奇异值分解与广义本征分解，Fisher判别分析，主成分分析，相关

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。

本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型； 中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用； 下篇（第8～12章）为形式验证篇，着重介绍定理证明方法