点击查看原图

董荣胜 教授 (ccrsdong@guet.edu.cn)    

桂林电子科技大学计算机与信息安全学院    

研究领域:大规模图数据的管理;无线自组网性能及安全;计算思维的结构

个人简介

董荣胜,男,桂林电子科技大学计算思维及应用研究室主任、教授、广西高等学校教学名师,国家精品课程“计算机科学导论”负责人。1989年毕业于中国地质大学计算机科学系,现为教育部高等学校大学计算机课程教学指导委员会委员、中国计算机学会教育工委委员、中国计算机学会教育专业委员会委员、广西首批省级教学团队负责人。研究方向为:大规模图数据的管理;无线自组网性能及安全;计算思维的结构。承担了国家攻关项目、总装备部项目、国家863计划项目、国家自然科学基金、国防预研项目、广西科学基金等国家和省部级科研项目20余项,是计算学科认知理论——计算机科学与技术方法论的构建者和倡导者,在国内外重要学术刊物和会议发表学术论文百余篇(其中,20篇被EI收录,3篇被SCI收录),出版著作型教材2部,以第一作者撰写的论文和著作分别被他人引用1000多次,主要成果被美国著名的计算学科教程(CC2001)和《中国计算机科学与技术学科教程2002》采用,撰写的教材分别被国内数十所高校选为教材,主持和参与的教改项目分别获广西省级优秀教学成果奖一等奖2次,撰写的教材分别获广西省级优秀教材一等奖2次、广西省级社会科学优秀成果三等奖1次,拥有软件著作权9项,实用新型专利2项,发明专利1项,应邀作大会学术报告、特邀报告和主题报告20多次。

教育背景

1985/09-1989/06,中国地质大学,计算机科学系,工学学士

 

工作经历

 

工作经历

2005/12 –至今,桂林电子科技大学,教授

1999/12 -2005/11,桂林电子科技大学,副教授

1993/09 -1999/11,桂林电子科技大学,工程师、讲师

 

主要荣誉

  

  1. 《计算机科学导论——思想与方法》入选国家十二五规划教材
  2. 广西高等学校教学名师奖(2009年,个人荣誉奖)
  3. 《计算机科学导论》课件获第九届全国多媒体课件大赛一等奖(2009年,排名第一)
  4. 广西优秀教学成果一等奖(“计算机科学与技术方法论的建立及其教学实践”,2005) (排名第一)
  5. 广西优秀教学成果一等奖(“一般工科院校计算机学科形式化方法教育的探索与实践”,2009) (排名第三)
  6. 广西社会科学优秀成果三等奖(“计算机科学与技术方法论”,2004)(排名第一)
  7. 广西优秀教学成果三等奖(“面向21世纪计算机应用类人才培养目标与模式”,2001) (排名第二)
  8. 广西优秀教学成果三等奖(“《数据库系统概论》课程改革”,1997) (排名第一)
  9. 广西优秀教材一等奖(“计算机科学与技术方法论”,2003)(排名第一)
  10. 广西优秀教材一等奖(“计算机科学导论”,2011)(独著)

 

学术活动

  

 

 

教学信息

 教学情况(主讲的课程)

1.计算机科学导论(本科生)

2.数据库系统概论(本科生)

3.操作系统(本科生)

4.形式化技术(本科生)

5.C语言程序设计(本科生)

6.面向对象程序设计(本科生)

7.形式语言与自动机(本科生)

8.计算思维与计算机方法论(研究生)

9.数据库理论基础(研究生)

主要论文

主要学术论文—科研论文

  1. Rongsheng Dong, Yangyang Zhu, Zhoubo Xu, and Fengying Li, “Decision Diagram Based Symbolic Algorithm for Evaluating the Reliability of a Multistate Flow Network,” Mathematical Problems in Engineering, vol. 2016, Article ID 6908120, 13 pages, 2016. doi:10.1155/2016/6908120(SCI)
  2. 董荣胜,张新凯,刘华东,古天龙. 大规模图数据的k2-MDD表示方法与操作研究[J].计算机研究与发展. 2016, 53 (12): 2783-2792(EI)
  3. Feng, H (Feng, Hao); Luo, L (Luo, Lei); Wang, Y (Wang, Yong); Ye, M (Ye, Miao); Dong, RS (Dong, Rongsheng) .A novel minimal exposure path problem in wireless sensor networks and its solution algorithm. INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS,12(8),Article ID 1550147716664245  DOI: 10.1177/1550147716664245(SCI)
  4. 俸皓,罗蕾,董荣胜,王勇. 传感器网络中多移动sink节点的路径规划算法(EI)[J].电子科技大学学报,2016,03:411-416(EI)
  5. 刘宝立,董荣胜,蔡国永. H7N9疫情背景下的微博信息传播特性研究[J].计算机应用与软件,2016,06:314-319.
  6. 董荣胜,孙栋栋,郭云川,刘建明.基于演化博弈论的功率控制和垂直切换研究[J].计算机研究与发展,2014,06:1185-1198(EI)
  7. 董荣胜,马争先,郭云川,古天龙.一种基于马尔可夫博弈的能量均衡路由算法.计算机学报,2013,36(07):1500-1508 (EI)
  8. Zhoubo Xu, Tianlong Gu, Rongsheng Dong. Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Positive Integer. Proceedings of the 7th International Conference on Intelligent Information Processing, IFIP AICT 385: 226-233, 2012(EI)
  9. Juan Wang, Liang Chang, Chuangying Zhu, and Rongsheng Dong. Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic. Proceedings of the 7th International Conference on Intelligent Information Processing, IFIP AICT 385: 276-286, 2012(EI)
  10. 余兴超,董荣胜,孙栋栋,邵梅.基于时间博弈自动机的道岔自动控制系统,计算机工程,2012,38(10):221-223
  11. 孙栋栋,董荣胜,余兴超,邵梅.时隙Aloha网络中基于演化博弈论的接入控制研究,计算机应用研究,2012,29(04):1543-1546
  12. 邵梅,董荣胜,孙栋栋,余兴超.基于势博弈的多路径网络编码研究,计算机工程,2012,38(14):66-69
  13. 王飞明,董荣胜.全局优化的分层动态Web服务组合.计算机工程与应用,2011,47(12):72-74
  14. 马争先,董荣胜,王玉斌,刘建明.针对窃听问题的马尔可夫博弈路由模型的研究.计算机科学, 2011,38(11): 34-36,47

