粉喷桩复合地基理论与工程应用

本体能够为领域术语显式地赋予语义，为信息智能处理奠定了良好基础，从而在语义网、知识库、信息系统互操作、数字图书馆情报检索等领域得到了非常广泛的应用。为便于理解，本书重点阐述本体的工程应用技术及相关应用案例，并根据需要引入相应的理论与工具，而不过多阐述形式化语言、描述逻辑、非单调推理等抽象内容；同时，不同于已有文献大多关注本体建模的现状，本书在应用案例中着重关注本体的推理，以充分发挥本体技术的优势。

全书总体上按照“本体理论一本体工程应用”的体系编写，分为本体理论、确定性本体及工程应用、概率本体及工程应用和附录等四部分，全书共8章。 2100433B

《本体理论与工程应用》重点阐述本体的工程应用，以确定性本体为主、概率本体为辅，并根据需要引入相应的本体理论。

《本体理论与工程应用》分为本体理论、确定性本体及工程应用、概率本体及工程应用和附录等四部分，贯穿Web本体语言（OWL2）、语义网规则语言（SWRL）、确定性本体建模工具protege5.2.0、概率本体建模工具UnBBayes-MEBN4.22.18的使用。

《本体理论与工程应用》可作为信息系统互操作、系统仿真、知识工程等相关专业本科生和硕士研究生的教材或教学参考书，也可供有关工程技术人员自学和参考。

全书共十章，内容主要有：冻土的强度准则和本构关系，寒区道路主动冷却路基的降温效果及其理论计算方法，冻土路基在静力、火车荷载、地震荷载作用下的变形分析方法，季节冻土区路基的冻害防治理论及技术，寒区隧道温度和力学特性分析方法，寒区隧道的冻害及其综合防治措施，寒区涵洞和桩基础温度特性分析方法，寒区水利工程温度和力学特性分析方法。

《寒区工程理论与应用》资料翔实，内容丰富，可供建筑工程、铁路公路、煤炭矿山、水利水电、岩土力学与工程等方面从事勘察、设计、施工、科研与教学的科技人员和研究生参考阅读。赖远明，博士，国家杰出青年科学基金获得者（2002年），中国科学院寒区旱区环境与工程研究所冻土工程国家重点实验室副主任，研究员，博士生导师。l998～1999年在加拿大Laval University留学。2000年获“中国科学院院长特别奖”，2002年获“全国百篇优秀博士论文”奖，2003年入选中国科学院“优秀百人计划”。2004年获“全国优秀科技工作者”荣誉称号和“中国科学院优秀研究生导师奖”，并享受“政府特殊津贴”。2004年获甘肃省科技进步一等奖。2005年获国家科技进步二等奖。2006年被评为“新世纪百千万人才工程”国家级人才。2008年获国家科技进步特等奖。已发表论文近200篇，其中SCl收录71篇，El收录80篇。已出版专著 4部。获国家发明专利2项。主要从事冻土与寒区工程的科研工作。《寒区工程理论与应用》内容之一是讨论在无法人为改变外界气候条件的情况下，如何采取各种有效措施，尽量消除或减轻上述冻害现象的发生，保持寒区工程的热学、力学稳定性，从而实现寒区工程的安全稳定。