本书全面介绍使用Verilog进行RTL设计的ASIC设计流程和综合方法。本书共20章，内容包括ASIC设计流程、时序设计、多时钟域设计、低功耗的设计考虑因素、架构和微架构设计、设计约束和SDC命令、综合和优化技巧、可测试性设计、时序分析、物理设计、典型案例等。本书提供了大量的练习题和案例分析，可以帮助读者更好地理解和

本书采用实践方法编写，描述了使用MMMC实现高级ASIC设计的高级概念和技术。本书侧重于物理设计、静态时序分析(STA)、形式和物理验证，书中的脚本基于Cadence?EncounterSystem?，涵盖数据结构、多模式多角点分析、设计约束、布局规划和时序、放置和时间、时钟树综合、最终路线和时间、设计签核等主题。 本

本书内容丰富，叙述详尽清晰，图文并茂，通过大量的资料和设计实例说明了PCB设计中的一些技巧和方法，以及应该注意的问题，具有工程性好、实用性强的特点。本书共15章，分别介绍了印制电路板（PCB）上焊盘、过孔、叠层、走线、接地、去耦合、电源电路、时钟电路、模拟电路、高速数字电路、模数混合电路、射频电路等PCB设计的基础知识

本书以互联网设计原理为指南，详细分析互联网协议第四版（IPv4）和互联网协议第六版（IPv6）数据报头结构和寻址原理，系统介绍新一代过渡技术中的协议翻译和地址映射的技术思路和适用于不同场景的IPv6过渡技术实现方案。本书是作者在中国教育和科研计算机网进行IPv6过渡技术研究时对产生的重要研究成果的系统化总结。这些成果已

近些年密码分析理论有了长足的发展，有关密码分析的成果大多散落在国内外与密码学相关的学术会议论文集上，专门讲述密码分析方法的著作并不多见，或是偏重于密码分析的某些方向，或是集中在某类密码算法的分析；或过于庞杂和缺少详实实例；或过于陈旧和浅显，缺少最新研究成果。目前还没有适合网络空间安全专业的密码分析教材。《密码分析基础》

本书系统讨论了近年来图像处理方法的新进展，主要内容包括：图像的变分多尺度分析：ROF模型和TV-L1模型、TV的几个新进展：TV-L1的多尺度分割、梯度差的正则化方法、全局稀疏梯度等；基于迭代正则化和逆尺度空间的多尺度分析：小波、曲波等X-Let及其对应的分解空间，以及利用这些分解空间的等价范数建立的各种图像逆尺度空间

本书在对图像降噪方法的研究现状和经典的图像降噪方法进行回顾总结的基础上，分别针对灰度和彩色图像中不同类型噪声的特点，主要结合脉冲耦合神经网络模型、数学形态学理论、非线性滤波理论、方差稳定变换、模糊集理论等方法，介绍了相应的降噪方法的算法原理及结果。同时还对基于嵌入式系统软硬件平台的图像降噪方法相关实现进行描述，包括实现

本书主要内容包括语义图像分割相关理论和具体事项，在介绍语义图像分割目的和相关技术及传统分割算法的基础上，讲述了从神经网络到深度学习的发展过程，重点介绍了全卷积网络，通过采用卷积神经网络实现了从图像像素到像素类别的变换；从而进一步介绍了基于全卷积网络改进的Unet网络，以及两种基于全卷积网络的SegNet网络：正常版与贝

《机械原理实验技术》包括六个实验内容：机构认识、机构运动简图测绘、渐开线齿轮参数测定、齿轮范成加工原理、智能动平衡实验、机构运动创新设计。实验项目包含认识性、验证性、创新性和综合性实验等类型。实验项目由实验目的、实验设备、实验原理、实验步骤及实验报告等部分有机组成，任课教师可根据不同专业的需求选择书中所列实验项目。本书

航天器运行所处的宇宙空间环境中存在大量射线粒子，这些粒子会在航天器电子器件中产生空间辐射效应，导致电子系统性能下降、状态改变，甚至功能失效，影响航天器使用寿命及在轨可靠运行。航天器功能和性能要求越来越高，高可靠性、高集成度、高性能、低功耗纳米电子器件的空间应用前景广阔。纳米器件趋于物理极限的材料、工艺和结构特点对空间辐