詳細(xì)內(nèi)容：

　　肺彌散功能（DL）測(cè)試，是一項(xiàng)檢查肺某種肺泡氣通過肺泡毛細(xì)血管途徑到血液內(nèi)與血紅蛋白結(jié)合能力的測(cè)試。氣體交換的動(dòng)力取決于該氣體的肺泡（PAgas）與毛細(xì)血管（PCgas）的分壓差。某種氣體的彌散能力（DLgas或者Dgas）與在特定的分壓差下該氣體通過肺泡毛細(xì)血管路徑的量有關(guān)，如果這個(gè)路徑的條件保持不變，分壓差越大，進(jìn)行交換的氣體便越多。

　　描述邏輯(DescriptionLogic)是基于對(duì)象的知識(shí)表示的形式化，它吸取了KL-ONE的主要思想，是一階謂詞邏輯的一個(gè)可判定子集。除了知識(shí)表示以外，描述邏輯還用在其它許多領(lǐng)域，它被認(rèn)為是以對(duì)象為中心的表示語言的最為重要的歸一形式。描述邏輯的重要特征是很強(qiáng)的表達(dá)能力和可判定性，它能保證推理算法總能停止，并返回正確的結(jié)果。在眾多知識(shí)表示的形式化方法中，描述邏輯在十多年來受到人們的特別關(guān)注，主要原因在于：它們有清晰的模型-理論機(jī)制；很適合于通過概念分類學(xué)來表示應(yīng)用領(lǐng)域；并提供了很多有用的推理服務(wù)。