师资队伍

郭炳晖您现在的位置: 首页»师资队伍»郭炳晖

姓     名

郭炳晖(硕导)

职     称

讲师

所属系别

数学系

学科专业

理论计算机科学中NP问题的相变理论、海量信息的传播动力学及复杂性、启发式高效搜索算法、在线社交网络中的动力学涌现、复杂网络的可控性及可信性。

办公地点

教学区主楼315

办公电话

电子邮件

guobinghui@buaa.edu.cn

教育背景
1994.09-2001.07   内蒙古包头市第一中学  (初中及高中) 
2001.10-2005.07   北京航空航天大学       理学院   数学与应用数学专业     获理学学士学位
2005.09-2010.07   北京航空航天大学        数学科学学院   动力系统与计算复杂性专业  获理学博士学位
工作简历

20109月至今,北京航空航天大学 数学与系统科学学院 讲师
20109月至今,北京航空航天大学 首届中科院-北航“华罗庚班” 班主任

主要研究方向为:

  • 理论计算机科学中NP问题的相变理论
  • 海量信息的传播动力学及复杂性
  • 在线社交网络中的动力学涌现
  • 复杂网络的可控性及可信性
  • 启发式高效搜索算法

主要教授课程为:

  • 本科课程--中科院-北航“华罗庚班”《解析几何》
  • 研究生课程--数学与系统科学学院《复杂系统与可信性》
科研项目
  • 2009-2010年度 北航“博士创新基金” (DFC292118) 基金主持
  • 2011-2012年度 北航“蓝天新秀基金”  (LT211226) 基金主持
  • 2011-2012年度 北航“唯实青年基金” (WS300619) 基金主持
  • 2011-2012年度 北航“唯实青年基金-自然科学基金奖励” (WS301542) 基金主持
  • 2011-2012年度 “煤矿安全监测实时数据分析处理平台”基金”(HX540995)  课题主持
  • 2006-2010年度 973国家重大基础研究发展计划 “海量信息系统协同性随机模型与可生存性复杂性分析”(2005CB321902) 参与
  • 2009-2010年度 “软件开发环境”国家重点实验室开放课题  参与
发表论文
  • Binghui Guo, Wei Wei, Yifan Sun and Zhiming Zheng, On the algebraic characteristics and satisfiability threshold of random Booleanequations,  Physical Review E, 81,031122,p.1-10,2010
  • Binghui Guo, Wei Wei and Zhiming Zheng, Constraints message propagation dynamics of nonlinear Boolean equation, Computability inEurope 2009 Mathematical Theory and Computational Practice, Heidelberg, Germany, July 19-24, 2009
  • Binghui Guo, Yang Zhang, Hongbo Zhou and Zhiming Zheng, Clustering analysis of minimum vertex-cover problem by inter-frustration,3nd International Conference on Computer and Network Technology, Taiyuan, China, February 26-28, 2011
  • Yifan Sun, Binghui Guo, Wei Wei and Zhiming Zheng, On the thresholds in linear and nonlinear Boolean equations, The European Physical Journal B, 76, p.123-146, 2010
  • Wei Wei, Binghui Guo and Zhiming Zheng, Complexity analysis of random massive algebraic system, 2th  Mathematical Aspects of Computer and Information Sciences, Paris, France, December 5-7, 2007
  • Wei Wei, Binghui Guo and Zhiming Zheng, Statistical and algebraic analysis of a family of random Boolean equations, Journal of Statistical Mechanics: Theory and Experiment, P02010, 2009 
  • Zhiming Zheng, Shilong Ma, Li Wei, Wei Wei, Xin Jiang, Zhanli Zhang and Binghui Guo, Dynamical characteristics of software trustworthiness and their evolutionary complexity, Science in China, Series F: Information, vol. 52, no. 8, p. 1328-1334, 2009
  • Wei Wei, Binghui Guo, Hongbo Zhou and Zhiming Zheng, Algorithmic analysis on a class of Boolean equations, The 2010 International Conference on Computer Application and System Modeling, Taiyuan, China, October 22-24, 2010
  • Wei Wei, Binghui Guo and Zhiming Zheng, The underlying interactive chain structure in the solution space of constraint satisfactionproblems, The 2010 International Conference on Internet Technology and Security, Wuhan, China, December 27-28, 2010
  • 郭炳晖,韦卫,郑志明,一类布尔方程组的可满足性阈值研究,《计算机应用研究》,Vol.27,No.10
  • 郑志明,马世龙,李未,韦卫,姜鑫,张占利,郭炳晖,软件可信性动力学特征及其演化复杂性,《中国科学F辑:信息科学》,Vol.39(9),p.946-950,2009
教学活动
  • 2010.9-2011.1    2010级中科院-北航“华罗庚”班  《解析几何》
  • 2011.3-2011.6    数学与系统科学学院研究生核心课程  《复杂系统与可信性》
  • 2011.9-2012.1    2011级中科院-北航“华罗庚”班  《解析几何》
  • 2011.9-2012.1    2011级数学与系统科学学院110921班、110922班、110923班、110924班  《解析几何》
所获奖励
  • 2010-2011年度 北航“十佳期刊类研究生优秀论文”奖
  • 2010-2011年度 “优秀班主任”
社会工作
  • 教育部创新团队“空天系统大型计算与信息处理中的前沿数学问题研究”成员
推荐链接