邱建林 于鹏 王昌佐 沈蔚 秦小麟 刘叙华 孙瑾 涂象初 刘维富 邓文胜 刘凤雏 孙茂相 关泽群 李京 王波 董再励 徐兵 彭光雄 顾晖 管致锦 王三五 刘开周 郑吉平

语义归结 武汉 多值逻辑 广义MP问题 α-三I真度解 子句集 归结原理 三I算法 势阱 模糊逻辑 数学模型 城镇用地 城镇建筑覆盖区 NDBI 多值最小项 正交轮 电荷包 公式真度 逻辑电路 遥感影像 可生存性 不确定性 遥感 k-out-of-n:S系统 移动机器人 阈值 多值多维体 基本无关集