大约有3,518项符合查询结果项。（搜索耗时：0.0533秒）
为您推荐： 几何定理机器证明的基本原理 几何定理机器证明的案例 分析基础机器证明系统 不等式机器证明与自动发现 方程求解与机器证明 证明论
-
数字图像处理与机器视觉 Visual C++与Matlab实现
张铮，王艳平，薛桂香编著2010 年出版544 页ISBN：9787115220233本书试图将理论知识、研究实验和应用实例有机结合起来，内容涉及数字图像处理领域的诸多方面，并且对于机器视觉的研究内容和研究方法给出了前导性介绍，旨在为有志投身图像处理和机器视觉研究领域的朋友提供一本...
-
-
-
历史的细节 马镫、轮子和机器如何重构中国与世界
杜君立著2013 年出版335 页ISBN：9787542640888本书是当下人们理解整个人类社会发展史和中国文明进化史的一个独树一帜的重要文本，它从“大历史”的角度重新审视现代世界、现代中国及其诸多人类不平等形成的历史原因。同时，本书也是一部有诚意有良知的关于...
-
基因机器 推动人类自我进化的生物科技
（美）邦妮·罗彻曼（Bonnie RochMan）著2018 年出版207 页ISBN：9787300251530这是一本讲述基因技术如何重塑人类健康与命运的书。DNA测试是现代医疗的胜利，还是潘多拉魔盒？胚胎的疾病筛查是人道的生育计划还是优生学的滑坡？更实际的是，我们要如何对待令人眼花缭乱的可用测试。在本书中，罗...
-
机器人胰腺外科手术学
沈柏用，彭承宏主编；邓侠兴，陈皓，詹茜副主编2014 年出版199 页ISBN：9787547820292本书是我国第一部关于使用Da Vinci（达芬奇）机器人手术系统开展胰腺外科手术的专著，全书共18章，40余万字。全方位介绍机器人胰腺外科手术的相关知识，包括机器人手术系统及相关器械的介绍、胰十二指肠区相关的解剖...
-
-
面向汉英机器翻译的语义块构成变换
李颖，王侃，池毓焕著2009 年出版217 页ISBN：9787030227447本书内容属于机器翻译的范畴，是在HNC（HierarchicalNetworksofConcepts）理论框架下对HNC机器翻译引擎原理中的一部分--句蜕构成及汉英变换处理--进行的研究，其目的是为机器翻译提供理论与技术支持。本书对句蜕进...
-
码垛机器人机械结构与控制系统设计
李金泉，杨向东，付铁编著2011 年出版145 页ISBN：9787564047191本书综合采用了多种现代设计方法：采用Pro/E进行三维结构设计，采用D-H方法求解工作空间从而确定机器人运动学参数；采用动态静力学方法利用MatLAB编程求解机器人的动力学模型，从而确定各关键轴所受的力和力矩，根据...
-
