北京交通大學計算機與信息技術學院研究生導師：孫文輝

• 2026考研英語全程班 6班
• 26考研全科上岸規劃營「擇校▪規劃▪備考」
• 北京交通大學2026考研專業課復習資料「真題▪筆記▪講義▪題庫」

基本信息

孫文輝，博士、副教授

電子郵件： whsun1@bjtu.edu.cn

教育背景

1982---1986: 合肥工業大學計算機軟件專業本科, 獲學士學位

1986---1989 西南交通大學計算機應用專業碩士研究生

1994---1999 中科院軟件所計算機應用專業博士研究生

工作經歷

1989---1994 北方交通大學計算機系

1999---2001 中國計算機軟件與服務總公司

2001---NOW 北京交通大學計算機學院

研究方向

數據與知識工程

計算機技術(專業學位)

軟件工程(專業學位)

招生專業

計算機科學與技術碩士

電子信息碩士

科研項目

北京交通大學：Comware V7 WAN XML插件開發項目二期，2013-08-01--2013-10-31，10.0萬元，參加

北京交通大學：Comware V7 WAN XML插件開發項目，2013-04-23--2013-07-26，10.25萬元，主持

科技部“科技支撐”：基于Mesh網絡井下可視化無線救災通訊技術與裝備，2013-01-01--2017-12-31，892.0萬元，參加

北京交通大學：WLAN V7 AP管理框架一期，2012-11-12--2013-07-29，20.5萬元，參加

北京交通大學：WLAN RRM抗干擾研究，2012-08-01--2012-12-31，10.0萬元，參加

北京交通大學：自動化測試環境開發，2011-04-30--2011-07-30，12.0萬元，參加

國家自然科學基金“面上”：基于動態Mesh網絡的流媒體P2P QoS傳輸機制研究，2011-01-01--2013-12-31，35.0萬元，參加

基本科研業務費：可信平臺模塊應用編程接口的形式化分析和自動驗證，2009-12-01--2012-12-31，6.0萬元，參加

財政部：食品豆產品加工企業資料信息數據庫建設，2009-10-12--2010-10-31，5.0萬元，參加

紅果園：閉環仿真-1，2008-08-15--2010-08-15，17.0萬元，參加

科技部“863”：基于網格的鐵路貨運信息綜合應用系統，2007-01-01--2010-12-31，144.2萬元，參加

北京交通大學：專業運輸統計管理信息系統，2006-10-01--2007-12-30，8.0萬元，參加

鐵道部科技司：鐵路信息系統應用與技術研究-鐵路計算機應用系統測試關鍵技術研究，2007-01-01--2008-12-31，30.0萬元，參加

紅果園：信息交換平臺關鍵技術研發，2005-07-01--2006-06-30，100.0萬元，參加

�？萍蓟�金：客運專線動車組信息化標準及關鍵技術研究，2006-01-01--2007-12-31，22.0萬元，參加

科技部“863”：軟件開發公共技術支撐體系的若干關鍵技術研究和系統集成，2004-10-01--2005-10-01，80.0萬元，參加

科技部“863”：孵化器技術平臺研究，2004-07-01--2005-10-01，100.0萬元，參加

教學工作

本科生: java程序設計

c++程序設計

研究生: 程序設計語言理論

軟件開發的形式化方法

論文/期刊

1)Sun Wenhui, Liu Feng, Dai Gang, Li Honghui, “Modeling Session Initiation Protocol with Extended Finite State Machines”, The International Conference on Parallel and Distributed Computing, Applications and Technologies，2007，Adelaide, Australia，IEEE Press

2) Sun Wenhui, Dai Gang, Li Honghui, Zhang Jinyu, Liu Feng, “Formal Analysis of the VPN Service Management System”, The International Conference on Parallel and Distributed Computing, Applications and Technologies，2007，Adelaide, Australia，IEEE Press

3)Sun Wenhui, Liu Feng, Zhang Jinyu, Dai Gang “Modeling web service compositions with CSP”，The Sixth International Conference on Distributed Computing and Applications for business, engineering and sciences，2007

4)孫文輝，劉峰，戴鋼，張晉豫 “面向服務的服務等級協議管理機制”,“計算機科學”專刊，第六屆全國軟件與應用學術會議(NASAC2007)

5)Sun Wenhui, Liu Feng, Zhang Jinyu “Develop a telecommunication service system using service-oriented architecture” The Second IEEE International Symposium on Service-Oriented Applications, Integration and Collaboration (SOAIC-2006) Oct.24-26, Shanghai,IEEE Press

6)Sun Wenhui, Zhang Jinyu, Liu Feng “WS-SLA: A Framework for web services oriented service level agreements” the 10th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2006), IEEE Press, 2006

7)孫文輝，劉峰，徐悅 “基于設計模式的綜合網絡管理應用” 南京大學學報 2005.6(�？�)

8) 孫文輝, 劉峰, 戴鋼, 張晉豫 “基于XML數據庫的信用信息交換平臺的設計與實現”, “計算機應用與軟件”2009.

9)趙慧娟，孫文輝 “基于符號執行的單元測試研究與應用” 《計算機應用與軟件》 2012

10)趙慧娟，孫文輝 “基于退火遺傳算法的單元測試方法” 《計算機工程》 2013

11)宋玉婷，孫文輝 “基于JML的標記-清掃垃圾收集驗證” 《計算機應用與軟件》 2014

12)劉譽臻，孫文輝，張震宇 “程序覆蓋進行錯誤自動定位方法的在線實驗平臺” 《小型微型計算機系統》 2016

13)張瑜，孫文輝 “基于流分析與歸納不變式結合的German協議驗證” 《計算機系統應用》 2017

14)王琦，孫文輝 “基于程序變異分析的軟件錯誤定位” 《計算機工程》 2017