电信学院导师详细介绍
[导师介绍(包括文字、照片),未经授权请勿转载、引用,否则本院保留追究权力。]
职称教 授
学科计算机科学与技术学科
专业计算机软件与理论
研究方向软件与信息服务
联系方式通讯地址:上海市曹安公路4800号电信大楼517室
邮政编码:201804
联系电话:13681767358
电子邮件:gszeng@sina.com
简介
曾国荪,男,1964年9月出生。本科、硕士、博士均毕业于上海交通大学。现为同济大学计算机系教授,“计算机软件与理论”专业博士生导师。2010年入选上海市优秀学科带头人,是信息领域“863”和国家自然科学基金上会评委专家,IEEE和中国计算机学会高级会员。一直从事并行分布计算、可信网络软件设计与验证、内容信任与安全、物联网云计算等领域的研究工作。主持了973课题、863项目、国家自然科学基金项目、教育部重点项目、高等学校博士点基金项目、上海市科委重大重点项目等17项。在IEEETransactionsonServiceComputing,TheJournalofSupercomputing,FutureGenerationComputerSystems,中国科学、计算机学报、软件学报等国内外核心刊物上发表学术论文180余篇,其中SCI或EI收录100余篇。申请发明专利22项。指导博士研究生18名,其中1名获IBM全球博士英才奖。获2007年教育部科技进步一等奖,获2009上海市技术发明奖一等奖,获2010国家技术发明奖二等奖。
近年来以第一负责人主持的科研项目:
[1]973课题:基于主动服务的网络基础理论、方法及其应用研究(2007CB316502)
[2]863项目:网络环境下的信任博弈模型及信任关系管理机制(2007AA01Z425)
[3]863子课题:算粒模型及编译调试调优技术研究(2009AA012201)
[4]863子课题:系统可重构特色展示与数据组织评估分析(2009AA012201-2)(在研)
[5]国家自然基金重大计划项目:支持自验证自演化的可信网络软件体系结构及其机理(90718015)
[6]国家自然基金委项目:支持算法与机器匹配的可扩展并行算法设计方法研究(61272107)(在研)
[7]国家自然基金委项目:WEB智能搜索中的文本内容信任判定方法研究(60970155),(在研)
[8]国家自然基金委项目:基于信息内容的信任语义获取和度量方法研究(60673157)
[9]国家自然基金委项目:自动提取程序的异构特征实现网络异构并行计算(60173026)
[10]教育部重点项目:个人学术信誉度的博弈建立与评价技术及分级策略研究(20110740001),(在研)
[11]教育部重点项目:屏蔽及开发网格计算中异构性的理论方法研究(105071)
[12]教育部博士基金项目:支持自验证自演化的可信网络软件机理研究(20090072110035),(在研)
[13]国家重点实验室开放基金课题:多核及异构处理器体系结构的构造和运行机理(2009HSSA06)
[14]上海科委重大项目:信息网格在交通信息服务中的应用研究(03DZ15029)
[15]上海市优秀学科带头人计划项目,支持自验证自演化的可信网络软件设计方法研究(10XD1404400),(在研)
[16]上海科委科技攻关:网格计算中的异构处理关键技术研究(025115037)
[17]上海自然科学基金资助项目:并行程序异构特征的理论及应用(01ZD14067)
[18]上海教委项目:上海高校网格-异构局部资源管理软件研制(200301)
近年来发表的代表性学术论文:
[1]Cloud-DLS:DynamictrustedschedulingforCloudcomputing.ExpertSystemswithApplications,2012,39(3):2321-2329.
[2]随机任务在云计算平台中能耗的优化管理方法.软件学报,2012,23(2):266-278.
[3]Bayesianintelligentsemanticmashupfortourism.ConcurrencyandComputation:PracticeandExperience,2011,23(8):850-862.
[4]Amethodforcertifyingcodeintrust-by-policy-adherence.JournalofComputers,2011,6(8):1691-1698.
[5]软件体系结构动态演化的条件超图文法及分析.软件学报,2011,22(6):1210-1223.
[6]基于安全多方计算的可信防共谋协议模型.通信学报,2011,32(8):23-30.
[7]Usingevidencebasedcontenttrustmodelforspamdetection.ExpertSystemswithApplications,2010,37(8):5599-5606.
[8]Bayesiancognitivetrustmodelbasedself-clusteringalgorithmforMANETs.ScienceinChinaSeriesF:InformationSciences.2010,53(3):494-505.
[9]基于Bayes认知信任模型的MANETs自聚集算法.中国科学E辑:信息科学,2010,40(2):228-239.
[10]基于模型检测的时间空间性能验证方法.计算机学报,2010,33(9):1621-1633.
[11]计算任务与体系结构匹配的异构计算可扩展性分析.电子学报,2010,38(11):2585-2589.
[12]基于自组织演化的多Agent可信联盟研究.计算机研究与发展,2010,47(8):1382-1391.
[13]Specificationandverificationofdynamicevolutionofsoftwarearchitectures.JournalofSystemsArchitecture.2010,56(10):523-533.
[14]Anevidencebasediterativecontenttrustalgorithmforthecredibilityofonlinenews.ConcurrencyandComputation:PracticeandExperience,2009,21(4):1857-1881.
[15]一种刻画功能和时间空间性能的统一验证模型atsFPM.计算机学报,2009,32(4):740-750.
[16]Amechanismforgridservicecompositionbehaviorspecificationandverification.FutureGenerationComputerSystems,2009,25(3):378-383.
[17]P2P中防止欺骗行为的一种信誉度计算方法.通信学报,2008,29(10):215-222.
[18]One-offmutualcooperationsearchingbasedonmaximumdiffuseprincipleincomplexnetworks.JournalofComputationalInformationSystems.2008,4(3):1085-1092.
[19]Ageneraldatadependenceanalysisforparallelizingcompilers.TheJournalofSupercomputing.2008,45(2):236-252.
[20]构造基于信任机制的自组织资源拓扑.计算机研究与发展,2007,44(11):1849-1856.
[21]一种基于Bayes信任模型的可信动态级调度算法.中国科学E辑:信息科学,2007,37(2):285-296.
[22]Trusteddynamiclevelschedulingbasedonbayestrustmodel.ScienceinChinaSeriesF:InformationSciences,2007,50(3):456-469.
[23]异构网格环境下任务分配的自主计算方法.通信学报,2006,27(11):139-143.
[24]网格环境下基于信任模型的动态级调度.计算机学报,2006.7,29(7):1217-1224.
备注博/硕导