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

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

本书主要分为3篇：第一篇，电镜及电镜技术。介绍了常用电镜的类型、简单的成像原理和观察方法，以及常用的阳平制备技术等内容。第二篇，细胞超微结构和超微病理，对细胞膜、细胞核、线粒体、内质网、高尔基复合体、溶酶体、微体、细胞骨架等的超微结构和超微病理变化进行了介绍。第三篇，组织的超微结构和超微病理，对造血系统、心血管系统、消

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

本书综述国际上脉冲功率技术和相关研究领域的主要进展，重点讨论脉冲功率系统基本概念、组成及其系统应用等内容。本书共12章，第1~5章概述脉冲功率源系统的基本组成单元；第6、7章论述脉冲功率系统应用；第8、9章介绍绝缘介质的电击穿；第10章介绍脉冲电压和电流测量；第11~12章介绍电磁兼容、电磁干扰及其抑制技术等内容。 本

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

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

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

本书是系统论述数字信号处理技术的新形态教材，包含丰富的教学资源，包括纸质图书、教学课件、程序代码、教学大纲和电子教案等。全书共分为12章：第1章论述信号的概念、分类以及数字信号处理发展历程和主要应用等；第2章论述离散时间信号与系统、线性时不变系统和线性常系数差分方程；第3章论述离散时间傅里叶变换及其性质，以及离散时间系

《数字集成电路测试——理论、方法与实践》全面介绍数字集成电路测试的基础理论、方法与EDA实践。第1章为数字集成电路测试技术导论，第2～9章依次介绍故障模拟、测试生成、可测试性设计、逻辑内建自测试、测试压缩、存储器自测试与自修复、系统测试和SoC测试、逻辑诊断与良率分析等基础测试技术，第10章扩展介绍在汽车电子领域发展的