施庆生
【姓名】 施庆生
【职称】 讲师;
【研究领域】 工业通用技术及设备;数学;建筑科学与工程;
【研究方向】
【发表文献关键词】 表推演,力迫,程序兼纳集,中介逻辑程序语义,模态逻辑,自动定理证明,流线,中间压力,热力系数,兼纳集,溴化锂制冷循环,位势流动,双级循环,防烟,前室,中介逻辑,风幕,交半格,后继节点,可满足,力迫条件...
【工作单位】 南京建筑工程学院
【曾工作单位】 南京建筑工程学院;
【所在地域】 南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 1 1 1 11 228
中国期刊全文数据库    共找到4篇
[1]王东方,何嘉鹏,施庆生.高层建筑火灾时前室门的流场分析[J]南京理工大学学报.1999,(01)
[2]朱朝晖,施庆生,朱梧槚.程序兼纳集:由力迫描述的中介逻辑程序语义[J]中国科学E辑:技术科学.1996,(06)
[3]施庆生,宫宁生,何嘉鹏.模态逻辑S_5的表推演系统TS_5[J]南京建筑工程学院学报(自然科学版).1996,(01)
[4]何嘉鹏,施庆生,龚延风,方贤德,姜正良.双级溴化锂制冷循环中间压力的计算机模拟[J]流体机械.1997,(05)
更多