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

本书旨在讨论片上系统（SoC）测试的相关问题，包括建模以及片上系统测试解决方案的设计和优化。需要测试的系统越来越复杂，测试数据量不断增加，如何组织测试，即测试调度变得越来越重要。本书主要站在系统级的角度阐明模块化SoC测试领域的诸多问题。《BR》本书由三部分组成，在概述经典测试方法的基础上，介绍测试大型、模块化和异构SoC面临的挑战和困难，并详细介绍作者团队为克服上述困难所做的研究工作。

本书详细介绍了太阳能低温热利用的热水器产品、太阳能热水系统的设计应用以及太阳能与建筑结合情况。全书共10章，内容包括太阳能基础，太阳能热水系统基本知识，集中集热、分户储热式太阳能热水系统，设备及配件，太阳能热水系统设计计算分析，太阳能热水系统安装，太阳能系统的工程调试和验收，特殊类型的系统方案设计与分析，平板太阳能与空气源热泵结合，太阳能热水器与建筑一体化。本书可供从事太阳能热利用的工程技术人员阅读，也可作为高等院校相关专业师生的参考用书。

本书以消费品领域智能产品的创新生态系统（smartproductinnovationecosystem SPIE）为对象，围绕智能产品的创新生态系统构建、运行和评价等关键问题展开系统化研究。全书共8章，第1至第7章分别从智能产品的创新生态系统概述，智能产品的创新生态系统的构建及运行理论框架、生态共建、资源共享、价值共创、系统共生、创新共赢的理论与方法进行了详细的阐述。第8章以智能座舱的创新生态系统为示例，验证了以上内容的可行性，并取得了良好的效果。本书可为科技创新型企业构建、运营和评价智能产品的创新生态系统提供参考。

无

本书以普及深海前沿科学技术为目的，以深海探测为主线，详细介绍了深海科学考察船、载人潜水器、无人遥控潜水器、无人自主潜水器、水下滑翔机、海底观测网等当前重大深海装备研发制造涉及的科学原理和关键技术，以及水下仿生机器人、水下无线通信、海底原位探测传感器研发领域的前沿科学技术，并提供了国际上近半个世纪以来深海探测的实例和研究成果。本书可为我国海洋科技工作者提供重要的参考，通过本书可以更好地了解深海探测技术研发的理论方法和前沿关键技术。同时，本书可作为高等院校深海科学和技术相关专业学生的参考教材，亦可供对深海探测科学技术感兴趣的人群阅读。

本书介绍了水凝胶材料及其基本力学性能，指出该材料在力学实验表征中存在的问题；针对准静态单轴压缩提出了在空气和溶液环境中的试件体积变化测量方法；提出了一种针对水凝胶单轴拉伸实验的试件夹持技术，使测得的拉伸断裂应力更加可靠；完善了压入法和鼓泡法，使其能够表征软材料的黏弹性行为；针对超软材料在动态力学测试中存在的问题，发展了双子弹电磁驱动的霍普金森压杆系统；在发展实验表征技术的同时，提出了水凝胶的随机纤维网络模型和框架式模型，实现了对水凝胶宏观力学行为的细观机理探索；提出了可以表征水凝胶在多种环境和多种应变率条件下的力学行为的本构方程。本书对水凝胶准确的力学行为实验表征技术及细观机理研究具有相当的参考价值。

本书论述了传统天然蜡烫蜡技术和合成蜡烫蜡技术的研究成果，重点阐述了天然蜡和合成蜡的性质、烫蜡技艺、烫蜡性能、烫蜡机理等有关烫蜡处理在木材领域中新的研究成果，并将理论与实际相结合，同时深入浅出地讨论了一些烫蜡技术应用中的问题，以使读者了解蜡的性质、烫蜡技术、木材表面性能检测的相关知识，以及合成蜡改性与烫蜡的新技术、新方法。本书可供从事木材科学与技术、木材保护、木材性能检测、木制品设计等领域的科技人员和高等院校相关专业师生参考。

云南高寒湿地位于青藏高原东南缘，受高海拔、寒冷气候影响，泥炭和泥炭沼泽湿地发育，单位面积土壤碳储量高，具有重要的碳汇功能，在维持全球碳平衡与控制温室气体排放方面具有重要作用。本书系统阐述云南高寒湿地环境特征及放牧干扰现状、放牧对高寒湿地土壤有机碳矿化和CO2排放特征的影响、放牧对高寒湿地土壤氮转化过程（氨化、硝化、反硝化作用）和N2O排放特征的影响，以及高寒湿地土壤胞外酶活性和微生物群落对放牧干扰的响应规律，从物理、化学和微生物角度阐明放牧对云南高寒湿地土壤碳、氮循环影响的内在机制。

本书为李季伦教授科研团队的论文选集，记录了他们多年来根据国家需求，努力为农业生产服务的科研历程和成果。全书收录了正式发表的研究论文115篇，分为上下两册，内容包含四个部分，分别为生物固氮研究，微生物次生代谢产物研发及生物合成调控研究，真菌毒素及生物能源研究，趋磁细菌生理特性及磁小体应用研究。论文选集不仅展现了李季伦教授科研团队近60年坚持不懈深入探索的研究主线，也体现了他们利用微生物生物技术为农业生产服务的信念与追求。