本书是中山大学中法核工程与技术学院一年级第二学期的数学教材的中文翻译版,包括以下主要内容:平面几何与空间几何基础、极限展开及其在几何中的应用、有限样本空间中的概率基础、对集合论和逻辑的初步介绍.尽管这些内容是相对独立的,但本书可帮助读者看到并理解不同数学领域之间的联系.每章的开头部分,列出了学习该章内容所需的预备知识.

逆合成孔径雷达是对空天目标进行探测、跟踪、成像的重要传感器，可获取目标的一维、二维甚至三维图像。随着先进成像雷达装备的研制，雷达成像也面临高载频、大带宽、目标远距离、非合作带来的一系列挑战，亟须研究和探索与之相适应的高分辨成像算法和技术。本书重点阐述研究团队在逆合成孔径雷达精细化成像与多维度成像方面取得的**研究成果，

随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。

本书主编是美国著名肾脏病学专家。本书的特点是创新性地以病例和简洁问答的形式进行撰写，其内容涵盖了肾脏病学几乎所有领域和常见的临床情景。结合文献复习、指南及临床经验对每个病例进行了详细的讲解和剖析。近1000个问题和详细的答案及分析为从事肾脏病学领域的科研工作者、临床医师、规培医师及医学生提供了了解肾脏病的更好方式。《B

本书聚焦黄河三角洲保护与持续利用等重大科技问题，系统介绍了黄河三角洲生态农牧场环境监测关键技术与装备，盐碱地生态农牧场、滩涂生态农牧场、浅海生态牧场构建原理、技术与模式，生态农牧场特色生物资源产品开发与应用，以及生态农牧场空间布局等。

随着互联网的迅速发展和变革，档案社会化媒体已成为记录人类社会生活变迁的重要载体，并成为大数据时代的焦点。基于国内外档案社会化媒体信息现状分析，研讨大数据背景下档案社会化媒体信息资源的整合，既是档案信息化建设中的战略性步骤，也是有效开发与利用的必然选择。本书主要研究了信息化条件下档案社会化媒体信息资源的整合机制，包括对新

本书基于自然保护区居民可持续生计和生态保护的需求，通过理论分析和数学建模，构建了自然保护区居民可持续生计的研究框架；利用文献调研法，对生态保护和居民可持续生计的国内外研究进展和理论基础进行了系统归纳和梳理；运用博弈分析法，进行自然保护区生态保护与居民生计的博弈分析；以福建省不同类型自然保护区为研究案例区，采用问卷调查法

本书在田野调查基础上，通过查阅方志、史籍、档案等资料，从“面—线—点”三个层次调查陕西传统城区的历史文化资源构成与保存现状。同时，本书以韩城、麟游、陈炉、米脂、高家堡、波罗、蜀河、石泉、漫川关这9座城镇为样本，试图通过系统的田野调查从定量层面揭示历史城镇的保护情况，进而全面掌握城镇传统资源保存现状，提出具有现实意义的城

本书是为庆祝中华人民共和国成立70周年而精选的山西国保级古建筑研究综述性论文合集，共30余篇。内容涉及了山西唐、五代、宋辽金、明清各时期中**历史、科学与艺术价值的国保级古建筑，对每一处古建筑的历史沿革、研究综述、保护大事记等方面进行总结梳理，其中许多论文均为原创性和首次发表，代表了目前山西省在古建筑保护与研究领域的*

本书是目前国内第一本系统研究中国古代铸钱工艺的专著。从钱币的产生、范铸工艺的应用与传承到铸钱工艺自成体系的发展演进，都有专业的、学术的论述与深入的研究。尤其是，本书深刻阐述了中国古代铸钱工艺的演进发展方向，即尽可能降低成本、提高效率，并就铸钱领域的两大技术发明——叠铸和翻砂工艺作了专门的论证。此外，本书还首次将铸钱工艺