赵妮 王大志 晋欣桥 尹建华 李云峰 贺秉坤 杜志敏 虞凡 班斐 陈鸿天 李兆霞 罗琨 夏国平 周清雷 花丽坤 赵磊 马文星 邓建慧 韦刚 陈翔 朱维军 曹阳 贾晓琳 郑建华 周延延 霍炜 任海涛 刘健 刘鹏 吴晓燕

送风温度优化设定 建模与仿真 可信性 自动机理论 仿真可信度 模型确认 模型转换 置信度 桥梁加劲桁架 元模型 特定领域建模 航站楼空调系统 时间自动机 信号自动机 谱估计 毕氏酵母 渭河流域 互模拟 实验辨识 SystemC建模 扩展自由选择网 重组人血清白蛋白 结构行为一致多尺度有限元模拟 工作流模型 工作流网 专用集成电路 氮 离散步长 谓词变迁网 电子设计自动化