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