本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。本书基于缺省理论扩张的计算特征，统一处理和论证缺省逻辑与回答集程序的基本概念和主要结果，以便读者能够系统和完整地阅读。本书可作为计算机科学和人工智能专业的研究生和教师及研究人员的参考书，亦可供相关专业的工作者参考阅读。

本套教材共分6个分册，分别为：《建筑材料检测》第二版《建筑地基基础工程检测》第二版《建筑主体结构工程检测》《建筑钢结构工程检测》第二版《民用建筑室内环境质量检测》第二版和《建筑幕墙工程检测》第二版。全书内容丰富、系统、涵盖面广，每本用书内容相对独立、完整、自成体系，并结合我国目前建设工程质量检测的新技术和相关标准、规范，系统介绍了建设工程质量检测的概论、检测基本知识、基本理论和操作技术，具有较强的实用性和可操作性，基本能够满足建设工程质量检测的实际需求。

本书是作者在参与实际工程项目的基础上，结合自身研究实际，按照新的国家工程建设规范要求进行编写，并根据当前岩土工程专业学科的发展，对某些应用较少的内容进行了精简或删除，同时也增加了部分新技术内容。主要突出了工程实践中常用的各类岩土工程测试与检测技术要求。本书详细介绍了岩土工程勘察技术、岩土中的应力测量、岩土的原位测试技术、地基加固的检验与检测技术、加筋锚杆测试技术、岩土的注浆加固技术等内容，以及岩土工程测试与检测基本技术要求和分析、评价方法等内容。各章节后附有思考题。最后附有岩体力学室内试验指导书。

1.穿湖隧道长大尺度混凝土施工控制研究2.数据中心蓄冷罐模拟分析及安装过程3.粉质粘土地层盾构参数相关性控制分析4.舟岱大桥70m预制箱梁场内运输及转向技术5.废弃矿井压气储能洞室稳定性和围岩应力分析6.净水厂深度处理气擦洗系统鼓风机运行稳定性研究7.大跨度钢管桁架液压同步顶推滑移施工技术8.某海洋乐园大跨度及复杂钢结构施工技术与模拟分析9.浅谈土工材料在旧路加宽措施中对路基沉降的影响10.复杂环境大型顶进框架设计难点分析及对策11.华龙一号核电站钢衬里综合施工技术创新12.孤岛工作面防水煤柱留设宽度模拟分析及工程应用13.管道焊接数据库的建立与管理实践14.5000吨可滑移式液压提升系统在特大型塔器整体吊装上的应用15.应用复合柔性防渗体系应对土壤污染防治的对策研究

内容甄选中国城市规划设计研究院一年来在国家智库建设过程中，形成的重大科研成果、重要行业报告、政策咨询建议、标准规范解读等重要研究成果，涉及重大国家战略以及城市更新、历史文化遗产保护、城乡绿色发展、人居环境建设、韧性城市、智慧城市、城市安全等行业热点问题。所选成果本着择优集萃的原则，汇集规划领域“国家队”年度最具政策影响、最有学术价值、最富技术含量、最能引领行业发展的成果，体现了中规院在服务国家战略、推动地方社会经济发展、促进行业技术进步方面的大院担当，同时也展现了“十四五”开局之年，国家规划建设事业面对新阶段、新理念、新格局下的新的发展理念与发展方向。

本书通过试验、有限元模拟以及理论相结合的方法，研究和分析冷弯薄壁型钢屈曲约束钢板剪力墙结构的受力性能和设计方法。全书共6章包括：绪论；冷弯薄壁型钢屈曲约束钢板纯剪性能试验；冷弯薄壁型钢屈曲约束钢板纯剪性能分析；方钢管混凝土框架-冷弯薄壁型钢屈曲约束钢板剪力墙拟静力试验；方钢管混凝土框架-冷弯薄壁型钢屈曲约束钢板剪力墙受力性能分析；工程应用及案例。可供钢结构及钢-混凝土组合结构领域的科研人员、工程技术人员、大专院校的教师、研究生和高年级本科生参考使用。

该查询系统收录了40万余条机电产品的价格数据，涵盖了4000多家大中型企业的主要产品，主要包括产品名称、型号规格、主要参数及备注、参考价格及生产厂家联系方式等。

本书根据高等学校土木工程学科专业指导委员会编制的《高等学校土木工程本科指导性专业规范》对“专业学科概述”的要求，结合最新标准、规范和国家发布的统计数据，以及参考大量相关教材和文献编写。本书主要介绍土木工程专业的基本内容，展现土木工程的发展历史、现状以及最新成就和学科前沿发展动态。以大量的插图呈现土木工程领域的有关内容，更加注重反映土木工程在国民经济中的地位和作用，将历史与发展贯穿于教材内容始终。全书共分13章，主要就土木工程的概念、土木工程中的力学概念和结构、土木工程材料、基础工程、建筑工程、道路工程、桥梁工程、地下空间工程及隧道工程、铁道工程、给水排水工程、水利工程、港口工程和海洋工程、土木工程灾害及防灾减灾、土木工程项目管理与智能建造等方面的内容做了介绍，尽可能从学科导论的视角反映土木工程的社会性、综合性、实践性以及技术、经济和艺术的统一性。在进行工程教育的过程中，使学生理解工程建设中环境保护及可持续发展的理念及原则，认识到土木工程项目的设计、施工、运行方案及复杂问题的解决方案对社会可持续发展、环境的影响，了解土木工程师担负的责任和应该遵守的职业道德和行为规范。本书面向普通应用型本科生编写，图文并茂，易读易懂，不仅可作为普通高等院校土木工程专业及其他相关专业的教材和参考用书，也可供高职、高专、成人高校师生使用以及工程技术人员参考。

本书一方面从盾构区间施工环境条件出发，系统研究了复合地层条件下大型地下工程长距离开挖中盾构机选型、刀盘刀具选型、渣土改良、管片优化以及隧道施工应用技术，结合现场调查、现场监测、理论分析、三维全仿真数值模拟等多种技术手段，针对本工程施工的关键节点深入剖析，形成一套较为完整的城市湿地复杂地质条件下复合盾构超长距离施工技术。另一方面，通过理论分析、现场试验、现场监测、数值模拟等手段全面研究非开挖长大管线施工关键技术，着力于盾构隧道结构内大直径管道的运输、安装、对接等重要工序，旨在完善大直径管道在施工阶段的质量控制与品质提升。可为当前同类型诸多城市中的供水管道施工提供宝贵实践经验。

主要研究内容有：第一，针对中国当前城市空间快速增长现象，结合城市规划、新古典经济学、新制度经济学等学科理论和分析方法，建立“制度环境与主体行为”的分析框架；第二，纵向上，分析转型期中国城市空间增长制度背景与主体行为共同作用的机制；通过对城市空间增长紧密相关的行政等级和行政区划制度、城市土地使用制度、城市空间规划制度等，从制度环境视角探讨城市空间增长现象的深层次原因；分析中国当前城市建设主体构成与行为特征，对作为城市建设主体的中央政府、地方政府、企业和居民的价值取向和空间利益的博弈进行分析，提出基于“制度与行为”视角的城市空间增长机制，并归纳出地方政府主导、企业主导和居民主导的几种城市空间增长模式；第三，横向上，以重庆市为案例，探讨“制度环境与主体行为”机制在城市空间增长中的作用过程，分析了重庆城市空间在制度环境变迁和主体行为影响下市域城镇体系布局与主城区城市空间增长演变特征；并建立城市空间增长配置效应评价方法，展开重庆市2004-2013年的城市空间增长效应评价的实证研究；并针对重庆城市空间增长管控提出相关建议。