数系的扩充始终贯穿于数学理论的发展之中. 本书利用交互式定理证明工具Coq,在Morse-Kelley公理化集合论形式化系统下, 给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统,包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现,构建了非标准实数模型,自然包含标准实数模型,并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证.在我们开发的系统中, 全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq

作者立足于区域和地块两个尺度，融合环境科学、大数据科学和人工智能学，基于源汇理论和大数据理论，借助大数据技术优势，以场地土壤和地下水污染协同防治为重点开展了多年研发与实践，提出了脆弱性分析、污染源解析、风险区划、空间管制、风险评价、风险诊断、风险管控、可视化表达、决策支持等方面的技术、方法、模型、系统、策略和平台，厘清了场地污染协同防治的大数据驱动原理机理，以期为我国场污染防治提供科学依据和理论支持。

本书旨在向读者介绍利用太阳能相关技术实现硫化氢资源化利用的应用研究现状，首先将就硫化氢的基本性质和现有的处理方法做简单陈述，随后就太阳能相关的催化技术进行基本的原理和应用介绍。再具体到太阳能驱动硫化氢资源化利用的应用实例，主要从光催化和光电催化这两大方向分别进行详细介绍，其中涉及到催化剂的选择优化、反应体系的构筑和活性评价等内容。最后笔者将简单归纳总结目前太阳能驱动硫化氢资源化利用研究的现存问题，并对其发展趋势进行展望。

川西气田雷口坡组四段气藏是世界上第一个潮坪湘碳酸盐岩大气田，是继普光气田、元坝气田之后，中石化在国内开发的又一大型酸性气田。在气田开发过程中面临了诸多新的技术挑战，专家团队和技术人员突破传统理论束缚与工程技术瓶颈，坚持地质工程一体化，形成系列特色高效开发技术，实现了勘探开发的新突破，推进了气田的效益开发。本书紧紧围绕潮坪相碳酸盐岩气藏开发给工程地质一体化、钻完井工程、储层改造、安全管理、环境敏感性等带来的系列挑战，针对潮坪相薄互层白云岩储层、边水高含硫气藏、超深大斜度井，突出高效、长效、有效，体

本报告根据国家统计局、Wind数据库、中国经济信息网等多个权威数据库公布的最新统计数据，从房地产开发投资、房地产供需房地产价格等多个方面回顾了2023年我国房地产市场运行的运行状况，解析了2023年各级政府颁布的房地产调控政策，着重对北京、上海等一线城市、部分二线城市与三、四线城市房地产市场运行情况进行了分析总结，综述了2023年房地产金融形势变化，并从房地产市场的供给、需求、价格、政策等方面对2024年我国房地产价格的发展趋势做出了预测。报告还针对当前我国房地产业发展的一些重要问题提出了相应的

本书是继2002年、2013年上海市浦东新区档案馆两次《浦东新书录》的再次续编，是一本汇集近十年来有关浦东的各类书籍资料的工具书，涵盖政治、经济、社会、文化、文学艺术、历史地理等方面。全书收录时限上起2012年，下迄2022年，收录范围包括公开出版、内部发行、内部编印三种，体例是编写每本(套)书籍的内容简介，并附封面图片。该书通过相关书目的梳理，以浦东文化发展为载体，反映党的十八大以来浦东的新发展、新跨越、新面貌。

本书从数的起源开始，带领读者进入数学的世界，开启一段精彩的数学之旅。透过数学两大领域代数与几何的曲折发展历程，体味群星闪耀的数学史上天才式数学家对数学的不灭贡献，数学家的奇闻趣事、新发现的艰辛历程、迎难而上的科学家精神贯穿全书。每一个定理、定律、命题、公式的发现的背后都有精彩的故事，每一个猜想的证明都闪耀着人类智慧。但本书不只是停留在数学故事的叙述上，更要还原数学发现的过程之美，公式的推导，猜想的证明，力图给读者思维的快感，领略数学之趣和数学之美，进而爱上数学。

检验实验室规范化建设是GLP（良好实验室规范）建设的重要组成部分，是衡量GLP规范化建设水平的关键标准之一。本书以GLP体系下检验实验室的规范化建设为主线，介绍了GLP的背景、术语，检验实验室的硬件建设，人员培训与管理，分析前、分析中和分析后的全程质量控制等内容，重点列举了检验实验室标准操作规程，为提高我国GLP研究水平，进一步建立健全检验实验室的室内和室间质量控制体系具有一定的意义。期望为国内GLP检验实验室的标准化建设及与国际接轨提供理论基础。本书可供临床前评价、医学检验的专业人员，药物研发

本书共7章，聚焦国家、学校、专业三大育人目标要求，详细分析课程教学在知识、能力、素质方面的目标要求，结合课程性质与特点，精心设计“目标问题”，将课程的知识体系转化为隐含目标能力和素质的目标问题体系。用“目标问题”组织教学，让教学过程紧扣课程目标，创新地提出目标问题导向课程教学理念，并构建与实践目标问题导向课程教学模式。本书适合石油、化工等相关专业的教师作为参考，也可供从事相关研究的人作为参考之用。

本书共介绍了公务文书、工作文书、经济文书、日常文书和科技文书5个类别、60余个应用文文种。在各文种内部的体例安排上,本书遵从由感性认识上升到理性认识、再从理性认识回到实践应用的认知规律,采取“例文点评—文种指要—写作训练”的顺序编排,有利于学习掌握。侧重于格式写法与写作训练,突出实用,学练结合,强调能力为本书的基本特色。本书适于作各类工科高职院校的教材,也可供工程技术人员及相关读者自学使用。