程序分析技术是编译器、软件开发以及软件质量保障的基础。本书共6章，主要内容包括程序分析基础、程序的中间表示、数据流分析、程序切片与程序插桩、软件缺陷检测、智能化程序分析技术等，涵盖了程序分析基础理论和技术，还贯穿若干案例，讲解工业界的程序分析实践。

本书以《北京中轴线建筑文化价值阐释与保护传承(2022年)》学术研讨会为基础，择优精选北京中轴线研究领域知名专家的研究论文。本书分为两大部分，一是从文化内涵、哲理意蕴、方位朝向、申遗保护、文化价值等角度进行北京中轴线文化探源与价值阐释;二是从景山至钟鼓楼段、天坛、永定门城楼、传统商业空间布局、先农坛神仓院等方面解析北京

本书以白光半导体（LED）照明用三基色荧光粉开发为出发点，重点介绍了近紫外光（395nm）LED芯片及蓝光（460nm）LED芯片用稀土离子（Eu3+,Tb3+,Eu2+等）激活的无机荧光粉（钼酸盐、钨酸盐、硅酸盐荧光粉等）、β-二酮有机配合物荧光粉以及过渡金属离子Mn4+激活的氟化物红色荧光粉的研究现状。内容主要涉及

针对深部开采煤炭自燃事故日益增多、自燃事故难以控制的技术难题，运用理论分析、实验室实验、现场观测、数值模拟等多种研究方法，对平顶山矿区综采面采空区自燃火灾事故的精准防控技术进行深入研究，以便对自燃火灾的精准防治提供理论和技术支撑。本书主要内容包括平顶山矿区概况、构造煤与原煤的微观结构、煤自燃关键参数测试、自燃煤层热特性

本书为《新型雷达遥感应用丛书》之五，以典型地物目标微波特性测量及其分析结果为核心,系统总结了微波目标特性测量与仿真成像科学实验平台建成五年来取得的创新性基础科学成果。本书共六章，介绍了微波目标特性测量与仿真成像科学实验平台这一大科学实验装置的性能指标和功能结构，并对可控环境微波散射特性测量规范与技术、土壤目标微波特性测

本书以智能博弈对抗为主线，聚焦技术进展、紧盯研究前沿，分为理论方法、应用实践、前沿展望三大部分。理论方法着重介绍智能博弈对抗的理论、相关基础方法；应用实践针对当前三类典型智能博弈对抗系统平台，提出人工智能程序设计思路并进行设计实现；前沿展望分析当前智能博弈对抗领域的前沿元理论，探讨智能博弈对抗的典型应用场景。

本书以金属材料塑性加工中的力学问题为背景，系统论述了材料大变形的几何学描述、应力应变定义的多样性、各向同性与各向异性材料的屈服准则与本构关系、求解塑性变形问题的上限原理与刚塑性有限元方法、金属热变形特性数学描述与加工图原理，并简要介绍了金属材料塑性变形的微观机制。为强化应用能力，书中还介绍了相关理论在部分工程案例中的应

本书主要介绍了非线性系统状态估计与参数辨识研究方向的**进展，在介绍**状态估计、线性系统滤波、非线性系统滤波等基本知识的基础上，针对可加型、可乘型、可加可乘混合型和一般型等非线性系统，通过引入状态隐变量、隐变量扩维动态建模，在扩维空间中设计出新型的高精度扩展Kalman滤波器，可有效提高对非线性系统状态估计与参数辨识

本书是中国工程院重大咨询项目“能源战略（2035）”的研究成果。能源是我国经济社会持续健康发展的重要物质基础，对推动我国能源革命具有重要现实意义和深远历史意义。为此，以中国工程院“推动能源生产和消费革命战略研究”系列重大咨询项目成果为基础，先后出版发行了“推动能源生产和消费革命战略研究系列丛书”第一辑、第二辑、第三辑。

本书主要研究决策蕴涵的逻辑理论及形式概念分析中的知识表示与推理。具体内容包括：决策蕴涵、模糊决策蕴涵和可变决策蕴涵的逻辑理论,决策蕴涵规范基和模糊决策蕴涵规范基的逻辑理论,决策蕴涵规范基的生成方法和性能分析,决策蕴涵的知识表示能力及其与概念规则和粒规则的比较,模糊属性约简等。

