主要研究方向为形式化推导、算法设计与分析、组合分析与优化算法、云计算任务调度等领域,重点开展超大规模集成电路划分、云计算任务调度等相关研究工作。现为井冈山大学“计算机软件与理论”校重点学科学术带头人、“计算机科学与技术”专业带头人兼教学带头人。1996年9月-2000年7月,南昌航空大学获计算机及应用学士学位;2003年9月-2005年12月,江西师范大学获计算机软件与理论硕士学位;2009年9月-2010年2月,教育部同济大学电子与信息工程学院访问学者。主持科研项目经费累计达到84.9万元,其中批准经费53.2万元,配套经费31.7万元。主持国家自然科学基金项目1项,江西省自然科学基金项目、江西省科技厅重点新产品计划项目、江西省教育厅科学技术研究项目等省部级科研项目5项。获江西省高等学校科技成果一等奖1项、二等奖2项等奖励。公开发表论文71篇,其中SCI、EI及ISTP收录论文17篇,相关成果发表在《Journal of Information and Computational Science》、《Journal of Computaional Information Systems》、《Journal of Software Engineering and Application》、《小型微型计算机系统》、《计算机工程与应用》、《计算机应用研究》、《微电子学与计算机》等期刊。以第一完成人获发明专利授权1项,实用新型专利授权6项,计算机软件著作权授权13项。
序号 | 项目名称
(编号) | 项目类型
(下达部门) | 排名 | 立项
年度 | 结题
年度 |
1 | 面向层次式FPGA的多目标布局和布线问题研究(61363014) | 国家自然科学基金项目(国家自然科学基金委) | 第2 | 2013 |
|
2 | 50欧/75欧聚四氟乙烯绝缘半柔射频同轴电缆的研制(2009GJC50044) | 国家政策引导类科技计划项目(科技部) | 第2 | 2009 | 2012 |
3 | 超大规模集成电路设计中多目标超图优化划分问题研究(61063007) | 国家自然科学基金项目(国家自然科学基金委) | 第2 | 2010 | 2014 |
4 | 超大规模集成电路设计中多目标超图划分关键技术研究(20132BBE50048) | 江西省科技支撑计划项目(江西省科技厅) | 第2 | 2013 |
|
5 | 50欧/75欧聚四氟乙烯绝缘半柔射频同轴电缆的制造关键技术研究(赣科字[2012]第16号) | 江西省政策引导类科技计划项目(江西省科技厅) | 第2 | 2009 | 2012 |
6 | 面向层次式FPGA的多目标布局和布线关键技术研究(20161BAB202050) | 江西省自然科学基金项目(江西省自然科学基金委) | 第2 | 2016 |
|
7 | 超图优化划分问题及其在VLSI的应用研究(2009GQS0060) | 江西省自然科学基金项目(江西省自然科学基金委) | 第2 | 2009 | 2013 |
8 | 基于GIS的宿舍管理系统(200910700500) | 江西省科技厅重点新产品计划项目(省科技厅) | 第2 | 2010 |
|
9 | 流域生态环境大数据的云计算任务调度关键技术研究(WE2015012) | 省部重点实验室开放(基金)项目(含教育部)(省部重点实验室(含教育部)) | 第2 | 2015 |
|
10 | 基于动态区分矩阵的属性约简算法研究(吉市科技字[2008]21-2号) | 吉安市科技支撑项目(吉安市科技局) | 第2 | 2008 | 2009 |
11 | 图优化划分问题及其在VLSI的应用研究(JZB11011) | 井冈山大学博士科研启动项目(自然科学)(井冈山大学) | 第2 | 2011 | 2013 |
12 | 井冈山生态旅游景点生态环境预警技术的研究与示范(2012BAC11B03-5) | 国家科技支撑计划项目课题子课题(科技部) | 第3 | 2012 | 2016 |
13 | 基于超图的超大规模集成电路划分关键技术研究(GJJ12474) | 江西省教育厅科技计划项目(江西省教育厅) | 第3 | 2012 | 2013 |
14 | 基于多水平方法的VLSI剖分研究(GJJ09590) | 江西省教育厅科技计划项目(江西省教育厅) | 第3 | 2008 | 2011 |
15 | 图像预处理和数字水印算法研究(吉市科计字[2005]28号) | 吉安市科技支撑项目(吉安市科技局) | 第3 | 2005 | 2006 |
16 | 以培养创新人才为目标的工科专业实验教学模式的研究与实践(05YB200) | 江西省教育规划项目(江西省教育规划办) | 第4 | 2005 | 2006 |
17 | 基于资源的电子商务自动协商研究(2005 第8项) | 吉安市科技支撑项目(吉安市科技局) | 第5 | 2005 | 2006 |
18 | 基于USB接口的数字水位采集和传输系统(kt-1309-1) | 江西省教育厅科技计划项目(江西省教育厅) | 第7 | 2008 | 2010 |
19 | JPEG图像隐写分析系统研究(GJJ08417) | 江西省教育厅科技计划项目(江西省教育厅) | 第7 | 2008 | 2010 |
序号 | 论文名称 | 刊物名称 | 索引 | 发表
年度 | 排名 |
1 | 赋权超图划分问题的多水平迁移优化算法研究 | 小型微型计算机系统 |
| 2016 | 0/4 |
2 | 智慧校园中基于位置服务的移动考勤系统研究 | 山西财经大学学报 |
| 2016 | 0/6 |
3 | 云计算负载均衡任务调度的元胞自动机模型的研究 | 小型微型计算机系统 |
| 2016 | 0/3 |
4 | 计算机算法知识领域的深奥理论可视化教学研究——以《数据结构与算法》课程为例 | 高等财经教育研究(山西财经大学学报) |
| 2014 | 0/5 |
5 | 思维导图在《数据结构与算法》深奥理论可视化的教学行动研究 | 山西财经大学学报 |
| 2016 | 1/5 |
6 | 思维导图在《数据结构与算法》计算过程可视化的教学行动研究 | 山西财经大学学报 |
| 2016 | 1/5 |
7 | 基于不同分配策略的云计算任务调度性能比较与分析 | 井冈山大学学报(自然科学) |
| 2016 | 1/2 |
8 | 云计算环境下基于禁忌搜索的负载均衡任务调度优化算法 | 小型微型计算机系统 |
| 2015 | 1/4 |
9 | 基于赋权有向超图的云计算依赖任务调度研究 | 计算机工程与应用 |
| 2015 | 1/4 |
10 | 一种基于贪心策略的启发式云计算任务调度算法 | 井冈山大学学报 |
| 2015 | 1/3 |
11 | 计算机算法知识领域的计算过程可视化教学研究——以《数据结构与算法》课程为例 | 高等财经教育研究(山西财经大学学报) |
| 2014 | 1/5 |
12 | Comparative Study on the Maximum Subarray Problem based on PAR Method and other Methods | Journal of Information and Computational Science | EI | 2012 | 1/2 |
13 | Comparative Study on the Knapsack problem based on PAR Method and other Methods | International Journal of Digital Content Technology and its Application | EI | 2012 | 1/2 |
14 | 云计算与高等教育管理信息服务系统构建 | 山西财经大学学报 |
| 2012 | 1/5 |
15 | 基于云服务的网络学习平台建设 | 山西财经大学学报 |
| 2012 | 1/5 |
16 | 图压缩存储格式的核排序重边匹配算法 | 计算机工程与应用 |
| 2011 | 1/4 |
17 | 基于CDIO的创新型软件工程人才培养模式研究* | 山西财经大学学报 |
| 2011 | 1/5 |
18 | 基本和混合元胞自动机的伪随机数发生器研究 | 计算机工程与应用 |
| 2010 | 1/4 |
19 | An effective incremental fuzzy concept lattice formation algorithm based on alternate attribute and object | Journal of Information and Computational Science | EI | 2010 | 1/2 |
20 | Formal Derivation of the Dynamic Programming Problem with PAR Method | Journal of Information and Computational Science | EI | 2010 | 1/2 |
21 | 赋权有向图的最小生成树算法 | 计算机工程 |
| 2010 | 1/4 |
22 | 移动机器人路径规划算法的研究 | 井冈山大学学报(自然科学版) |
| 2010 | 1/4 |
23 | 面向RTL的VHDL语言模拟系统设计与实现 | 微电子学与计算机. |
| 2010 | 1/4 |
24 | Formal Derivation of the second kind Stirling numbers with PAR Method | International Workshop on Education Technology and Computer Science | EI | 2010 | 1/2 |
25 | Formal Derivation of the Catalan Numbers with PAR Method | International Conference on Power Electronics and Intelligent Transportation System | EI | 2010 | 1/2 |
26 | 基于信息摘要函数的文件完整性检测工具 | 微电子学与计算机 |
| 2010 | 1/4 |
27 | 基于CDIO能力培养的大学生创新性实验项目研究 | 山西财经大学学报 |
| 2010 | 1/5 |
28 | 一种有效的C++内存泄漏自检测方法 | 工矿自动化. |
| 2009 | 1/3 |
29 | 一种VLSI设计到无向赋权图的转换系统 | 微电子学与计算机 |
| 2009 | 1/4 |
30 | 基于微GIS的宿舍管理信息系统关键技术研究 | 井冈山学院学报 |
| 2009 | 1/9 |
31 | 现代信息技术环境下本科教育导师制的研究. | 山西财经大学学报 |
| 2009 | 1/4 |
32 | Formal Derivation of the Combinatorics Problem with PAR Method | Journal of Software Engineering and Applications | EI | 2009 | 1/1 |
33 | Formal Derivation of the Longest Common Subsequence Problem with PAR Method | International Conference on Information Management, Innovation Management and Industrial Engineering | EI | 2009 | 1/2 |
34 | Formal Derivation of the Maximal Contiguous Subsequence Sum Problem with PAR Method | International Symposium on Computational Intelligence and Design | EI | 2009 | 1/2 |
35 | Formal Derivation of the Interlaced Arrange Scheme Number Combinatorics Problem with PAR Method | International Conference on Information Science and Engineering | EI | 2009 | 1/2 |
36 | Formal Derivation of the Knapsack Problem with PAR Method | International Conference on Wireless Networks and Information Systems | EI | 2009 | 1/2 |
37 | Formal Derivation of the String Scheme Number Combinatorics Problem with PAR Method | International Conference on Computational Intelligence and Software Engineerin | EI | 2009 | 1/2 |
38 | 一种用户身份认证系统的形式化描述 | 计算机应用与软件 |
| 2009 | 1/3 |
39 | 一种基于Haar小波的塔式分解重构算法 | 井冈山学院学报 |
| 2008 | 1/3 |
40 | 基于动态区分矩阵的属性约简算法 | 计算机工程. |
| 2008 | 1/3 |
41 | 一种基于元胞自动机的无向图剖分优化算法 | 计算机工程与应用. |
| 2008 | 1/3 |
42 | 基于对象和属性交叉渐进模糊概念格生成算法 | 计算机工程与应用 |
| 2008 | 1/3 |
43 | 多发射处理器的指令调度算法研究 | 井冈山学院学报 |
| 2008 | 1/4 |
44 | An Effective Multi-level Algorithm Based on Genetic Algorithm for Bisecting Graph | Journal of Computational Information Systems | EI | 2008 | 1/2 |
45 | 一种ISPD98电路网表到图的转换算法 | 井冈山学院学报 |
| 2008 | 1/3 |
46 | 一种基于微GIS的租赁管理信息系统 | 微计算机信息 |
| 2007 | 1/4 |
47 | A New Multi-level Algorithm Based on Particle Swarm Optimization for Bisecting Graph | Lecture Notes in Artificial Intelligence | EI | 2007 | 1/2 |
48 | An Effective Multi-level Algorithm Based on Simulated Annealing for Bisecting Graph | Lecture Notes in Computer Science | EI | 2007 | 1/2 |
49 | An Effective Refinement Algorithm Based on Swarm Intelligence for Graph Bipartitioning | Lecture Notes in Computer Science | EI | 2007 | 1/2 |
50 | 基于微GIS的租赁管理信息系统设计与实现 | 井冈山学院学报 |
| 2007 | 1/3 |
51 | An Effective Algorithm of Shortest Path Planning in a Static Environment | Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management | ISTP | 2006 | 1/3 |
52 | 分划递推法在Hanoi塔问题上的应用 | 广西科学院学报. |
| 2006 | 1/2 |
53 | 一种基于递归算法的自顶向下语法分析方法 | 井冈山师范学院学报 |
| 2004 | 1/2 |
54 | 一种基于多哈希表的堆式动态存储管理方法 | 井冈山师范学院学报 |
| 2003 | 1/2 |
55 | MCS51兼容芯片的正向设计 | 微处理机 |
| 2003 | 1/2 |
56 | VHDL语言对微程序设计思想的描述及模拟的应用 | 井冈山师范学院学报 |
| 2003 | 1/1 |
57 | 数据加密技术在银行联机交易交换处理系统中的应用 | 微型电脑应用 |
| 2002 | 1/3 |
58 | LINUX下通过/proc和gdb感染进程的实现 | 井冈山师范学院学报 |
| 2002 | 1/2 |
59 | 非经济专业学生《数据结构与算法》课程教学研究 | 山西财经大学学报 |
| 2015 | 2/5 |
60 | 基于结点匹配策略的赋权超图核值实验比较 | 计算机工程 |
| 2013 | 2/6 |
61 | Comparative Experiment of the Core Property of Weighted Hyper-Graph based on the based on the ISPD98 benchmark | Journal of Information & Computational Science | EI | 2013 | 2/2 |
62 | 一种时间复杂度为O(n)的无向超图核值求解算法 | 小型微型计算机系统 |
| 2013 | 2/4 |
63 | 赋权超图划分优化问题的元胞自动机模型及算法研究 | 计算机工程 |
| 2012 | 2/5 |
64 | Research on Verification and Implementation of RTL-based VHDL Simulator | Energy Procedia | EI | 2012 | 2/2 |
65 | 赋权超图优化划分算法的电路划分实验比较研究 | 计算机工程与应用 |
| 2012 | 2/5 |
66 | 一种VLSI设计到赋权超图的转换系统 | 微电子学与计算机 |
| 2012 | 2/4 |
67 | 一种ISPD98电路网表到超图的转换算法 | 微电子学与计算机 |
| 2011 | 2/4 |
68 | 基于模糊剪枝的最优小波包基图像压缩算法 | 计算机工程 |
| 2011 | 2/3 |
69 | 基于Petri网建模的Web型MIS系统的研究 | 微电子学与计算机 |
| 2011 | 2/4 |
70 | 数据结构中的抽象概念形象化教学研究 | 井冈山大学学报 |
| 2010 | 2/4 |
71 | 一种VLSI剖分系统的研究与实现 | 计算机工程与应用 |
| 2010 | 2/3 |
72 | 无向赋权图剖分优化问题的研究进展 | 井冈山大学学报 |
| 2010 | 2/3 |
73 | 基于谱方法的无向赋权图剖分算法 | 计算机应用研究 |
| 2009 | 2/3 |
74 | An Effective Multi-level Immune Algorithm for Graph bipartitioning | International Joint Conferences on Bioinformatics, System Biology and Intelligent Computing | EI | 2009 | 2/3 |
75 | 云计算大学计算机基础学习系统设计 | 软件 |
| 2012 | 3/3 |
76 | 基于Flash技术的住宅小区数字地图的设计与实现 | 山西财经大学学报 |
| 2010 | 3/3 |
77 | An Independent Dual-Core Structure of the River Sediment of Image Data Transmission System | Seventh IEEE International Conference on Control and Automation | EI | 2009 | 3/4 |
78 | 生态学视角下的“学案导学”教学模式 | 计算机教育 |
| 2013 | 4/5 |
79 | 基于QoS的Web服务选择方法研究新进展 | 计算机应用研究 |
| 2015 | 5/5 |
80 | 基于Hooke&Jeeves模式搜索的排序学习方法 | 计算机工程 |
| 2015 | 5/5 |
81 | 多目标模拟退火算法及其应用研究进展 | 计算机工程与科学 |
| 2013 | 7/7 |
序号 | 知识产权名称 | 知识产权类别 | 知识产权年度 | 排名 |
1 | 基于元胞自动机和赋权超图的大规模集成电路划分方法(ZL.201210154573.0 ) | 发明专利 | 2013 | 第1 |
2 | 基于元胞自动机和赋权有向超图的云计算任务调度方法(ZL.201410137810.1) | 发明专利 | 2016 | 第1 |
3 | 一种教室门扇任意开度固定器(CN 201738702 U) | 实用新型专利 | 2010 | 第1 |
4 | 一种简易的盆栽植物滴灌装置(201220283648.0) | 实用新型专利 | 2012 | 第1 |
5 | 一种无扇叶静音的飘香风扇(201220295366.2 ) | 实用新型专利 | 2012 | 第1 |
6 | 一种蓝牙移动设备的防盗防丢报警装置(201220199753.6 ) | 实用新型专利 | 2012 | 第1 |
7 | 一种新型喷雾擦玻璃装置(ZL201220457176.6) | 实用新型专利 | 2013 | 第1 |
8 | 一种可喷洗发水的梳子(2014203147802) | 实用新型专利 | 2014 | 第1 |
9 | 一种能够记录运动信息的音乐播放装置(ZL.201620316292.4) | 实用新型专利 | 2016 | 第1 |
10 | 基于蚁群算法的VLSI剖分系统软件(2011SR013114) | 软件著作权 | 2011 | 第1 |
11 | 基于模拟退火算法的VLSI剖分系统软件(2011SR055500) | 软件著作权 | 2011 | 第1 |
12 | VLSI设计到赋权超图的转换系统软件(2011SR055801) | 软件著作权 | 2011 | 第1 |
13 | 基于虚拟内存管理机制的可编辑VLSI线网系统软件(2012SR065728) | 软件著作权 | 2012 | 第1 |
14 | 支持云计算特性的用户任务分解系统软件(2013SR102309) | 软件著作权 | 2013 | 第1 |
15 | 支持云计算特性的用户任务到赋权有向超图的转换系统软件(2013SR101003) | 软件著作权 | 2013 | 第1 |
16 | 基于蚁群算法的赋权有向超图优化划分系统软件(2014SR15654202) | 软件著作权 | 2014 | 第1 |
17 | 云计算环境下基于禁忌搜索算法的负载均衡任务调度系统软件(2014SR217497) | 软件著作权 | 2014 | 第1 |
18 | 基于模拟退火算法的赋权有向超图优化划分系统软件(2014SR114566) | 软件著作权 | 2014 | 第1 |
19 | 基于元胞自动机的多约束和多目标赋权有向超图优化划分系统软件(2014SR107323) | 软件著作权 | 2014 | 第1 |
20 | 基于遗传算法的赋权有向超图优化划分系统软件(2014SR104276) | 软件著作权 | 2014 | 第1 |
21 | 面向多约束多目标的赋权有向超图优化划分系统软件(2014SR11065) | 软件著作权 | 2014 | 第1 |
22 | 基于多目标超图优化划分的云计算任务调度系统(2015SR031533) | 软件著作权 | 2015 | 第1 |
23 | 基于粒子群算法的赋权有向超图优化划分系统软件(2015SR100431) | 软件著作权 | 2015 | 第1 |
24 | 云计算环境下基于模拟退火算法的负载均衡任务调度系统软件(2015SR117527) | 软件著作权 | 2015 | 第1 |
25 | 云计算环境下基于蚁群算法的负载均衡任务调度系统软件(2015SR108270) | 软件著作权 | 2015 | 第1 |
26 | 云计算环境下基于元胞自动机的负载均衡任务调度系统软件(2015SR115836) | 软件著作权 | 2015 | 第1 |
27 | 基于禁忌搜索算法的多约束和多目标赋权有向超图优化划分系统软件(2016SR219350) | 软件著作权 | 2016 | 第1 |
28 | 基于粒子群算法的多约束和多目标赋权有向超图优化划分系统软件(2016SR218951) | 软件著作权 | 2016 | 第1 |
29 | 基于模拟退火算法的多约束和多目标赋权有向超图优化划分系统软件(2016SR219304) | 软件著作权 | 2016 | 第1 |
30 | 基于群智能算法的多约束和多目标赋权有向超图优化划分系统软件(2016SR232863) | 软件著作权 | 2016 | 第1 |
31 | 一种乐谱显示及演奏电子装置(201010045861.3) | 发明专利 | 2012 | 第2 |
32 | 基于结点属性函数的大规模集成电路的核值计算方法(ZL.201210150329.7 ) | 发明专利 | 2013 | 第2 |
33 | 基于多水平划分法和赋权超图的大规模集成电路划分方法(ZL 201210155738.6) | 发明专利 | 2014 | 第2 |
34 | 基于免疫算法的VLSI剖分系统软件(2011SR051826) | 软件著作权 | 2011 | 第2 |
35 | 一种基于天网工程中公共安全视频图像的车辆特征识别装置(发明专利)(2011103872840) | 发明专利 | 2016 | 第3 |
36 | 一种学生班级离校显示及通知家长电子装置(201020666296.8) | 实用新型专利 | 2011 | 第3 |
37 | 一种基于天网工程中公共安全视频图像的车辆特征识别装置(201120484812.X) | 实用新型专利 | 2012 | 第3 |
38 | 一种可喷水的双排梳子(201220288182.3) | 实用新型专利 | 2012 | 第3 |
39 | 一种简易的儿童捕鱼装置(201220283242.2) | 实用新型专利 | 2012 | 第3 |
40 | 一种无源防水的扬声器声音放大装置(201420311897.5) | 实用新型专利 | 2014 | 第3 |
41 | 一种带磁性的自粘便签纸(201420306115.9) | 实用新型专利 | 2014 | 第3 |
42 | 基于遗传算法的VLSI剖分系统软件(2011SR013190) | 软件著作权 | 2011 | 第3 |
43 | 基于元胞自动机的多约束和多目标超图优化划分系统软件(2012SR065726) | 软件著作权 | 2012 | 第3 |
44 | 支持附加属性的Verilog语言编译系统软件(2012SR065410) | 软件著作权 | 2012 | 第3 |
45 | 面向多约束多目标的超图优化划分系统软件(2013SR102882) | 软件著作权 | 2013 | 第3 |
46 | 基于群智能算法的赋权有向超图优化划分系统软件(2014SR109037) | 软件著作权 | 2014 | 第3 |
47 | 基于免疫算法的赋权有向超图优化划分系统软件(2014SR102892) | 软件著作权 | 2014 | 第3 |
48 | 基于BLIF语言的电路网表文件编译及赋权超图转换系统软件(2015SR048378) | 软件著作权 | 2015 | 第3 |
49 | 层次式FPGA的资源描述文件编译及多层次布线资源图构造系统软件(2015SR047847) | 软件著作权 | 2015 | 第3 |
50 | 云计算环境下基于粒子群算法的负载均衡任务调度系统软件(2015SR100478) | 软件著作权 | 2015 | 第3 |
51 | 基于禁忌搜索算法的赋权有向超图优化划分系统软件(2015SR1000099) | 软件著作权 | 2015 | 第3 |
52 | 云计算环境下基于免疫算法的负载均衡任务调度系统软件(2015SR100485) | 软件著作权 | 2015 | 第3 |
53 | 云计算环境下基于遗传算法的负载均衡任务调度系统软件(2015SR100388) | 软件著作权 | 2015 | 第3 |
54 | 基于蚁群算法的多约束和多目标赋权有向超图优化划分系统软件(2016SR220858) | 软件著作权 | 2016 | 第3 |
55 | 基于遗传算法的多约束和多目标赋权有向超图优化划分系统软件(2016SR219354) | 软件著作权 | 2016 | 第3 |
56 | 基于元胞自动机的赋权有向超图优化划分系统软件(2016SR219329) | 软件著作权 | 2016 | 第3 |
57 | 基于免疫算法的多约束和多目标赋权有向超图优化划分系统软件(2016SR218959) | 软件著作权 | 2016 | 第3 |
58 | 一种高空剪枝机械手(ZL.2012101940782 ) | 发明专利 | 2013 | 第4 |