• 2025考研復(fù)試伴學(xué)班
• 2025考研復(fù)試標(biāo)準(zhǔn)班
• 2026考研英語全程班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 北京交通大學(xué)2025考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫」

基本信息

孫文輝，博士、副教授

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

教育背景

1982---1986: 合肥工業(yè)大學(xué)計算機軟件專業(yè)本科, 獲學(xué)士學(xué)位

1986---1989 西南交通大學(xué)計算機應(yīng)用專業(yè)碩士研究生

1994---1999 中科院軟件所計算機應(yīng)用專業(yè)博士研究生

工作經(jīng)歷

1989---1994 北方交通大學(xué)計算機系

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

2001---NOW 北京交通大學(xué)計算機學(xué)院

研究方向

數(shù)據(jù)與知識工程

計算機技術(shù)(專業(yè)學(xué)位)

軟件工程(專業(yè)學(xué)位)

招生專業(yè)

計算機科學(xué)與技術(shù)碩士

電子信息碩士

科研項目

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

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

科技部“科技支撐”：基于Mesh網(wǎng)絡(luò)井下可視化無線救災(zāi)通訊技術(shù)與裝備，2013-01-01--2017-12-31，892.0萬元，參加

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

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

北京交通大學(xué)：自動化測試環(huán)境開發(fā)，2011-04-30--2011-07-30，12.0萬元，參加

國家自然科學(xué)基金“面上”：基于動態(tài)Mesh網(wǎng)絡(luò)的流媒體P2P QoS傳輸機制研究，2011-01-01--2013-12-31，35.0萬元，參加

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

財政部：食品豆產(chǎn)品加工企業(yè)資料信息數(shù)據(jù)庫建設(shè)，2009-10-12--2010-10-31，5.0萬元，參加

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

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

北京交通大學(xué)：專業(yè)運輸統(tǒng)計管理信息系統(tǒng)，2006-10-01--2007-12-30，8.0萬元，參加

鐵道部科技司：鐵路信息系統(tǒng)應(yīng)用與技術(shù)研究-鐵路計算機應(yīng)用系統(tǒng)測試關(guān)鍵技術(shù)研究，2007-01-01--2008-12-31，30.0萬元，參加

紅果園：信息交換平臺關(guān)鍵技術(shù)研發(fā)，2005-07-01--2006-06-30，100.0萬元，參加

校科技基金：客運專線動車組信息化標(biāo)準(zhǔn)及關(guān)鍵技術(shù)研究，2006-01-01--2007-12-31，22.0萬元，參加

科技部“863”：軟件開發(fā)公共技術(shù)支撐體系的若干關(guān)鍵技術(shù)研究和系統(tǒng)集成，2004-10-01--2005-10-01，80.0萬元，參加

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

教學(xué)工作

本科生: java程序設(shè)計

c++程序設(shè)計

研究生: 程序設(shè)計語言理論

軟件開發(fā)的形式化方法

論文/期刊

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)孫文輝，劉峰，戴鋼，張晉豫 “面向服務(wù)的服務(wù)等級協(xié)議管理機制”,“計算機科學(xué)”�？�，第六屆全國軟件與應(yīng)用學(xué)術(shù)會議(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)孫文輝，劉峰，徐悅 “基于設(shè)計模式的綜合網(wǎng)絡(luò)管理應(yīng)用” 南京大學(xué)學(xué)報 2005.6(�？�)

8) 孫文輝, 劉峰, 戴鋼, 張晉豫 “基于XML數(shù)據(jù)庫的信用信息交換平臺的設(shè)計與實現(xiàn)”, “計算機應(yīng)用與軟件”2009.

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

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

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

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

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

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