本书主要对近年来新生的多种仿生智能计算理论与方法进行了研究，包括生物地理进化算法、 萤火虫算法、差分进化算法以及灰狼优化算法等，并基于这些人工仿生智能计算方法对片上系统的可测性设计进行了研究。本书共6章，主要内容包括片上系统可测性设计概述、基于生物地理进化算法的扫描链平衡理论与方法、基于多目标智能算法的三维Wrapper扫描链设计、基于灰狼优化算法的三维堆叠SoC测试规划方法研究等。
本书可供计算机、自动化、人工智能、测控技术与仪器等方向的工程技术人员参考，也可作为高等院校相关专

本书从网络形态和构成要素出发，介绍计算机网络的原理、技术、协议及典型应用等。全书共分为8章，分别介绍计算机网络基础知识、数据通信与通信网技术、计算机网络体系结构、以太网交换技术、网络互联与互联网、虚拟化技术与服务器搭建、无线网络、计算机网络安全等。本书是一本实用性很强的教材，适合高等院校计算机、信息管理、电子商务及相关专业的学生和网络从业人员使用。

在数字经济时代，不仅是数字产业化，而且更多的是产业数字化。本书针对区块链技术及其他相关产业的发展需求，系统地分析了区块链技术与数字金融、物联网、智能制造、供应链管理、数字资产交易等产业创新融合的案例。除讲解易混淆的知识外，本书还重点分析了区块链应用工程开发与实践中的操作及方法。本书可满足不同层次读者的需求，既可作为高等院校区块链技术专业的学习用书，也可作为软件工程、大数据、移动应用开发等专业的教学参考书，以及对区块链技术感兴趣人员的自学参考用书。

本书循序渐进地介绍了使用UG NX 进行机械产品设计的相关内容，包括UG NX 概述、软件的工作界面与基本操作设置、二维草图设计、零件设计、钣金设计、装配设计、模型的测量与分析、工程图设计、曲面设计、动画与运动仿真、结构分析等。
为了能够使读者更快地掌握该软件的基本功能，在内容安排上，书中结合大量的案例对UG NX概述软件中的一些抽象的概念、命令和功能进行讲解；在写作方式上本，本书采用软件真实的操作界面，采用软件真实的对话框、操控版和按钮进行具体讲解，这样就可以让读者直观、准确地操作软件进

本书是 Adobe系列中的 Premiere Pro分册。本书共分为 15章，内容包括了解视频编辑软件、创建项目、认识 Premiere Pro工作界面、导入素材并添加到序列、剪辑的基本操作、视频效果、使用关键帧、添加过渡、执行高级修剪、抠像与图像合成技术、掌握调色技巧、音频修复与优化、创建文本与标题动画、渲染与导出、综合案例等。本书以丰富的案例为主导，将软件功能进行详细的拆解与讲述，通过实践引导读者理解理论知识、掌握软件操作步骤。案例难度由浅入深，适合各类读者学习与参考。

本书是针对零基础读者编写的动态网站开发入门教材，循序渐进地介绍了JavaScript开发技术。依据Web前端开发岗位的职业能力要求，本书重点介绍了JavaScript 的核心技术，并在此基础上详细讲解了jQuery框架的使用方法。本书使用热点案例，可以让初学者快速掌握动态网站开发技术。通过扫描二维码，读者可以进行课堂训练，进一步巩固所学知识，提高实际开发能力。本书内容全面，结合ECMAScript6（简称ES6）标准，重点突出，易于理解，每章内容简洁紧凑，从最佳实践的角度入手，为读者更好地使用J

本书第1版于2017年出版，此为第2版。相应课程为安徽省精品线下开放课程。本版增加了微课视频、在线题库、习题答案和以项目贯穿的实验任务，还完善了知识点。

本书注重实践操作，配有理论讲解和操作演示视频，带领读者从数据库创建开始，逐步递进，完成表的创建和管理、数据的增/删/改/查、数据库端编程等操作，让读者在实践中了解数据库的用途和用法。之后介绍事务、数据库安全、关系代数与关系数据理论、数据库设计、数据库恢复和并发控制等相关知识。作者将自己在IT企业多年积累的数据库实践经验融入本书，无

《MySQL数据库》是软件技术专业的一门核心课程。本书课程按照模块化的教学设计理念，系统地介绍了包括MySQL的安装与配置、数据库的创建、数据表的创建、数据类型和运算符、数据表的操作（插入、更新与删除数据）、索引、视图、查询数据、PHP访问MySQL，并通过一个图书管理系统的项目开发过程综合讲述实际开发中MySQL数据库的应用技能。本书注重实战操作，帮助读者循序渐进地掌握MySQL中的各项技术。 本书为新型活页式教材，配套国家级职业教育专业教学资源库、省精品在线开放课程，各章节主要内容配备了以二

本书介绍了机器人的基础知识，并通过大量的仿真实例，对机器人机械臂的运动学、动力学、运动轨迹规划、关节控制进行了详细分析，后讨论了机械系统中常用的仿真方法，并附有必要的计算程序和仿真流程。
本书中部分仿真实例给出了演示视频，读者可扫描二维码观看。
本书内容精炼，由浅入深，实例丰富，注重理论与实际相结合。本书可作为普通高等院校机械、自动化、人工智能等相关专业的教材，也可供从事机器人研究、开发和应用的科学技术人员参考。

形式语言与自动机理论是计算机类专业的一门重要课程。本书是作者结合其近40年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质，图灵机的基本知识。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性。叙述中特别注意引导读者分析与解决问题，以培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。