郭炳慢皇晖，北京航空航天大学数学与系统科学学院应用粮吃厂及表乐断乎设数学系讲师。

• 中文名称 郭炳晖
• 职业 应用数学系讲师
• 单位 北京航空航天大学
• 毕业学校   北京航空航天大学  

教育背景

　　1994.09-2001.07 内蒙古包头市第一中学 (初中及高中)

　　2001.10-2005.07 北京航空航天来自大学 理学院 数学与应用数学专业 获理学学士学位

　　2005.09-2010.07 北京航空航天大学 数360百科学科学学院 动力系统与计算复杂性专业 获理学博士学位

工放作愿作经历

　　2010年9月至今，北京航空航天大学 数学与系统科学学院 讲师

　　2010年9月至今，北京航空航天大学 首届中科院-北航"华罗庚班" 班主任

研究方向

　　理论计算机科学中NP问题的相变理论

　　海量信息的传播动力学及复杂性

　　在线社交网络中的动力学涌现

　　复杂网络的可控性及可信性

　　启发式高效搜索算法

科研项目

　　来自2009-201360百科0年度 北航"博士创新基金" (DFC292118) 基金主持

仅　　2011-2012年度 北航"蓝天新秀基金" (我乡度为著纸LT211226) 基金主持

　　2011-2012年度 北航"唯实青年基金" (WS30采三维排余溶0619) 基金主持

　　2011-2012年度 北航"唯实青年基金-自然科学基金奖叫力后员极励" (WS301542) 基金主持

　　2011-2012年度 "煤矿安全监测实时数据分析处理平台"基金"(HX540995) 课题主持

　　2006-2010年度 973国家重大基础研究发展计划 "海量信息系行统协同性随机模型与可生存球性复杂性分析"(2005CB色映映汉早哪村321902) 参与

　　2009-201乐块印二克么代钟0年度 "软件开发环境"国家重点实验室开放课题 参与

发表论文

　　Binghui Gu得就脱o, Wei Wei, Yifan Sun and Zhim注境院ing 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 propagatio移给呼抗n dynamics of nonlinear Boolean equation, Computability inEurope 2009 Mathematical Theory and Computational Practice, Heidelberg, Germany, July 19-24, 2009

　　亮相核表啊观Binghui Gu曾按居职质手判唱体o, Yang Zhang, Hongbo Zhou and Zhiming Zhe谁轻没龙换做拿属官ng, Clusterin菜巴业矛白养刑罗念g analysis of minimum vertex-cover problem by inter-frustration,3nd International Conference on Computer and Netw助式被告问么混ork 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-2011年度 北航"十佳期刊类研究生优秀论文"奖

　　2010-2011年度 "优秀班主任

教学活动

　　2010.9-2011.1 2010级中科院-北航"华罗庚"班 《解析几何》

　　2011.3-2011.6 数学与系统科学学院研究生核心课程 《复杂系统与可信性》

　　2011.9-2012.1 2011级中科院-北航"华罗庚"班 《解析几何》

　　2011.9-2012.1 2011级数学与系统科学学院110921班、110922班、110923班、110924班 《解析几何》

社会工作

　　教育部创新团队"空天系统大型计算与信息处理中的前沿数学问题研究"成员