几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

证据法学译丛 证明 如何进行庭前证据分析

本书是证据法学论丛之一。这是一本关于证据的书，作者围绕在审判前如何通过有效的分类管理和制作时间表等方法对诸多案件信息进行整理、分析，如何通过推理判断、选用证据，如何使用这些证据使其形成有效的证据链...

焊接机器人技术与系统化

动力系统基础及其稳定特性分析

本书从力学的发展过程介绍了动力系统的概念及其演化、分析过程。介绍了微积分的创立和微分动力系统的关系，以及对微分方程直接求通解到对特解展开定性研究的演变过程，揭示了研究动力系统的不同方式方法。对动...

点焊机器人系统及编程应用

本书以安川点焊机器人为范本，主要介绍了点焊工艺及点焊机器人系统、点焊机器人编程操作、点焊机器人安装调试与维护保养、点焊机器人在汽车行业的应用和点焊机器人错误代码表。章后面有复习思考题，并将视频录...

非线性多关节机器人系统滑模控制

本书共分6章，内容包括：多关节机器人动力学模型及特性；多关节机器人反馈线性化积分滑模控制；多关节机器人双模糊滑模控制；多关节机器人神经模糊滑模控制；多关节机器人终端模糊滑模控制。本书突出了理论分析与仿......

工业机器人基础

本书主要内容包括工业机器人概述、工业机器人的机械结构、工业机器人的环境感觉技术、工业机器人的控制系统与驱动系统、工业机器人的手动操作、工业机器人示教编程指令基础六部分，书中以华中数控装配机器人...

工业机器人应用基础

以目前高等院校中常用的几种工业机器人为例介绍其基本操作，给出教学中易于实施的实践练习，从而在实际操作和应用中学会工业机器人的基本原理。全书共分为六章，包括绪论、工业机器人结构原理、示教编程器、工业...

机器人操作系统测试技术

目前，机器人操作系统测试技术的研究成果比较分散，还没有专著出版。本书是在国家863计划重点课题“机器人操作系统、软件仓库及模块化硬件平台开发”的支持下，以RGMP-ROS操作系统的测试需求为牵引，以解决测试中...

Building machine learning systems with Python = Python语言构建机器学习系统 第2版 （影印版）