北京交通大學

基本信息

孫文輝，博士、副教授

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

教育背景

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

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

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

工作經(jīng)歷

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

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

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

研究方向

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

計算機技術(專業(yè)學位)

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

招生專業(yè)

計算機科學與技術碩士

電子信息碩士

科研項目

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

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

科技部“科技支撐”：基于Mesh網(wǎng)絡井下可視化無線救災通訊技術與裝備，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萬元，參加

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

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

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

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

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

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

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

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

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

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

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

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

教學工作

本科生: java程序設計

c++程序設計

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

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

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

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

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

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

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

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

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