丛家瑞 刘岩 李秀鹏 燕义唐 李超 赵红 张庆昌 周国宽 梁峥 徐本美 高洪吾 林坚 朱传喜 赖力 左卫能 顾增辉 幸宏伟 曹兴言

穷举测试 测试生成 电路划分 取样器 种子 半闭1-集压缩算子 吸胀冷害 渗透调控 积分方程 组合电路 算子 冷却 速率快速凝固 生理后熟 真值表 碳水化合物 实Banach空间 不动点 常微分方程 迭代 低温砂藏 生物膜 伪穷举测试 紅松离体胚

青岛科技大学成人教育学院 哈尔滨船舶工程学院计算机与信息科学系 大连理工大学材料工程系 鞍山钢铁公司轧辊厂