博士生导师

当前位置: 首页>>人才师资>>博士生导师>>正文

阳小华简介


姓名:阳小华

职称:教授

最高学位:博士

职务:校党委副书记

电话:0734-8160567

传真:0734-8281265

E-MAIL:xiaohua1963@foxmail.com

教育背景:

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

1983.9-1986.7,中科院,计算中心,计算数学,理学硕士;

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

工作履历:

1986年起365亚洲最新线路网址(原中南工学院)计算机科学与技术学院教学及科研工作。

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

2001年 任365亚洲最新线路网址计算机科学与技术学院院长

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

2005年 任365亚洲最新线路网址教务处处长,博士生导师

2007年 任365亚洲最新线路网址党政办主任

2009年 任365亚洲最新线路网址纪委书记

2011年8月任365亚洲最新线路网址副校长

2016年 任365亚洲最新线路网址党委副书记

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

研究概况:

主持、参加国家自然科学基金、国防基础项目及省部级科研项目10余项,横向项目总金额达到数百万元。主持国家级精品视频公开课“计算思维漫谈—感悟数字化生存的智慧”,主持省级精品课程1门,在软件学报、核动力工程等国内外知名刊物发表论文60余篇,获得软件著作权3项。主编教材和著作5部。

获奖状况

获得湖南省科技进步奖二等奖1项;主持获湖南省优秀教学成果奖一等奖1项、二等奖1项;湖南省教育信息化优秀科研成果奖二等奖1项;获湖南省优秀教材奖1项。

研究成果:

主要项目:

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

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

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

2007-2010年参加国防基础研究项目(排名第二)《**系统安全工程能力评价研究》(A3720060121);

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.

[9]阳小华,刘朝晖,陈智,等.核电厂数字化仪控系统全状态监测机制[J].核动力工程, 2014, 35(3): 138-141.(EI:20143118013201 )

[10] Yu T L, Yang X H(通讯作者), Chen C, et al. Method of Detecting Unary Polynomial Inequality Likely Invariant [J]. Applied Mechanics and Materials. 2013, 373: 1894-1899. (EI: 20134316889075)

[11]刘朝晖陈智吴志强刘曜阳小华(通讯作者).基于MICON平台的网络通讯协议可靠性保障方案研究,《核动力工程》2016年第4期,2016年8月,165-169(EI:20163502745568)

[12]刘朝晖陈智吴志强刘华阳小华(通讯作者).STPA方法在数字化反应堆紧急停堆系统安全性分析中的研究与应用,《核动力工程》2015年增刊2,2015年12月,157-16(EI:20161902355908)

[13] Liu, Zhaohui; Wu, Zhiqiang; Yang, Xiaohua(通讯作者). Application of STPA of the Digital reactor protection system in NPP for system safety analysis[C]. Proceedings of ICONE-23, 2015, ChiBa,Japan. (EI:20160902019149)

[14] Liu, Zhaohui; Liao, Longtao; Wu, Zhiqiang; Yang, Xiaohua(通讯作者).The software safety analysis based on SFTA for reactor power regulating system in Nuclear Power Plant[C]. Proceedings of ICONE-23, 2015, ChiBa,Japan.(EI:20160902019326)

[15] Peng, Jian, Xiao-Hua Yang(通讯作者), Chun-Ping Ouyang, and Yong-Bin Liu. "An Improved Information Gain Algorithm Based on Relative Document Frequency Distribution." In International Conference on Computer Processing of Oriental Languages, pp. 559-567. Springer International Publishing, 2016.(EI 20165103133884)

软件著作权:

[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

(日期:2017年04月13日 01:29    信息来源:beat365亚洲官方网站 浏览次)
分享到: