一、 导师简介
阳小华，男，1963年8月生，湖南衡阳人，中共党员，二级教授，博士生导师，现任南华大学党委副书记。
历任中南工学院计算机系副主任，南华大学计算机学院院长、教务处处长、党政办公室主任，南华大学纪委书记、副校长、党委副书记等职。
在中山大学计算机科学系、中国科学院计算中心和数学研究所获得学士、硕士和博士学位，澳大利亚Wollongong和Newcastle大学访问学者，日本北陆先端科学技术大学院大学客座研究员。担任湖南省智能装备软件评测工程技术研究中心主任，湖南省医疗大数据国际科技合作创新基地主任，中核集团高可信计算重点学科实验室主任，湖南省121人才工程首批人选。国家智能教育技术专业委员会常务理事，湖南省计算机学会副理事长，湖南省机械工程学会副理事长，衡阳市计算机学会荣誉会长，南华大学学术委员会副主任委员，南华大学软件工程一级学科带头人、核科学与技术博士点方向带头人。
从事新型因果逻辑控制、软件测试与质量保障、核电厂数字化仪控系统安全性、核安保智能技术、大数据分析与舆情监测等方面的研究。主持科技部重大专项课题等20余项 ，主持完成中核集团“龙腾计划”核电设计与分析软件NESTOR等自主化核软件测试40余项。在国内外知名刊物发表论文100余篇，获湖南省科技进步奖二等奖2项，湖南省计算机学会科学技术一等奖1项，授权国家发明专利4项，软件著作权10项。主持国家精品视频公开课《计算思维漫谈——数字化生存的智慧》、湖南省精品课程《大学计算机》，获湖南省教学成果奖一等奖1项，二等奖1项，教育信息化优秀科研成果二等奖1项。主编国家十二五规划教材《医学计算机应用》等教材5门。
二、 研究方向
主要研究领域包括.核仪控系统安全性理论与方法、核安保智能技术、智能装备软件测试与评价技术、大数据分析与舆情监测等
（1） 核仪控系统安全性理论与方法
研究目标.针对核电数字化仪控系统的功能安全性与信息安全性的需求，从系统论角度研究新型的安全保障的理论与方法，以提高我国核能国产DCS的系统安全性
研究内容.新型因果逻辑控制理论与应用技术，系统论安全分析方法与技术、
（2） 核安保智能技术
研究目标.以放射性物质储存和运输为核安保应用领域，研究放射性物质个体自主安全智能、放射性物质群体自主安全智能，放射性物质融合自主安全智能，提升放射性物质安全管理能力，降低放射性物质丢失或被盗的概率，保障放射性物质的安全，实现放射性物质自主安全智能关键技术的突破
研究内容.放射性物质个体自主安全智能、放射性物质群体自主安全智能，放射性物质融合自主安全智能
（3） 智能装备软件测试与评价技术
研究目标.以核能装备和医疗器械为软件评测应用领域，研究软件可靠性、安全性评测技术，提升核能装备、医疗器械的设备研发效率，降低评测成本，保障装备的功能安全与信息安全，实现高端智能装备软件评测关键技术的突破，形成一批智能装备软件评测关键技术的知识产权，并与国内高校、核电厂、医院、企业建立较广泛的合作，为我省乃至全国培养一批高端智能装备软件评测的创新人才
研究内容.软件自动化评测技术、嵌入式软件虚拟化评测技术、功能安全性评测技术、信息安全评测技术。
（4） 大数据分析与舆情监测
研究目标.根据网络舆情分析及管理发展趋势，充分应用大数据和云计算技术，不断进行基础化与工程化研究开发和成果转化，形成既有技术优势和研究开发优势、又能实行技术开发服务的社会舆情大数据研究团队。
研究内容.网络舆情情感分析技术、网络伪舆情识别技术、网络舆情事件的因果推断、网络舆情的监测与预警技术
三、 学术业绩
1、 “十三五”（2016年—）期间主持的科研项目
序号 |
项目名称 |
起止时间 |
来源 |
经费 （万元） |
纵向/横向项目 |
1 |
网络伪舆情的定量特征分析及控制策略研究 |
2014-2016 |
湖南省哲学社会科学基金 |
1.5 |
纵向 |
2 |
高可靠性网络设计技术研究 |
2013-2014 |
核反应堆系统设计技术国家重点实验室 |
40 |
纵向 |
3 |
ELEMENT和CORCA软件委托测试技术 |
20140-2016 |
中国核动力研究院 |
86 |
横向 |
4 |
CORTH软件委托测试技术 |
2014-2016 |
中国核动力研究院 |
74 |
横向 |
5 |
SWORD、PRINA和PAINTER软件委托测试技术服务合同 |
2015-2017 |
中国核动力研究院 |
90 |
横向 |
6 |
软件测试开发-SOAC等11个软件测试 |
2016-2018 |
中国核动力研究院 |
227 |
横向 |
7 |
核电厂拉格朗日区域尺度大气扩散模式及剂量评价系统软件（LRDMN）测试项目 |
2018-2019 |
环境保护部核与辐射安全中心 |
94.754 |
横向 |
8 |
关键核素迁移联合模式及可视化系统软件（AWS-N）测试服务 |
2018-2019 |
环境保护部核与辐射安全中心 |
92.984 |
横向 |
2、获科研成果及教学奖情况
序号 |
项目名称 |
获奖年份 |
授奖单位 |
奖励名称 |
获奖等级 |
排名 |
1 |
反应堆复杂时空动力学理论分析新技术及应用 |
2018 |
湖南省人民政府 |
科技进步奖 |
二等奖 |
3 |
2 |
乏燃料后处理剪切系统安全技术 |
2016 |
湖南省人民政府 |
科技进步奖 |
二等奖 |
3 |
3 |
嵌入计算思维训练的职业团队式软件工程人才培养模式 |
2016 |
湖南省教育厅 |
湖南省高等教育省级教学成果奖 |
一等奖 |
1 |
4 |
基于校园信息化环境的教学管理改革与实践 |
2009 |
湖南省教育厅 |
湖南省高等教育省级教学成果奖 |
二等奖 |
1 |
3、论文专著（第一作者或通讯作者）
序号 |
论文专著专利等名称 |
期刊或出版社名称 |
发表 年份 |
期刊等级/收录情况 |
1 |
Richardson Extrapolation-Based Verification Method of Scientific Calculation Program without the Oracles: A Case Study |
Mathematical Problems in Engineering |
2019 |
EI:20190806522443 |
2 |
A NEW VERIFICATION METHOD FOR LAMDA EIGENVALUE PROBLEMSOF NEUTRON DIFFUSION EQUATIONS BASED ON PERTURBATION THEORY |
Proceedings of ICONE-27, Japan |
2019 |
EI |
3 |
A new safety analysis method of control rod ejection accident in PWR NPP based on the failure of causal relationship |
ICONE26, London, England |
2018 |
EI |
4 |
The safety analysis of multiple method fusion on reactor Scram subsystem |
ICONE26, London, England |
2018 |
EI |
5 |
The security vulnerability analysis of nuclear power digital instrument control platform NASPIC |
ICONE26, London, England |
2018 |
EI |
6 |
A Multi-emotion Classification Method Based on BLSTM-MC in Code-switching Text |
Proceedings of NLPCC 2018 |
2018 |
EI:20183705797538 |
7 |
Fusion Strategy-basedDecisionTree for Internet Fake Public Opinion Detection |
Proceedings of NLPCC 2018 |
2018 |
EI |
8 |
多方法融合的反应堆紧急停堆子系统安全性分析 |
核动力工程 |
2018 |
EI |
9 |
基于基准题的中子扩散程序蜕变测试验证方法 |
原子能科学技术 |
2017 |
EI |
10 |
一种基于情感依存元组的简单句情感判别方法 |
中文信息学报 |
2017 |
中文核心 |
11 |
融合《知网》和搜索引擎的词汇语义相似度计算 |
计算机应用 |
2017 |
中文核心 |
12 |
融合句子情感和主题相似性的中文新闻文本情感摘要 |
计算机应用研究 |
2017 |
中文核心 |
13 |
The safety constraints and evaluation of I&C algorithm configuration based on SCADE platform |
ICONE25, Shanghai, P.R. China |
2017 |
EI |
14 |
Research on Testing Adequacy Criterion of Reactor Physics Code of NESTOR |
2017 25th International Conference on Nuclear Engineering. American Society of Mechanical Engineers |
2017 |
EI:20174404358701 |
15 |
基于MICON平台的网络通讯协议可靠性保障方案研究 |
核动力工程 |
2016 |
EI:20163502745568 |
16 |
An Improved Information Gain Algorithm Based on Relative Document Frequency Distribution |
International Conference on Computer Processing of Oriental Languages |
2016 |
EI：20165103133884 |
17 |
STPA方法在数字化反应堆紧急停堆系统安全性分析中的研究与应用 |
核动力工程 |
2015 |
EI |
18 |
Application of STPA of the Digital reactor protection system in NPP for system safety analysis |
Proceedings of ICONE-23 |
2015 |
EI：20160902019149 |
19 |
The software safety analysis based on SFTA for reactor power regulating system in Nuclear Power Plant |
Proceedings of ICONE-23 |
2015 |
EI：20160902019326 |
20 |
核电厂数字化仪控系统全状态监测机制 |
核动力工程 |
2014 |
EI：20143118013201 |
21 |
基于情感依存元组的新闻文本主题情感分析 |
山东大学学报(理学版) |
2014 |
中文核心 |
22 |
多策略中文微博细粒度情绪分析研究 |
北京大学学报(自然科学版) |
2014 |
中文核心 |
23 |
基于STAMP模型的核动力蒸汽发生器水位控制系统安全性分析 |
中国安全生产科学技术 |
2014 |
科技核心 |
24 |
Topic Sentiment Analysis in Chinese News |
International Journal of Multimedia and Ubiquitous Engineering |
2014 |
EI:20144900298285 |
25 |
A hybrid Strategy for Fine-Grained Sentiment of Microblog |
International Journal of Database Theory and Application |
2014 |
EI:20150200404834 |
26 |
Method of Detecting Unary Polynomial Inequality Likely Invariant |
Applied Mechanics and Materials |
2013 |
EI:20134316889075 |
27 |
核电厂仪控系统阈值数据处理及判决优化 |
核安全 |
2013 |
中文核心 |
28 |
引入体裁描述目标的检索匹配模型研究 |
山西大学学报(自然科学版) |
2013 |
中文核心 |
29 |
STAMP模型及其在核电厂DCS安全分析中的应用展望 |
核安全 |
2013 |
中文核心 |
30 |
Improving Scalability of Discriminative Learning Markov Logic Network for Open Information Extraction |
International Journal of Advancements in Computing Technology |
2013 |
EI |
31 |
Study of general query component based on metadata in appraisal tool of system security engineering capability maturity |
Proceedings of IEEE Conf.on ICIII-2011,Shenzhen |
2011 |
EI:20120614754559 |
4、教材、专利等情况
序号 |
论文专著专利等名称 |
期刊或出版社名称 |
出版或获得年份 |
收录情况/JCR分区 |
1 |
《医学计算机应用》 |
人民卫生出版社 |
2013 |
十二五规划教材 |
2 |
一种多维信息检索方法 |
国家知识产权局 |
2017 |
专利号. ZL201510064132.5 |
3 |
一种基于体裁的多维信息检索系统 |
国家知识产权局 |
2017 |
专利号. ZL201510064134.4 |
4 |
一种具备自给电源的放射性废物桶 |
国家知识产权局 |
2018 |
申请号. 201810286159.2 |
5 |
具有防盗防丢报警功能的放射性废物桶、系统及控制方法 |
国家知识产权局 |
2018 |
申请号. 201810286366.8 |
6 |
一种含异常接近报警智能的放射性废物桶及控制方法 |
国家知识产权局 |
2018 |
申请号. 201810286355.X |
四、 研究生培养
1、 硕士研究生培养
2018届
彭健.网络舆情中的谣言检测模型及方法研究
范超.似然蜕变关系动态发现工具设计及其应用研究
张硕望.一种基于远程监督的中文实体关系抽取方法
2017届.
王玮. Y核电厂运行人因失误分析与管理
李玉燕.基于不变量的回归测试用例集约简方法研究
2016届
胡艳霞.基于客户细分的中小型B2C化妆品商城推荐策略研究与应用
李少英.核电厂DCS通讯网络可靠性保障技术研究与应用
刘曜.核电站安全级DCS系统网关设计与实现
唐靓.高校学生奖惩管理信息系统的研究与实现
周鑫.物业专项维修资金管理系统设计与实现
2015届
周文 .基于EDT的中文网络文本主题情感倾向性分析与研究
张书卿.基于EDT的中文网络文本主题情感倾向性分析与研究
2014届
雷龙艳. 中文微博细粒度情绪识别研究
左荣欣.基于搜索频率的网络舆情采集与舆情分析研究
徐 烂.核电设计软件编码规范研究与应用
2013届
刘丽娜 .基于局部连续性的核电软件测试研究
朱玲莉.核电软件单元测试用例集约简研究
付世敏. 基于综合模型的核电程序理解
徐强.网络舆情倾向性监测研究
2012届
黄彩霞.基于GEP的指数函数型程序不变量发现方法研究
张升涛.基于用户特性的CF算法在B2C类电子商务RE中的研究与应用
张学鹏 .基于重构的核电厂环境监测系统
申 君.基于模糊神经网络的核应急决策系统的研究与设计
2011届
李攀.《中国环境天然放射水平调查数据库》数据质量研究
刘占阳. 基于领域构件的研究堆应急数据库系统开发
刘磊.基于模板的SSE-CMM模型领域本领自动构建研究
2010届
伍丁辉. 教务管理信息系统伪缺失值检测研究
周座 . 基于查询与内容的文档表示模型研究
陈才 .一元多项式不等式似然不变量检测方法研究
邝劲松.snort入侵检测系统优化研究与实现
2009届
蒋辉. 基于任务上下文的查询扩展优化研究
吴取劲.基于GEP的函数型似然程序不变量发现方法
伍大清.基于免疫进化的校园网络信息推荐系统研究
肖建田.基于SSE-CMM的乏燃料贮存过程能力成熟度评价证据自动获取研究
李萌.教务管理信息系统异常成绩研究
余颖.基于SSE-CMM和本体知识库的风险过程能力成熟度评估系统研究
刘霞.基于课程领域本体的课件自动生成的研究
2008届
胡国庆.逻辑表达式型似然不变量的分析与检测
左贵启.面向教务领域的构件技术研究与应用
刘杰.基于关系数据理论的函数型程序似然不变量动态检测方法
黄玲玲.基于领域本体的答疑网格系统研究
2007届
李鹏.基于用户模型的智能数据源选择研究
刘树锟.基于数据库的简单非函数依赖程序不变量动态检测
罗江琴.基于Web社区的科研论文自动评价
马家宇.用户知识模型的自动建立与演进技术
李晓昀.基于隐性反馈的个性化自适应电子商务推荐系统研究
2006届
魏振达.基于服务的元搜索引擎研究
刘军.基于领域组件的教务管理信息系统研究与设计
2005届
余凌云.组件依赖性的显式表达及应用
2、 博士研究生培养
2016届.
刘朝晖.基于系统论模型的核电厂数字化仪控系统安全性分析方法研究
3、 MBA硕士生培养
2013届
黄丽燕.住房公积金风险管理及其防范对策研究——以H市为例
罗锋.民生银行特色全产业链金融业务与管理的研究——以XX公司为例
谭红忠.农业银行城区支行绩效考核体系研究—以H支行为例
