本书以中小比例尺道路、居民地、河系等典型地图要素为研究对象，从制图综合的自动化与智能化两个方面展开研究。本书简述与分析制图综合的基本概念、自动化和智能化制图综合的研究过程及其发展；辨析制图综合模型与制图综合知识；实现道路网自动化综合方法、道路网智能化综合方法、居民地自动化综合方法、居民地智能面状综合方法及河系智能化综合方法；介绍典型的制图综合知识服务架构及系统实现。

境外产业园区是我国企业境外投资的重要发展平台。为及时、准确地了解我国境外产业园区状况，本书利用遥感等地球大数据技术，对我国境外产业园区周边的自然生态环境状况和建设进度进行监测和排名，总结已建园区的特点，为我国相关部门管理政策的制定和投资企业投资决策的拟定提供数据支撑，降低我国企业境外投资风险。

微处理器是集成电路之巅。目前事务处理型微处理器仍主要采用x86体系结构。但其可公开获取的研究资料很少，真实产品设计细节更是秘而不宣。本书以研究专利中的公开技术作为x86体系结构研究的新方法。按照“指令集结构—微结构—物理实现”层级，沿着数据类型从标量—矢量—矩阵进程脉络，本书按照x86通用指令集、浮点指令集、安全保护类指令集、虚拟化指令集、微指令、指令集扩展等模块分类，从上万条Intel专利中挖掘出x86指令专利，按照技术背景、遇到的问题、解决思路、实现方法与技术采纳，对其进行梳理分析、提炼成章

本书系统介绍高速列车用铜基摩擦材料相关研究进展、机理、工艺及装备、性能等。全书共8章，首先简单介绍国内外高速动车组的发展状况、高速列车制动技术、基础制动装置及盘形制动、制动闸片和制动盘的材质及结构；其次介绍与摩擦制动材料相关的摩擦磨损机理及摩擦第三体理论；再次按照制备工艺流程，介绍铜基制动闸片的制备工艺及关键装备；然后通过连续紧急制动试验和恒温摩擦方法阐明摩擦系数衰退机理及闸片失效行为，为闸片材料摩擦制动性能的调控奠定基础；接着较系统地分析基体组元、摩擦组元和润滑组元对铜基复合材料摩擦制动性能的

非线性动力学系统目前已经成为科学研究和工程应用的重点关注对象。由于缺乏齐次性和叠加性，非线性系统的解往往无法解析获得，只能求助于数值计算方法。然而，面对复杂的强非线性系统，传统数值方法在精度、效率、稳定性等方面常常受到限制，难以满足实际科研工作和工程任务中的仿真计算需求，亟需引入新的思路和方法，推动非线性系统解算的进一步发展。本书根据近十年来相关领域的部分研究成果和作者的研究工作，介绍了非线性动力学系统的一系列全局估计方法和局部计算方法。从经典的渐进方法、有限差分方法和加权残余法开始，对各类典型

本书界定了特殊地质隧道，阐述了瓦斯隧道、石膏质岩隧道及层状围岩特殊地质隧道的概念及特点；基于隧址区地质信息、超前地质预报及掌子面现场揭露情况，提出了多源数据融合的隧道精细化动态地质模型建立方法；提出了瓦斯隧道突出危险性预测方法和隧道揭煤瓦斯高效抽采关键技术，建立了瓦斯隧道揭煤安全保障体系，构建了瓦斯隧道揭煤瓦斯抽采效果评价体系；研究了石膏岩对隧道支护结构的腐蚀特性及不同环境因素条件下石膏岩的时变行为，揭示了石膏岩的腐蚀特性和时变机理，建立了相应的时变本构模型，结合隧道时变因子和时变灾害判据，建立

本书以致密砂岩储层为研究对象，基于波动方程数值模拟分析了致密砂岩储层的地震响应特征；开展了多方位、高精度的储层地震识别方法研究；形成了“储层地震响应特征分析—储层预测预处理—基于几何属性、频变信息的储层预测—基于机器学习的储层综合预测”的致密砂岩储层预测方法与技术系列，并在致密砂岩储层岩石物理建模研究、黏弹性各向异性数值模拟、裂缝带地质模型数值模拟、高分辨率时频分析方法等方面有理论与技术的突破。在上述研究的基础上，结合对地质、钻井和测井资料的综合分析，本书总结了致密砂岩储层的基本特征和分布规律，

本书从三维计算机视觉技术的特点入手，详细介绍了**的研究进展，并以电力行业作为典型的应用场景，阐述了其重要的社会意义。全书共有7章，内容包括三维视觉技术概述、关键点检测与描述、显著性区域检测、三维非刚性模型配准、三维目标姿态估计、三维目标跟踪、三维视觉技术电力应用实例等。

本书总结国内外海洋盐度卫星研究进展、盐度卫星资料处理及产品类型、盐度卫星产品反演与误差机理，系统开展目前已发射的SMOS、Aquarius、SMAP等盐度卫星产品的数据评估、质量控制与偏差校正，探索盐度卫星产品在实测数据质量控制、数据融合、剖面重构和数据同化等方面的应用，并展望海洋盐度卫星未来发展趋势和国产海洋盐度卫星计划应用前景，以期为我国盐度卫星遥感科学研究和业务应用提供参考和借鉴。

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提供了文献出处,又对结论的特性和价值进行了剖析,提供了针对性的数值算例.书中所列彩图均可扫描封底二维码进行查看.本书力求通俗易懂、简洁实用,从问题到方法,从算例到应用,前后呼应,自成