阳小华，二级教授，博士生导师，南华大学计算学科与核学科带头人，国家国防科工局“核设施安全管理与可靠性技术”国防科技创新团队主要成员，中核集团高可信计算重点学科实验室主任，湖南省121人才工程首批人选。
1983年毕业于中山大学计算机系，1986年获中国科学院计算中心硕士学位，1999年获中国科学院数学研究所计算机软件与理论博士学位。2000年澳大利亚Wollongong大学和Newcastle大学访问学者，2004年日本北陆先端科学技术大学院客座研究员。
长期从事计算机领域的教学与科研工作。近年来，主要研究领域为新型因果逻辑控制、软件测试与质量保障、核电厂数字化仪控系统安全性、核设施退役计算机支持系统、大数据分析与舆情监测等。主持和参加中央军委科技委前沿科技创新项目、国家自然科学基金、国防基础项目及省部级科研项目20余项 ，主持完成国内主要核类软件测试10余项。在软件学报、核动力工程等国内外知名刊物发表论文100余篇，获湖南省科技进步奖二等奖1项，软件著作权5项。主持获得国家精品视频公开课《计算思维漫谈》，《大学计算机》湖南省精品课程，湖南省教学成果奖一等奖1项，主编国家十二五规划教材《医学计算机应用》等教材5门。全国计算机辅助教育专业委员会常务理事，湖南省计算机学会副会长，衡阳市计算机学会名誉理事长。
 （一）具体论文如下表。 1）EI论文