主要学术论文—教学论文

  1. 陈国良,董荣胜.计算思维的表述体系[J].中国大学教学,2013,12:22-26
  2. 陈国良,董荣胜.计算思维与大学计算机基础教育.中国大学教学,2011(1):7-11,32
  3. 董荣胜.《九校联盟(C9)计算机基础教学发展战略联合声明》呼唤教育的转型.中国大学教学,2010(10):14-15
  4. 董荣胜,古天龙.计算思维与计算机方法论.计算机科学,2009,36(1):1-4,42
  5. 董荣胜.计算思维与计算机导论.计算机科学,2009,36(4):50-55
  6. 董荣胜,古天龙等.计算机科学与技术方法论.计算机科学,2002,29(1):1-4,12
  7. 董荣胜.计算教育哲学初探.计算机科学,2000,27(1):93-97
  8. 董荣胜.计算机学科导论课程的构建及其实践.大学计算机课程报告论坛论文集2006(大会专题报告),高等教育出版社,2007.6:139-144
  9. 董荣胜,古天龙.软件开发中使用系统化方法的真正原因.计算机教育,2006,(4)
  10. 董荣胜.从三个重大问题看计算机学科教育的发展. 2008年全国“计算思维与计算机导论”专题研讨会论文专辑,计算机科学,2008,35(11.专辑)

学术著作

 

著作与教材

1.董荣胜.计算机科学导论——思想与方法(第2版). 北京:高等教育出版社,2013.02

2.董荣胜.计算机科学导论——思想与方法. 北京:高等教育出版社,2007.09

3.董荣胜,古天龙. 计算机科学与技术方法论. 北京:人民邮电出版社,2002.09

 

科研项目

 

承担和完成的科研项目

 

  1. 国家自然科学基金项目“无线传感器网络可靠性评估理论与方法研究”,(2014.01--2017.12,项目批准号:61363070)(主持)
  2. 广西可信软件重点实验室项目“基于非合作博弈的无线网络性能研究”(2014.07-2015.06,一般项目)(主持)
  3. 广西自然科学基金项目“基于博弈论框架的无线自组网性能及安全研究”,(2009. 05--2012.04)(主持)
  4. 广西自然科学基金项目“模型检验和定理证明相结合的安全协议分析技术研究”,(2005. 07--2008.07)(主持)
  5. 广西自然科学基金项目“基于对象的分布式实时系统调度模型研究”,(2002.08-- 2004.12)(主持)
  6. 国家自然科学基金项目“基于时态认知逻辑的特征交互无界模型检测”(2007.01-2010.12)(排名第二)
  7. 国家自然科学基金项目“装配序列生成的符号技术研究”,(2006.01--2008.12)(排名第三)
  8. 广西新世纪十百千人才工程专项基金项目“Petri网符号分析/验证工具开发及应用研究”,(2005.01 --2007.12)(排名第三)
  9. 教育部留学回国人员基金项目“一类混杂过程的Petri网规格及调度技术研究”,(2003.11--2006.12)(排名第三)
  10. 国家自然科学基金项目“混杂生产过程的混杂Petri网建模和符号调度技术研究”,(2002.01-- 2004.12)(排名第二)
  11. 广西十百千人才工程专项基金项目“嵌入式实时系统设计环境的研究与开发”,(2001.01 --2003.12)(排名第三)
  12. 广西教委跨世纪人才基金项目“基于混杂系统的实时系统设计、验证技术研究”,(1999.09 --2002.12)(排名第三)
  13. “桂林医药站网络管理信息系统”项目(2000.6-2001.06)(主持)
  14. 广西青年科学基金项目“嵌入式实时系统可预测调度研究” (1998.08-- 2000.12)(主持)
  15. 国防预研重点项目“基于Ada的形式化规格技术研究”,(1996.01--2000.12)(排名第三)
  16. 广西青年科学基金项目“模型检测动态认知逻辑及其应用” (2006.07--2090.12)(排名第二)
  17. 总装备部“某情报处理车软件系统研制”(1998.02—2000.12)(主要参与)
  18. 国家八五重点攻关项目“冷冲模具间隙检测分析系统” (1991.06--1992.06)(排名第三)

知识产权

  1.Intel x86平台CPU模拟器与ASM汇编工具软件(软著登字第127618号)

2.存储程序式计算机模拟软件(软著登字第127619号)

3.操作系统模拟平台设计软件(软著登字第127617号)

4.基于网络的视频播放软件(软著登字第127622号)

5.交通信号控制实验系统平台软件(软著登字第127623号)

6.Pascal语言虚拟机系统(软著登字第127624号)

7.逻辑演绎自动证明系统(软著登字第0163909号)

8.七度FTP文件检索系统(软著登字第0163908号)

9.GPS车辆监控系统软件(软著登字第0175471号)

10.实用新型专利:交通信号控制一体化实验教学装置(专利号:ZL 200820113715.8)

11.实用新型专利:耳罩式听诊器(授权公告号:CN201939374U)

12.发明专利:口腔器械智能消毒仪(专利号:2010 1 0599283.8)