删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

华侨大学计算机科学与技术学院导师教师师资介绍简介-骆翔宇

本站小编 Free考研考试/2021-05-12






移动电话:182 5928 7709

办公电话:
电子邮箱:luoxy (at) 163.com
个人主页:https://sites.google.com/site/cnxyluo/




一、基本情况
骆翔宇,男,工学博士,副教授,硕士生导师,福建省人工智能学会理事,CCF、IEEE会员。主要从事高可信软件与分布式人工智能系统的理论研究、技术开发与行业应用。先后承担纵向科研项目13项,累计纵向课题经费194万元,其中:主持国家级2项、主持省部级3项、主持校级3项、主持地厅级1项、参与国家级4项,参与省级教学质量工程项目1项。获得广西自然科学奖三等奖(排名第四)和福建省自然科学优秀学术论文三等奖(排名第一)。入选2013年度福建省高等学校新世纪优秀人才支持计划,入选2013年度华侨大学中青年教师资助计划(优秀科技创新人才)。近年来发表学术论文40余篇,其中包括《中国科学F辑》、《计算机学报》、《软件学报》、《The Computer Journal》、《Knowledge-based Systems》、《Frontiers of Computer Science》、《Journal of Software》等国内外重要期刊和AAMAS、AAAI、MoChArt等重要国际会议论文,大部分被SCI和EI收录。
二、教育经历
2003/09 - 2006/06,中山大学,计算机软件与理论,获工学博士学位
2001/09 - 2003/07,中山大学,计算机应用技术,硕士研究生
1992/09 - 1996/07,电子科技大学,应用数学,获理学学士学位
三、科研与学术工作经历
2010/10 -至今,华侨大学,计算机科学与技术学院,副教授
2014/09 - 2015/02,香港科技大学,计算机系,访问****
2008/08 – 2010/10,清华大学,软件学院,博士后研究员
2005/01 – 2005/12, Griffith大学,澳大利亚,助理研究员
1996/07 – 2010/09,桂林电子科技大学,计算机科学与工程学院,讲师/副教授
四、获奖情况
(1)科研课题“软件系统的模型抽象与安全性验证”获广西自然科学奖三等奖,排名第四,颁奖机构是广西壮族自治区人民政府
(2)学术论文“一种基于认知模型检测的Web服务组合验证方法”获得第十一届福建省自然科学优秀学术论文三等奖,排名第一,颁奖机构是福建省科学技术协会、福建省科学技术厅、福建省教育厅
(3)获2010-2011学年华侨大学科研优秀奖
五、国内外主要学术及社会职务
(1)华侨大学计算机科学与技术学院:
a)软件工程系主任
b)研究生培养指导委员会委员
(2)国家自然科学基金委员会项目评审专家;
(3)教育部科技发展中心科研基金和科技奖励评审专家;
(4)广西科技项目评估专家;
(5)厦门市计算机学会理事
(6)IEEE、ACM会员
(7)《SCIENCE CHINA Information Sciences》、《Knowledge-based Systems》、《Frontiers of Computer Science in China(FCS)》、《International Journal of Advancements in Computing Technology》、《计算机学报》、《计算机科学》、《小型微型计算机系统》、《桂林电子科技大学学报》的审稿人;
(8)第九届亚太人工智能国际会议PRICAI-06(SCI收录,两年一届)和第十九届澳大利亚人工智能国际会议AI-06(SCI收录)等多个国际会议的审稿人
六、主持或参加科研项目(课题)及人才计划项目情况(按时间倒序排序)
1、国家自然科学基金重点项目,**,滞环非线性系统的建模与控制技术研究,2018.1.1-2022.12,270万,在研,参与
2、国家自然科学基金面上项目,**,基于多主体认知逻辑模型检测的Web服务组合验证,2012.1-2015.12,55万,结题,主持
3、福建省自然科学基金面上项目,2015J01255,多智能体动态认知逻辑的符号化模型检测与应用,2015.4 -2018.4,4万,结题,主持
4、福建省高等学校新世纪优秀人才支持计划项目,2013FJ-NCET-ZR03,基于多主体认知模型检测的可信Web服务形式化验证,2013-2016,30万,在研,主持
5、广西可信软件重点实验室研究课题,kx201323,多主体系统模型检验及其在Web服务验证中的应用,2013.7-2015.6,3万,结题,主持
6、华侨大学中青年教师科研提升资助计划(优秀科技创新人才)项目,ZQN-YX109,多主体系统形式化验证研究与应用,2013.10-2017.10,80万,在研,主持
7、华侨大学高层次人才科研启动费项目,11BS108,模型检测多智能体系统及其应用,2011.2-2013.1,12万,结题,主持
8、华侨大学中央高校基本科研业务费国家****基金培育计划专项项目,JB-GJ1001,基于多主体认知逻辑的Web服务模型检测,2010.02至2014.02,15万,已结题,主持
9、国家自然科学青年基金,**,基于描述逻辑和模型检测的行动理论研究,2010.1至2012.12,排名第二,18万,已结题,参与
10、中国博士后科学基金,,基于多智能体逻辑的可信Web服务模型检测研究,2009.9至2011.9,3万,已结题,主持
11、国家自然科学基金面上项目,**,基于时态认知逻辑的特征交互无界模型检测,2008.1至2010.12,22万,已结题,主持
12.广西青年科学基金,桂科青**,模型检测动态认知逻辑及其应用,2007.5至2010.5,4万,已结题,主持
13.973项目子课题,2005CB321902,海量信息的协同性和可生存性的理论与实践研究,2005.12至2007.12,排名第5,10万,已结题,参与
14.国家自然科学基金面上项目,**,系统规范表示与验证的认识逻辑途径,2005.1至2007.12,排名第7,23万,已结题,参与
15.国家自然科学基金面上项目,**,模型检查知识逻辑及其应用,2004.11-2008.11,5万,已结题,参与
七、主要学术论文
【第一作者、通讯作者的论文(按时间倒序排序)】
骆翔宇, 许杭娜, 曾昊晟, 陈祖希, 杨帆. 离散实时线性动态逻辑的符号化模型检测. 计算机科学, 2020, 47(9):204-212
Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng and Zuxi Chen. Symbolic Model Checking for Discrete Real-Time Systems. SCIENCE CHINA Information Sciences 61, 052106 (2018)doi: 10.1007/s11432-017-9152-x(SCI收录)
Zuxi Chen, Huixing Fang, Xiangyu Luo. Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), CCF C类会议
Liang Sen(硕士生), Luo Xiangyu and Chen Zuxi.Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV. 2017 International Conference on Electronic Information Technology and Computer Engineering (EITCE 2017)(EI收录)
Dehe Lai(硕士生), Yewang Chen,Xiangyu Luo(通信作者), Jixiang Du, Tian Wang. Age estimation with dynamic age range.Multimedia Tools Application, 76(5): 6551-6573 (2017)(SCI收录)
Qingliang Chen, Kaile Su, Abdul Sattar,Xiangyu Luo(通信作者), Aixiang Chen. A first-order coalition logic for BDI-agents.Frontiers of Computer Science,10(2): 233-245 (2016)(SCI收录)
骆翔宇,谭征,苏开乐,吴立军.一种基于认知模型检测的Web服务组合验证方法.计算机学报, 2011, 34(6):1041-1061(EI收录)
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang. Symbolic Model Checking the Knowledge in Herbivore Protocol.Lecture Notes in Computer Science, Volume 6572, 2011, pp 112-129(EI收录)
骆翔宇,轩爱成,沙宗鲁.基于Verics的组合Web服务有界模型检测.小型微型计算机系统, 2011, 32(3):412-415
骆翔宇,苏开乐,顾明.一种求解认知难题的模型检测方法.计算机学报, 2010, 33(3): 406-414(EI收录)
Xiangyu Luo, Jingjing Lu, Kaile Su, Rongsheng Dong. Translation-based Verification of Web Services Composition via ZING.2010 IEEE International Conference on Intelligent Computing and Integrated Systems, October 22, 2010 (EI收录)
骆翔宇,谭征,董荣胜.一种Web服务特征交互自动检测方法.计算机科学,2010年12期
骆翔宇,陈艳. Web服务的形式化验证.计算机工程,2010,36(5): 257-259
骆翔宇,轩爱成,沙宗鲁.基于时间自动机的Web服务模型检测.计算机科学,2010年8期
骆翔宇,陈艳,古天龙,董荣胜.基于时态认知逻辑的Web服务模型检测.计算机科学,2009, 36(8): 153-157
Xiangyu Luo, Yan Chen, Ming Gu, and Lijun Wu. Model Checking Needham-Schroeder Security Protocol based on Temporal Logic of Knowledge.2009 International Conference on Networks Security, Wireless Communications and Trusted Computing, 2009,2: 548-551 (EI,ISTP收录)
]Xiangyu Luo, Zheng Tan, Rongsheng Dong.Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic.Third International Conference on Genetic and Evolutionary Computing, 2009 : 693-696 (EI收录)
Xiangyu Luo, Aicheng Xuan, Rongsheng Dong. Detecting Feature Interactions in Web Services with Timed Automata.Third International Conference on Genetic and Evolutionary Computing, 2009: 276-279 (EI收录)
Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen.Solving Sum and Product Riddle via BDD-Based Model Checking.2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2008,3(3): 630-633 (EI收录)
骆翔宇,古天龙,董荣胜.和与积数迷的符号化模型检测.计算机科学,2008, 35(5): 184-186
Kaile Su, Abdul Sattar andXiangyu Luo(通讯作者). Model Checking Temporal Logics of Knowledge Via OBDDs.The Computer Journal,2007, 50(4): 403-420 (SCI收录)
骆翔宇,苏开乐,杨晋吉.有界模型检测同步多智能体系统的知识与时间.软件学报, 2006,17(12): 2485-2498(EI收录)
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds. Verification of Multi-agent Systems via Bounded Model Checking.The 19th Australian Joint Conference on Artificial Intelligence, Volume 4304 of LNCS, Springer, 2006: 69–78 (EI,ISTP收录)
Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv. Bounded Model Checking Knowledge and Branching Time in Synchronous Multi-agent Systems.The fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005),ACM, 2005: 1129–1130 (EI收录)
[23]骆翔宇,成良玉.用面向对象方法设计并实现数据库的动态查询.计算机工程与应用,2003,15:200-202
【其他排名的论文(按时间倒序排序)】
Lijun Wu, Kaile Su, Yabiao Han, Jingyu Chen,Xiangyu Lu. Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems.FRONTIERS OF COMPUTER SCIENCE,11(3): 499-510 (2017), DOI: 10.1007/s11704-016-5100-y(SCI收录)

