本书系统地介绍了形式化验证的概念和原理，通过丰富的实例生动地展示了形式化验证所需的TCL和SVA语言语法规则。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VCFormal形式化验证工具，全面展示了该工具中常用应用的使用方法、常见问题及其解决方案，为读者提供了从基础知识到高级应用的学习途径，帮助广大的IC工程师和学生快速入门和实践形式化验证。

本书在介绍智能制造基本概念的基础上，概要介绍了包含流程制造业与离散制造业智能制造中的自动化、安全与通信技术，重点阐述了PLC程序设计与人机界面开发技术，给出了具体的应用案例。对罗克韦尔自动化公司的Micro800系列PLC的硬件与网络、CCW编程软件与编程语言、指令系统、PLC程序设计与人机界面进行了详细介绍。通过对应用案例的深入分析，系统地阐述了运用面向对象编程思想，合理选择不同编程语言，利用PLC进行逻辑顺序控制、过程控制与运动控制的程序设计方法，剖析了与PLC控制紧密结合的人机界面设计内容

本书系统地介绍抛丸机现代制造技术的书籍。作者从抛丸机清理强化工艺要求、抛丸机部件构成、种类与结构设计、加工制造技术、控制系统、安装与维护、典型抛丸机清理的解决方案、抛丸机结构与工艺数据管理平台等方面，分9章阐述了抛丸机技术的最新发展动态和实际应用案例。通过阅读此书，读者可以全面了解抛丸机技术的理论知识和实践经验。

本书介绍了作者团队20余年来在激光定向能量沉积技术领域的研究成果，包括设备研制、工艺开发、材料表征与力学性能、检测与控制、制造及应用等内容。书中介绍了激光定向能量沉积技术的原理、特点与作用，阐述了激光定向能量沉积的设备研制，按照工艺流程论述了激光定向能量沉积技术的前处理、工艺开发及后处理，阐明了激光定向能量沉积零件的组织性能特征、激光定向能量沉积的过程检测与智能控制，讲解了激光定向能量沉积中的修复再制造与绿色低碳制造，例证了激光定向能量沉积技术在航空航天、汽车、能源、冶金、机械装备、模具领域的应

本书详细介绍了基于MATLAB和Python的动态系统建模与分析所需的一系列控制主题及高级编程技能。首先对姿态估计与控制进行了全面介绍，包括姿态运动学、传感器以及用于姿态估计的扩展卡尔曼滤波器。然后对自动驾驶车辆任务规划进行了实用讨论，包括无人机路径规划和移动目标跟踪。接着对生物系统建模进行了综合探索，包括生物分子网络和随机建模。最后对使用生物系统的控制算法以及其实现进行了深入研究。

本书以神经科学为核心框架，深入解析儿童“问题行为”背后的根本动因——失控的神经系统与安全感缺失，揭示攻击、对抗、逃避等行为实则是孩子大脑进入“看门狗”（战斗/逃跑）或“负鼠”（僵直/解离）保护模式的信号。通过“猫头鹰大脑”（理性调节系统）的重建、协同调节策略以及安全感培育，引导家长从根源修复孩子的神经系统，将行为问题转化为亲子连接的契机，最终帮助孩子从混乱的自我保护状态回归平静、合作与自我掌控，实现情绪与行为的长期稳定。

本书用43个充满创意的亲子活动，帮助孩子学习如何避免成为校园霸凌的对象，同时也不要成为施暴者。通过“认识校园霸凌”“敢于表达情绪”“建立自信”“同理心”“网络霸凌”和“解决冲突”六个环节的学习，孩子会建立对校园霸凌正确、全面的理解，并学习避免让自己成为校园霸凌对象的品质和实际技能。本书适合孩子和家长一起阅读，书中的活动设计充满趣味、互动性强，便于父母和孩子一起在家庭中开展，能够帮助孩子在轻松愉快的活动中学习防止、应对校园霸凌的技能，实现全面成长。

本书讲述：当今时代，在很多行业，新的供应商会不断涌现，供大于求会成为常态；随着互联网的普及，过去买卖双方信息不对称的问题已经完全成为历史。为此，客户会不遗余力地利用供大于求的市场格局，以及充分透明的市场信息，不断要求供应商降价。在这样的市场态势下，光靠产品好、关系铁，销售仍有可能拿不到订单。有时即便能拿到订单，也没利润，甚至做得越多亏得越多。现有的销售模式难以为继。这样的困境应如何破解？方法只有一个，即不把自己企业的成功作为首要目标，而是把关注点放在如何尽自己的一切努力帮助客户成功。企业要充分利

本书结合消费者行为洞察，以情绪为切入点，从情绪爆品的本质研究、基础建设、语言策划以及设计和展示等几个角度详细介绍了情绪爆品打造的方法，并辅以翔实的案例，真正手把手教企业如何将情绪价值系统性地植入品牌的每个环节：从产品定位到品牌故事，从包装设计到用户体验，从营销传播到售后服务。每一个触点都是与用户建立情感连接的机会，每一次互动都是深化品牌印象的契机。无论是初创品牌还是成熟品牌，都能在书中找到适用的策略和灵感，为品牌注入持久的情感价值，增强市场竞争力。

本书是作者在指导三百余家企业进行改善过程中对降低成本的方法、经验、感悟的总结。书中结合大量案例，从管理改善的角度，围绕企业全流程链，从生产环节、物流环节、采购环节、产品设计环节四个方面详细介绍了降低成本的方法和策略，涵盖材料、能源、设备、计划;仓储、场内物流、场外物流;采购体制（功能体制、流程体制、人才体制）和采购成本;结构功能设计、提高产品设计效率、产品质量设计和产品设计管理等多个方面降低成本的具体战略和战术。