吕志鹏 熊正大 周立刚 石赫 陈志祥 程念华 黄勤波 邓泽林

递归可表现 势能函数 任务调度 蛋白质折叠 拟人方法 调度 拟物算法 可满足性

湖北武汉 湖南衡阳 衡阳师范学院数学系 华中科技大学计算机学院 湖北大学数学与计算机科学学院 中国科学院数学与系统科学研究院 华中科技大学计算机科学与技术学院