Lixiao ZHENG, Shuai MA,Xiangyu LUO, Tiejun MA. Single-view determinacy and rewriting completeness for a fragment of XPath queries.SCIENCE CHINA Information Sciences, 2016, 59(9): 99-102, doi: 10.1007/s11432-016-5603-z(SCI收录)
Haibo Li, Keith C. C. Chan, Mengxia Liang,Xiangyu Luo: Composition of Resource-Service Chain for Cloud Manufacturing.IEEE Trans. Industrial Informatics, 12(1): 211-219 (2016)(SCI收录)
Yan-Min Luo, Jun Yang, Pei-Zhong Liu, De-Tian Huang, Hong-wei Chen,Xiang-yu Luo, and Ren-cheng Zhang. An Improved Adaptive Aorta Segmentation Algorithm Base on Level Set Method.Journal of Computers, 27(4): 187-196 (2016), doi:10.3966/**(EI收录)
Wei Guan, Cheng Wang, D.S. Chen,Xiangyu Luoand F.F. Su. Recursive principal component analysis with forgetting factor for operational modal analysis of linear time-varying system.International Journal of Applied Electromagnetics and Mechanics, 52: 999–1006 (2016), DOI 10.3233/JAE-162187(SCI收录)
Cheng Wang, Jianying Wang, Xiongming Lai, Bineng Zhong,Xiangyu Luo, Hui Ying, Guirong Yan, Weibin Chen and Jing Li. Operation modal analysis following fast independent component analysis.International Journal of Applied Electromagnetics and Mechanics, 52: 103–111 (2016), DOI 10.3233/JAE-162201(SCI收录)
Wei Guan, Cheng Wang, Tian Wang, Huizhen Zhang,Xiangyu Luo, Liang Xiang, Yan Liu and Xiaodong Xie. Operational modal analysis for linear time-varying continuous cantilever beam dynamic structure based on LMPCA.International Journal of Applied Electromagnetics and Mechanics, 52: 701–709 (2016), DOI 10.3233/JAE-162085(SCI收录)
LI Li, Song XiaoYu, Gu Ming,Luo XiangYu. Competent Predicate Abstraction in Model Checking.SCIENCE CHINA INFORMATION SCIENCES, 54(2): 258-267, Feb. 2011(SCI收录)
轩爱成,骆翔宇,沙宗鲁,董荣胜.一种执行代价较小的Web服务动态合成方法.微电子学与计算机, 2011, 28(2):166-170
Lijun Wu, Jinshu Su, Kaile Su,Xiangyu Luo, Zhihua Yang. A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.Knowledge-Based Systems,23 (2010): 162–168(SCI收录)
Rongsheng Dong, Zhao Wei,Xiangyu Luo, Fang Liu. Testing Conformance of BPEL Business Process Based on Model Checking.JOURNAL OF SOFTWARE, 5(9): 1030-1037, SEPTEMBER 2010(EI收录)
DONG Rong-sheng, WANG Fei-ming,LUO Xiang-yu. Dynamic Web Services Composition Based on QoS Model.2010 IEEE International Conference on Intelligent Computing and Integrated Systems, October 22, 2010(EI收录)
Lijun Wu, Zili Chen, Jinshu Su,Xiangyu Luo. The Based-role PMI Model for Access Control in large Scale Netware System.2010 International Conference on Computer Design and Applications(ICCDA 2010), Vol.2: 81-84(EI收录)
Lijun Wu, Jinshu Su,Xiangyu Luo. A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-Agent Systems.The twenty-second Canadian Conference on Artificial Intelligence, LNAI 5549, 2009: 146–157 (EI, ISTP收录)
杨晋吉,苏开乐,骆翔宇,林翰,肖茵茵.有界模型检测的优化.软件学报,2009, 20(8): 2005?2014(EI收录)
何青,骆翔宇,苏开乐.基于符号化模型检测的对弈必胜策略验证.计算机工程与应用,2008,44(17)
Rongsheng Dong, Zhao Wei,Xiangyu Luo. Model Checking Behavioral Specification of BPEL Web Services.The 2008 International Conference of Computer Science and Engineering, World Congress on Engineering, 2008: 198-203 (ISTP收录)
董荣胜,吴光伟,骆翔宇,古天龙.一类具有“开端”结构安全协议的分析方法研究.计算机科学,2008, 35(7): 45-49
Guohun Zhu,Xiangyu Luo, Yuqing Miao. Exact Weight Perfect Matching of Bipartite Graph is NP-Complete.The 2008 International Conference of Applied and Engineering Mathematics,World Congress on Engineering, 2008: 878-880 (ISTP收录)
Kaile Su, Abdul Sattar andXiangyu Luo(通讯作者). Model Checking Temporal Logics of Knowledge Via OBDDs.The Computer Journal,2007, 50(4): 403-420(SCI收录)
Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun,Xiangyu Luo. Observation-Based Logic of Knowledge, Belief, Desire and Intention.First International Conference on Knowledge Science, Engineering and Management, Volume 4092 of LNCS, Springer, 2006: 366–378(SCI收录)
Kaile Su,Xiangyu Luo, Abdul Sattar, Mehmet A Orgun. The Interpreted System Model of Knowledge, Belief, Desire and Intention.The fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006),ACM, 2006: 220–222 (EI收录)
苏开乐,骆翔宇,吕关锋.符号化模型检测CTL*.计算机学报, 2005, 28(11): 1798-1806 (EI收录)
Kaile Su, Abdul Sattar, Kewen Wang,Xiangyu Luo, Guido Governatori, Vineet Nair. Observation-based Model for BDI-Agents.AAAI 2005, AAAI Press / The MIT Press, 2005: 190–195(EI收录)
八、申请和授权专利情况
专利“一种基于动态区间的人脸年龄估计方法”(申请号:CN7.6)于2016年6月15日起公示,申请人:华侨大学,发明人:陈叶旺、赖德河、骆翔宇、杜吉祥。




相关话题/华侨大学 计算机科学与技术学院

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-谢晓东
    学历:博士研究生职称:讲师电子邮箱:longwarbow@126.com移动电话:**个人简介1)个人简介男,1997年毕业于华中理工大学计算机系软件专业,并留校任教至2010年,2000年获华中科技大学软件与理论专业硕士学位,2007获华中科技大学软件与理论专 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-刘韶涛
    电子邮箱:shaotaol@hqu.edu.cn移动电话:**家庭电话:个人简介男,江西广丰人,华侨大学(厦门)计算机科学与技术学院副教授,硕士研究生导师,目前主要研究方向为:软构件/软件体系结构、面向对象与数据库、信息检索、CIMS等。目前主要承担本科生课程:《高级语言程序设计》、《面向对象程序设 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-王成
    王成招生专业:学术型硕士:软件工程专业型硕士:电子信息学历:博士研究生职称:副教授电子邮箱:wangcheng@hqu.edu.cn办公电话:QQ:个人简介王成,男,1984年4月生,西安交通大学博士,博士后在站,副教授,硕士生导师,主要研究方向是机器学习在机械振动信号处理中的应用,智能电子商务数据 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-喻小光
    职称:副教授电子邮箱:xiaoyu@hqu.edu.cn移动电话:**个人主页:www.hqu.edu.cn个人简介副教授,硕士研究生导师,1999年华侨大学计算机系本科毕业,2002年华侨大学信息学院研究生毕业,硕士毕业至今在华侨大学计算机学院工作,现担任计算机学院数字媒体系主任。2004~200 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-廖永新
    个人简历◆个人资料姓名:廖永新性别:男出生年份:1986年邮箱:lyxin@hqu.edu.cn◆教育背景博士2010/11~2014/02法国洛林大学自动化、信号和图像处理、计算机工程硕士2009/08~2011/04法国波尔多第一大学自动化、生产与信号硕士2008/09~2010/11哈尔滨工业 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-谢维波
    一、个人概况谢维波,男,1964年10月生,博士。现任:华侨大学计算机科学与技术学院教授福建省系统工程学会常务理事福建省智能家居系统工程技术中心副主任福建省互联网经济专家组成员福建省经信委项目评审专家厦门市物联网行业协会专家组成员厦门市信息集团卫星定位应用股份有限公司技术顾问华侨大学嵌入式技术研究所 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-张忆文
    招生类型:软件工程/电子信息研究方向:绿色计算(大数据中心、云计算、嵌入式系统、高性能计算等领域低功耗算法)微信公众号:文忆天下,ID:ZYWHQUEmail:zyw@hqu.edu.cn个人简介张忆文,男,工学博士,副教授,硕士研究生导师。现任职于华侨大学计算机科学与技术学院。2016年1月博士毕 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-郑黎晓
    郑黎晓,女,工学博士。现为华侨大学计算机学院讲师、硕士生导师。【教育经历】2006/09–2012/07,中国科学院软件研究所,计算机软件与理论,博士2009/11–2011/04,爱丁堡大学信息学院,访问博士生2002/09–2006/07,吉林大学计算机学院,计算机科学与技术,学士【工作经历】2 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-张国亮
    学历:博士研究生职称:副教授电子邮箱:zhangguoliang@hqu.edu.cn移动电话:**个人简介个人概况:张国亮:工学博士,硕士生导师/讲师。哈尔滨工业大学机械电子工程专业,2005-2010年在哈尔滨工业大学机器人技术与系统国家重点实验室从事空间机器人的视觉应用研究,获工学博士学位。研 ...
    本站小编 Free考研考试 2021-05-12
  • 华侨大学计算机科学与技术学院导师教师师资介绍简介-田晖
    姓名:田晖学位:博士职称:教授职务:副院长导师类别:博士生导师、硕士生导师招生专业:①计算机科学与技术\软件工程(学硕);②电子信息(计算机技术、专硕、全日制\非全日制)③智能检测(博士研究生).招生人数:博士研究生1名,硕士研究生4名左右研究方向:网络与信息安全、人工智能安全、区块链、云计算安全、 ...
    本站小编 Free考研考试 2021-05-12