本书以明代开封城为研究对象，以《如梦录》文献为蓝本，通过侯仁之工作法与西方康泽恩城市形态研究法相结合，运用GIS技术手段，复原出明代开封城的街道系统，官署、寺庙、学校、王府等主要建筑物，再现明代开封城的平面布局。本书的出版，能显著推进开封城市历史地理的研究步伐，同时也是中西方城市历史地理方法论与新技术的应用结合。

本书针对岩石崩塌重力地貌过程的力学描述及其减灾科技问题进行系统论理，其中危岩断裂破裂理论、危岩破坏激振动力学、边坡地貌演化危岩分析法、落石运动力学、危岩稳定性分析方法等给出了岩石崩塌重力地貌过程完备的力学描述，实现了崩塌重力地貌全过程力学刻画。着眼于岩石崩塌重力地貌过程控制的减灾需求，从岩石崩塌灾害常态治理、应急防治、

本书对自由面复杂水流运动问题，采用带源项的浅水方程和简化Navier-Stokes方程进行模拟，建立浅水方程的高精度高分辨率非结构化网格有限体积离散模型，以及三维Navier-Stokes方程的动压结构化分层网格的半隐式有限差分离散模型。

贵州茂兰国家级自然保护区是典型的喀斯特石山生境保护区，是联合国人与生物圈和自然遗产双命名的保护区，具有很高的特殊性。本书以图文并茂的形式，在开展保护区哺乳动物调查的基础上，系统总结和介绍贵州茂兰国家级自然保护区的哺乳动物资源情况，对了解喀斯特石山环境的哺乳动物的区系和分布有重要的帮助。

结构证明论研究形式系统中证明的结构.本书介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.甘岑式矢列演算的基本定理是切割消除.运用证明论研究方法,通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等等.本书还介绍了经典模态命题逻辑以及一些代数逻辑的结构证明论.

基于城市空间溢出理论，构建了城镇的"资源环境基础"的概念，来研究城镇为满足自身生存和发展的需要，以直接、间接和诱发的形式对城镇本身、及城镇以外的土地、淡水和能源等资源环境要素的占用情况。并以陕西省为例，对古代关中地区的城市发展历史，及新中国成立以来陕西省的城市化进程、资源环境基础、城市化与资源环境的作用关系进行定量分析

本书介绍了高吸水性树脂的的含义、分类及发展历史；探讨了高吸水性树脂的结构特点、主要性能、吸水机理等基础理论；重点研究了合成高吸水性树脂的反应原理、不同种类高吸水性树脂的合成方法、结构表征及吸水率的测量方法及标准化条件；综述了高吸水性树脂作为土壤保水剂在农业中的应用，包括土壤保水剂的发展、特性、吸水机理和保水特水性能、在

在故障诊断中，粗糙集方法对新故障实例的泛化性能不仅与现有故障实例集上的经验风险有关，而且与粗糙集方法自身的复杂度密切相关，常规粗糙集方法由于只关注前者，因此，通常情况下难以保证对新故障实例具有可靠的泛化性能。通过将机器学习领域中广泛采用的控制机器学习方法泛化性能的基本理论--结构风险最小化原则引入到粗糙集方法中，提出了

本书总结了科技部科技基础性工作专项"中国湖泊水质、水量和生物资源调查"、"中国沼泽湿地资源及其主要生态环境效益综合调查"、"中国湖泊沉积物底质调查"以及国家"水专项"中"河流水环境综合整治技术研究与综合示范主题"鱼类学方面的科研成果。由6章26节组成，涉及东北―内蒙古高原地区的64片湖泊沼泽、21片河流沼泽和7片沼泽湿

本书在总结目前国内外该研究方向发展现状的基础上，结合其他人工智能方法的先进思想和理论，以一种新的体系，系统、全面地介绍各种群智能算法的理论、计算方法及其应用，更重要的是为群体智能算法的应用提供新的思路和方法。本书第一部分系统论述群体智能的产生，基本方法以及最新的理论和应用现状。本书第二部分重点介绍进化计算中的遗传算法，

