郑国樑 张辅群 徐剑峰 王斌 蓬颖 马再忠 程强 严忠林

规格说明 运行时间库 指针 模型 数据库文件 雅可比矩阵 自动微分 规格说明语言 网络监测系统 网络化控制 公平 切线性模式 网络控制系统 标志向量 结构描述 活动性质 代数规格说明 输入矩阵 抽象数据类型 初始向量 行为 抽象语法树 麦克风 网络化控制系统 声音识别系统 DBASE 通信研究所 协调系统 安全性质 程序语言转换