吕映芝 马贞立 谭梅 于云赫 贺伟斌 张志诚 谭季秋 古丽 王宏生

需求定义 功能规约 Z规格说明 有穷自动机 硬件电路 触发器 软件设计 双风机 量程 语法图 通风 软件自动化 函数映射 检测器 产生式 短路器 保护电路 嵌入式系统 面向对象 相序 形式语言 机电一体化 支撑系统 矿井 改装方法