谢希仁 王正萍 张兴元 张国友 姚红 王元元

类型系统 遗传算法 农药残留 无功优化 类型检测 土壤直接进样 模拟退火遗传算法 类型推理 模拟退火算法 气相色谱 语义模型

解放军理工大学指挥自动化学院计算机系 安徽工程科技学院电气工程系