本书为集成电路时序约束设计的指南，指导读者通过指定的时序要求，充分发挥IC设计的性能。本书内容包括受时序约束的关键环节的设计流程、综合时序分析、静态时序分析和布局布线等。本书首先详细讲解时序要求的概念，然后详细解释如何将其应用于设计流程中的特定阶段，后通过实践介绍在Synopsys约束设计下（SDC）业界领先约束的格式。

《叶片式泵通风机压缩机（原理、设计、运行、强度）》既深入阐述了叶片式流体机械的原理，又具体介绍了各种机器的设计方法，还介绍了流体机械的运行特性和零部件的强度计算等内容。《叶片式泵通风机压缩机（原理、设计、运行、强度）》主要包括四部分内容：叶轮机械的基本概念和基本定理，平面叶栅和离心叶轮内的流动特性，各种损失的计算；离心式流体机械的叶轮和固定过流部件的水力设计，气动设计和热力设计，圆柱形叶片和双曲率叶片的设计方法，压缩机的冷却和冷却器设计；轴流式流体机械基元级的设计，轴流泵和通风机的设计以及多级轴流压缩机的设计；流体机械的运转特性，喘振、失速、联合和调节等内容，主要零部件的强度计算，转子的临界转速计算以及转子的平衡等内容。《叶片式泵通风机压缩机（原理、设计、运行、强度）》可供

《智慧矿山信息化标准化关键问题研究》提出通过制定行业级别的智慧矿山信息化标准，开展智慧矿山信息化标准化工作来解决煤矿企业和煤炭行业面临的问题。从制定行业级别的智慧矿山信息化标准的角度而言，由于智慧矿山信息化标准的编制工作不是一朝一夕能够完成的，关键标准的制定就成为煤炭行业亟需开展的标准化工作，而关键标准的识别是该工作首先要完成的任务。

本书全面系统地介绍了各种残余应力的产生原因及其对表面性能的影响，重点详细地介绍了各种残余应力检测技术。其主要内容包括残余应力概论、残余应力无损检测技术、残余应力有损检测技术、残余应力检测技术的应用、残余应力的调控与消除。本书涉及面广，既注重理论基础，又结合生产实际，体现了多学科综合性与交叉性，对研究表面残余应力的实际问题具有较强的指导作用。本书适于从事机械设计、材料加工、表面工程及再制造工程的科研人员与技术人员参考阅读，也可作为相关专业在校师生的参考书。

《IYNED游艇及水上环境设计系列丛书·游艇设计：从概念到实物》讲解了游艇设计的概念及其深化，是从船体设计到内部舾装的易入手的设计宝典。 《IYNED游艇及水上环境设计系列丛书·游艇设计：从概念到实物》由3部分组成：部分清晰地介绍了游艇的概念、分类及其命名，以概述的方式回顾游艇发展的历史以及风格变迁。着重展现地中海式设计风格的特质以及具有代表性的案例；第2部分通过详细的分析和专题论述，介绍游艇的设计要点及其中的奥秘；第3部分则系统地讲解游艇设计中的数字化设计手段以及软件应用，通过计算机辅助和协助设计，并用数字技术模拟测试船体的性能。 《IYNED游艇及水上环境设计系列丛书·游艇设计：从概念到实物》从概括到具体、从外观设计到内部家具设计，为读者解答如何开始当代风格的游艇设计、必要的设计工具及现代化的

本书从实际使用需要出发，全面介绍工程机械的分类、结构特点、主要技术性能参数、选型和使用要点，以及工程机械的发展趋势等，既有的理论深度，又包含广泛的实践经验，是一部较为理想的实用工具书。本书共分七篇，主要内容：土石方机械；起重机械；运输机械；混凝土机械；工程船舶；钻探及地基处理机械；辅助设备。本书可供工程规划、设计、施工和管理等方面的专业人员及大专院校的有关师生使用。

本书系统地介绍了磨削加工中测量与评价磨削力、磨削热、热变形、砂轮磨损和工件表面质量等磨削过程中涉及的物理量的相关理论和方法，既包括了传统的方法，又涵盖了新的技术。区别于大部分磨削加工技术的书籍，本书详细介绍了这些测量和评价方法使用的设备、装置、难点及其解决方法与技巧，以大量的试验数据和分析结果为实例进行讲解，内容翔实，可操作性强，可以为开展磨削理论与技术研究的高校、科研院所和企业的研究人员，尤其是刚开始从事磨削加工技术研究的初学者提供有益的参考。

《液压破碎锤：设计理论、计算方法与应用》是作者在总结了数十年液压锤和液压凿岩机的生产、研发和使用经验的基础上写成的，在《液压破碎锤：设计理论、计算方法与应用》编写过程中，徐必勇工程师做了大量的工作，安徽惊天液压智控股份公司许多工程师者参与基中，做了许多具体帮助。