张炜 刘明业 王秀芹 张恺元 王昊 洪恩宇 赵沁平 张利霞 王同科 李未 李波 周连第 马光胜

对流扩散方程 拟合函数 布尔可满足性 子列 最小集 数学模型 通用问题求解程序 拟合曲线 输入变量 五十年代 通用性 线性代数方程组 电子设计自动化 线性最小二乘 广义最小二乘 体系结构 约束条件 对角占优 交替方向 多维体 模拟人 差分格式 智能活动 加、乘常数