一、 導師簡介
陽小華，男，1963年8月生，湖南衡陽人，中共黨員，二級教授，博士生導師，現任2003网站太阳集团黨委副書記。
曆任中南工學院計算機系副主任，2003网站太阳集团院長、教務處處長、黨政辦公室主任，2003网站太阳集团紀委書記、副校長、黨委副書記等職。
在中山大學計算機科學系、中國科學院計算中心和數學研究所獲得學士、碩士和博士學位，澳大利亞Wollongong和Newcastle大學訪問學者，日本北陸先端科學技術大學院大學客座研究員。擔任湖南省智能裝備軟件評測工程技術研究中心主任，湖南省醫療大數據國際科技合作創新基地主任，中核集團高可信計算重點學科實驗室主任，湖南省121人才工程首批人選。國家智能教育技術專業委員會常務理事，湖南省計算機學會副理事長，湖南省機械工程學會副理事長，衡陽市計算機學會榮譽會長，2003网站太阳集团學術委員會副主任委員，2003网站太阳集团軟件工程一級學科帶頭人、核科學與技術博士點方向帶頭人。
從事新型因果邏輯控制、軟件測試與質量保障、核電廠數字化儀控系統安全性、核安保智能技術、大數據分析與輿情監測等方面的研究。主持科技部重大專項課題等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支行為例
