缺省逻辑与回答集程序 张明义,王以松 著.pdf
本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论（包括它的几个重要变种）的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广（嵌套查询）的基本概念与重要性质，以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。
张明义
玻璃纤维增强聚合物抗浮锚杆承载性能研究.pdf
本书系统阐述了玻璃纤维增强聚合物锚杆应用于地下结构抗浮工程中的承载性能和破坏机理。全书内容包括玻璃纤维增强聚合物抗浮锚杆与岩土体的承载性能、玻璃纤维增强聚合物抗浮锚杆与基础底板的锚固性能、长期荷载作用下玻璃纤维增强聚合物抗浮锚杆的蠕变性能，以及玻璃纤维增强聚合物抗浮锚杆的破坏机理与全变形特征。
寒区工程理论与应用.pdf
全书共十章，内容主要有：冻土的强度准则和本构关系，寒区道路主动冷却路基的降温效果及其理论计算方法，冻土路基在静力、火车荷载、地震荷载作用下的变形分析方法，季节冻土区路基的冻害防治理论及技术，寒区隧道温度和力学特性分析方法，寒区隧道的冻害及其综合防治措施，寒区涵洞和桩基础测试特性分