阳小华
2008-07-27 00:00计算机学院本站原创(点击： )

??? 阳小华,男,1963年出生,教授,博导，副校长，学科带头人。中科院计算机软件与理论工学博士，澳大利亚University of Newcastle和University of Wollongong访问学者，日本北陆先端大学院客座研究员。主持、参加国家自然科学基金、国防基础项目及省部级科研项目近10余项。在软件学报、International Journal of Intelligent Systems[J]等国内外知名刊物发表论文60余篇，是《软件学报》等杂志审稿人。主编教材和著作5部，获湖南省优秀教材奖1项；主持获湖南省优秀教学成果奖二等奖1项、湖南省教育信息化优秀科研成果奖二等奖1项、湖南省教育科学“十五”规划课题研究优秀成果奖三等奖1项；主持省级精品课程1门。
??? 入选湖南省第一批121人才；担任湖南省计算机学会理事，衡阳市计算机学会理事长，衡阳市人民政府专家咨询委员会副主任委员，衡阳市高新技术产业开放区专家委员会委员。
主要著作：?
??? 1．??Attaching?Behavioral?Contracts?to?Binary?Components?for?Supporting?Reliable?Reuse，International?Journal?of?Computer?Science?and?Network?Security,?2006
??? 2．??Rational?Constraints?for?Fusion?Methods?in?Meta?Search?Engine?Systems?International?Journal?of?Intelligent?Systems,?2004
??? 3．??Predicting?the?Goodness?of?Database?Groups?Based?on?Vector?Space?Model，Proceedings?of?Asia?Pacific?Web?Conference，2001
??? 4．??Fusion?Methods?Based?on?Common?Order?Invariablity?for?Meta-Search?Engine?Systems，Proceedings?of?International?Conference?on?Intelligence?Agents,?Web?Technologis,?and?Internet?Commerce,?2001
??? 5．??Necessary?Constraints?for?Fusion?Algorithms?in?Meta?Search?Engine?Systems，In?Proceedings?of?International?Conference?on?Intelligent?Technologies，2000
??? 6．??WAIQ：Web?Area?Information?Query，Proceedings?of?the?International?Symposium?on?Future?Software?Technology，1998
??? 7．??基于用户访问模式的WWW浏览路径优化，软件学报（EI检索），2001
??? 8．??元搜索引擎系统合成算法的约束条件，软件学报（EI检索），2002?
??? 9．??Web用户的视图，软件学报（EI），1998
??? 10．元搜索引擎查询结果的合成方法，POST-VLDB暨第十九届全国数据库学术会议论文集，2002
??? 11．计算机应用基础，湖南大学出版社，2003
??? 12．高等学校计算机科学与技术专业毕业设计（论文）指导，国防科技出版社，2003
??? 13．基于弱实时系统的元搜索引擎合成策略，计算技术与自动化，2004
??? 14．基于(m，k)模型的搜索引擎信息检索策略，南华大学学报，2004
??? 15．数据库应用程序设计，北京邮电大学出版社，2004
??? 16．增加行为合约到二进制组件，2005年全国软件与应用学术会议论文集，2005
??? 17．构件依赖性显示表达，南华大学学报，2005
??? 18．基于WEB?SERVICE的分布式元搜索引擎的设计，第二届WEB信息系统及其应用学术会议（WISA2005）论文集，2005
??? 19．基于ASP.NET页面质问的分组式权限管理方案，第二届WEB信息系统及其应用学术会议（WISA2005）论文集，2005
??? 20．成员搜索引擎的查询参数表达能力的建模设计，南华大学学报（自然科学版），2005
??? 21．动态不变量检测工具Daikon的分析及运用，电脑开发与应用，2006
??? 22．教学信息发布与管理系统的设计与实现—基于.NET组件技术，计算机工程与应用，2006
??? 23．基于.NET组件技术的选课管理系统的设计，电脑开发与应用，2006
??? 24．基于B/S模式的通用型组合查询组件的设计，微计算机信息，2006
??? 25．基于合约的似然程序不变量动态发现，微计算机信息，2006
??? 26．基于ASP.NET页面指纹的分组式权限管理方案，计算机工程与应用，2006
??? 27．大学计算机基础，湖南大学出版社，2006
??? 28．大学计算机基础实验教程，湖南大学出版社，2006
??? 29．教学管理信息化理论与实践，专著，2006
??? 30．论高校教务信息化与管理与流程再造，南华大学学报（社会科学版），2006
?
主要项目：?
??? 1.??企业意会知识可持续适用系统机制及实证研究?国家自然科学基金项目
??? 2.??xxxxx系统安全工程能力评价研究?国防基础研究课题
??? 3.??程序断言动态生成技术?湖南省自然科学基金
??? 4.??基于搜索的开放式个人智能知识系统?湖南省科技厅2006年计划项目
??? 5.??精品课程的示范效应与资源共享机制研究与实践??湖南省普通高校教学改革研究项目
??? 6.?基于校园信息化环境的教学管理改革与实践?湖南省教育十五规划
??? 7.?工科研究生学位论文过程管理与风险控制?湖南省学位与研究生教育教学改革研究项目
??? 8.?基于隐性知识的智能信息检索研究（10JJ6097），湖南省自然科学基金项目，2010
??? 9.??基于Web?Service的元搜索引擎?湖南省教育厅科研课题
??? 10.??制造业信息化工程?衡阳市2003年科研计划项目
??? 11.?基于不变量的安全关键系统软件运行时监测研究(11A105)，湖南省高等学校科学研究重点项目，2011?
??? 12.??基于软件重用的企业应用集成（EAI）技术研究?衡阳市2004年科研计划项目
??? 13.?“嵌入式工作流管理系统”南华大学研究生导师科研启动基金项目
??? 14.??科技成果评价决策支持系统?衡阳市2005年科研计划项目?