一、 导师简介

阳小华，二级教授，博士生导师，南华大学软件工程一级学科学术带头人。湖南省智能装备软件评测工程技术研究中心主任，中核集团高可信计算重点学科实验室主任，湖南省121人才工程首批人选。国家智能教育技术专业委员会常务理事，湖南省计算机学会副会长，衡阳市计算机学会荣誉会长，南华大学学术委员会副主任委员。
长期从事计算机领域的教学与科研工作。近年来，主要研究领域为新型因果逻辑控制、软件测试与质量保障、核电厂数字化仪控系统安全性、核安保智能技术、大数据分析与舆情监测等。主持和参加中央军委科技委前沿科技创新项目、国家自然科学基金、国防基础项目及省部级科研项目20余项 ，主持完成国内主要核类软件测试10余项。在软件学报、核动力工程等国内外知名刊物发表论文100余篇，获湖南省科技进步奖二等奖2项，授权国家发明专利2项，软件著作权5项。主持国家精品视频公开课《计算思维漫谈》、湖南省精品课程《大学计算机》，获湖南省教学成果奖一等奖1项，二等奖1项，教育信息化优秀科研成果二等奖1项。主编国家十二五规划教材《医学计算机应用》等教材5门。

二、 研究方向

主要研究领域包括. 核仪控系统安全性理论与方法、核安保智能技术、智能装备软件测试与评价技术、大数据分析与舆情监测等
（1） 核仪控系统安全性理论与方法
研究目标. 针对核电数字化仪控系统的功能安全性与信息安全性的需求，从系统论角度研究新型的安全保障的理论与方法，以提高我国核能国产DCS的系统安全性
研究内容. 新型因果逻辑控制理论与应用技术，系统论安全分析方法与技术、
（2） 核安保智能技术
研究目标. 以放射性物质储存和运输为核安保应用领域，研究放射性物质个体自主安全智能、放射性物质群体自主安全智能，放射性物质融合自主安全智能，提升放射性物质安全管理能力，降低放射性物质丢失或被盗的概率，保障放射性物质的安全，实现放射性物质自主安全智能关键技术的突破
研究内容. 放射性物质个体自主安全智能、放射性物质群体自主安全智能，放射性物质融合自主安全智能
（3） 智能装备软件测试与评价技术
研究目标. 以核能装备和医疗器械为软件评测应用领域，研究软件可靠性、安全性评测技术，提升核能装备、医疗器械的设备研发效率，降低评测成本，保障装备的功能安全与信息安全，实现高端智能装备软件评测关键技术的突破，形成一批智能装备软件评测关键技术的知识产权，并与国内高校、核电厂、医院、企业建立较广泛的合作，为我省乃至全国培养一批高端智能装备软件评测的创新人才
研究内容. 软件自动化评测技术、嵌入式软件虚拟化评测技术、功能安全性评测技术、信息安全评测技术。
（4） 大数据分析与舆情监测
研究目标. 根据网络舆情分析及管理发展趋势，充分应用大数据和云计算技术，不断进行基础化与工程化研究开发和成果转化，形成既有技术优势和研究开发优势、又能实行技术开发服务的社会舆情大数据研究团队。
研究内容. 网络舆情情感分析技术、网络伪舆情识别技术、网络舆情事件的因果推断、网络舆情的监测与预警技术

三、 学术业绩

1、 “十三五”（2016年—）期间主持的科研项目

序号
项目名称
起止时间
来源
经费
（万元）
纵向/横向项目

1
基于因果力模型的核事故预测新方法研究
2018-2019
军委科技委
30
纵向

2
因控论中因果分层理论与描述方法研究
2016-2018
军委科技委
20
纵向

3
网络伪舆情的定量特征分析及控制策略研究
2014-2016
湖南省哲学社会科学基金
1.5
纵向

4
高可靠性网络设计技术研究
2013-2014
核反应堆系统设计技术国家重点实验室
40
纵向

5
ELEMENT和CORCA软件委托测试技术
20140-2016
中国核动力研究院
86
横向

6
CORTH软件委托测试技术
2014-2016
中国核动力研究院
74
横向

