李昊 贾勇 田国忠 于炯 黄上腾 陈护勋 赵德群 包振东

多级文法 闲状态 三维文法表 资源选择策略 图形库 关键路径 故障模型 检测图形 功能测试 非确定性匹配 存储器 转换器 外部文法的控制机制 有向无环图 检测 自动校准 忙状态 耦合

武汉数字工程研究所 IBM中国研究中心 上海交通大学 新疆工业高等专科学校计算机工程系 武汉74223信箱 新疆大学信息科学与工程学院 北京理工大学计算机学院