本书以安川工业机器人为例，介绍工业机器人的操作方法，主要内容有安川工业机器人的手动操作、示教模式的操作、再现模式的操作、远程控制模式的操作、PAM功能的操作、工具坐标系的设置与操作、输入输出控制、用户坐标系的设置与操作、安川工业机器人常用命令和功能的应用等。本书采用任务驱动，适用于职业院校机器人应用技术等专业开展一体化

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模

本书主要探讨数据挖掘中的项集挖掘问题，详细介绍了频繁项集、高可用项集、最大频繁项集、频繁闭项集的定义、挖掘算法、搜索空间剪枝技术、性能优化等方面的内容。

自动化生产线控制系统设计与实践

本书是教育部互联网中国制造2025产教融合创新基地建设配套教材。全书有3篇，共7个项目，包括工业机器人认知、ABB机器人使用准备、搬运工作站操作编程、焊接工作站操作编程、码垛工作站操作编程、带附加轴的焊接工作站操作编程、视觉分拣工作站操作编程。 本书以纸质教材数字课程的方式，配有数字化课程资源，内容丰富，功能完善。书中

这是一个大数据爆发的时代。面对信息的激流、多元化数据的涌现，大数据为个人生活、企业经营，甚至国家与社会的发展带来了机遇和挑战，大数据已经成为IT信息产业中具潜力的蓝海。“大数据导论”是一门理论性和实践性都很强的课程。本书是为高等职业院校相关专业“大数据导论”课程全新设计编写的，具有丰富的实践特色。针对高等职业院校学生的

本书围绕气体保护焊的相关工艺知识，对工业机器人焊接系统的构件组成、机器人焊接示教方法、行业应用案例以及焊接系统维护方法进行详细阐述。

宇宙飞船的使用大大增加了我们对周围宇宙的了解。太空舱和太空站使宇航员能够在太空中生活和工作。本书介绍了科学家正在努力开发的未来太空机器人，它们可以在太空中建造大型结构就像我们看见过的蜘蛛织网。-------------------

本书基于作者对并联机器人机构学基础理论20余年的持续研究，紧紧围绕并联机构的“型(构型)”、“性(性能)”、“度(尺度)”，建立了系统的并联机器人设计理论与方法。全书总共分为3篇：构型分类与综合、性能评价与优化设计以及综合设计实例。第1-2章为构型分类与综合篇，主要围绕并联机构的“型”来展开描述。第1章基于现有构型系统

SLAM（同时地图创建与自定位）与VSLAM（视觉SLAM）是近年来机器人理论与技术研究的核心问题，是移动无人平台真正实现自主导航的关键。本书简要描述了SLAM方法的基础，重点对近几年以来迅速发展的VSLAM方法进行了较为全面的介绍，并对其前端视觉里程计、优化估计、闭环检测、建图的方法与技术进行了深入而具体的讲解。本书