本书是山东大学机器人研究中心在四足机器人领域多年研究成果的总结，系统介绍了液压驱动四足仿生机器人的基本理论和主要关键技术。主要内容包括：四足仿生机器人的概述；四足仿生机器人的机构设计；四足仿生机器人的运动学和动力学建模；四足仿生机器人的静步态规划与控制；四足仿生机器人的动步态规划与控制；四足仿生机器人的环境感知、识别与导航；四足仿生机器人的机载液压动力系统设计；四足仿生机器人的控制系统设计；四足仿生机器人的主动柔顺运动控制；四足仿生机器人的物理样机集成与实验验证。

暂缺简介...

本书在介绍R软件基本功能的基础上，介绍了数据挖掘十大经典算法的基本原理及相应的R语言实现范例，旨在使读者能够仿照范例快速掌握大数据分析的方法，从高维海量数据中挖掘有用的信息，使用合适的数据挖掘算法，解决实际问题。全书内容共12章，分别介绍R软件的使用方法、C4.5算法、k-means算法、CART算法、Apriori算法、EM算法、PageRank算法、AdaBoost算法、kNN算法、Naive Bayes算法、SVM算法及各算法的案例分析。本书理论部分简单明了，所有程序均经过R软件实际运行。本书各章自成体系，读者既可从头逐章学习，也可随意挑选自己需要的章节学习。读者可登录华信教育资源网www.hxedu.com.cn免费下载算法实例代码。本书既可作为高年级本科生、研究生相关课程的教材，也可作为不同领域数据分析人员的工具书，还可作为零基础读者的自学教材。

无线传感器网络是一种集成了传感技术、微电技术、无线通信技术和分布式信息处理技术的新兴网络，其应用已经扩展到环境监测、交通管理及医疗卫生等诸多领域。由于传感器节点本身硬件能力的一些限制以及复杂的安全环境、多样的安全需求等因素的综合影响，无线传感器网络的安全受到严峻的挑战。而密钥管理在无线传感器网络的安全方面具有十分重要的意义，它是保障安全通信和安全路由的关键因素。《无线传感器网络密钥管理方案研究》对密钥管理的关键问题进行了深入的阐述，旨在能设计出安全高效的密钥管理方案。

本书针对基于无线传感器网络的多机器人编队协同导航与控制进行了深入的阐述，提出了遗传机器学习方法、基于预测控制的轨迹与传感、基于RSS的无线网络定位方法等，重点解决了多自主车辆汇合、信道质量预测、基于Android智能手机的室内导航、水下滑翔机导航、精确RSS定位（EasyLoc）等关键问题，书中进行了详细的数学建模、理论分析、仿真试验和实际应用验证，该技术紧密结合协同机器人与多传感器网络的工程应用，充分反映了国内外该学科领域的*新研究成果，体现了协同导航定位建模、控制设计发展中重要的技术突破，对该领域的发展和推广具有重要的意义。

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

《工业机器人仿真应用：KUKA机器人》以KUKA工业机器人仿真软件KUKA SIM Pro为载体，并搭建工业机器人工作站的环境，进行工作站的仿真应用。《工业机器人仿真应用：KUKA机器人》共7个项目，通过项目式教学模式，对TCP标定、工件坐标系设定、搬运工作站、码垛工作站、机器人平面轨迹规划、机器人空间轨迹规划工作站、双机协作综合工作站进行详细讲解，项目中包含模型的编辑及导入、工作站的布局、工作站的创建、坐标系的创建、程序的编写、外围设备的添加、场景效果的设置、点位示教、10配置及应用等相关知识。通过对工业机器人仿真工作站的应用，可以让学习者全面认识机器人的工作流程。《工业机器人仿真应用：KUKA机器人》为项目式一体化教材，适用于学习KUKA机器人基本操作的编程人员，可作为中、高等职业院校及成人高等学校工业机器人技术专业、电气自动化技术专业、机电一体化技术及相关专业的教学用书，也可作为本科院校机电及相关专业的实践选修课教材。

《工业机器人机械系统/智能制造专业群“十三五”规划教材》主要介绍了工业机器人的组成、结构、常用传动方式，并对工业机器人机械结构设计流程、方法以及常用零部件的选用进行了说明。书中系统介绍了一般工业机器人机械系统的机构形式、传动方法、联接元件、极限配合以及工业机器人机械结构的设计方法。《工业机器人机械系统/智能制造专业群“十三五”规划教材》适合从事工业机器人本体设计、安装与维护人员以及职业院校制造相关专业学生。

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

《高功率激光手册》描述了每个重要类别的激光所特有的先进的性能参数；既为多种类型的激光工作模式，也为限制它们性能和有效性的工程或物理约束提供评估；提供实际分析工具，以及真实世界的应用实例，读者可以根据他们的需要分辨适当的激光光源。《高功率激光手册》既可以服务于直接工作在高能激光发展领域的人，也可以服务于不是激光专家但希望鉴定适当的激光性能和技术的工程师。《高功率激光手册》适用于职业工程师，他们在光学物理方面有一些背景但本身又不一定是激光方面的专家；也可以作为大学的激光技术课程参考材料。