邢思茗 陈立平 常天庆 戴春来 王波兴 徐文胜 赵燕妮 李萍 陈继文 周以齐 邓澍军 边计年 彭小波 周济 杨红娟 龚雄

约束显示 几何约束系统 并行工程 欠约束 耦合约束 约束满足问题 可满足性模理论 动态约束 冗余自由度 特征优化 参数化 动态约束网络 冗余约束 寄存器传输级 约束求解 逆向工程 奇异 有向图 目标捕捉 形式验证 同伦法 计算机应用 稀疏矩阵 过约束 几何约束建模