个人简历

姓名：阳小华
教育背景：
1996.9-1999.8，中科院，数学所，计算机软件与理论，工学博士；
1983.9-1986.7，中科院，计算中心，计算数学，理学硕士；
1979.9-1983.7,中山大学，计算机科学系，计算数学，理学学士；
工作履历：
1986年起南华大学（原中南工学院）计算机科学与技术学院教学及科研工作。
2000.7-2001.7澳大利亚UniversityofNewcastle和UniversityofWollongong访问学者
2001年任南华大学计算机科学与技术学院院长
2004.8-2004.12,日本北陆先端大学院客座研究员。
2005年任南华大学教务处处长，博士生导师
2007年任南华大学党政办主任
2009年任南华大学纪委书记
2011年8月任南华大学副校长
2016年任南华大学党委副书记
研究概况：
主持、参加国家自然科学基金、国防基础项目及省部级科研项目10余项，横向项目总金额达到数百万元。主持国家级精品视频公开课“计算思维漫谈—感悟数字化生存的智慧”，主持省级精品课程1门，在软件学报、核动力工程等国内外知名刊物发表论文60余篇，获得软件著作权3项。主编教材和著作5部。
获奖状况
获得湖南省科技进步奖二等奖1项；主持获湖南省优秀教学成果奖一等奖1项、二等奖1项；湖南省教育信息化优秀科研成果奖二等奖1项；获湖南省优秀教材奖1项。
研究成果：
主要项目：
2005-2007年主持湖南省自然科学基金《程序断言动态生成技术》（05JJ30117）；
2006-2008年主持湖南省科技计划项目《基于搜索的开放式个人智能知识系统》（2006GK3086）；
2007-2009年参加（排名第二）国家自然科学基金项目《企业隐性知识可持续适用系统机制及实证研究》（70671051）；
2007-2010年参加国防基础研究项目（排名第二）《**系统安全工程能力评价研究》（A3720060121）；
2011-2013年主持湖南省自然科学基金项目《基于隐性知识的智能信息检索研究》（10JJ6097）；
2011-2014年主持湖南省高等学校科学研究重点项目《基于不变量的安全关键系统软件运行时监测研究》(11A105)。
2012-2013年主持中国核动力研究设计院项目《BORONIC和PANDA软件委托测试》
2013-至今主持中国核动力研究设计院项目《SGBC、FSC、STAC、SGEF、FUPAC和NEPRI平台软件委托测试》
2013-2014年.主持中国核动力研究设计院项目《高可靠性网络设计技术研究》.
软件著作权：
[1]阳小华等.系统安全工程能力成熟度模型问题管理系统（2011SR002110），软件著作权.2011.1.17.
[2]阳小华等.系统安全工程能力成熟度证据管理系统（2011SR002159），软件著作权.2011.1.17.
[3]阳小华等.系统安全工程能力成熟度评估系统（2010SR058061），软件著作权.2010.11.2.
[4]阳小华等.社区方位图信息管理系统（2012SR013483），软件著作权.2012.2.27
[5]阳小华等.社区警务管理信息系统（2012SR013687），软件著作权.2012.2.27
[6]阳小华等.石鼓技术改造项目管理信息系统（2014SR028616），软件著作权.2014.3.10
[7]阳小华等.石鼓无线数据共享系统（2013SR151247），软件著作权.2013.12.20
[8]阳小华等.石鼓舆情采集系统（2013SR151523），软件著作权.2013.12.20

近期论文

[1]YangXiao-hua，LiuJie，YuTong-lan，LuoYang，WuQu-jin.DynamicallyDiscoveringFunctionalLikelyProgramInvariantsBasedonRelationalDatabaseTheory.ComputationalIntelligenceandSoftwareEngineering2009.InternationalConferencePublicationYear:2009,Page(s):1-4.
[2]XiaohuaYang,MinjieZhang.RationalConstraintsforFusionMethodsinMetaSearchEngineSystems[J].InternationalJournalofIntelligentSystems.2004,19(1):177-190.
[3]阳小华，刘振宇谭敏生等.元搜索引擎系统合成算法的约束条件[J].软件学报.2002,13(7):1264-1269.
[4]阳小华,周龙镶.基于用户访问模式的WWW浏览路径优化[J].软件学报.2001,12(6)：846-850.
[5]XiaohuaYang,HuiYang,MinjieZhang.FusionMethodsBasedonCommonOrderInvariabilityforMetaSearchEngineSystems[C].ProceedingsoftheInternationalConferenceonIntelligentAgents,WebTechnologies,andInternetCommerce.LasVegas,USA.2001:310-317.
[6]XiaohuaYang,MinshenTan,ZhenyuLui,etal.PredictingtheGoodnessofDatabaseGroupsBasedonVectorSpaceModel[C].ProceedingsoftheAsiaPacificWebConference0Changsha,China.2001:21-26.
[7]阳小华.Web站点的超链结构挖掘[J].计算机工程与应用.2001,37(8):64-65.
[8]XiaohuaYang,MinjieZhang.NecessaryConstraintsforFusionAlgorithmsinMetaSearchEngineSystems[C].ProceedingsoftheInternationalConferenceonIntelligentTechnologies.Bangkok.2000:409-416.
[9]阳小华,刘朝晖,陈智,等.核电厂数字化仪控系统全状态监测机制[J].核动力工程,2014,35(3):138-141.(EI:20143118013201)
[10]YuTL,YangXH(通讯作者),ChenC,etal.MethodofDetectingUnaryPolynomialInequalityLikelyInvariant[J].AppliedMechanicsandMaterials.2013,373:1894-1899.(EI:20134316889075)
[11]刘朝晖，陈智，吴志强，刘曜，阳小华（通讯作者）.基于MICON平台的网络通讯协议可靠性保障方案研究，《核动力工程》2016年第4期，2016年8月，165-169(EI：20163502745568)
[12]刘朝晖，陈智，吴志强，刘华，阳小华（通讯作者）.STPA方法在数字化反应堆紧急停堆系统安全性分析中的研究与应用，《核动力工程》2015年增刊2,2015年12月，157-16(EI:20161902355908)
[13]Liu,Zhaohui;Wu,Zhiqiang;Yang,Xiaohua（通讯作者）.ApplicationofSTPAoftheDigitalreactorprotectionsysteminNPPforsystemsafetyanalysis[C].ProceedingsofICONE-23,2015,ChiBa,Japan.(EI:20160902019149)
[14]Liu,Zhaohui;Liao,Longtao;Wu,Zhiqiang;Yang,Xiaohua（通讯作者）.ThesoftwaresafetyanalysisbasedonSFTAforreactorpowerregulatingsysteminNuclearPowerPlant[C].ProceedingsofICONE-23,2015,ChiBa,Japan.(EI:20160902019326)
[15]Peng,Jian,Xiao-HuaYang（通讯作者）,Chun-PingOuyang,andYong-BinLiu.\