陈莘萌 杨辉 王鋐 李衍达 曹大铸 肖创柏 陈良 衷路生 罗晖

ARMA模型 子空间辨识 闭环系统 系统辨识 结构辨识 两种方法 闭合回路系统 部分正确性 最小描述长度准则 计算机 程序设计框图 叶结点 基本算法 时态逻辑 不变性 码值 顺序进程 证明规则 正交投影