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