7
SWORD、PRINA和PAINTER软件委托测试技术服务合同
2015-2017
中国核动力研究院
90
横向

8
软件测试开发-SOAC等11个软件测试
2016-2018
中国核动力研究院
227
横向

9
核电厂拉格朗日区域尺度大气扩散模式及剂量评价系统软件（LRDMN）测试项目
2018-2019
环境保护部核与辐射安全中心

94.754
横向

10
关键核素迁移联合模式及可视化系统软件（AWS-N）测试服务
2018-2019
环境保护部核与辐射安全中心
92.984
横向










2、获科研成果及教学奖情况

序号
项目名称
获奖年份
授奖单位
奖励名称
获奖等级
排名

1
反应堆复杂时空动力学理论分析新技术及应用
2018
湖南省人民政府
科技进步奖
二等奖
3

2
乏燃料后处理剪切系统安全技术
2016
湖南省人民政府
科技进步奖
二等奖
3

3
嵌入计算思维训练的职业团队式软件工程人才培养模式
2016
湖南省教育厅
湖南省高等教育省级教学成果奖

一等奖
1

4
基于校园信息化环境的教学管理改革与实践
2009
湖南省教育厅
湖南省高等教育省级教学成果奖

二等奖
1



3、 论文专著（第一作者或通讯作者）
序号
论文专著专利等名称
期刊或出版社名称
发表
年份
期刊等级/收录情况

1
RichardsonExtrapolation-BasedVerificationMethodofScientificCalculationProgramwithouttheOracles:ACase Study
MathematicalProblemsinEngineering
2019
EI:20**3

2
ANEWVERIFICATIONMETHODFORLAMDAEIGENVALUEPROBLEMSOFNEUTRONDIFFUSIONEQUATIONSBASEDONPERTURBATIONTHEORY
ProceedingsofICONE-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:20**8

7
Fusion Strategy-based Decision Tree 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:20**1
15
基于MICON 平台的网络通讯协议可靠性保障方案研究
核动力工程
2016
EI:20**8
16
An Improved Information Gain Algorithm Based on Relative Document Frequency Distribution
International Conference on Computer Processing of Oriental Languages
2016
EI：20**4

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：20**9

19
The software safety analysis based on SFTA for reactor power regulating system in Nuclear Power Plant
Proceedings of ICONE-23
2015
EI：20**6

20
核电厂数字化仪控系统全状态监测机制
核动力工程
2014
EI：20**1

21
基于情感依存元组的新闻文本主题情感分析
山东大学学报(理学版)
2014
中文核心
22
多策略中文微博细粒度情绪分析研究
北京大学学报(自然科学版)
2014
中文核心
23
基于STAMP模型的核动力蒸汽发生器水位控制系统安全性分析
中国安全生产科学技术
2014
科技核心
24
Topic Sentiment Analysis in Chinese News
International Journal of Multimedia and Ubiquitous Engineering
2014
EI:20**5
25
A hybrid Strategy for Fine-Grained Sentiment of Microblog
International Journal of Database Theory and Application
2014
EI:20**4
26
Method of Detecting Unary Polynomial Inequality Likely Invariant
Applied Mechanics and Materials
2013
EI:20**5
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
Studyofgeneralquerycomponentbasedonmetadatainappraisaltoolofsystemsecurityengineeringcapability maturity
Proceedings of IEEEConf.on ICIII-2011,Shenzhen
2011
EI:559


4、教材、专利等情况

序号
论文专著专利等名称
期刊或出版社名称
出版或获得年份
收录情况/JCR分区

1
《医学计算机应用》
人民卫生出版社
2013
十二五规划教材

2
一种多维信息检索方法
国家知识产权局
2017
专利号. ZL2.5

3
一种基于体裁的多维信息检索系统
国家知识产权局
2017
专利号. ZL4.4

4
一种具备自给电源的放射性废物桶
国家知识产权局
2018
申请号. 9.2

5
具有防盗防丢报警功能的放射性废物桶、系统及控制方法
国家知识产权局
2018
申请号. 6.8

6
一种含异常接近报警智能的放射性废物桶及控制方法
国家知识产权局
2018
申请号. 5.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支行为例