本教材以机载雷达为主要研究对象，介绍雷达的基本组成、工作原理、主要技术，突出机载特色和军事应用，力争使得机载雷达涉及的基本原理与主要技术均有所体现。内容包括机载雷达原理、机载雷达系统和机载雷达应用与发展三大部分。机载雷达原理部分包括雷达基本组成、目标信号检测、目标参数测量等。机载雷达系统包括脉冲多普勒雷达、相控阵雷达、

本书系统概述肉制品加工新技术，力求反映现代的肉制品加工新技术。全书分为3篇，共21章，主要包括人造肉及功能肉制品的开发、肉制品加工新技术及原理、肉制品保藏新技术及原理。本书内容丰富，理论结合实际，系统介绍国内外功能肉制品的开发及肉制品加工领域的研究热点、研究成果和加工新技术。

微纳光子器件是光子集成系统的核心元件，应用于通信和计算机系统，可降低系统的功率消耗、减少信号串扰、改善系统的安全性。本书主要介绍了集成光子系统中的硅基混合集成激光器、硅激光器、集成锁模激光器、光放大器、微环谐振腔光开关器件的结构与运行原理；对部分器件的制作工艺作了介绍；引入了新近报道的光子集成硅基激光器和光放大器，如硅

该书从太阳电池的基本原理出发，基于染料敏化太阳电池近三十年的研究和发展，从太阳电池原理和染料敏化太阳电池发展历史、纳米半导体材料、染料光敏化剂、电解质材料、和对电极设计与合成，电池界面光电化学、结构设计和性能模拟、性能测试和组件应用等相关基础和科学技术研究。详细阐述了染料敏化太阳电池中存在的多处界面光电化学和电荷传输复

本书主要以几种新型的纳米多孔GaN基薄膜为研究对象，系统地介绍了其纳米孔结构的制备及特性研究，为其在光解水、发光器件、柔性器件及可穿戴设备等领域的应用奠定了理论和实验基础。

高比例新能源接入的未来电力系统中，风电和太阳能将成为电力供应的重要支柱，其风、光资源的随机性和波动性，导致电力系统本征特性改变，对电力系统灵活性提出了更高的要素。高比例新能源电力系统中，波动电源和负荷不确定性双重叠加，采用增加备用应对不确定性的模式在技术和经济上均难以为继，需要针对电力系统灵活性探索新的解决方式。为此，

本书对起重机选型、吊装仿真、吊装运动规划等相关的基础理论和方法进行系统、深入的论述，主要内容包括四部分：第一部分讨论多重工程约束下移动式起重机选型方法，第二部分主要探讨利用计算机图形学及起重机运动学等理论研究单机、双机的三维吊装仿真，第三部分介绍基于研究成果自主研发的一款计算机辅助的吊装方案设计软件系统，第四部分主要阐

本书是作者在多年科研和教学工作实践总结的基础上整理编写而成的。全书共7章，全面介绍密码芯片设计的基础知识和关键技术。主要内容包括：密码芯片的基本概念与性能指标，密码芯片的总体设计与结构设计，逻辑运算、模加运算、模乘运算、有限域乘法运算、移位操作、比特置换、查表操作、反馈移位寄存器等8类密码处理单元设计，存储单元与互联单

本书结合作者在数据安全领域的教学和科研实践，提出了完整的数据安全概念与体系，介绍了数据安全理论与技术知识及其前沿研究进展。本书内容包括基础篇和高级篇。基础篇介绍数据安全密码技术基础，数据保密性、完整性、认证性、访问控制、可用性，以及数据库安全和数据安全管理等内容；高级篇介绍云数据存储安全与访问安全、数据计算安全、数据可

本书系统介绍了超快激光的相关原理与技术、常用器件及典型应用。全书共12章，第1和第2章概述了超快激光的发展与特性，使读者能够快速地对超快激光有大致了解；第3章叙述了测量飞秒激光脉冲的主要方法；第4和第5章讲述了激光锁模的原理与技术及典型的超快激光光源，通过该内容读者可进一步增强对超快激光的认识；第6和第7章介绍超快激光