曹恒 朱淼良 吴桂芹 王奋勤 陈燕敏 贺菲菲 秦其明 邓培民 范闻捷 朱庆生 周江华 张新晖 徐希孺 卫军胡 唐文彬 王寻羽 孙国基 朱征宇 易忠

布尔状态映射矩阵 自主式智能机器人 有限自动机 模型方法 前邻 查找表模型 设备特征描述文件 应用基础 Petri网 离散事件系统（DES） 流水线调度 颜色管理 系统仿真 分布式多Agent系统 强连通 矩阵工具 赋色Petri网（CPN） 组分温度反演 ICC标准