本书以详尽和丰富的资料，从理性智能体的角度，全面阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向，是一本难得的综合性教材。全书分为八大部分：部分“人工智能” ，第二部分“问题求解” ，第三部分“ 知识与推理” ，第四部分“规划” ，第五部分“不确定知识与推理” ，第六部分“学习” ，第七部分“通讯、感知与行动” ，第八部分“ 结论” 。 本书既详细介绍了大量的基本概念、思想和算法，也描述了各研究方向的进展，同时收集整理了详实的历史文献与事件。因此本书适合于不同层次和领域的研究人员及学生，可以作为信息领域和相关领域的高等院校本科生和研究生的教材或教学辅导书目，也可以作为相关领域的科研与工程技术人员的参考书。

《国家形象：文明互鉴与国家形象》汇集了2019清华大学国家形象论坛“文明互鉴与国家形象”的很好研究成果以及该领域领军人物的实践收获，是清华大学国家形象研究中心推出的近期新研究成果，也是国家社科基金艺术

本书系统地阐述了星载合成孔径雷达（SAR）和逆合成孔径雷达（ISAR）二维成像的基本理论与技术、信号处理技术、系统总体技术、系统实现及应用，为进一步研究成像雷达奠定较坚实的基础。全书共九章，前两章集中介绍成像雷达的概念及成像雷达的基本理论，第三章至第六章为合成孔径雷达（SAR）部分，第七章至第九章为逆合成孔径雷达（ISAR）部分。 本书可以作为高等学校电子信息工程专业本科生及信息与通信工程学科研究生的教学用书，还可供从事成像雷达技术研究的科技工作者参考。

随着我国经济技术的发展和服饰文化水平的提高，皮革制品在国民经济中占据越来越重要的地位，皮革制品的教育也有了飞速的发展。但由于目前专业教育教材的匮乏，在程度上限制了皮革制品专业教育发展的脚步。为了更好的发展皮革制品教育事业，提高我国皮革制品行业的设计和制作水平，我们编写了《箱包设计与工艺》这本书。

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员

本书共11章：绪论、电磁场数值方法及软件、矢量分析、电磁场基本物理量和基本规律、静态场及其边值问题求解方法、时变电磁场、平面电磁波、电磁波的辐射、微波技术基础、生物医学电磁学基础、电磁兼容初步。由浅入深，循序渐进，由知识、方法到仿真及工程实例。本书可作为信息类学科本科生的“电磁场与微波技术”课程的教材，也可作为从事电磁领域相关工作的工程技术人员的参考书。

方敏编著的《计算机操作系统》从原理、技术、设计实现三个方面讲述了计算机操作系统，即首先从操作系统设计原理出发，介绍操作系统的设计思想和实现技术，然后回到目前普及的现代操作系统卜加以实例讲解和深化，是实际应用。全书以UNIX和Windows2000／XP为实例辅助原理介绍，并给出相应的编程接口和实用操作。这种集原理、技术以及设计实现于一体的特点是本书的独到之处。《计算机操作系统》适合作为计算机专业本科及其他相关专业的操作系统教程，对于从事计算机应用和开发的技术人员也具有很高的参考价值。

本书是一本关于Petri网的建模、验证与应用的优秀的教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法，其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法；讲解了Petri网的确认和执行，其中不仅涉及到软件生命周期的相关内容，而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。后，作者对Petri网的三个不同应用领域（柔性制造系统、工作流管理系统和电信系统）进行了深入的研究。本书的内容全面，结构清晰，并通过大量实例讲解了各种概念、方法与应用。本书可以作为计算机相关专业本科生和研

本书共分为部分，以飞行员“心理选拔”、”心理能力提升”、“心理健康维护”和“航空灾难危机干预”为主线，系统阐述飞行员心理选拔的依据、指标特征和技术方法；阐述心理能力提升的理论基础、基本原理和技术方法步骤；通过论述航空心理健康和心理学检查的技术方法，论述飞行员心理健康维护理论与技术方法；针对航空灾难性事件，阐述应激反应理论模型，以及心理危机过程，进一步指导灾难心理危机干预。

本书是高等学校培养应用型人才教材之一。 Delphi是目前十分流行的Windows应用程序设计工具。本书重点介绍Delphi组件技术，力求使读者对Delphi有全面的了解，并能快速开发出实用的程序。全书共分13章，内容包括Delphi概述、开发示例、Object Pascal语言、面向对象程序设计、项目管理、通用组件、菜单设计、窗体设计、绘图设计、数据库应用程序设计、报表程序设计、多媒体应用程序设计及高级使用技术等。 本书语言简洁，内容翔实，适合作为高等院校计算机专业或非计算机专业教材使用，也可作为从事软件开发人员的参考书。

