数系的扩充始终贯穿于数学理论的发展之中. 本书利用交互式定理证明工具Coq,在Morse-Kelley公理化集合论形式化系统下, 给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统,包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现,构建了非标准实数模

本书在阐明丛枝菌根基本理论、研究方法等方面知识的基础上，重点介绍我们团队20多年来荒漠植物丛枝菌根研究成果，包括我国荒漠植物资源和生态分布、荒漠植物丛枝菌根共生体特征和变化规律、丛枝菌根真菌群落组成和生态分布、丛枝菌根真菌生长发育条件、荒漠环境丛枝菌根生态适应性、人工接种丛枝菌根真菌对荒漠植物生长和抗旱性的影响、丛枝菌

本书重点围绕气候变化与农业物候关系研究，从地理学视角，首次较为系统地揭示了一定历史观测期内中国九种作物（小麦、玉米、水稻、大豆、棉花、高粱、谷子、油菜、花生）的物候变化趋势，明晰了作物物候对关键气候因子变化的敏感性差异及其时空分异规律，量化区分了气候变化和人为管理措施对作物物候变化的影响，系统评价了气候变化和人为管理措

自己的观点和一些新的见解。本书还根据官方公开发表的统计数据，估算了国家层面和分省份、分行业的资本存量历史数据，初步构建了我国资本存量的数据库，并利用实际统计数据开展了资本存量数据应用的研究，其中关于我国全要素生产率的测度以及各省全要素生产率的测度与比较研究具有重要的理论和现实意义。通过这些研究，不仅系统地总结了一套比较

该书主要介绍了超嗜热微生物的系统分类及其极端生境，总结了所有超嗜热微生物的生长代谢条件，并提出了从多种极端嗜热环境中发现、分离、鉴定超嗜热菌的基本程序；从细胞膜、核酸、蛋白质等分子结构上分析了超嗜热微生物的高温适应机制，并归纳了超嗜热酶的生化特征和催化功能，并探讨了超嗜热酶工程制备的方法及应用前景；此外，该书还重点介绍

本书从地理信息科学视角出发，利用地理学思维和计算机技术，深入探讨生态文明模式的调查、分类与应用，为实现美丽中国的愿景提供理论和实践支持。本书系统总结了国内外生态文明模式调查的现状、问题与发展趋势，提出了美丽中国生态文明模式的概念与分类，设计了美丽中国生态文明模式调查与挖掘的创新思路与方法，阐述了中国生态文明模式数据库建

《北方民族考古》是由中国人民大学北方民族考古研究所、中国人民大学历史学院考古文博系主办的集刊，迄今已出版十五辑。本辑内容包括考古新发现、研究与探索、北域撷英、碑铭考释四个栏目，收录论文22篇，以中国北方地区的考古学探索为重心，也包括一些重要境外考古发现的个案研究，在一定程度上反映了学术界在北方民族考古研究方面的前沿动向

宏观的、复杂的地理现象背后，存在简单、根本、微观的地理基本元素，这些微观离散单元通过不同的结构方式组合和聚集，涌现出我们观察到的地理现象。因此，若需真正理解地理现象规律，必须探索微观层面基本元素的组成、结构特征和相互作用机制，进而理解宏观现象的演化机制问题。随着移动定位、无线通信等技术的快速发展，我们能够获得海量的可以

本书主要介绍船体结构振动与噪声控制方面的有关知识，包含结构动力学基础理论及背景知识的介绍。 本书按内容可分为三大部分，第一部分为动力学基础理论，该部分系统地介绍了线性系统的振动基本理论，第二部分为为动力学进阶理论部分，分别介绍结构波动学、结构动塑性理论，第三部分为振动、噪声控制和实践应用部分，对船体结构振动与噪声控制理

本书介绍X射线物理学基础、X射线衍射方向和衍射强度、多晶体X射线衍射分析等基本理论知识，在此基础上介绍当前科学研究中经常使用的各种X射线技术，包括利用X射线衍射技术分析材料的物相、残余应力、晶粒尺寸、位错密度、织构等，以及利用X射线光电子能谱分析材料表面元素种类、含量。此外，本书还介绍了近年来基于电子计算机断层扫描技术