李建春 赵东明 王维德 王迤冉 张树仁 张海宾 周清雷 刘保罗 杜诗军 柯清筑 常桂梅 赵鹏

模糊神经网络 区间时序逻辑 教学评估 时序逻辑 命题投影时序逻辑 统一逻辑框架 并发模型 均相 算法 时间ω-树 模型检测 离散步长 模型验证 多定态 原型验证系统 教学质量评估 时间树自动机 恒沸精馏 辅助定理证明 三元物系 识别语言 基因网络 马尔可夫链 自动机理论 互模拟 信号自动机 有限状态自动机 时间自动机 可计算性与判定性 模糊综合评判

郑州大学信息工程学院 河南郑州 西安电子科技大学计算机学院 广东广州 解放军信息工程大学信息工程学院 陕西西安 华南理工大学自动化科学与工程学院 福建泉州