童年、阅读、家庭、学校和社会……什么才是对人成长起决定作用的教育方向？中国教育的优点和缺点，也是英国教育的优缺点吗？BBC纪录片的中英教育PK，中国真赢了吗？接触到的中英教育，与所认知中英的教育，哪个 接近真相？……在西方 “向东走”的时候，中国教育也在“向西看”。基于不同教育角度和维度进行的探讨与对话，为读者呈现多方位思考就具有非凡的意义。特别是这种对话在两位重量级大咖间进行。新教育实验发起人朱永新教授和剑桥大学国王学院终身院士艾伦？麦克法兰教授，中西方不同思维，不同教育背景下的思维碰撞，为读者呈现：教育的本质与价值、童年对教育的影响、家庭教育、阅读、中英文化传统与比较、艺术教育的价值、大学教育的问题与改革和未来教育的出路等近10个方面的思考。这是一场东西方教育交流碰撞的试验激起一次

本书介绍了线声源在水平、圆形液_固界面和点声源在圆柱形液_固界面激发的声波和声波导，给出了声波在液体和固体中传播时，不同时刻声场的空间分布(声波传播过程)的计算结果和实验结果。给出了阵列接收波形及其二维谱。针对实际应用的需要，分析了换能器频带对接收波形及其二维谱的影响；用大量的数值计算结果，直观地显示了发射换能器尺寸对阵列接收波形及其二维谱的影响；介绍了声波换能器导纳及其频谱的测量方法，给出了实际测量结果。 在声场计算中，实轴积分法曾被广泛使用，二维谱来自于实轴积分法的中间结果，是连接理论计算、声波波形处理和实际应用的有效工具。本书首先建立声波传播的物理图像，在此基础上，讨论与这些物理图像对应的声波波形及其二维谱，然后结合实际应用讨论具体的测量技术和波形处理方法，后，根据工程勘

农业信息技术是现代信息技术与农业科学相结合的新兴交叉学科，主要研究现代信息技术在农业领域的应用。全书共分为10章，主要内容有农业信息技术发展概述，农业信息采集，农业数据库系统，农业数据处理，农业遥感监测，地理信息系统，作物模拟模型，农业专家系统，精确农业技术和农业信息网络的技术原理、应用现状与发展趋势，为农业生产、经营管理、科学研究和技术推广提供新的思路、管理技术、试验手段和传播途径，促进传统经验型农业向现代精确型农业转变。 本书适合高等农林院校植物生产类专业和相关专业的本科生和研究生教学使用，也可供农业管理人员和技术人员阅读。

Oracle数据库管理系统是目前世界上流行的关系数据库系统之一。本书从面向用户的角度，以简洁的语言和具体的实例，结合作者多年数据库教学及项目开发的经验，系统地介绍了Oracle9i关系数据库的基本概念、组织结构、交互式命令语言及工具使用、系统管理等知识。通过学习，读者可以快速掌握Oracle的基本概念和各种实用技术，并进行数据库系统的开发和应用。 全书共分11章，第1章和第2章主要概述了Oracle9i数据库的安装及体系结构；第3章和第4章介绍SQL语言及PL/SQL的使用；第5章-第8章讲述了Oracle9i的日常管理、安全特性、备份恢复功能以及Oracle9i的主要开发工具；第9章和第10章简单介绍了数据库性能优化技术及网络管理知识：第11章以连锁经营信息管理系统为例，介绍了Oracle数据库应用系统的分析、设计方法及部分实现程序。全书内容翔实，结构清晰，力求做到

本书分两大部分向读者展示了智能参数驱动构件的实现途径——GDL参数化程序设计语言。部分介绍GDL语言的概念，GDL对象即智能参数驱动构件的特点、类型，重点讲述了GDL语言的编写，逐条介绍产生几何图形的指令，不产生几何图形的指令，表达式与函数以及控制指令，并有针对性强的例子以加深读者对各指令的理解；第二部分从应用的角度讨沦如何充分利用GDL语言创造参数化构件，在讲解例子的同时，提供一些实用的设计概念和注意事项以及编辑GDL的技巧来帮助读者更轻松的学习GDL语言。 本书深入浅出，循序渐进，强调基本概念及其应用。即可作为一般ArchiCAD使用者创建特殊构件的入门向导，也可以作为专业人员开发本地化GDL构件的参考。

