教授/博士/硕士生导师，井冈山大学副校长

Email: 13367069363@163.com

Phone: +86-0796-8100622(o) 13367069363 (M)

Address: 江西江西省吉安市青原区学苑路28号电子与信息工程学院

l 2015.12- 至今 井冈山大学教授

l 2010年9月－2011年2月，同济大学电子与信息工程学院，访问学者；

l 2011年9月－2012年7月，清华大学（中组部"西部之光"学者培养计划），访问学者；

l 2013年7月－2014年6月，美国加州大学洛杉矶分校（UCLA），国家公派访问学者；

l 2016年9月－2017年7月，清华大学（江西省"百千万"人才研修计划），访问学者；

l 2013年11月，被江西省委组织部、江西省科学技术协会授予江西省远航工程人才称号；

l 2014年08月，被江西省人力资源和社会保障厅授予江西省百千万人才称号；

l 2015年07月，被江西省科技厅授予获江西省杰出青年人才称号；

l 2016年09月，被江西省人民政府授予获江西省政府特殊津贴称号；

l 2020年12月，被中华人民共和国国务院授予国务院政府特殊津贴称号；

l 2016年~至今，被井冈山大学授予庐陵学者、科研标兵、优秀教师、先进个人等荣誉；

1、主持的国家级项目

（1）主持国家自然科学基金，基于布尔可满足性的FPGA软错误容错问题研究（61864003）,44万

（2）主持国家自然科学基金，面向层次式FPGA的多目标布局和布线问题研究（61363014），43万；

（3）主持国家自然科学基金，超大规模集成电路设计中多目标超图优化划分问题研究 （61163007），20万；

2、主持的省级课题：

（1）主持江西省自然科学基金，面向层次式FPGA的多目标布局和布线关键技术研究（20161BAB202050）,6万

（2）主持江西省自然科学基金，超图优化划分问题及其在VLSI的应用研究（2009GQS0060）,1万

（3）主持江西省科技支撑计划项目，超大规模集成电路设计中多目标超图划分关键技术研究（20132BBE50048）,20万

4、代表性论文：

[1]冷明,孙凌宇,郭晨. 一种XDL网表电路到有向超图的转换系统[J]. 微电子学与计算机,2021,38(02):66-71.

[2]冷明,孙凌宇,郭晨. XDL网表的前向电路图生成算法[J]. 计算机工程与应用,2021,57(10):75-80.

[3]冷明,孙凌宇,周宇,杨威. 一种FPGA结构描述文件到布线资源图的转换系统[J]. 井冈山大学学报(自然科学版),2017,38(04):52-56.

[4]冷明,孙凌宇,周宇,朱平. VPR的FPGA结构描述文件的解析研究[J]. 井冈山大学学报(自然科学版),2017,38(01):49-55.

[5]冷明,孙凌宇,朱平. 云计算负载均衡任务调度问题的元胞自动机模型研究[J]. 小型微型计算机系统,2016,37(10):2212-2216.

[6]冷明,孙凌宇,朱平,李金忠. 赋权超图划分问题的多水平迁移优化算法研究[J]. 小型微型计算机系统,2016,37(06):1293-1297.

[7]冷明,周松,张斌,林俊岳,周平,高红英,刘攀. 井冈山大学双高人员科研项目能力的统计分析[J]. 井冈山大学学报(自然科学版),2015,36(05):66-73.

[8]冷明,孙凌宇,边计年,马昱春. 一种时间复杂度为O(m)的无向超图核值求解算法[J]. 小型微型计算机系统,2013,34(11):2568-2573.

[9]冷明,孙凌宇,朱平,边计年,马昱春,张亮. 基于结点匹配策略的赋权超图核值实验比较[J]. 计算机工程,2013,39(06):85-90.

[10]冷明,孙凌宇,边计年,马昱春,朱平. 超图划分问题的元胞自动机模型及算法研究[J]. 计算机工程,2012,38(15):23-27.

[11]冷明,孙凌宇,郭恺强,朱平. 一种VLSI设计到赋权超图的转换系统[J]. 微电子学与计算机,2012,29(02):7-12+17.

[12]冷明,孙凌宇,郭恺强,朱平. 基于Petri网建模的Web型MIS系统的研究[J]. 微电子学与计算机,2011,28(11):44-47+52.

[13]冷明,孙凌宇,郭恺强,朱平. 一种ISPD98电路网表到超图的转换算法[J]. 微电子学与计算机,2011,28(09):111-114.

[14]冷明,孙凌宇,郁松年. 一种VLSI剖分系统的研究与实现[J]. 计算机工程与应用,2010,46(03):62-66.

[15]冷明,孙凌宇,郁松年. 无向赋权图剖分优化问题的研究进展[J]. 井冈山大学学报(自然科学版),2010,31(01):82-90.

[16]冷明,孙凌宇,郁松年. 基于谱方法的无向赋权图剖分算法[J]. 计算机应用研究,2009,26(06):2086-2089.

[17]冷明,郁松年,丁旺,郭强. 基于蚁群优化的多水平图划分算法(英文)[J]. Journal of Shanghai University(English Edition),2008,(05):426-432.

[18]冷明. 基于多水平方法的无向图剖分及其在VLSI设计中的应用研究[D].上海大学,2008.

[19]冷明,唐毅. VHDL语言在状态空间表示法求解过河问题中的应用[J]. 计算机工程,2003,(06):71-72+84.

[20]冷明,唐毅,吴悦,杨洪斌. VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用[J]. 计算机工程,2003,(02):86-87.