北京交通大学

基本信息

孙文辉，博士、副教授

电子邮件： 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