主页<导师简介<骆翔宇硕导个人简介
导师简介

骆翔宇硕导个人简介
作者:admin日期:2013-12-3

n基本情况骆翔宇，男，工学博士，副教授，硕士生导师，软件工程系副主任，厦门市计算机学会理事，IEEE会员。1992年9月至1996年6月在电子科技大学应用数学系学习，获理学学士学位；1996年7月至2010年9月在桂林电子科技大学计算机科学与工程学院任教，担任副教授和硕士生导师；2001年9月起攻读中山大学计算机应用技术专业的硕士研究生，两年后提前攻读中山大学计算机软件与理论专业的博士研究生，2006年6月毕业并获工学博士学位。攻读硕士和博士期间分别获得2002年度中山大学优秀研究生和2006年度广东省南粤优秀研究生奖学金，2005年下半年在澳大利亚Griffith大学担任助理研究员；2008年8月至2010年10月在清华大学软件学院从事博士后研究；2010年10月调到华侨大学计算机科学与技术学院工作至今。近年来，先后承担纵向科研项目13项，累计纵向课题经费194万元，其中：主持国家级2项、主持省部级3项、主持校级3项、主持地厅级1项、参与国家级4项，参与省级教学质量工程项目1项。获得广西自然科学奖三等奖（排名第四）和厦门市自然科学优秀学术论文三等奖（排名第一）。入选2013年度福建省高等学校新世纪优秀人才支持计划，入选2013年度华侨大学中青年教师资助计划（优秀科技创新人才）。近年来发表学术论文40余篇，其中包括《中国科学F辑》、《计算机学报》、《软件学报》、《TheComputerJournal》、《Knowledge-basedSystems》、《JournalofSoftware》等国内外重要期刊和AAMAS、AAAI、MoChArt等重要国际会议论文，大部分被SCI和EI收录。目前主要从事形式化验证、模型检测、多智能体系统、知识推理、时态逻辑、认知逻辑和安全协议验证等方向的研究。当前主要研究和开发模型检测多智能体系统的关键理论和技术并用之于形式化分析分布式软件系统的可靠性和安全性。研究兴趣还包括软件工程、数据挖掘和人工智能等。E-mail:luoxy(at)163.com（请将(at)替换为@）主页:https://sites.google.com/site/cnxyluo/n获奖情况(1)科研课题“软件系统的模型抽象与安全性验证”获广西自然科学奖三等奖，排名第四，颁奖机构是广西壮族自治区人民政府(2)学术论文“一种基于认知模型检测的Web服务组合验证方法”获得第七届厦门市自然科学优秀学术论文三等奖，排名第一，颁奖机构是厦门市科学技术协会n国内外主要学术及社会职务(1)华侨大学计算机科学与技术学院：a)软件工程系副主任b)学术委员会委员c)研究生培养指导委员会委员d)软件工程一级硕士点的“软件形式化方法”学科方向学术带头人e)校学科重点建设项目“计算机科学与技术”特色学科的“软件工程与形式化方法”学科方向带头人(2)国家自然科学基金委员会项目评审专家；(3)教育部科技发展中心科研基金和科技奖励评审专家；(4)广西科技项目评估专家；(5)厦门市计算机学会理事(6)IEEE会员(7)《SCIENCECHINAInformationSciences》、《Knowledge-basedSystems》、《FrontiersofComputerScienceinChina(FCS)》、《InternationalJournalofAdvancementsinComputingTechnology》、《计算机学报》、《计算机科学》、《小型微型计算机系统》、《桂林电子科技大学学报》的审稿人；(8)第九届亚太人工智能国际会议PRICAI-06（SCI收录，两年一届）和第十九届澳大利亚人工智能国际会议AI-06（SCI收录）等多个国际会议的审稿人n近年主持的部分科研项目(1)国家自然科学基金面上项目（No.61170028），基于多主体认知逻辑模型检测的Web服务组合验证，2012.1至2015.12，55万，在研(2)国家自然科学基金面上项目（No.60763004），基于时态认知逻辑的特征交互无界模型检测，2008.1至2010.12，22万，已结题(3)2013年度“福建省高等学校新世纪优秀人才支持计划”项目，基于多主体认知模型检测的可信Web服务形式化验证，2013-2016，30万，在研(4)2013年度华侨大学中青年教师科研提升资助计划（优秀科技创新人才）项目（No.ZQN-YX109），多主体系统形式化验证研究与应用，2013.10-2017.10，80万，在研(5)中国博士后科学基金（No.**），基于多智能体逻辑的可信Web服务模型检测研究，2009.9至2011.9，3万，已结题(6)广西青年科学基金（No.桂科青0728090），模型检测动态认知逻辑及其应用，2007.5至2010.5，4万，已结题，评为优秀(7)2010年度华侨大学“中央高校基本科研业务费”国家杰出青年基金培育计划专项项目（No.JB-GJ1001），基于多主体认知逻辑的Web服务模型检测，2010.02至2014.02，15万，已结题(8)2011年度第一期华侨大学高层次人才科研启动费项目（No.11BS108），模型检测多智能体系统及其应用，2011.02至2013.01，12万，在研(9)2013年度广西可信软件重点实验室研究课题（No.kx201323），多主体系统模型检验及其在Web服务验证中的应用，2013.07-2015.06，3万，在研n近年参与的部分科研项目(1)国家自然科学青年基金（No.60903079），基于描述逻辑和模型检测的行动理论研究，2010.1至2012.12，排名第二，18万，已结题(2)973项目子课题（No.2005CB321902），海量信息的协同性和可生存性的理论与实践研究，2005.12至2007.12，排名第5，10万，已结题(3)国家自然科学基金面上项目（No.60473004），系统规范表示与验证的认识逻辑途径，2005.1至2007.12，排名第7，23万，已结题(4)国家自然科学基金面上项目（No.60496327），模型检查知识逻辑及其应用，2004.11-2008.11，5万，已结题n近年发表的部分学术论文[1]骆翔宇,谭征,苏开乐,吴立军.一种基于认知模型检测的Web服务组合验证方法.计算机学报,2011,34(6):1041-1061(EI收录)[2]骆翔宇,苏开乐,顾明.一种求解认知难题的模型检测方法.计算机学报,2010,33(3):406-414(EI收录)[3]XiangyuLuo,KaileSu,MingGu,LijunWu,JinjiYang.SymbolicModelCheckingtheKnowledgeinHerbivoreProtocol.LectureNotesinComputerScience,Volume6572,2011,pp112-129(EI收录)[4]XiangyuLuo,JingjingLu,KaileSu,RongshengDong.Translation-basedVerificationofWebServicesCompositionviaZING.2010IEEEInternationalConferenceonIntelligentComputingandIntegratedSystems,October22,2010(EI收录)[5]XiangyuLuo,KaileSu,AbdulSattar,YanChen.SolvingSumandProductRiddleviaBDD-BasedModelChecking.2008IEEE/WIC/ACMInternationalConferenceonWebIntelligenceandIntelligentAgentTechnology,2008,3(3):630-633(EI收录)[6]XiangyuLuo,YanChen,MingGu,andLijunWu.ModelCheckingNeedham-SchroederSecurityProtocolbasedonTemporalLogicofKnowledge.2009InternationalConferenceonNetworksSecurity,WirelessCommunicationsandTrustedComputing,2009,2:548-551(EI,ISTP收录)[7]XiangyuLuo,ZhengTan,RongshengDong.AutomaticVerificationofCompositeWebServicesBasedonTemporalandEpistemicLogic.ThirdInternationalConferenceonGeneticandEvolutionaryComputing,2009:693-696(EI收录)[8]XiangyuLuo,AichengXuan,RongshengDong.DetectingFeatureInteractionsinWebServiceswithTimedAutomata.ThirdInternationalConferenceonGeneticandEvolutionaryComputing,2009:276-279(EI收录)[9]骆翔宇,轩爱成,沙宗鲁.基于Verics的组合Web服务有界模型检测.小型微型计算机系统,32(3):412-415[10]骆翔宇,陈艳,古天龙,董荣胜.基于时态认知逻辑的Web服务模型检测.计算机科学,2009,36(8):153-157[11]骆翔宇,古天龙,董荣胜.和与积数迷的符号化模型检测.计算机科学,2008,35(5):184-186[12]骆翔宇,陈艳.Web服务的形式化验证.计算机工程,2010,36(5):257-259[13]骆翔宇,轩爱成,沙宗鲁.基于Verics的组合Web服务有界模型检测.小型微型计算机系统,2011年3期[14]骆翔宇,轩爱成,沙宗鲁.基于时间自动机的Web服务模型检测.计算机科学,2010年8期[15]骆翔宇,谭征,董荣胜.一种Web服务特征交互自动检测方法.计算机科学,2010年12期[16]骆翔宇,苏开乐,杨晋吉.有界模型检测同步多智能体系统的知识与时间.软件学报,2006,17(12):2485-2498(EI收录)[17]XiangyuLuo,KaileSu,AbdulSattar,MarkReynolds.VerificationofMulti-agentSystemsviaBoundedModelChecking.The19thAustralianJointConferenceonArtificialIntelligence,Volume4304ofLNCS,Springer,2006:69–78(EI,ISTP收录)[18]XiangyuLuo,KaileSu,AbdulSattar,QingliangChen,GuanfengLv.BoundedModelCheckingKnowledgeandBranchingTimeinSynchronousMulti-agentSystems.ThefourthInternationalJointConferenceonAutonomousAgentsandMulti-AgentSystems(AAMAS2005),ACM,2005:1129–1130(EI收录)[19]骆翔宇,成良玉.用面向对象方法设计并实现数据库的动态查询.计算机工程与应用,2003,15:200-202[20]苏开乐,骆翔宇,吕关锋.符号化模型检测CTL*.计算机学报,2005,28(11):1798-1806(EI收录)[21]KaileSu,XiangyuLuo,AbdulSattar,MehmetAOrgun.TheInterpretedSystemModelofKnowledge,Belief,DesireandIntention.ThefifthInternationalJointConferenceonAutonomousAgentsandMulti-AgentSystems(AAMAS2006),ACM,2006:220–222(EI收录)[22]GuohunZhu,XiangyuLuo,YuqingMiao.ExactWeightPerfectMatchingofBipartiteGraphisNP-Complete.The2008InternationalConferenceofAppliedandEngineeringMathematics,WorldCongressonEngineering,2008:878-880(ISTP收录)[23]轩爱成,骆翔宇,沙宗鲁,董荣胜.一种执行代价较小的Web服务动态合成方法.微电子学与计算机,28(2):166-170[24]何青,骆翔宇,苏开乐.基于符号化模型检测的对弈必胜策略验证.计算机工程与应用,2008,44(17)[25]杨晋吉,苏开乐,骆翔宇,林翰,肖茵茵.有界模型检测的优化.软件学报,2009,20(8):2005?2014(EI收录)[26]KaileSu,AbdulSattarandXiangyuLuo（通讯作者）.ModelCheckingTemporalLogicsofKnowledgeViaOBDDs.TheComputerJournal,2007,50(4):403-420(SCI收录)[27]RongshengDong,ZhaoWei,XiangyuLuo,FangLiu.TestingConformanceofBPELBusinessProcessBasedonModelChecking.JOURNALOFSOFTWARE,5(9):1030-1037,SEPTEMBER2010（EI收录）[28]LijunWu,JinshuSu,XiangyuLuo.AConcurrentDynamicLogicofKnowledge,BeliefandCertaintyforMulti-AgentSystems.Thetwenty-secondCanadianConferenceonArtificialIntelligence,LNAI5549,2009:146–157(EI,ISTP收录)[29]RongshengDong,ZhaoWei,XiangyuLuo.ModelCheckingBehavioralSpecificationofBPELWebServices.The2008InternationalConferenceofComputerScienceandEngineering,WorldCongressonEngineering,2008:198-203(ISTP收录)[30]董荣胜,吴光伟,骆翔宇,古天龙.一类具有“开端”结构安全协议的分析方法研究.计算机科学,2008,35(7):45-49[31]DONGRong-sheng,WANGFei-ming,LUOXiang-yu.DynamicWebServicesCompositionBasedonQoSModel.2010IEEEInternationalConferenceonIntelligentComputingandIntegratedSystems,October22,2010（EI收录）[32]LijunWu,JinshuSu,KaileSu,XiangyuLuo,ZhihuaYang.Aconcurrentdynamiclogicofknowledge,beliefandcertaintyformulti-agentsystems.Knowledge-BasedSystems,23(2010):162–168(SCI收录)[33]KaileSu,AbdulSattar,KewenWang,XiangyuLuo,GuidoGovernatori,VineetNair.Observation-basedModelforBDI-Agents.AAAI2005,AAAIPress/TheMITPress,2005:190–195(EI收录)[34]LijunWu,ZiliChen,JinshuSu,XiangyuLuo.TheBased-rolePMIModelforAccessControlinlargeScaleNetwareSystem.2010InternationalConferenceonComputerDesignandApplications(ICCDA2010),Vol.2:81-84（EI收录）[35]LILi,SongXiaoYu,GuMing,LuoXiangYu.CompetentPredicateAbstractioninModelChecking.SCIENCECHINAINFORMATIONSCIENCES,54(2):258-267,Feb.2011（SCI收录）[36]KaileSu,WeiyaYue,AbdulSattar,MehmetA.Orgun,XiangyuLuo.Observation-BasedLogicofKnowledge,Belief,DesireandIntention.FirstInternationalConferenceonKnowledgeScience,EngineeringandManagement,Volume4092ofLNCS,Springer,2006:366–378(SCI收录)n发表的部分教学研究论文[1]骆翔宇,古天龙,董荣胜.模型检测课程建设初探.计算机科学,第35卷,第11期专辑:150-155[2]骆翔宇,董荣胜,古天龙.模型检测课程实践教学初探.计算机科学,第36卷,第7期专辑:255-259[3]骆翔宇,古天龙,董荣胜.“离散结构”课程中有关OBDD的教学实践.计算机科学,第34卷,第7期专辑[4]俸皓,朱细平,骆翔宇,董荣胜.以计算思维能力培养为核心的《程序设计基础》课程教学改革与实践.计算机科学,第35卷,第11期专辑:96-98[5]邓珍荣,黄文明,骆翔宇,周娅.以计算思维培养为核心的”数据结构与算法”课程教学改革与实践.计算机科学,第35卷,第11期专辑:99-101