《高等学校“十一五”规划教材：量子力学（修订本）》简明扼要地讲述了量子力学的基本概念和基本原理，特别注重对解决问题能力的培养。为此，每一章后面都附有若干典型习题的讲解和习题，书后给出7套模拟试题，以备读者检验学习效果之用。习题和模拟试题的解答可以在与《高等学校“十一五”规划教材：量子力学（修订本）》配套使用的《量子力学习题解答》中找到。在量子力学教学大纲界定的范围内，书中介绍了薛定谔方程的一些新的实用解法，诸如微扰论的递推公式、变分法的迭代公式、透射系数的递推公式等。为了克服读者在数学上可能遇到的困难，在求解线谐振子、圆谐振子、球谐振子和氢原子问题时，采用与特殊函数方程对比的方法直接得到相应的本征解，从而简化了求解过程。为了加深对基本概念的理解，书中特别强调了一些看似相同问题

本书全面讲解了密码学基本知识以及相关的基础数学理论，介绍了椭圆曲线、AES和量子密码体制等密码学前沿知识，详细地阐述了数字、数字现金等应用问题。另外，书中每章均给出了相应的习题，在附录中给出了相关Mathematica、Maple和 MATLAB实例。 本书可供高等院校就用数学、通信和计算机等专业用作密码学、通信安全和网络安全等课程的教材或参考书，也可供信息安全系统设计开发人员、密码学和信息安全爱好者参考。

本书系统地介绍了面向对象技术及C 语言的相关知识。内容包括面向对象技术的概念和特征、C 语言基础、类和对象、派生与继承、虚函数与多态性、模板、运算符重载和输入/输出流库等。每章有练习题，书后附有练习题参考答案，包括相关的程序。 本书注重基本概念，从实际应用出发，突出重点，叙述清楚，深入浅出，论述详尽，使读者既能深刻领会面向对象程序设计的思想，了解面向对象程序设计的特征，又能学握C十十语言的编程与应用。 本书可作为高等学校计算机及相关专业面向对象程序设计的教材，也可作为其他专业师生和科技工作者的参考用书。

汇集欧美国家一些企业遵循工业设计创新理念及科学的设计管理，成功开发新产品的经典范例，内容丰富、实际、全面体现设计与管理的昆密结合，很具有代表性。这些案例已人为美国哈佛大学商学院以及欧洲、日本等众多学院的经典教材。对于我国，它不仅能够充实院校的设计教学内容，有助于设计教育改革的师资培训，而且对于企业界和设计界进行创新开发工作和培养，使用设计管理人才均有长远的指导意义。

本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均有参考文献和习题。

作为编译器设计的教程，本书重点主要放在解决在设计语言翻译器过程中所普遍面对的一些问题上而并不考虑源语言或者目标机器。本书共12章：章介绍了编译器的基本结构；第二章给出了一个将前缀表达式转换成后缀表达式的编译器，主要使用本书的一些基本技巧来构建；第三章阐述了词法分析、正则表达式、有限自动机和扫描生成器工具，这章中的技术广泛应用于文本处理；第四章详细阐述了主要的分析技术，从适合手工实现的递归下降算法到在分析生成器中使用的LR算法；第五章介绍了语法制导翻译中的主要思想，本书的其它部分都用本章来说明和实现翻译；第六章提出了完成静态语义检查的主要思想，并对类型检查和类型的统一进行了详细的讨论；第七章讨论了支持应用程序运行时环境的存储组织；第八章从中间语言的讨论开始，说明了编程语言结构翻译成

本书系统地介绍了机器人的基本组成和工作原理。全书共分9章，其中第1章介绍必要的基础知识，如机器人的发展历史、机器人的组成与特点、机器人语言及机器人应用等。第2章和第3章分析机器人的运动学。第4章分析机器人的动力学。第5章讨论机器人在关节空间和直角坐标空间的路径和轨迹规划。第6章介绍机器人的各种驱动装置，如液压和气动装置、直流伺服电机及步进电机等。第7章讨论用于机器人的各种传感器。第8章介绍机器人视觉系统。第9章介绍用于机器人的模糊控制方法。同时，本书每章后面均有参考文献和习题。本书内容丰富，反映了机器人学的基础知识以及与其相关的先进理论和技术。该书可作为机械、自动化及计算机等专业本科高年级学生或研究生的教材，也可供从事机器人学研究的教师或其他人员学习和参考。