宋文彦 宋文 陈松 胡文静 陆黎明 卢国友 陈新华 王志宏 刘宝才 杜刚 姚建 薛庆军 严兵 杨金松

排列 约化等价 二叉树 固件装载 重枚举 固件 算法 弱可逆性 规范等价 复杂度 线性有限自动机 EZ-USB 串行接口引擎 驱动程序 可积系统 分类