郭炳暉，北京航空航天大學數學與系統科學學院套用數學系講師。
基本介紹
教育背景,工作經歷,研究方向,科研項目,發表論文,所獲獎勵,教學活動,社會工作,
教育背景
1994.09-2001.07 內蒙古包頭市第一中學 （國中及高中）
2005.09-2010.07 北京航空航天大學 數學科學學院 動力系統與計算複雜性專業 獲理學博士學位
工作經歷
2010年9月至今，北京航空航天大學 數學與系統科學學院 講師
2010年9月至今，北京航空航天大學 首屆中科院-北航“華羅庚班” 班主任
研究方向
理論計算機科學中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-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班 《解析幾何》
社會工作
教育部創新團隊“空天系統大型計算與信息處理中的前沿數學問題研究”成員
