当前位置：首页 > 名称
大约有435,577项符合查询结果项。（搜索耗时：0.6159秒）
为您推荐： 代数不等式的证明 机器证明 全4册 工业机器人集成应用机构设计篇自动化 工业机器人自动化生产线 工业机器人集成应用机构设计篇自动化 解不等式及证明 的方法
-
思考机器探案集 完美的不在场证明
（美）杰克·福翠尔著2012 年出版250 页ISBN：9787548407485本书收录了美国著名侦探推理小说作家杰克·福翠尔的多篇经典短篇小说，语言生动，情节设计巧妙，逻辑严谨。小说中塑造的主人公杜凡森教授，被誉为“美国的福尔摩斯”，他敏锐的直觉和精湛的推理能力，为读者献上一场.....
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
机器自动化控制器原理与应用
徐世许等编著2013 年出版422 页ISBN：9787111441366本书以欧姆龙公司最先进的NJ系列机器自动化控制器为背景机，系统地介绍了NJ的工作原理、硬件单元与系统配置、程序组织与编程技术、指令系统、自动化平台软件Sysmac Studio的使用，以及NJ的EtherCAT网络、运动...
-
机器人自动化 建模、仿真与控制
（法）吕克·若兰（Luc Jaulin）著；黄心汉译2017 年出版169 页ISBN：9787111570424本书介绍了机器人的建模、仿真和控制方法，主要内容包括：线性系统、机械系统、伺服电动机的建模，非线性系统的计算机仿真，线性系统及其稳定性和状态控制器，线性控制系统的能控性与能观性，线性化控制及非线性系统.....
-
-
-
川崎工业机器人与自动化生产线 高职
詹国兵，王建华，孟宝星主编；权宁，纪海宾，邢方方参编；吉智主审2018 年出版266 页ISBN：9787560649221本书以川崎RS10N工业机器人和天津龙洲RB1050实训台为例，由深入浅、理实一体化，较为系统地介绍了典型工业机器人和典型自动化生产线的操作、编程和调试等专业知识和技能。本书除注重理论的系统性和完整性外，还...
-
全国高职高专机电及机器人专业工学结合“十三五”规划教材 传感器与自动检测技术
付晓军，舒金意主编；何娜，梁健，张宇，刘明江等副主编2016 年出版233 页ISBN：7568019170
学科分类
出版时间