詳細內(nèi)容:
肺彌散功能(DL)測試,是一項檢查肺某種肺泡氣通過肺泡毛細血管途徑到血液內(nèi)與血紅蛋白結(jié)合能力的測試。氣體交換的動力取決于該氣體的肺泡(PAgas)與毛細血管(PCgas)的分壓差。某種氣體的彌散能力(DLgas或者Dgas)與在特定的分壓差下該氣體通過肺泡毛細血管路徑的.量有關(guān),如果這個路徑的條件保持不變,分壓差越大,進行交換的氣體便越多。
描述邏輯(DescriptionLogic)是基于對象的知識表示的形式化,它吸取了KL-ONE的主要思想,是一階謂詞邏輯的一個可判定子集。除了知識表示以外,描述邏輯還用在其它許多領(lǐng)域,它被認為是以對象為中心的表示語言的最為重要的歸一形式。描述邏輯的重要特征是很強的表達能力和可判定性,它能保證推理算法總能停止,并返回正確的結(jié)果。在眾多知識表示的形式化方法中,描述邏輯在十多年來受到人們的特別關(guān)注,主要原因在于:它們有清晰的模型-理論機制;很適合于通過概念分類學來表示應(yīng)用領(lǐng)域;并提供了很多有用的推理服務(wù)。