姓 名：文中华

职 称：教授

办公电话：**

办公地点：新校区E401

电子邮件：zhonghua@xtu.edu.cn


个人简介

文中华，男，1966年出生；中共党员，计算机科学与技术专业博士，教授，博士生导师；湖南省计算机学会理事。近5年主持国家自然科学基金项目2项，湖南省自然科学基金项目1项，湖南省教育厅一般项目1项，湖南省高校重点实验室开放基金项目1项，校级项目2项。近年作为主要骨干参与国家自然科学基金项目2项，教育部博士点基金项目1项，教育部重点项目1项，湖南省教育厅一般项目1项，湖南省教育厅青年项目1项，湖南省普通高等学校教学改革研究项目1项。主要研究领域为智能规划、物联网、电子商务、图论及算法，近期已发表相关论文四十多篇，所发表论文有3篇被SCI收录，16篇被EI收录，10篇被ISTP收录，4篇被美国数学评论收录。

学习工作经历

1985年9月~1988年6月，湖南常德师范专科学校数学专业学习；

1993年9月~1996年6月，湘潭大学计算机科学技术专业读硕士研究生，获工学硕士学位；

2002年9月~2007年6月，中山大学计算机科学技术专业读博士研究生，获工学博士学位；

1988年6月~1993年9月，湖南省安乡县第五中学任教高中数学；

1993年9月~2000年3月，湘潭大学计算机系任教；

2000年3月~2013年3月，湘潭大学信息工程学院计算机科学与工程系任教；

2013年3月~ 至今，湖南工程学院计算机与通信学院任教。

研究方向

1. 纺织服装CAD 技术及应用；

2. 算法设计与分析；

3. 物联网和电子商务。

荣誉奖励情况

1. 2008年 ACM—ICPC国际大学生程序设计大赛亚洲区铜奖教练；

2. 作为指导教师，所带研究生荣获2013年湖南省优秀硕士学位论文，2013年5月。

近期主持的科研项目

1. 国家自然科学基金项目: 基于模型检测的不确定规划的状态可达性及其应用研究(编号**)，2011～2013，32万元，主持。

2. 国家自然科学基金项目: 不确定规划中的观察信息约简方法及其应用研究(编号**)， 2012～2015，80万元，主持。

3. 不确定规划及其应用技术研究，湖南省自然科学基金项目（项目编号：09JJ6090），2009年 - 2011年。主持。已结题。

4. 模型检测规划中的状态之间的可达性研究，湖南省教育厅一般项目（项目编号：08C874），2009年 - 2010年。主持。已结题。

5. 基于模型检测的智能规划方法研究，智能制造湖南省高校重点实验室开放基金项目（项目编号：2009IM07），2010年 - 2011年。主持。已结题。

6. 基于模型检测规划基础研究，湘潭大学博士基金项目（项目编号：11kz/kz08009），2007年 - 2010年。主持。已结题。

7. 城轨车辆节能运行模式仿真计算，横向科研项目（委托单位：南车株洲电力机车有限公司），2013年10月 - 2014年10月。主持。已结题。

代表性论文

1. Zhonghua Wen, Wei Huang, Songqing Xiao, Yunfei Jiang. Improvements to the Strong Cyclic Planning Algorithm, In: Proceedings of the Third International Conference on Natural Computation, Hainan, 2007, Volume: 4, 460 - 465. ( EI核心: **915; ISTP: **085)

2. 文中华，黄巍，刘任任，姜云飞。模型检测规划中的状态之间的可达关系研究，计算机学报，2012，35（8），1634 - 1643。（EI核心，一级期刊）

3. 文中华，黄巍，刘任任，姜云飞。模型检测规划中的状态分层方法，软件学报，2009，20（4），858 - 869。（EI核心: **903，美国数学评论：MR**，一级期刊）

4. 文中华，姜云飞。用分层关联方法求有向图中所有Hamilton回路的算法，计算机研究与发展，2005，42（10），1809 -1814。（EI核心: **，一级期刊）

5. 文中华，姜云飞。用分层关联方法求简单图中所有Hamilton回路的算法，中山大学学报(自然科学版)，2006，45（2），20 - 24。（EI核心: **）

6. Zhonghua Wen, Qiwei Yang, Jinhua Zheng, Jiang Zhu. Improvements to the Strong Planning Algorithm, In: Proceedings of the Fourth International Conference on Natural Computation, Shandong, 2008. Vol(6), 506 - 510. (EI核心: **119; ISTP: **097)

7. Zhong-Hua Wen, Jian-Lin Chen, Qing Chang, Yu-Long Hu. State-Action Pairs Reduction for Strong Cyclic Planning Via State Reachability, In: Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery(FSKD 2010), Shangdong, 2010, 1917 - 1921. (EI核心: **745)

