孙文辉副教授博士硕士生导师学科方向：计算机应用EMAIL:whsun1@bjtu.e.cn电话:010-51688422主要研究领域:程序设计语言软件工

个人简介： 办公地点：海淀区交大东路甲56号312，北京交通大学—国家保密技术研究所研究生联合培养基地简介：信息安全专业硕士研究生导师，男，1972年12月出生

办公地点：海淀区交大东路甲56号316，北京交通大学—国家保密技术研究所研究生联合培养基地简介：信息安全专业硕士研究生导师，男，1970年8月出生获奖情况：2004年

姓   名：程轶平性   别：男   出生年月:1970年8月职   称：副教授办公电话：13611269031电子邮箱：ypcheng@bjtu.e.cn办公地点：第9教学楼西502室 个人简介：1970年8月20日出生于浙江省永康市。1987年9月考入中国科技大学计算机科学技术系，1992年7月本科毕业并获得工学学士学位。同年进入东方通信公司工作。1996年9月考取清华大学工程物理系核能科学与工程专业研究生，1999年7月研究生毕业并获得工学硕士学位。同年考入清华大学自动化系攻读控制理论与控制工程专业博士学位，研究方向为离散事件系统的代数方法，导师为郑大钟教授。2003年7月毕业获得博士学位后到北京交通大学电子信息学院工作至今。2005年12月被评为副教授。研究方向：离散事件系统的代数方法（极大代数，极小极大代数，及其在异步电路时序分析中的应用）系统与控制理论（状态空间方法）科研项目：国家自然科学基金项目：面向异步电路CAD的离散事件系统时间层次模型研究学术著作：[1]YipingCheng,Da-ZhongZheng.Completenessofidempotentsemifieldsandageneralizationofthelinearextensiontheoreminmax-plusalgebra.In:Proceedings2ndInternationalConferenceonControlandAutomation,Xiamen,China,Jun.2002.[2]YipingCheng,Da-ZhongZheng.Onthecycletimeofnon-autonomousmin-maxsystems.In:Proceedings2002WorkshoponDiscreteEventSystems,Zaragoza,Spain,Oct.2002.(ISTP检索)[3]YipingCheng,Da-ZhongZheng.Ultimateperiodicityoforbitsformin-maxsystems.IEEETransactionsonAutomaticControl,47(11):1937-1940,Nov.2002.（SCI检索）[4]程轶平，郑大钟.非自治非线性DEDS的周时研究.控制与决策，18(3):295-299,May2003.(EI检索)[5]YipingCheng,Da-ZhongZheng.Acycletimecomputingalgorithmanditsapplicationinthestructuralanalysisofmin-maxsystems.DiscreteEventDynamicSystems:TheoryandApplications,14(1):5-30，2004.（SCI检索）论文[5]解决了DEDS学术界多年没有解决的极小极大系统的cycletime有效计算问题，是该领域的重大成果。申请人因此于2004年荣获清华大学优秀博士学位论文二等奖。从2003年7月开始，申请人在北京交通大学电子信息工程学院工作，期间继续从事离散事件系统的研究，并逐步将研究兴趣扩展到控制理论的其他领域。从2005年开始，申请人获得国家自然科学基金面上项目资助，受资助课题为“面向异步电路CAD的离散事件系统时间层次模型研究”，为期三年。任职后已发表论文有：[6]YipingCheng,Da-ZhongZheng.Min-maxinequalitiesandthetimingverificationproblemwithmaxandlinearconstraints.DiscreteEventDynamicSystems:TheoryandApplications,15(2):119-143,June2005.（SCI检索）[7]YipingCheng.Floatingpointcomputationofcycletimeformin-maxfunctions.In:Proceedings2005InternationalConferenceonControlandAutomation(ICCA2005),pp.989-992,Budapest,Hungary,June2005.(EI,ISTP检索)[8]YipingCheng.Asurveyofthetheoryofmin-maxsystems.In:Proceedings2005ConferenceonIntelligentComputing(ICIC2005),pp.616-625,Hefei,China,Aug.2005.(SCI,EI,ISTP检索)[9]YipingCheng.基于CARMA模型多变量系统的j步输出预估,《控制与决策》，2006年9月。  获奖荣誉：2004年7月（博士毕业后一年）获清华大学优秀博士学位论文二等奖 

学位: 博士毕业院校:东南大学教育经历:1984.9-1988.7      东南大学计算机系 

刘湘黔       职称：副教授 学历：博士  办公电话：5

姓   名：陈德旺性   别：男   出生年月:1976年12月职  

万丽莉，讲师，博士，2001年7月在北京航空航天大学计算机系本科毕业，2007年7月获北京航空航天大学计算机应用专业博士学位，现在北京交通大学信息科学研究所工作。主要研究方向为：三维模型检索、

刘渭滨       职称：副教授 学历：博士  办公电话：1