本书基于矿井智能通风这一新型通风模式，以矿井通风参数的智能获取、矿井通风智能计算和矿井通风智能控制基础理论为主线，研究矿井智能通风与矿井火灾、瓦斯爆炸、瓦斯煤尘爆炸等热动力灾害耦合问题，结合作者的科研，提出了一些新理论和新方法。全书共分为绪论、矿井通风参数精准智能获取、矿井通风实时智能计算、灾变时期矿井通风智能控制理论

本书结合云南滇池区域典型的深凹露天化工矿山—云南磷化集团有限公司晋宁磷矿、昆阳磷矿的开采情况，以层状高陡岩质边坡与房柱法地下开采耦合作用下岩体的采动演化特征这一科学问题为研究目标，阐明露天终了层状高陡岩质边坡对地下开采的坡高、坡角的影响效应，建立边坡影响下地下采场上覆关键层的非线性力学分析模型及岩体变形破坏演化的形态方

本书为“新工科·食品科学与工程类融合创新型系列教材”之一，重点介绍了现代肉品加工的基础理论、新技术和发展趋势，主要包括绪论、畜禽肌肉生理与屠宰分级、肉类食用品质与营养安全、肉品加工原理与技术、智能制造与未来肉制品、肉类加工标准等六大部分。本书既系统论述了肉品加工的经典理论与技术，又深度体现了交叉融合的新工科理念，并兼顾

本书基于RISC-V和Chisel讲解自定义CPU的实现。全书分为5个部分，立足于CPU、存储器、计算机架构等基础知识，逐步带领读者实现简单的加减法、分支、比较等基础指令，理解流水线对于CPU高速化的重要意义及实现，最后应用向量扩展语言实现自定义CPU。要提醒的是，本书所指的“CPU制作”仅限于软件上的设计和模拟，不涉

本书详细介绍了工业机器人精度补偿的基础理论和关键技术，阐述了机器人精度及精度补偿的基本概念，主要内容包括：机器人运动学建模、机器人采样点规划方法、基于定位误差模型的机器人精度补偿技术、基于误差相似度的机器人精度补偿技术、基于神经网络的机器人精度补偿技术、基于关节空间闭环反馈的机器人精度补偿技术以及基于笛卡儿空间闭环反馈

本书全面系统地介绍了量子计算领域的基本理论、核心概念、关键方法和重要结论，并兼顾近期的前沿进展。本书内容主要包括：经典和量子计算的复杂性理论、计算复杂度与物理理论间的关系；基本量子算法；不同量子计算模型及其与量子线路模型的等价；基于离子阱系统、超导系统及光学系统的量子计算的物理实现；量子纠错码与容错量子计算。本书既突出

软件是支撑计算机、网络和数据的基础，软件安全是信息安全保障的关键。本书通过对现有方法的总结、技术对比和实例分析，从理论到实践、从传统到前沿，全面深入地阐述软件安全中的软件漏洞与攻击利用、软件脆弱性分析与软件漏洞挖掘及软件防护技术，分别从基本概念、各种传统与前沿的软件防护方法的原理、典型应用、未来发展趋势等方面进行详细介

《无机材料的结构与性能》是编者长期从事无机材料结构与性能教学和科研工作的积累，目的是剖析不同尺度下无机材料的结构特征及其与性能的关联性。本书在介绍无机材料及晶体学基础知识的基础上，着重介绍了无机材料的表面结构、晶格结构、化学键结构和电子结构及其与性能的关联性，并将材料科学的新分支纳米材料的相关内容融入其中，然后结合科研

本书将理论讲述与实践解析相结合，介绍了机器视觉技术及图像处理理论，帮助读者理解基础理论并学会操作应用。主要内容包括：机器视觉基础、图像数据与文件、图像视频采集、像素分布处理、颜色空间与测量、颜色变换、几何变换、频率域变换、图像间变换、滤波增强、图像分割、二值运算、二值参数测量、二维三维运动图像测量。利用通用图像处理系统

本书分为基础篇、实践篇、实训篇三个篇章，基础篇涵盖认识设备点检、认识冶金工业、认识工程制图；实践篇涵盖机械设备点检管理、电气设备点检管理；实训篇涵盖机械单元、电气单元、仪器单元的实操考核演练。