设为首页  |  加入收藏
 南华大学首页 | 学院首页 | 学院概况 | 本科教育 | 研究生教育 | 招生就业 | 科学研究 | 学生管理 | 党群文化 | 院务公开 | 校友会 | 下载中心 
当前位置: 学院首页>>研究生教育>>导师简介>>正文
 
阳小华
2017-12-05 00:00 计算机学院 本站原创   (点击: )

 

南华大学计算机学院教授、核技术应用学科博士生导师,国家国防科工局“核设施安全管理与可靠性技术”国防科技创新团队主要成员,澳大利亚University of Newcastle和University of Wollongong访问学者,日本北陆先端大学院客座研究员,湖南省121人才工程首批人选,湖南省计算机学会副会长,中核高可信计算重点学科实验室主任。

长期从事计算机领域的教学与科研工作。近年来,主要研究领域为软件测试与质量保障、核电厂数字化仪控系统安全性、核设施退役计算机支持系统、大数据分析与舆情监测等。近五年,以第一作者和通讯作者发表论文总计35篇 。

 

(一)具体论文如下表。

 

1EI论文

 

论文

备注

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

 

 

 

 

上一条:罗扬
下一条:肖基毅
关闭窗口

 Copyright ? 2017  南华大学网赚群  All Rights Reserved

联系电话:0734-8282473   传 真:0734-8282473  电子信箱:netadmin8@mail.usc.edu.cn