8. Zhong-hua WEN, Jian-lin CHEN, Qing CHANG, Yu-long HU. State-Action Pairs Reduction for Weak Planning Via State Reachability, In: Proceedings of International Conference on Logistics Engineering and Management(ICLEM 2010), Chengdu, 2010, 3421- 3426. (EI核心: **111)

9. 文中华，谢深泉。知识点脚本语言的设计，湘潭大学学报(自然科学版)，1999，21（2），133 - 137。(EI核心: **)

10.文中华。“称球问题”的算法的研究，湘潭大学学报(自然科学版)，2004，26(1)，42 - 48。(美国数学评论：MR**)

11.文中华，陈志红。一个求简单图中所有Hamilton回路的算法，湘潭大学学报(自然科学版)，2005，27（4），34 - 41。（美国数学评论：MR**）

12.文中华，黄巍，姜云飞。一些新的Hamilton图的必要条件，计算机科学，2007，34（1），172 - 176。

13.Zhong-Hua Wen, Hai-Ping Huang, Li-Fang Huang, Zheng-Cheng Wu. Strong Planning Revisited, In: Proceedings of the 4th International Conference on Digital Home (ICDH 2012), Guangzhou, 2012. (EI核心会议)

14.Wei Huang, Zhonghua Wen, Yunfei Jiang and Aixiang Chen. Comparison Between Two Languages Used to Express Planning Goals: CTL and EAGLE, In: Proceedings of 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, 180 - 189. (SCI:**021; EI核心: **; ISTP: **021)

15.Wei Huang, Zhonghua Wen, Yunfei Jiang and Lihua Wu. Observation Reduction for Strong Plans, In: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI’07), Hyderabad, India, 2007, 1930 -1935. (计算机顶级国际会议之一，最高级别的人工智能国际会议，每两年举行1次)

16.黄巍，姜云飞，文中华等。关于CTL与EAGLE,两种规划扩展目标表示语言的语义比较，计算机学报，2009，32（1）：86 - 96。（EI核心: **673，美国数学评论：MR**，一级期刊）

17.Wei Huang, Zhonghua Wen, Yunfei Jiang and Hong Peng. Structured Plans and Observation Reduction for Plans with Contexts, In: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI’09), California, USA, 2009, 1721-1727. (计算机顶级国际会议之一，最高级别的人工智能国际会议，每两年举行1次)

18.陈建林，文中华，朱江，常青。正向搜索方法求强规划解，计算机工程与应用，47(6) : 52 - 55。（CSCD核心）

19.陈建林，文中华，马丽丽，吴正成，任亚峰。一种求解最小权值强规划的方法，计算机工程，37(17) : 167 - 169。（CSCD核心）

20.陈建林，文中华，马丽丽。正向搜索方法求强循环规划解，中国科技论文在线（http://www.paper.edu.cn/），2010年2月。

21.常青，文中华，胡雨隆，陈建林。强循环规划的观察信息约简，计算机工程与应用。48(2) : 148 - 150。（CSCD核心）

22.Qing Chang, Zhonghua Wen, Yulong Hu. Find a Multi-agent Planning Solution In Nono-deterministic Domain, In: Proceedings of the International Conference on Automatic Control and Artificial Intelligence (ACAI 2012), Xiamen, 2012, 1947 - 1950。

23.胡雨隆，文中华，常青，陈建林。确定树求强规划解，计算机工程与应用。48(4) : 40 - 42。（CSCD核心）

24.胡雨隆，文中华，常青，吴正成。不确定规划中非循环可达关系的求解方法，计算机仿真。29(5) : 114 - 117。（CSCD核心）

25.刘任任，文中华。“大众化”高等教育下的“精英教育”探索，计算机教育，2010，24：9 ~11。

26.谭正华，荆永滨，王李管，文中华等。基于空间变异性的IDW矿石品位估值改进方法，中国矿业大学学报，2011，40(6)：928 ~ 932。（EI核心）

27.Lifang Huang, Zhonghua Wen, Zhengcheng Wu, Jianlin Chen. A Greedy Algorithm for Serial Matrix Multiplication, In: Proceedings of 2012 International Conference on Computer and Information Science, Safety Engineering (CAISSE 2012), Wuhan, 2012, 9 ~ 12。（EI核心会议）

28.Zhengcheng Wu, Zhonghua Wen, Lifang Huang, Jianlin Chen. Backward Search for Weak Planning Solution with Minimal Weight, In: Proceedings of 2012 International Conference on Computer and Information Science, Safety Engineering (CAISSE 2012), Wuhan, 2012, 37 ~ 40。（EI核心会议）

29.唐杰，文中华，汪泉，黄巍。不确定可逆规划的强循环规划解，计算机研究与发展，2013，50（9），1970 - 1980。（EI核心，一级期刊）