当代形式逻辑及其在人工智能中的应用理论研究

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入...

创新驱动、转型升级与中国装备制造业发展 经济新常态的视角

机械制造技术训练

本书为适应科学技术不断发展及教学改革的不断深入而编写。全书共分16章，包括钢的热处理、铸造、压力加工、焊接、钳工、车工、铣工、刨工、磨工、数控车、数控铣、电火花加工、超声波加工、激光加工、快速原...

机械制造基础实训教程

本书主要内容包括：铸造、锻造、焊接、钢铁热处理、数控火焰/等离子切割、车削加工、铣削加工、磨削加工、钳工概述、数控车削加工、数控铣削加工、加工中心、数控电火花加工。 本书可供机械类及近机械类专...

机械制造工艺基础习题集 第2版

本书是根据教育部最新颁布的课程基本要求和重点院校课程改革指南的精神编写的，是与清华大学傅水根教授主编的教材《机械制造工艺基础》（第2版）配套的习题集。...

数字化设计制造仿真与模拟 下

本书是作者以数字化设计与仿真优化技术、数字化制造与模拟技术应用为主要对象，在从事多年工作经验的基础上，结合工程产品数字化设计、数字化制造应用需求的条件下，通过不断应用、总结、研究开发编写而成的。...

制造型企业信息化建设方案设计及实施指南

本书主要介绍了有关我国制造企业如何科学地进行信息化建设的相关内容。

冷冲模具设计与制造

本书按“项目教学法”的基本理念和要求进行编写，以5冷冲模具的设计和制造为载体，展现了冷冲模具的结构设计、零件加工和模具装配的全过程。本书所精选的5个冷冲模具项目分别是：设计—制造落料冲裁模、设计—制...

列宁格勒型油轮上层建筑分总段制造的经验

全民办化学工业参考资料 钙镁磷肥制造小型定型设计