学院网站导师信息表-阳小华
2014-05-07 01:29



学院网站导师信息表





姓名：阳小华

职称：教授


最高学位：博士

职务：副校长


电话：

传真：


E-MAIL:xiaohua1963@foxmail.com


教育背景：

1996.9-1999.8，中科院，数学所，计算机软件与理论，工学博士；

1983.9-1986.7，中科院，计算中心，计算数学，理学硕士；

1979.9-1983.7, 中山大学，计算机科学系，计算数学，理学学士；


工作履历：

1986年起 南华大学（原中南工学院）计算机科学与技术学院 教学及科研工作。

2000.7-2001.7 澳大利亚University of Newcastle 和University of Wollongong 访问学者

2001年 任南华大学计算机科学与技术学院院长

2004.8-2004.12, 日本北陆先端大学院客座研究员。

2005年 任南华大学教务处处长，博士生导师

2007年 任南华大学党政办主任

2009年 任南华大学纪委书记

2011年8月任南华大学副校长


研究领域： 信息检索与知识科学、可信计算与核系统安全、教育信息化与软件工程


研究概况：

主持、参加国家自然科学基金、国防基础项目及省部级科研项目10 余项，横向项目总金额达到数百万元。在软件学报、核动力工程等国内外知名刊物发表论文60 余篇，


获奖状况

主持国家级精品视频公开课1 门、主持省级精品课程1门；获得软件著作权3项；主持获湖南省优秀教学成果奖二等奖1项、湖南省教育信息化优秀科研成果奖二等奖1项；主编教材和著作5部，获湖南省优秀教材奖1项。


研究成果：

主要项目：

2005-2007 年主持湖南省自然科学基金《程序断言动态生成技术》（05JJ30117）；

2006-2008 年主持湖南省科技计划项目《基于搜索的开放式个人智能知识系统》（2006GK3086）；

2007-2009 年参加（排名第二）国家自然科学基金项目《企业隐性知识可持续适用系统机制及实证研究》（**）；

2007-2010 年参加国防基础研究项目（排名第二）《**系统安全工程能力评价研究》（A）；

2011-2013 年主持湖南省自然科学基金项目《基于隐性知识的智能信息检索研究》（10JJ6097）；

2011-2014 年主持湖南省高等学校科学研究重点项目《基于不变量的安全关键系统软件运行时监测研究》(11A105)。

2012- 2013 年主持中国核动力研究设计院项目《 BORONIC 和PANDA 软件委托测试》

2013-至今主持中国核动力研究设计院项目《SGBC、FSC、STAC、SGEF、FUPAC 和NEPRI 平台软件委托测试》

2013 - 2014 年.主持中国核动力研究设计院项目《高可靠性网络设计技术研究》.

主要论著：

[1] Yang Xiao-hua， Liu Jie，Yu Tong-lan，Luo Yang，Wu Qu-jin. Dynamically Discovering Functional Likely Program Invariants Based on Relational Database Theory. Computational Intelligence and Software Engineering2009. International Conference Publication Year: 2009,Page(s):1-4.

[2] Xiaohua Yang, Minjie Zhang. Rational Constraints for Fusion Methods in Meta Search Engine Systems[J]. International Journal of Intelligent Systems. 2004,19(1): 177-190.

[3] 阳小华，刘振宇 谭敏生等.元搜索引擎系统合成算法的约束条件[J].软件学报. 2002, 13(7): 1264-1269.

[4] 阳小华,周龙镶.基于用户访问模式的WWW浏览路径优化[J].软件学报. 2001, 12(6)：846-850.

[5] Xiaohua Yang, Hui Yang, Minjie Zhang. Fusion Methods Based on Common Order Invariability for Meta Search Engine Systems[C]. Proceedings of the International Conference on Intelligent Agents, Web Technologies, and Internet Commerce. Las Vegas, USA. 2001: 310-317.

[6] Xiaohua Yang, Minshen Tan, Zhenyu Lui, et al. Predicting the Goodness of Database Groups Based on Vector Space Model[C]. Proceedings of the Asia Pacific Web Conference0 Changsha, China. 2001: 21-26.

[7] 阳小华. Web站点的超链结构挖掘[J]. 计算机工程与应用. 2001, 37(8): 64-65.

[8] Xiaohua Yang, Minjie Zhang. Necessary Constraints for Fusion Algorithms in Meta Search Engine Systems[C]. Proceedings of the International Conference on Intelligent Technologies. Bangkok. 2000: 409-416.

软件著作权：

[1]阳小华等.系统安全工程能力成熟度模型问题管理系统（2011SR002110），软件著作权.2011.1.17.

[2]阳小华等.系统安全工程能力成熟度证据管理系统（2011SR002159），软件著作权.2011.1.17.

[3]阳小华等.系统安全工程能力成熟度评估系统（2010SR058061），软件著作权.2010.11.2.

[4]阳小华等. 社区方位图信息管理系统（2012SR013483），软件著作权. 2012.2.27

[5]阳小华等. 社区警务管理信息系统（2012SR013687），软件著作权.2012.2.27

[6]阳小华等. 石鼓技术改造项目管理信息系统（2014SR028616），软件著作权. 2014.3.10

[7] 阳小华等. 石鼓无线数据共享系统（2013SR151247），软件著作权. 2013.12.20

[8] 阳小华等. 石鼓舆情采集系统（2013SR151523），软件著作权. 2013.12.20