北京交通大學(xué)

基本信息

孫文輝，博士、副教授

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

教育背景

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

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

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

工作經(jīng)歷

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

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

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

研究方向

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

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

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

招生專業(yè)

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

電子信息碩士

科研項(xiàng)目

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

北京交通大學(xué)：Comware V7 WAN XML插件開發(fā)項(xiàng)目，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傳輸機(jī)制研究，2011-01-01--2013-12-31，35.0萬元，參加

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

財(cái)政部：食品豆產(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ùn)信息綜合應(yīng)用系統(tǒng)，2007-01-01--2010-12-31，144.2萬元，參加

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

鐵道部科技司：鐵路信息系統(tǒng)應(yīng)用與技術(shù)研究-鐵路計(jì)算機(jī)應(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萬元，參加

�？萍蓟�金：客運(yùn)專線動車組信息化標(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è)計(jì)

c++程序設(shè)計(jì)

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

軟件開發(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é)議管理機(jī)制”,“計(jì)算機(jī)科學(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è)計(jì)模式的綜合網(wǎng)絡(luò)管理應(yīng)用” 南京大學(xué)學(xué)報(bào) 2005.6(專刊)

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

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

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

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

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

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

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