本书研究了板材离散夹钳柔性拉形工艺及相关设备，采用有限元方法对板材柔性拉形工艺进行了数值模拟，同时研究了夹钳结构与过渡区长度对拉形效果的影响，探讨了拉形过程中回弹与接触力等问题，搭建了离散夹钳柔性拉形实验平台，并进行了相关工艺方案的可行性验证及成形规律的总结。

本书从知识系统构建的支撑技术和制造企业的实际应用出发，系统地介绍了知识工程的概念、方法和应用。全书共7章，重点介绍了知识获取、知识表示、知识推理及知识管理，在此基础上，针对制造企业知识工程实施方法、工具展开了介绍，最后介绍了知识系统的结构、开发，以及知识工程技术在机械制造领域的应用。本书结合知识工程技术在制造业的应用案

本书是理论计算机科学方面的经典教材，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性，但在形式化证明中又非常注重符合直觉的理解，避免多余的数学细节。本书分为理论和应用两个部分：理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语

本书共分为7章，主要内容包括绪论、知识图谱表示学习的现有研究综述、基于超平面机制的时态知识图谱表示学习模型、基于张量分解技术的时态知识图谱表示学习模型、利用隐式类型信息增强现有静态模型的普适性方法、类型增强的时态知识图谱表示学习模型、总结与展望。知识图谱是一种新型数据管理模式，对原本分散的多专业、多来源、多结构的专业知

编者从百色水利枢纽工程项目前期工作开始，对工程建设管理体制与机制、招投标管理、施工管理、合同管理、技术管理、质量管理、安全生产管理、征地补偿及移民安置、水土保持与环境保护、工程验收、建设成就与工程评价等方面进行了系统性的总结；对工程建设过程中出现的如复杂地基下高碾压混凝土重力坝建设、有限岩体内布置地下厂房洞室群等技术难

本书共分四篇，即总体布置、工程施工、金结与机电，以及保障措施，主要内容包括工程概述、平面布置、引水隧洞及调压井、溶洞处理工程施工、压力管道土建工程施工、厂房系统土建工程施工、钻孔与灌浆工程施工、金属结构及埋件安装工程、机电设备安装工程、质量管理体系职业健康安全管理、环境保护与水土保持措施，以及文明施工措施等。

本书为工业设计类学术专著。本书以IP设计为研究对象，共十个章节，从“泛IP”的视角，阐释“泛IP”语境下IP产品设计的概念及发展历史、展示IP的形式及IP产品分类，分析“泛IP”语境下IP产品设计的意义，探究“泛IP”语境下IP产品设计的特征和设计原则，研究“泛IP”语境下IP产品设计的文化内容表达，总结“泛IP”语境

本书以河南矿区为研究对象，分析了煤层开釆底板突水形成条件，在总结分析现有文献资料的基础上，运用理论推导、试验模拟、数值模拟、现场监测等多种方法和手段，对煤层底板破坏与递进导升协同突水致灾机制进行研究。主要内容包括：绪论、河南矿区水文地质特征及突水影响因素分析、底板破坏与递进导升协同突水机制研究、底板破坏养护递进导升协同

本书以某工程大型闸墩为案例，建立了三维有限元计算网格模型，模型考虑了闸墩地基、基础和墩体，并内设了复杂的水管网络；结合实际工程，设置边界条件，给定初始条件，采用三维非稳定温度场与应力场计算程序，开展了多工况的仿真计算；计算结果表明，墩墙混凝土采用C40混凝土，绝热温升大，浇筑块长，因此若不采取温控措施，结构有开裂的危险

本书共分为8章，通过水利基础知识、土石方工程施工、混凝土工程与渠系工程施工、水利工程建设监理理论、水利工程信息化建设、大中型水利工程标准化工地建设、社会资本参与的大中型水利工程资产管理、水利工程建设经济等方面来分析水利工程建筑施工技术要点，为现代化水利工程建筑施工提供指导，提升水利工程经济效益和社会效益。本书理论与实践