思考机器探案集 完美的不在场证明 第2版

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

电路、信号与系统分析基础

电路分析基础 系统方法

本书较为全面地介绍了电路分析的基本概念，包括基尔霍夫电压定律、基尔霍夫电流定律的基本原理及其应用，一阶电路和二阶电路的瞬态响应等内容，同时还增加了电子元器件及其基本电路的分析，包括二极管、三极管、运...

信号与系统分析基础

本书是根据我国高等教育发展的新形势，根据教育部信号与系统课程的教学基本要求以及一般院校培养应用型高级技术人才的定位编写的简明教材。内容包括：信号和系统的基本概念、连续系统的时域分析、离散系统的时...

电力系统稳定分析的直接法-理论基础、BCU方法论及应用

本书全面系统从三个方面介绍了BCU方法的理论基础、计算方法论及数值方法和实际应用情况。全书共分25章，在针对性地提出了目前直接法的应用局限性后，提出了一整套依据主导不稳定平衡点进行电力系统暂态稳定分...

图像处理 分析与机器视觉 第4版

面向智能制造的多机器人系统任务分配研究

机器人操作系统浅析

本书包括10部分内容，主要有：绪论，入门概述，编写ROS程序，日志消息，计算图源命名，启动文件，参数，服务，消息录制与回放，总结。绪论，入门概述，编写ROS程序，日志消息，计算图源命名，启动文件，参数，服务，消......

工业机器人应用基础 基于KUKA机器人