江成顺 白鹏 孙丹 肖奚安 朱梧槚 陈听宽

含气率 集合论 逻辑演算 加氢换热器 煤油 不动点方法 两相流 模型论 环状流 非经典逻辑 证明论 参数识别 递归论 非线性反应扩散模型 数理逻辑 分相模型

西安交通大学 通信工程学院 南京大学数学系