粉噴樁復(fù)合地基理論與工程應(yīng)用

本體能夠?yàn)轭I(lǐng)域術(shù)語顯式地賦予語義，為信息智能處理奠定了良好基礎(chǔ)，從而在語義網(wǎng)、知識(shí)庫、信息系統(tǒng)互操作、數(shù)字圖書館情報(bào)檢索等領(lǐng)域得到了非常廣泛的應(yīng)用。為便于理解，本書重點(diǎn)闡述本體的工程應(yīng)用技術(shù)及相關(guān)應(yīng)用案例，并根據(jù)需要引入相應(yīng)的理論與工具，而不過多闡述形式化語言、描述邏輯、非單調(diào)推理等抽象內(nèi)容；同時(shí)，不同于已有文獻(xiàn)大多關(guān)注本體建模的現(xiàn)狀，本書在應(yīng)用案例中著重關(guān)注本體的推理，以充分發(fā)揮本體技術(shù)的優(yōu)勢(shì)。

全書總體上按照“本體理論一本體工程應(yīng)用”的體系編寫，分為本體理論、確定性本體及工程應(yīng)用、概率本體及工程應(yīng)用和附錄等四部分，全書共8章。 2100433B

《本體理論與工程應(yīng)用》重點(diǎn)闡述本體的工程應(yīng)用，以確定性本體為主、概率本體為輔，并根據(jù)需要引入相應(yīng)的本體理論。

《本體理論與工程應(yīng)用》分為本體理論、確定性本體及工程應(yīng)用、概率本體及工程應(yīng)用和附錄等四部分，貫穿Web本體語言（OWL2）、語義網(wǎng)規(guī)則語言（SWRL）、確定性本體建模工具protege5.2.0、概率本體建模工具UnBBayes-MEBN4.22.18的使用。

《本體理論與工程應(yīng)用》可作為信息系統(tǒng)互操作、系統(tǒng)仿真、知識(shí)工程等相關(guān)專業(yè)本科生和碩士研究生的教材或教學(xué)參考書，也可供有關(guān)工程技術(shù)人員自學(xué)和參考。

全書共十章，內(nèi)容主要有：凍土的強(qiáng)度準(zhǔn)則和本構(gòu)關(guān)系，寒區(qū)道路主動(dòng)冷卻路基的降溫效果及其理論計(jì)算方法，凍土路基在靜力、火車荷載、地震荷載作用下的變形分析方法，季節(jié)凍土區(qū)路基的凍害防治理論及技術(shù)，寒區(qū)隧道溫度和力學(xué)特性分析方法，寒區(qū)隧道的凍害及其綜合防治措施，寒區(qū)涵洞和樁基礎(chǔ)溫度特性分析方法，寒區(qū)水利工程溫度和力學(xué)特性分析方法。

《寒區(qū)工程理論與應(yīng)用》資料翔實(shí)，內(nèi)容豐富，可供建筑工程、鐵路公路、煤炭礦山、水利水電、巖土力學(xué)與工程等方面從事勘察、設(shè)計(jì)、施工、科研與教學(xué)的科技人員和研究生參考閱讀。賴遠(yuǎn)明，博士，國家杰出青年科學(xué)基金獲得者（2002年），中國科學(xué)院寒區(qū)旱區(qū)環(huán)境與工程研究所凍土工程國家重點(diǎn)實(shí)驗(yàn)室副主任，研究員，博士生導(dǎo)師。l998～1999年在加拿大Laval University留學(xué)。2000年獲“中國科學(xué)院院長(zhǎng)特別獎(jiǎng)”，2002年獲“全國百篇優(yōu)秀博士論文”獎(jiǎng)，2003年入選中國科學(xué)院“優(yōu)秀百人計(jì)劃”。2004年獲“全國優(yōu)秀科技工作者”榮譽(yù)稱號(hào)和“中國科學(xué)院優(yōu)秀研究生導(dǎo)師獎(jiǎng)”，并享受“政府特殊津貼”。2004年獲甘肅省科技進(jìn)步一等獎(jiǎng)。2005年獲國家科技進(jìn)步二等獎(jiǎng)。2006年被評(píng)為“新世紀(jì)百千萬人才工程”國家級(jí)人才。2008年獲國家科技進(jìn)步特等獎(jiǎng)。已發(fā)表論文近200篇，其中SCl收錄71篇，El收錄80篇。已出版專著 4部。獲國家發(fā)明專利2項(xiàng)。主要從事凍土與寒區(qū)工程的科研工作。《寒區(qū)工程理論與應(yīng)用》內(nèi)容之一是討論在無法人為改變外界氣候條件的情況下，如何采取各種有效措施，盡量消除或減輕上述凍害現(xiàn)象的發(fā)生，保持寒區(qū)工程的熱學(xué)、力學(xué)穩(wěn)定性，從而實(shí)現(xiàn)寒區(qū)工程的安全穩(wěn)定。