本书讲解了System Verilog Testbench强大的验证功能,清楚地解释了面向对象编程、约束随机测试和功能覆盖的概念。本书涵盖System Verilog所有验证结构,如类、程序块、随机化和功能覆盖等,并通过超过500个代码示例和详细解释,说明了学习多态性、回调和工厂模式等概念的内部工作原理。此外,本书提供了数百条指导原则,为全职验证工程师和学习这一技能的读者提供帮助,让读者可以更高效地使用这种语言,并解释了常见的编码错误,以便读者可以避免这些陷阱。
光电显示是人机交换信息的窗口,广泛应用于手机、计算机、虚拟现实、增强现实等领域。基于第三代半导体材料氮化镓的Micro-LED 新型显示具有高发光效率、高亮度、响应时间短和可靠性好的优良特性,被行业誉为继LCD和OLED显示的下一代显示技术。近年来,Micro-LED 显示成为一个热门的研究方向,受到了国内外产业界和学术界的高度重视。氮化镓基LED照明技术的发展促进了LED外延、芯片工艺、封装技术的突飞猛进,这也有助于LED技术的进步,然而Micro-LED 在外延生长、芯片制备、封装、应用技术层面与照明LED技术具有本质的不同,需要从各个层面全方位地突破Micro-LED显示技术,来实现Micro-LED显示的大规模商业化。并且,Micro-LED 除了显示功能外,还在可见光通信、光电镊子、生物医学等领域具有独特的优势。目前,Micro-LED技术是国际竞争关键科技焦点之一,中国也在
本书以当前半导体电子产业所出现的技术革命为背景,针对柔性电子技术在信息、能源、医疗、国防等重要领域的应用需求,简要介绍柔性电子技术的概念、发展历程和重要应用方向,系统介绍柔性电子器件设计方法、柔性电子功能材料、柔性电子关键制备技术、柔性固体器件、柔性集成电路及系统和柔性电子检测技术与可靠性分析等所面临的机遇与挑战,并对柔性电子的发展前景进行展望。
本书以 ENVI 5.3 为基础,通过浅显易懂的叙述和丰富的实例,全面系统地介绍 ENVI 软件及其在遥感相关领域的综合应用。全书分两篇:第一篇为基础操作篇,涵盖了 ENVI 软件工作环境、遥感数据读取、数据预处理、图像增强、波段运算、图像分类、制图输出、ENVI 与 IDL 交互等方面的内容;第二篇为综合应用篇,包括土地覆盖分类、植被动态监测、生态环境评价、城市热岛和水体叶绿素浓度反演等专题内容。
本书围绕工业机器人设计和服役中常面临的整机可靠性与精度保持性不足、定位精度低、核心部件测评方法准确度不高等关键科学与技术难题,系统阐述工业机器人可靠性设计理论与方法。全书共5章。第1章介绍工业机器人及核心部件在可靠性设计与测评方面存在的问题、研究进展及未来发展趋势;第2章介绍整机故障影响、可靠性预测与分配方法;第3章讨论精密减速器在服役工况下的精度可靠性测评技术,以及关节机电耦合建模和寿命可靠性评估方法;第4章介绍伺服电机在机-电-热多应力下的故障机理、绝缘状态评估与检测技术;第5章分析工业机器人定位精度可靠性及考虑不确定因素的参数鲁棒性优化设计方法。
本书共10章,分别介绍了LangChain的开发环境搭建、模型、提示、数据连接、链、记忆、代理、回调及周边生态等内容,并用三个案例,即基于Streamlit实现聊天机器人、基于Chainlit实现PDF问答机器人、零代码AI应用构建平台Flowise,将前面大语言模型的内容学以致用。通过本书,读者既能提升自身的技术素养,又能拓展自己解决实际难题的能力。 本书适合刚入门或想加入AI行业的技术从业者、需要结合大语言模型相关技术为业务赋能的产品经理、计算机相关专业的学生,以及AI爱好者和自学者。
先进计算光刻技术是集成电制造装备和工艺的核心技术。《先进计算光刻》主要介绍作者在20余年从事光刻机研发中,建立的先进计算光刻技术,包括矢量计算光刻、快速-全芯片计算光刻、高稳定-高保真计算光刻、光源-掩模-工艺多参数协同计算光刻等,能够实现快速-高精度-全曝光视场-低误差敏感度的高性能计算光刻。矢量计算光刻包括零误差、全光路严格的矢量光刻成像模型及OPC和SMO技术。快速-全芯片计算光刻包括压缩感知、贝叶斯压缩感知、全芯片压缩感知计算光刻技术。高稳定-高保真计算光刻包括低误差敏感度的SMO技术、全视场多目标SMO技术、多目标标量和矢量光瞳优化技术。光源-掩模-工艺多参数协同计算光刻包括含偏振像差、工件台振动误差、杂散光误差的光刻设备-掩模-工艺多参数协同优化技术。解决传统计算光刻在零误差假设、局域坐标系、理想
本书对一些新的科学计算法通过深入浅出的方法作了系统的介绍,并着重培养学生对程序设计的兴趣。本书是作者多年教学与科研工作的总结,曾经在香港中文大学,香港浸会大学,加拿大和中国科学院给研究生使用过。主要介绍一些高精度的计算方法,以及相关的程序设计。全书共分5章,第一章主要介绍准谱方法,第二章介绍时态离散和FFT,第三章介绍2D中的谱方法,第四章介绍迭代法和第五章主要是应用程序设计。
近年来,二分一致性、编队控制和包含控制等与群体智能系统协同行为涌现密切相关的研究课题,已经成为当前研究热点。本书系统性地阐述了群体智能系统协同控制的研究成果,给出了其在多卫星编队控制、多无人制导武器系统时空一致性协同控制及水面无人艇集群护航控制中的典型应用。全书共九章,涵盖群体智能协同控制的主要内容及典型案例应用,具体包括群体智能协同控制理论的数学基础、技术架构及其在编队控制和弹性协同控制中的典型应用。
《新一代信息技术产业发展战略研究(2035)》是中国工程院重大咨询项目“新兴产业发展战略研究(2035)”中涉及新一代信息技术产业发展战略研究的部分成果总结。《新一代信息技术产业发展战略研究(2035)》系统地分析新一代信息技术产业的国内外发展环境、发展态势,以及我国新一代信息技术产业的发展经验及问题,提出我国新一代信息技术产业发展基本思路和对策,面向2035年的重点领域发展技术路线、区域发展战略和国际合作战略。
本书综述国际上脉冲功率技术和相关研究领域的主要进展,重点讨论脉冲功率系统基本概念、组成及其系统应用等内容。本书共12章,第1~5章概述脉冲功率源系统的基本组成单元;第6、7章论述脉冲功率系统应用;第8、9章介绍绝缘介质的电击穿;第10章介绍脉冲电压和电流测量;第11~12章介绍电磁兼容、电磁干扰及其抑制技术等内容。本书可供脉冲功率技术相关科研人员参考,也适用于等离子物理及其应用、高压绝缘和电力系统工程、大功率电磁学、粒子束以及电磁兼容等领域的科研人员。
在工农业生产、商业贸易、能源计量、市政建设、环境保护和国防建设中,都需要进行液体、气体和多相流的流量测量和控制。测量流体流量的仪表很多,其中,科里奥利质量流量计可以直接测量流体的质量流量和密度,是许多工业应用和贸易计量迫切需要的,成为发展前景*好、技术含量*高的流量计之一。《科里奥利质量流量计的数字信号处理和驱动技术》以作者的科研工作为基础,介绍科里奥利质量流量计的结构组成与分类、工作原理、信号模型、数字信号处理方法、模拟驱动、数字驱动、基于DSP(数字信号处理器)的变送器、基于FPGA(现场可编程逻辑门阵列)+DSP的变送器、批料流测量和气液两相流测量。
本书以AllegroSPB17.4为基础,从设计实践的角度出发,根据实际电路设计流程,深入浅出地讲解原理图设计、创建元器件库、布局、布线、设计规则、报告检查、底片文件输出、后处理等内容,不仅涵盖原理图
《基于空间光调制器的光场调控技术》主要利用空间光调制器的可编程特性,分析其模拟光栅、透镜、轴锥镜等光学器件的原理,并利用这些器件实现灵活的光场调控。《基于空间光调制器的光场调控技术》介绍的光场调控技术主要有:将单光束变为能量、数量、位置可控的二维和三维空间多光束;将光束聚焦成轴向光强可控的线光束;将圆形高斯光束整形为高均匀性、高能量利用率的多形状光束和自加速光束;将线偏振光变换为多偏振态光和涡旋光等。这些技术的应用主要有:半导体晶圆切割、多截面成像、二维码的高效加工、不同偏振态在材料中的加工等。
本书主要论述微机电系统(MEMS)制造技术,全书共9章。第1章阐述MEMS制造技术的定义、发展历程和发展趋势;第2章介绍MEMS制造的材料基础;第3章阐述MEMS制造中的沾污及洁净技术;第4章阐述包括光刻技术和软光刻技术在内的图形转移技术;第5章阐述湿法腐蚀与干法刻蚀技术;第6章阐述氧化、扩散与注入技术;第7章介绍各种薄膜制备技术;第8章介绍包括表面牺牲层工艺、体加工工艺和混合工艺在内的MEMS加工标准化工艺;第9章阐述MEMS的芯片级和圆片级封装工艺。本书结合大量设备操作实例和工艺实例,贴近实践,易于理解。同时,考虑到MEMS加工工艺过程涉及大量化学品的使用,还专门以附录的形式对孔MEMS制造常用化学品物质安全资料表和基本化学品安全术语进行了介绍。
本书主要讲述了超构器件的有关理论、实际应用和其加工制造方法。本书共分为10章,包括波前控制基本理论、亚波长微纳结构中的光学相互作用、环形偶极矩和零极子、超流体超材料、微机械可调谐超材料、超构表面的基本应用、超构透镜、超构器件的发展与应用、纳米结构中非常光场的应用、超构器件的加工和表征。本书所涉及的全是相关领域前沿科学研究的最新进展,附有大量实际超构器件的设计案例以及大量图例,便于读者理解。 读者对象为物理、光学工程、电子科学与技术等学科的高年级本科生与研究生;超构器件领域的研究人员。
《抛物线方程在计算电磁学中的应用》以抛物线方程为核心,既有基本理论的支撑,又有实际算例的验证,系统阐述了抛物线方程的推导过程和基本解法;深入探究抛物线方程与其他方法相结合,有效改善抛物线方程的精度、适用范围等;同时为了求解宽角度的电磁散射问题,引入宽角抛物线方程,将抛物线方程的精确角度提高到45°,并在频域的基础上推导出时域下的抛物线方程。