| |
论文 |
备注 |
| 1 |
阳小华, 刘朝晖, 陈智, 等. 核电厂数字化仪控系统全状态监测机制[J]. 核动力工程, 2014, 35(3): 138-141.(EI:20143118013201 ) |
EI |
| 2 |
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) |
EI |
| 3 |
刘朝晖，陈智，吴志强，刘曜，阳小华（通讯作者）. 基于MICON 平台的网络通讯协议可靠性保障方案研究，《核动力工程》2016年第4期，2016年8月，165-169(EI：20163502745568 |
EI |
| 4 |
刘朝晖，陈智，吴志强，刘华，阳小华（通讯作者）.STPA 方法在数字化反应堆紧急停堆系统安全性分析中的研究与应用，《核动力工程》2015年增刊2,2015年12月，157-16(EI:20161902355908) |
EI |
| 5 |
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) |
EI |
| 6 |
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) |
EI |
| 7 |
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） |
EI |
2）中文核心期刊
| |
论文 |
备注 |
| 1 |
刘杰, 阳小华（通讯作者）, 余童兰, 等. 基于 STAMP 模型的核动力蒸汽发生器水位控制系统安全性分析[J]. 中国安全生产科学技术, 2014, 10(5): 78-83.（核心期刊） |
核心 |
| 2 |
刘杰, 阳小华（通讯作者）, 刘华, 等. 基于微分动态逻辑的数字化反应堆控制系统建模与验证方法[J]. 中国安全生产科学技术, 2015, 11(5): 40-44.（核心期刊） |
核心 |
| 3 |
刘杰, 吴志强, 阳小华（通讯作者）,等. 基于系统理论的稳压器压力控制器安全性分析[J]. 信息技术, 2016(2):31-34.（核心期刊） |
核心 |
| 4 |
李晓昀, 阳小华, 余颖,等. 引入体裁描述目标的检索匹配模型研究[J]. 山西大学学报(自然科学版), 2013, 36(4):517-522. |
核心 |
| 5 |
欧阳纯萍, 阳小华（通讯作者）, 雷龙艳,等. 多策略中文微博细粒度情绪分析研究[J]. 北京大学学报自然科学版, 2014, 50(1):67-72. |
核心 |
| 6 |
万亚平, 阳小华, 刘志明,等. 社交网络用户行为的体裁互文性分析[J]. 计算机科学, 2015, 42(B11):268-272. |
核心 |
| 7 |
文杰,阳小华,汪琳霞. 心跳包在核电仪控网络安全性设计中的研究[J]. 自动化仪表,2017,(01):61-64+68. |
核心 |
| 8 |
张硕望,欧阳纯萍,阳小华,刘永彬,刘志明. 融合《知网》和搜索引擎的词汇语义相似度计算[J]. 计算机应用,2017,(04):1056-1060. |
核心 |
| 9 |
王玮,欧阳纯萍,阳小华,罗凌云,刘志明. 融合句子情感和主题相似性的中文新闻文本情感摘要[J]. 计算机应用研究,2017,(12):1-6. |
核心 |
| 10 |
[1]刘志明,万亚平,蒋辉,阳小华,沙基昌. 一种基于兴趣聚集的P2P元数据管理机制[J]. 计算机工程,2012,(22):47-49+54. |
核心 |
3）其它的论文
| |
论文 |
备注 |
| 1 |
阳小华, 刘杰, 刘朝晖, 等. STAMP 模型及其在核电厂 DCS 安全分析中的应用展望[J]. 核安全, 2013, 12(3): 42-47. |
|
| 2 |
刘华, 阳小华（通讯作者）, 陈柯. 核电厂仪控系统阈值数据处理及判决优化[J]. 核安全, 2013, 12(4): 44-48. |
|
| 3 |
刘华, 阳小华（通讯作者）, 陈柯. 核电站厂用电供电可靠性及建模[J]. 四川兵工学报, 2013, 34(10): 86-88. |
|
| 4 |
刘华, 阳小华（通讯作者）, 刘杰, 等. 核电站数字化仪控系统的安全预警[J]. 湖南工业大学学报, 2013, 27(3): 61-64. |
|
| 5 |
刘华, 阳小华（通讯作者）, 陈柯. 反应堆保护系统 N 取 M 判决系统分析与设计[J]. 自动化与仪器仪表, 2013 (6). |
|
| 6 |
李晓昀, 阳小华（通讯作者）, 余颖,等. 引入体裁描述目标的检索匹配模型研究[J]. 山西大学学报(自然科学版), 2013, 36(4):517-522. |
CSCD |
| 7 |
阳小华, 黄彩霞. 基于GEP的线性指数函数型程序不变量动态发现方法[J]. 南华大学学报(自然科学版), 2012, 26(1):63-67. |
|
| 8 |
吴取劲, 阳小华（通讯作者）, 鹿江春,等. 一种基于图深度优先搜索的基本路径集自动生成优化算法[J]. 南华大学学报(自然科学版), 2012(3):87-90. |
|
| 9 |
蒋辉, 阳小华（通讯作者）, 刘志明,等. 基于一种文档表示模型的站内搜索引擎设计与实现[J]. 南华大学学报(自然科学版), 2013(4):77-81. |
|
| 10 |
欧阳纯萍, 阳小华（通讯作者）, 余颖,等. 管网材料腐蚀信息语义检索系统的设计与实现[J]. 南华大学学报(自然科学版), 2012, 26(1):58-62. |
|
| 11 |
李玉燕,阳小华,吴取劲. 基于GEP-RNC的指数对数型程序不变量发现方法[J]. 南华大学学报(自然科学版),2017,(01):72-76. |
|
（二）项目课题清单： 1）纵向项目
| 序号 |
立项时间 （专利获得时间） |
结题时间 |
项目、专利名称 |
排名 |
立项单位 (专利授予单位) |
| 1 |
2012 |
2016 |
基于计算科学基本问题的计算思维培养模式研究 |
1 |
湖南省教育科学规划办（项目编号：XJK012CGD020） |
| 2 |
2011 |
2015 |
基于不变量的安全关键系统软件运行时监测研究 |
1 |
湖南省高等学校科学研究重点项目(项目编号：11A105) |
| 3 |
2011 |
2013 |
基于隐性知识的智能信息检索研究 |
1 |
湖南省自然科学基金(项目编号：10JJ6097） |
| 4 |
2008 |
2010 |
基于合作学习的软件工程职业人才培养模式研究与实践 |
1 |
湖南省教育科学规划办（项目编号：XJK08BGD017） |
| 5 |
2007 |
2009 |
企业隐性知识可持续适用系统机制及实证研究 |
2 |
国家自然科学基金委（项目编号：70671051） |
| 6 |
2007 |
2010 |
**系统安全工程能力评价研究 |
2 |
国防基础（项目编号：A3720060121） |
| 7 |
2006 |
2008 |
基于搜索的开放式个人智能知识系统 |
1 |
湖南省科技厅（项目编号：2006GK3086） |
| 8 |
2006 |
2008 |
精品课程的示范效应与资源共享机制研究与实践 |
1 |
湖南省教育厅 |
| 9 |
2005 |
2006 |
程序断言动态生成技术 |
1 |
湖南省自然科学基金（项目编号：05JJ30117） |
| 10 |
2003 |
2005 |
基于Web Service的元搜索引擎 |
1 |
湖南省教育厅科研课题（项目编号：4-03-JY-03C433） |
| 11 |
2003 |
2005 |
基于校园信息化环境的教学管理改革与实践 |
1 |
湖南省教育科学规划办（项目编号：XJK03CG021） |
| 12 |
2016 |
2017 |
因控论中因果分层理论与描述方法研究 |
1 |
军委科技委 |
2）横向项目
| 2011年08月至2012年12月 |
核电工程设计相关程序委托开发 |
中国核动力研究设计院 |
327360 |
| 2012年07月至2013年7月 |
BORONIC和PANDA软件委托测试 |
中国核动力研究设计院 |
182000 |
| 2012年07月至2013年7月 |
SGBC、FSC、STAC、SGEF、FUPAC 和NEPRI平台软件委托测试 |
中国核动力研究设计院 |
580000 |
| 2014年05月至2014年12月 |
ASTA、FPA与CRAS软件委托测试 |
中国核动力研究设计院 |
310000 |
| 2014年至2017年 |
CORTH软件测试 |
中国核动力研究设计院 |
620000 |
| 2014年至2017年 |
ELEMENT、CORCA软件测试 |
中国核动力研究设计院 |
980000 |
| 2013年03月至2014年04月 |
高可靠性网络设计技术研究 |
中国核动力研究设计院 |
400000 |
|
