张勐 蔡国永 熊太平 李文敬 刘华东 赵岭忠 黄容伟 杨志飞 曾聪文 徐周波 钟艳如 黄美发 廖伟志 宁黎华

学习 装配体联结图 装配序列生成 装配联接图 进化算法 离散事件系统 免疫算法 割集 谓词逻辑 布尔函数 智能体 装配规划 时态逻辑 混合算法 调度 约束满足问题 仿真 赋时Petri网 模型检验 柔性制造系统调度 计算机辅助设计计算机辅助制造 装配序列规划 几何可行性 软计算 间歇过程 符号算法 有序二叉决策图 混杂Petri网 遗传算法 Petri网

桂林电子科技大学计算机学院 广西桂林 西安电子科技大学电子工程学院 桂林电子科技大学计算机与控制学院 广西师范学院信息技术系 桂林电子科技大学计算机系 桂林电子科技大学机电工程学院