《国家形象：文明互鉴与国家形象》汇集了2019清华大学国家形象论坛“文明互鉴与国家形象”的很好研究成果以及该领域领军人物的实践收获，是清华大学国家形象研究中心推出的近期新研究成果，也是国家社科基金艺术
随着我国深化标准化工作改革的持续推进，《中华人民共和国标准化法》的重新修订实施，以及我国物流标准化试点和供应链体系试点的全国性展开，标准化已经成为驱动我国物流供给侧结构性改革的重要切入点和强大新动力，物流标准化也进一步促进了我国国民经济各领域的供给侧结构性改革。《物流标准化 供给侧结构性改革新动力》坚持理论与实践相结合，把握物流标准应用实际情况，深入分析物流标准建设成果，解剖物流标准应用场景案例，旨在突破我国物流标准化研究领域的六项 首次 创新，填补我国物流标准化领域专业工具书的市场空白。与其他物流标准化著作不同的是，《物流标准化 供给侧结构性改革新动力》始终围绕物流供给侧结构性改革，从物流标准化理论、物流标准化政策、物流标准化试点、物流标准体系、物流标准解读、物流标准建设和物
本书系统地讲述了数据库技术的基本原理和应用。全书共七章，主要内容包括：数据库系统概述、关系模型、SQL语言、关系数据库理论、数据库安全与保护、数据库设计和SQL Server 2000数据库管理系统。本书除介绍数据库技术的基本原理外，还以SQL Server 2000为背景介绍了数据库技术的实现，包括数据库和数据表的维护、查询与统计、视图管理、存储过程和触发器的管理、用户管理、约束和默认管理、数据库的备份和还原、Transact-SQL程序设计等内容，使读者可以充分利用SQL Server 2000平台深刻理解数据库技术的原理，达到理论和实践的紧密结合。 本书内容循序渐进、深入浅出，每一章节都给出了大量的实例。同时，每章后面都附有相应的习题，便于读者巩固所学知识。 本书可作为大学计算机及相关专业的本、专科教材，也可供从事计算机软件工作的科技人员、
本书以详尽和丰富的资料，从理性智能体的角度，全面阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向，是一本难得的综合性教材。全书分为八大部分：部分“人工智能” ，第二部分“问题求解” ，第三部分“ 知识与推理” ，第四部分“规划” ，第五部分“不确定知识与推理” ，第六部分“学习” ，第七部分“通讯、感知与行动” ，第八部分“ 结论” 。 本书既详细介绍了大量的基本概念、思想和算法，也描述了各研究方向的进展，同时收集整理了详实的历史文献与事件。因此本书适合于不同层次和领域的研究人员及学生，可以作为信息领域和相关领域的高等院校本科生和研究生的教材或教学辅导书目，也可以作为相关领域的科研与工程技术人员的参考书。
本书系统全面地介绍了PKI原理与技术的主要内容，包括PKI基础设施的地位和作用，核心PKI服务的内容，认证中心构建，PKI中的各种信任模型，PKI工程所遵循的标准、协议和编码方式，并讨论了电子商务、电子政务的安全需求，给出了PKI解决方案的主要技术框架。 本书从工程化实用角度来讨论PKI原理与技术，适合作为信息安全、计算机科学与技术、软件工程、电子工程与通信工程等专业科生、硕士生的教材，也可供从事相关专业的教学、科研和工程人员参考。
本书对信息检索领域的进展作了严谨、完整的剖析，内容涉及信息检索的数学模型、评价、查询语言与操作、文本语言与操作、多媒体语言及其特征、标引与检索、并行与分布式检索、用户界面与可视化、多媒体信息检索的模型与语言、多媒体信息检索的标引和检索、Web检索、图书馆与书目系统和数字图书馆等。 本书内容广泛、细节丰富、深入浅出，可以作为高等院校信息管理与信息系统、计算机科学与技术、图书馆学、情报学、档案学等专业本科生和研究生的教材或参考书，对从事信息检索及其系统与网络的分析、设计的实际工作者也有较高的参考价值。
本书系统地阐述了星载合成孔径雷达（SAR）和逆合成孔径雷达（ISAR）二维成像的基本理论与技术、信号处理技术、系统总体技术、系统实现及应用，为进一步研究成像雷达奠定较坚实的基础。全书共九章，前两章集中介绍成像雷达的概念及成像雷达的基本理论，第三章至第六章为合成孔径雷达（SAR）部分，第七章至第九章为逆合成孔径雷达（ISAR）部分。 本书可以作为高等学校电子信息工程专业本科生及信息与通信工程学科研究生的教学用书，还可供从事成像雷达技术研究的科技工作者参考。
本书以详尽和丰富的资料，从理性智能体的角度，全面阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向，是一本难得的综合性教材。全书分为八大部分：部分“人工智能” ，第二部分“问题求解” ，第三部分“ 知识与推理” ，第四部分“规划” ，第五部分“不确定知识与推理” ，第六部分“学习” ，第七部分“通讯、感知与行动” ，第八部分“ 结论” 。 本书既详细介绍了大量的基本概念、思想和算法，也描述了各研究方向的进展，同时收集整理了详实的历史文献与事件。因此本书适合于不同层次和领域的研究人员及学生，可以作为信息领域和相关领域的高等院校本科生和研究生的教材或教学辅导书目，也可以作为相关领域的科研与工程技术人员的参考书。
本书是《可编程控制器教程（基础篇）》及《可编程控制器教程（实训篇）》的姊妹篇。本书以我国目前应用最广和市场占有率的SIMATIC S7-300系列PLC为样机，从工程应用的角度出发，突出应用性和实践性，从4个方面介绍S7-300系列PLC的应用。 （1）SIEMENS公司的S7-300系列PLC的硬件系统、组态和指令系统，标准STEP 7编程软件的使用，数据结构及中断处理，采用结构化编程的工程实例。 （2）SIEMENS公司的PROFIBUS-DP和AS-I的现场总线通信网络的功能、组态和编程方法。 （3）SIEMENS公司的人机界面WinCC的功能、组态及应用举例。 （4）SIEMENS公司的模拟软件SIMATIC S7-PLCSIM的功能及应用。 本书可作为大专院校工业电气自动化、电气技术、机电一体化、计算机应用等相关专业的教学用书，也可作为广大电气工程技术人员的技术参考书。
本书系统总结、详细整理了外GIS理论与核心算法的成果，并进行归纳分类、比较分析和提炼演绎。全书以GIS原理和GIS算法为纲，形成“GIS原理”和“GIS算法”上、下两篇。上篇基于学科融合与交叉提出了广义地理系统和广义地理目标的概念，进而系统讲解了2D GIS空间数据模型、数据结构、空间关系、地学信息分类与空间编码、地图投影与图形变换等基本原理，并介绍了近年GIS理论的进展，如3D GIS空间数据模型、时态GIS及时态关系和地理元数据。下篇基于空间数据处理、空间图形处理、空间度量与分析、可视化与数据挖掘共4大方面，系统阐述和演绎了空间数据压缩、空间数据内插、空间数据转换、空间数据误差分析算法，多边形自动生成与裁剪、TIN的构建、Voronoi图的构建和空间变换算法，空间度量、数字地形分析、空间统计和空间分析算法，以及GIS可视化操作和空
本书是《信息安全国家重点实验室信息安全丛书》之一。书中系统地介绍了当前计算机网络安全协议的理论和方法，主要内容包括安全协议的基本概念、缺陷以及可能受到的攻击类型，基于推理结构性方法，基于攻击结构性方法，基于证明结构性方法，安全协议分析的形式化接口，安全协议设计的形式化方法，Kerberos协议，IPSec协议，SSL协议，X·509以及SET协议。 本书可作为高等院校计算机、通信、信息安全等专业的教学参考书，也可供从事相关专业的教学、科研和工程技术人员参考。
本书针对IBM．PC微机，介绍了8086／8088 CP[J以及对应的硬件核结构、8086 CPU的指令系统及必要的汇编语言编程基础、外设基本概念及地址译码、并行接口8255、定时／计数器8253、微机的中断系统及中断控制器8259、微机与．AID和D／A的接口方法、微机串行通信原理及串行接口8251或8250、DMA数据传输原理及DMA控制器8237。 本书注重归纳各章节中的重点和难点，强调理论与实际的结合以及系统概念的建立，并提供了大量的设计实例。如果读者能够按照这些设计实例进行实践，将会起到很好的效果。本书不仅适合作为大专院校的教材，也可作为实际应用开发中的参考书。
本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均附有参考文献和习题。 本书内容丰富，反映了机器人学的基础知识以及与其相关的先进理论和技术。该书可作为机械、自动化及计算机等专业本科高年级学生或研究生的教材，也可供从事机器人学研究的教师或其他人员学习和参考。
本书涵盖的内容有实时系统调度、资源访问控制、验证等，这些技术广泛应用于实时计算和通信系统中。章概述几个采样实时应用。第二章给出了强实时和弱实时系统的定义以及基本原理。第三章描述实时系统的一个参考模型。第四章至第九章描述了调度与验证实时系统的算法与协议。尤其是包含了时间驱动的方法、RMA技术以及动态级的方法。第四章简要概述了三种方法的调度：时钟驱动调度、加权的轮转调度以及级驱动的调度。第五章描述通常的时钟驱动算法和特定的循环执行程序。第六章、第七章、第八章主要描述一个处理器上针对调度和资源访问控制的算法。第九章是关于多处理器和分布式系统的。第六章至第九章一起描述了RMA方法的综合处理，这个方法在本质上与固定级调度是相同的。基于这种方法的大部分算法允许在运行时间添加并删除应用程序的成分
SystemC是被实践证明的的系统设计描述语言，它能够完成从系统到门级、从软件到硬件、从设计到验证的描述。SystemC 2.01已作为一个稳定的版本提交到IEEE，申请国际标准。 本书为配合清华大学电子工程系SystemC相关课程的教学而编写。全书分9章，内容包括：硬件描述语言的发展史；SystemC出现的历史背景和片上系统设计方法学概述；SystemC的基本语法；SystemC的寄存器传输级设计和SystemC的可综合语言子集，以及根据作者设计经历归结的RTL设计准则和经验；接口、端口和通道等SystemC行为建模的基础、交易级建模和通信细化；SystemC的Master－Slave通信库；一个SystemC TLM建模实例－片上总线系统；SystemC与VHDL/Verilog HDL的比较；SystemC的验证标准和验证方法学；SystemC开发工具SystemC_win、WaveViewer等，以及使用MATLAB进行SystemC算法模块的验证。每一章都精心编写了课后习题以配合教学
本书分为上下两篇，共12章。上篇根据蓝牙国际组织发布的蓝牙核心协议规范详细介绍了蓝牙技术的原理，包括蓝牙的体系结构、工作原理以及几种重要的剖面结构。下篇是本书的重点，详细介绍了蓝牙技术的开发与应用，包括蓝牙模块介绍、蓝牙开发工具使用说明、蓝牙嵌入式开发的方法和典型蓝牙产品的软、硬件开发实例等。书中通过多种蓝牙产品的设计实例分析，读者可以熟练掌握蓝牙的开发与应用。 蓝牙技术是一种短距离无线通信技术，在短短的几年内得到了迅速发展，在消费电子等各领域应用前景广阔。本书对蓝牙技术的原理、开发与应用做了详细而深入的介绍。 全书分为上下两篇，共12章。上篇根据蓝牙国际组织发布的蓝牙核心协议规范详细介绍了蓝牙技术的原理，包括蓝牙的体系结构、工作原理以及几种重要的剖面结构。下篇是本书的
本书是数字图像信息处理领域的一本新著，是1977年问世的由冈萨雷斯博士等人编写的《数字图像处理（版）》的重要修订与扩充，较上一版，增加了关于小波变换、图像形态学和彩色图像处理的章节，并新增了500多幅图像、200多幅图表。该书是近20年来此领域最的教材之一。全书共分12章，首先介绍了数字图像基础、空间域和频域的图像增强；然后讨论了图像复原、彩色图像处理、小波变换及多分辨率处理和图像压缩；最后讲述了形态学图像处理、图像分割、表示与描述和对象识别等。本书侧重于对数字图像处理基本概念和方法的介绍，并为本领域的进一步学习和研究奠定了坚实的基础。本书概念清楚、深入浅出、图文并茂，并且反映了近10年来数字图像处理领域的发展情况。
支持向量机（SVM）是在统计学习理论的基础上发展起来的新一代学习算法，它在文本分类、手写识别、图像分类、生物信息学等领域中获行较好的应用。本书是本综合介绍支持向量机（SVM）的书籍，它从机器学习算法的基本问题开始，循序渐进地介绍相关的背景知识，包括线性分类器、核函数特征空间、推广性理论和优化理论，在此基础上很自然地引出了支持向量机的算法。本书末尾还详细讨论了一系列支持向量机的重要应用及其实现的技巧。本书的叙述清晰严谨，自包含性强，提供的大量相关文献引用以及网站链接可作为进一步学习的理想起始点。本书可作为计算机、自动化、机电工程、应用数学等专业的研究生教材，也可作为神经网络、机器学习、数据挖掘、人工智能等课程的参考教材，同时还是相关领域的教师和研究人员的参考书。
本教材是根据高等工科院校电子技术实践教学大纲的基本要求编写的。书中内容翔实，涉及各类电子系统设计方法、设计流程、常用传感器及其应用、放大器的设计、滤波器的设计、模/数和数/模转换器应用技术、可编程模拟器件和可编程逻辑器件原理及其开发软件、单片机技术、电子系统工艺等，同时书中给出多个单元电路设计实例和综合设计实例的详细计算方法和设计步骤，最后还介绍了收音机、数字万用表设计及装焊调试技术。 本书可作为高等院校电类和非电类专业本、专科学生电子系统实践教学用书，亦可作为电视大学、职业大学、业余大学以及远程教育、网络教育中的电类和非电类专业的电子技术综合实践教学用书，还可作为参加全国大学生电子设计竞赛学生的培训教材，此外，对从事电子技术的工程技术人员，本书也是一本有益的参考书。
本书是国际算法大师乌迪·曼博（Udi Manber）博士撰写的一本享有盛誉的著作。全书共分12章：章到第4章为介绍性内容，涉及数学归纳法、算法分析、数据结构等内容；第5章提出了与归纳证明进行类比的算法设计思想；第6章到第9章分别给出了4个领域的算法，如序列和集合的算法、图算法、几何算法、代数和数值算法；0章涉及归约，也是1章的序幕，而后者涉及NP完全问题；2章则介绍了并行算法；最后是部分习题答案及参考文献。本书的特色有二，旨在提高读者的问题求解能力，使读者能够理解算法设计的过程和思想：一是强调算法设计的创造性过程，注重算法设计背后的创造性思想，而不是拘泥于某个具体算法的详细讨论；二是将算法设计类比于定理归纳证明，揭示了算法设计的基本思想和本质。 本书的组织结构清晰且易于理解，强调了创造性，具有浓郁特色
