D．Scott在20世纪60年代引入了domain理论，并给出了两种等价形式——信息系统和邻域系。在型论（typetheory）基础上，G．Sambin提出了形式拓......

分相流技术把分相流概念应用于油井正常生产过程中，在评估可采储量时，油井不关井以相同或相近的方式继续生产。该方法给出所有油井井......

根据维特根斯坦的"家族相似"论,不同的个体之所以被归类到同一个概念之下,并不是因为它们分享了同一个柏拉图式共相,而是因为其中......