机器视觉是当代智能制造、自动控制等领域中重要的研究内容之一。本书涵盖了机器视觉的基本原理与概念、机器视觉系统的构成等内容，并以VisionPro为例介绍了机器视觉技术在测量、识别、引导等实际工业生产中的应用。全书共13个项目，各项目进一步分解为若干个任务并配有相应习题，由易及难地逐步介绍机器视觉及其应用技术。本书重在理

本书是为满足计算机组装与维修课程理实一体化教学与技能训练需要，培养计算机安装、调试、应用和维修专业人员的岗位技能，依据《计算机及外部设备装配调试员》等最新国家职业技能标准和工业标准要求而编写的。全书内容包括计算机系统概述、计算机常用标准简介、计算机硬件系统、计算机外部设备、计算机软件系统、计算机系统维护以及常见计算机故

本书以计算机组装的一般流程为主线，采用任务式教学讲解计算机组装的知识和技巧，同时介绍计算机维护的相关知识。本书如同一本工作手册，读者只需要按照步骤去执行，就能完成自主组装计算机和维护计算机的相关操作。全书共10个项目，包括了解计算机、选配计算机硬件、组装计算机、设置BIOS和硬盘分区、安装操作系统和常用软件、配置和管理

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇：上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Pe

本书是一部全面论述计算机病毒网络传播动力学行为的专著。全书共6章，首先，从反病毒策略角度出发，针对反制措施竞争策略提出了一类具有反制措施的SICS模型，从理论上研究了这种新型反病毒策略对抑制病毒传播的有效性。接着，提出了两类具有接种率和感染率的SIRS模型，研究了一般非线性感染率和一般非线性接种率对计算机病毒传播的影响

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

《视觉语言交互中的视觉推理研究》的作者牛玉磊博士于2020年在中国人民大学取得博士学会，后前往美国哥伦比亚大学开展博士后研究工作。本书从知识建模和知识推断两方面入手，深入研究了视觉语言交互任务中的视觉推理问题。《视觉语言交互中的视觉推理研究》共五章：第1章主要介绍了计算机视觉与自然语言处理交叉领域中交互类问题的研究背景

随着计算机网络的快速发展和新兴应用的不断涌现，网络安全问题日益严重。数字签名可以用来鉴别用户的身份和数据的完整性，在信息安全领域发挥着非常重要的作用。本书详细介绍当前数字签名方案的基础理论知识和**应用成果。《BR》本书共13章，内容包括数字签名概述、数字签名的基础知识、数字签名的应用领域、基于身份认证的门限群签名、基

这是一本系统讲解人脸识别和人体姿态识别技术、算法和应用的实战性著作，是作者团队多年研究成果和实践经验的总结。既有业界成熟的技术和算法，又有行业的新热点和新趋势。通过本书，读者将能轻松掌握如下知识：机器视觉的概念以及索引技术，包括向量空间索引和度量空间索引；人脸识别技术，以及人脸检测算法、人脸对齐算法、人脸特征提取算法；

本书按照工作任务顺序展开，专业知识与标准规范相结合，实践经验与实操规范相结合，职业技能与工作任务相结合，实训项目与技能鉴定相结合，循序渐进，层次清晰，图文并茂，好学易记。本书依据中国电子学会发布的《数据中心基础设施运维与管理职业技能等级标准》和考核大纲编写。本书共12章，涵盖了数据中心概述、数据中心基础设施典型架构及基