李罡 谢平 孟洋 陈鹏 祝刚 吕志鹏 黄文奇

HP模型 PERM算法 CVI 启发式算法 汇编语言 圆形packing问题 增长型算法 测试系统 PC104 NP难度 蛋白质折叠问题 NP难 有限枚举策略 AB非格点模型 试车台 PC-7483 实现 蛋白质折叠 NP难问题 占角动作 性能参数 研制 燃气涡轮起动机

华中科技大学计算机科学与技术学院 华中师范大学教育信息技术工程研究中心 河南信阳 武汉430079华中科技大学计算机科学与... 空军第一航空学院 武汉43007 湖北武汉 华中科技大学计算机学院