郑文岭 陈继明 李丹美 常列珍 徐健 汤恒琦 杨军荣 杨留记 赵彦峻 王永成 严兵 吴学谋 王亚平 胡奇英 马新谋 刘凤玉 姚文娟 许一震 潘金贵 黄庆华 张钟俊 沈传龙 冯嘉礼 陈运生 宋文 李桂莲 王宪栋 刘艳军 潘世永 杨青

形式语言 离散事件系统 控制 模式—向量转化 下推自动机 发射技术 加速比 动力学模型 动力学 模式搜索 匹配 等价 榴弹 机床控制器 不可区分 气动 码 反向有限自动机 形式语言 语言 指数 模型检测 回溯自动机 射击密集度预测 终结一致 状态转移 约简 软件工程 内指数 量—质特征转化

形式语言 离散事件系统