赵建立 王光兴 闻英友 李暾 段振华 屈婉霞 陆宝春 缪淮扣 岳香芬 夏敬华 张世琪 张海宾 刘显明 许庆国 郭阳 杨晓东 江月 商瑞强

多元化网络管理协议 知识推理 显式状态枚举 模型检查 热效率 清洁能源行动 时间自动机 时钟带 故障诊断 混合系统 S-不变量分析 业务流程管理 知识表示 模型检验 T-不变量分析 太原市 多速率自动机 价格变迁 Petri网 拓展Petri网 战略目标