本书系统介绍了数字集成电路设计的基础理论与工程实践方法。全书共10章，涵盖数字集成电路设计基础、硬件描述语言应用、核心电路模块设计、总线接口开发、IP核技术、Testbench验证等核心内容，通过组合电路、时序电路、有限状态机等基础模块，以及硬件乘法器、DDS信号发生器、RISCCPU、深度学习加速器等综合案例，串联从

本书立足高等教育数智化转型背景，是国家级线上线下混合式一流本科课程的配套教材，入选了第二批河南省"十四五"普通高等教育规划教材。全书以系统性、逻辑性、易读性为特色，内容结构紧凑、阐述清晰，配套资源丰富，便于读者开展自主学习。全书共9章，主要内容包括绪论、随机信号分析、信、模拟调制、模拟信号数字化、数字基带传输系统、数字

可靠性和安全性是质量革命的战略核心，是促进制造升级和新一轮质量革命的有力保障。随着复杂系统综合化、自动化和智能化发展，系统的性能多重性、失效复杂性、要求严格性，以及故障的多态性和相依性的特点，使得系统可靠性和安全性分析成为具有重要现实意义和挑战的工作。本书针对多态相依系统，以精确分析系统可靠性和安全性为目标，提出了不同

本书是一部研究木材表面装饰的专著，内容可分为6部分：绪论，木材宏观美学，木材表面颜色修饰，木材表面疏水处理，木材仿生处理，木材纳米技术。本书致力于全面梳理木材的天然结构特征、表面美学表现及表面改性技术体系，构建面向科研与工程应用的系统化知识框架。

本书以我国西北地区矿井开拓巷道冲击地压灾变事故为工程背景，综合运用理论分析、实验室实验、数值模拟与现场监测相结合的研究方法，从微、细、宏观角度揭示了远近场动载作用下盘区开拓巷道的累积损伤致灾机理。在此基础上，基于冲击源头优化与局部精准防控的思路，构建了开拓巷道冲击地压防控技术体系，依托高家堡与孟村煤矿的工程实践验证了该

华侨华人是中外交流的重要桥梁，在促进全球发展、文明互鉴等方面作用重大。华侨园林作为中西园林文化融合创新的产物，见证了近代中西方文化交流，是中国近代园林史民间自主推动园林近代化的典型，记录了侨乡社会转型过程，是岭南园林近代化演变的关键环节。本书特色显著：全面系统构建岭南侨乡华侨园林造园艺术研究，界定概念、梳理历程、划分类

本书基于高校新工科建设对创新型卓越人才培养的要求及吉林大学工科集群建设对本科教材的要求，在保留经典理论的基础上，增加符合专业要求及本领域研究特色的教学内容，注重将学科前沿理论与技术、典型解决方案等融入教材，增加跨学科的科研实际案例素材，对提升人才培养质量起到了支撑作用，并具有推广应用价值。本书共6章，主要内容有焊接结构

本书系统阐述了计算机科学和软件工程中形式语言、自动机、形式逻辑、软件系统建模和验证等核心理论与方法。全书从基础知识开始，介绍了有限自动机、正则表示与正则语言、上下文无关文法、下推自动机与上下文无关语言、图灵机与计算模型，深入探讨问题的可判定性与计算复杂性、命题逻辑、谓词逻辑和时序逻辑，并进一步扩展至软件形式化建模与验证

本书是高等院校地质工程专业岩土体原位测试课程的教材。本书详细介绍当前国内外土体原位测试技术，包括载荷试验、静力触探试验、圆锥动力触探试验、标准贯入试验、旁压试验、扁铲侧胀试验、十字板剪切试验、波速试验和基于分布式光纤传感的原位测试新技术，阐述以上各种原位测试技术的发展历史、基本原理、仪器设备、技术要点、试验资料整理与分

油气管道地质灾害风险评价方法与实践