韋衛，北京航空航天大學數學與系統科學學院講師，博士。
基本介紹
- 中文名：韋衛
- 國籍：中國
- 畢業院校：北京航空航天大學理學院
- 學位/學歷：博士
- 職務：北京航空航天大學數學與系統科學學院講師
教育背景,工作簡歷,科研項目,發表論文,
教育背景
1997.08-2000.07 河北衡水中學
2000.09-2004.07 北京航空航天大學 理學院 信息與計算科學學士
2004.09-2009.07 北京大學數學科學學院 動力系統與計算複雜性 博士
工作簡歷
2000年9月至2004年7月就讀於北京航空航天大學理學院信息與計算科學專業，獲得學士學位；
2004年9月至2009年7月就讀於北京大學數學科學學院動力系統與計算複雜性方向，獲得博士學位；
2009年7月至今，任職於北京航空航天大學數學與系統科學學院講師；
2009年9月至今，任北航數學與系統科學學院教學指導委員會委員；
2011年7月至今，任北航數學與系統科學學院院長助理。
2004年9月至2009年7月就讀於北京大學數學科學學院動力系統與計算複雜性方向，獲得博士學位；
2009年7月至今，任職於北京航空航天大學數學與系統科學學院講師；
2009年9月至今，任北航數學與系統科學學院教學指導委員會委員；
2011年7月至今，任北航數學與系統科學學院院長助理。
科研項目
（1）北京航空航天大學，2010年度藍天新秀。
（2）隨機約束滿足問題複雜性相變與算法設計研究，北京航空航天大學，中央高校基本科研業務費。
（3）973國家重大基礎研究發展計畫 “海量信息系統協同性隨機模型與可生存性複雜性分析”。
（4）國家863項目“可重複使用技術研究”。
（5）橫向課題“煤礦安全監測實時數據分析處理平台”。
（2）隨機約束滿足問題複雜性相變與算法設計研究，北京航空航天大學，中央高校基本科研業務費。
（3）973國家重大基礎研究發展計畫 “海量信息系統協同性隨機模型與可生存性複雜性分析”。
（4）國家863項目“可重複使用技術研究”。
（5）橫向課題“煤礦安全監測實時數據分析處理平台”。
發表論文
(1) Complexity analysis of random massive algebraic system, 2th Mathematical Aspects of Computer and Information Sciences, Paris, France, December 5-7, 2007
(2) Statistical and algebraic analysis of a family of random Boolean equations, Journal of Statistical Mechanics: Theory and Experiment, P02010, 2009
(3) Constraints message propagation dynamics of nonlinear Boolean equation, Computability in Europe 2009 Mathematical Theory and Computational Practice, Heidelberg, Germany, July 19-24, 2009
(4) Dynamical characteristics of software trustworthiness and their evolutionary complexity, Science in China, Series F: Information, vol. 52, no. 8, p. 1328-1334, 2009
(5) Complexity of software trustworthiness and its dynamical statistical analysis methods, Science in China, Series F: Information, vol. 52, no. 9, p. 1651-1657, 2009
(6) On the algebraic characteristics and satisfiability threshold of random Boolean equations, Physical Review E, 81,031122，p.1-10,2010
(7) On the thresholds in linear and nonlinear Boolean equations, The European Physical Journal B, 76, p.123-146, 2010
(8) Algorithmic analysis on a class of Boolean equations, The 2010 International Conference on Computer Application and System Modeling, Taiyuan, China, October 22-24, 2010
(9) The underlying interactive chain structure in the solution space of constraint satisfaction problems, The 2010 International Conference on Internet Technology and Security, Wuhan, China, December 27-28, 2010
(10) Interactive Chain on Random Erdos-Renyi Network, 3nd International Conference on Computer andNetwork Technology, Taiyuan, China, February 26-28, 2011
(11) 軟體可信性動力學特徵及其演化複雜性，《中國科學F輯：信息科學》，Vol.39(9)，p.946-950，2009
(12) 軟體可信複雜性及其動力學統計分析方法，《中國科學F輯：信息科學》，Vol.39(10)，p.1050-1054，2009
(13) 一類布爾方程組的可滿足性閾值研究，《計算機套用研究》，Vol.27，No.10，p.3666-3669，2010
(2) Statistical and algebraic analysis of a family of random Boolean equations, Journal of Statistical Mechanics: Theory and Experiment, P02010, 2009
(3) Constraints message propagation dynamics of nonlinear Boolean equation, Computability in Europe 2009 Mathematical Theory and Computational Practice, Heidelberg, Germany, July 19-24, 2009
(4) Dynamical characteristics of software trustworthiness and their evolutionary complexity, Science in China, Series F: Information, vol. 52, no. 8, p. 1328-1334, 2009
(5) Complexity of software trustworthiness and its dynamical statistical analysis methods, Science in China, Series F: Information, vol. 52, no. 9, p. 1651-1657, 2009
(6) On the algebraic characteristics and satisfiability threshold of random Boolean equations, Physical Review E, 81,031122，p.1-10,2010
(7) On the thresholds in linear and nonlinear Boolean equations, The European Physical Journal B, 76, p.123-146, 2010
(8) Algorithmic analysis on a class of Boolean equations, The 2010 International Conference on Computer Application and System Modeling, Taiyuan, China, October 22-24, 2010
(9) The underlying interactive chain structure in the solution space of constraint satisfaction problems, The 2010 International Conference on Internet Technology and Security, Wuhan, China, December 27-28, 2010
(10) Interactive Chain on Random Erdos-Renyi Network, 3nd International Conference on Computer andNetwork Technology, Taiyuan, China, February 26-28, 2011
(11) 軟體可信性動力學特徵及其演化複雜性，《中國科學F輯：信息科學》，Vol.39(9)，p.946-950，2009
(12) 軟體可信複雜性及其動力學統計分析方法，《中國科學F輯：信息科學》，Vol.39(10)，p.1050-1054，2009
(13) 一類布爾方程組的可滿足性閾值研究，《計算機套用研究》，Vol.27，No.10，p.3666-3669，2010
教學活動2009.9-2010.6 數學學院一年級本科生 數學分析習題課
2010.3-2010.6 數學學院三年級本科生 資訊理論
2010.3-2010.6 數學學院研究生 計算複雜性
2010.3-2010.6 數學學院研究生 計算複雜性
2010.9-2011.1 數學學院三、四年級本科生 圖論
2010.9-2011.1 數學學院研究生 計算複雜性
2010.9-2011.1 數學學院研究生 計算複雜性
2011.3-2011.6 數學學院三年級本科生 資訊理論
2011.9-2011.12 數學學院研究生 計算複雜性
2011.9-2011.12 數學學院研究生 計算複雜性
