参与科研情况

参与科研项目8项，其中主持2项，参与6项。主持的项目为：

主持.计算机网络协议仿真关键技术研究；

主持.基于CSP物联网通信协议的建模与形式化分析研究；

参与国家自然基金2项；

参与区项目4项。

获奖情况

序号

成果名称

获奖名称

授奖部门

获奖时间

1

获全国软件大赛广西赛区一等奖优秀指导教师荣誉称号

获全国软件大赛广西赛区一等奖优秀指导教师荣誉称号

工业信息化部人才交流中心

2011年6月

2

获全国软件大赛全国总决赛三等奖优秀指导教师荣誉称号

获全国软件大赛全国总决赛3等奖优秀指导教师荣誉称号

工业信息化部人才交流中心

2011年7月

3

计算机网络多媒体教学软件获第八届广西高校教育教学比赛二等奖

计算机网络多媒体教学软件获第八届广西高校教育教学比赛2等奖

广西教育厅

2011年12月

4

获全国软件大赛广西赛区一等奖优秀指导教师荣誉称号

获全国软件大赛广西赛区一等奖优秀指导教师荣誉称号

工业信息化部人才交流中心

2014年4月

5

获全国软件大赛广西赛区三等奖优秀指导教师荣誉称号

获全国软件大赛广西赛区一等奖优秀指导教师荣誉称号

工业信息化部人才交流中心

2012年4月

其他业绩成果

12011年6月7日指导周庆武全国软件大赛获广西赛区1等奖授予优秀指导教师荣誉称号

22011年7月20日指导周庆武全国软件大赛获全国总决赛区3等奖授予优秀指导教师荣誉称号

32009年10月在2009年指导全国大学生电子设计决赛中，指导学生获取广西赛区2等奖

42010年12月指导学生参加第四届关西高等计算机应用大赛获取2等奖广西壮族自治区教育厅

52010年5月指导的作品在桂林理工大学2009年大学生科技比赛中获特等奖

62010年12月指导学生参加第四届关西高等计算机应用大赛选拔赛获取1等奖

72011年12月计算机网络课件获第八届广西高校教育教学比赛2等奖广西壮族自治区教育厅

82010年11月动态网页设计课件在第十届全国多媒体课件大赛中获取优秀奖

92012年4月指导唐丰琼、谢佳桦参加全国软件大赛获广西赛区3等奖

102011年6月指导的作品在桂林理工大学2010年大学生科技比赛中获特等奖

112011年9月桂林理工大学多媒体教学软件比赛获1等奖

122011年9月桂林理工大学多媒体教学软件比赛获1等奖

13获全国2013年软件大赛广西赛区优秀技术支持奖励称号

14获全国2012年软件大赛广西赛区三等奖优秀指导教师荣誉称号

[1]吴名欢,程小辉.基于CSP的物联网David数字图书馆协议的改进与形式化分析[J].计算机科学,2014,01:225-229+270.

[2]吴名欢,程小辉.Casper/FDR和串空间在物联网通信协议中的形式化分析[J].桂林理工大学学报,2014,02:338-344.

[3]吴名欢,程小辉.物联网中安全通信协议的形式化分析[J].桂林理工大学学报,2013,02:333-338.

[4]吴名欢,刘羽,张烈平.高可靠性网络的研究与实现[J].计算机与信息技术,2008,Z1:65-66.

[5]蒋小华,吴名欢,王文成.单片机波形发生器的设计[J].桂林航天工业高等专科学校学报,2008,02:38-40.

[6]吴名欢,程小辉,李雄伟.利用CSP方法对IEEE802.11w形式化分析[J].计算机应用研究,2015,05:1489-1492+1502.

[7]吴名欢,蒋小华.校园网络方案设计仿真[J].计算机与信息技术,2009,04:74-76.

[8]刘迪迪,吴名欢.CNC插补算法的VHDL建模设计与实现[J].计算机时代,2009,09:37-39.

[9]吴名欢,刘迪迪.网络仿真在计算机网络教学中的应用研究[J].桂林航天工业高等专科学校学报,2010,03:315-316.

[10]吴名欢.计算机网络实习教学中网络仿真技术的应用与实践[J].广西科学院学报,2010,04:538-540.

[11]张烈平,吴名欢,周德俭.基于COM的OPC技术及其应用程序的开发[J].桂林工学院学报,2004,03:356-359.