李金泉 陈亮 李大法 宋以胜 袁敏 童頫 余意 邹赟波 卢厚清 丛慧 吴值民 汪凌云 曾永宁 徐锦峰 郭建友

重言式 数据库 染色体 自我校正 虚功方程 图论 最大稳健有效性 高阶逻辑 父子竞争 自适应交叉概率 算法 归结 壳模型 BAE 超几何微分方程 查询优化 不相关性指数 偶图 混杂 一阶逻辑 分类 MAX3 条件推断 基因模型选择 查询处理 Hamiltonian