年晓红 王龙 江明德 凌勃 张福恩 张捍东 黄琳

逻辑设计方法 驱动方程 简便算法 动态补偿器 JK触发器 系数空间 Schur稳定性 区间矩阵的行列式 微分反馈 直接实现 新方法 区间矩阵 最佳状态 补偿器 反馈阵 系统稳定性 线性系统 特征多项式 稳定性 输出比例 多项式 D触发器 时序逻辑电路 闭路系统 同步时序电路 谓词演算 收敛性 新判据