罗笑南 陈云烽 姜建国 谢绪恺 毕文义 何锫 唐保兴 陈彭年 唐稚松 林伟 荆海英 王世林 俞元洪 李铁钧 秦元勋

可逆性 时序逻辑 时滞微分系统 实解析 证明 函数 参数系统 复合系统 计算量 充要条件 基本算法 半序集 矩阵求逆 无理数 循环程序 新方法 多项式矩阵 子流形 平方 求道 表示矩阵 实用稳定性 四次方程 正整数 分散控制系统 最优控制问题 无条件稳定性 非线性系统 允许控制 自然推理系统