程序兼纳集：由力迫描述的中介逻辑程序语义

运用力迫方法在非封闭世界假设下讨论了一种基于中介逻辑含非Ｈｏｒｎ型语句逻辑程序的语义，并就程序兼纳集的不动点性质，迭代性质作了研究，还证明了程序兼纳集在集合包含关系下是１个完全交半格。     

高层建筑火灾时前室门的流场分析

高层建筑防烟设计的目的是为了防止烟害并对烟气扩散进行控制,高效防烟装置应具有绝对隔烟、自由出入隔烟场所、不影响视野等功能。该文通过对烟气流动的机理分析,讨论了前室门的流场特性,用理论的方法建立了前室门处的流场。根据流线流量原理,提出在火灾时用防烟空气幕控制烟气的扩散。在前人试验研究的基础上,导出防烟空气幕的计算方法。