全套丛书规划为十卷本，每一卷独立成册，围绕一个学科展开。在每册中，每一个章一个主题，每一节一部科幻作品（主要为科幻影视和科幻小说），每一节大体上分为三部分："科幻作品简介"、"科学内容透析"、"科学奇闻异事"。兼顾科学性与趣味性。主要选题包括：航空航天卷、心理学卷、地学卷、海洋学卷、生物科学卷、人体科学卷、军事科学卷、

本书基于语义知识库，以语义语法学理论和"句法-语义"接口理论为指导，以"词汇单位－角色转化－范畴排序－句法实现－语用制约－语义变化"为思路，以现代汉语三种不同价类动词的典型义场为研究群案，考察了词汇单位的角色实现机制、角色范畴的排序机制、角色范畴的句法实现机制等。

从推拿学和人体解剖学的内涵出发，将课程整体架构分为总论、头部、颈部、胸部、腹部、脊柱区、上肢和下肢八章。其中，总论包括绪论、适宜推拿治疗的十四经经穴、经外奇穴及推拿特定穴的解剖组织结构等内容，其余各章均包括各个分部的概述、局部解剖纲要、具体解剖结构和解剖操作、推拿诊断与治疗的解剖学要点等内容。

本书主要涵盖专家系统、模糊控制、神经网络、进化计算四个经典的智能控制模块，以及各常见的典型智能优化算法的基本理论及计算机仿真实现、工程实现及其实际应用等，各智能控制模块都分别详细阐述了其发展历史、核心思想基本含义、算法的Matlab软件仿真实现、半实物仿真试验验证、电力系统工程实际应用研究等五个方面。编写体例基本一致，

本书总结了作者团队十余年在脑机交互范式及其原型系统研究上的成果。书中提出了P300超立方体编码、序列运动想象范式、触觉通道范式、移动目标选择范式等创新性脑机交互方式方法。这些方法解决了诸如运动想象模式拓展、视觉通道刺激优化、复杂电磁环境脑机交互技术等目前领域内难题，推动了脑机接口技术的实用化进程。基于这些方法，成功实现

高温氧化是高温氧化领域中最重要且最基本的一种腐蚀方式。随着现代科学技术的快速发展，对金属材料高温服役性能的要求也越来越高，不仅要有良好的机械性能，同时还要具有较高的抗高温氧化能力。实际上金属的高温氧化是一极其复杂的过程，影响这一过程的因素很多，因此，迫切需要搞清材料高温腐蚀的一些基本理论，寻找和探索新材料及防护措施，以

随着我国公路建设和城市道路建设的快速发展，道路里程持续增加，我国道路工程已经进入建、养并重时期，在持续进行新建道路工程建设的同时，道路工程的养护维修、道路使用品质的评价、道路安全、道路景观、道路工程材料的循环利用、新的道路设计方法等逐渐成为道路工程专业的核心内容。为使研究生熟悉道路工程领域的发展方向，了解新的道路工程技

研究表明，非政府组织的存在，可以在一定程度上弥补市场失灵和政府失灵。在国外社会责任建设的过程中，非政府组织已经发挥了重要作用。由于中国的现实情况与国外有较大差异，在中国经济和社会环境中，非政府组织是否依然能有效的影响企业社会责任行为，促进我国企业社会责任建设，还有待理论和实证的研究检验。国内外的差异主要表现在：国外的非

本书是针对电气工程及其自动化专业基础课程教学需要编写的教材，其内容经过精选，既保持了学科的完整性，又反映了该领域内的最新技术成果，更注意适应教学的需求。本书内容包括功率半导体器件及其驱动与保护、可控整流与有源逆变、直流-直流变换（斩波）、直流-交流逆变电路、PWM逆变及整流、交流调压与调功、交流-交流变频、谐振软开关技

本书主要从三个层面对西周金文字形书体展开研究。一是借用考古类型学“先分类、后断代”基本原理，参照殷墟甲骨文分类分组的成功经验，对西周金文字形书体演变规律进行探索，试图在理论方法上有所突破，提出“金文字体类型学”。二是结合商周金文字形书体自身特点，依据标准器铭的文字形态、书体特征，在字形上，重点选取一批在某个历史阶段出现