计算机学院
首页 > 研究生教育 > 导师介绍 > 软件工程(数据与知识工程方向) >      正文

骆翔宇

2016-10-17  点击:[]

移动电话:182 5928 7709

办公电话:0592-6162491

电子邮箱:luoxy (at) 163.com

个人主页:https://sites.google.com/site/cnxyluo/

欢迎有志于挑战科学问题、动手能力较强、积极乐观的学生报考!

 

一、基本情况

骆翔宇,男,工学博士,副教授,硕士生导师,厦门市高层次人才,厦门市重点人才,泉州市高层次人才,CCF通讯委员,福建省人工智能学会理事。主要从事分布式人工智能与高可信软件的理论研究、技术开发与行业应用。先后承担纵向科研项目13项,累计纵向课题经费194万元,其中:主持国家级2项、主持省部级3项、主持校级3项、主持地厅级1项、参与国家级4项,参与省级教学质量工程项目1项。获得广西自然科学奖三等奖(排名第四)和福建省自然科学优秀学术论文三等奖(排名第一)。入选2013年度福建省高等学校新世纪优秀人才支持计划,入选2013年度华侨大学中青年教师资助计划(优秀科技创新人才)。近年来发表学术论文40余篇,其中包括《SCIENCE CHINA Information Sciences》、《计算机学报》、《软件学报》、《IEEE Transactions on Reliability》、《Pattern Recognition》、《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)学术论文“符号化模型检测离散实时系统”获得第十四届福建省自然科学优秀学术论文二等奖,排名第一,颁奖机构是福建省科学技术协会、福建省科学技术厅、福建省教育厅

(3)学术论文“一种基于认知模型检测的Web服务组合验证方法”获得第十一届福建省自然科学优秀学术论文三等奖,排名第一,颁奖机构是福建省科学技术协会、福建省科学技术厅、福建省教育厅

(4)获2010-2011学年华侨大学科研优秀奖

五、国内外主要学术及社会职务

(1)CCF通信委员、IEEE、ACM会员

(2)福建省人工智能协会理事

(3)教育部科技发展中心科研基金和科技奖励评审专家

(4)广西科技项目评估专家

(5)《SCIENCE CHINA Information Sciences》、《IEEE Transactions on Cybernetics》、《Knowledge-based Systems》、《Journal of Systems Architecture》、《Frontiers of Computer Science in China(FCS)》、《International Journal of Advancements in Computing Technology》、《计算机学报》、《软件学报》、《电子学报》、《计算机科学》、《小型微型计算机系统》、《桂林电子科技大学学报》等期刊的审稿人;

六、主持或参加科研项目(课题)及人才计划项目情况(按时间倒序排序)

1、国家自然科学基金重点项目61733006,滞环非线性系统的建模与控制技术研究,2018.1.1-2022.12,270万,在研,参与

2、国家自然科学基金面上项目61170028,基于多主体认知逻辑模型检测的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,40万,在研,主持

7、华侨大学高层次人才科研启动费项目11BS108,模型检测多智能体系统及其应用,2011.2-2013.1,12万,结题,主持

8、华侨大学“中央高校基本科研业务费”国家杰出青年基金培育计划专项项目JB-GJ1001,基于多主体认知逻辑的Web服务模型检测,2010.02至2014.02,15万,已结题,主持

9、国家自然科学青年基金60903079,基于描述逻辑和模型检测的行动理论研究,2010.1至2012.12,排名第二,18万,已结题,参与

10、中国博士后科学基金20090450389,基于多智能体逻辑的可信Web服务模型检测研究,2009.9至2011.9,3万,已结题,主持

11、国家自然科学基金面上项目60763004,基于时态认知逻辑的特征交互无界模型检测,2008.1至2010.12,22万,已结题,主持

12、广西青年科学基金,桂科青0728090,模型检测动态认知逻辑及其应用,2007.5至2010.5,4万,已结题,主持

13、973项目子课题2005CB321902,海量信息的协同性和可生存性的理论与实践研究,2005.12至2007.12,排名第5,10万,已结题,参与

14、国家自然科学基金面上项目60473004,系统规范表示与验证的认识逻辑途径,2005.1至2007.12,排名第7,23万,已结题,参与

15、国家自然科学基金面上项目60496327,模型检查知识逻辑及其应用,2004.11-2008.11,5万,已结题,参与

七、主要学术论文

【第一作者、通讯作者的论文(按时间倒序排序)】

  1. Guanjie Huang(硕士生), Xiangyu Luo, Shaowei Wang(硕士生), Tianlong Gu, Kaile Su. Hippocampus-heuristic Character Recognition Network for Zero-shot Learning in Chinese Character Recognition. Pattern Recognition, available online 27 May 2022

  2. Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang. Incremental Witness Generation for Branching-Time Logic CTL*. IEEE Transactions on Reliability, 2022(SCI收录)

  3. 骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓. 基于正时态测试器的实时分支时态逻辑符号化模型检测. 软件学报, 2022.春季, 33(8): 1-19(EI收录)

  4. 骆翔宇, 许杭娜, 曾昊晟, 陈祖希, 杨帆. 离散实时线性动态逻辑的符号化模型检测. 计算机科学, 2020, 47(9):204-212

  5. Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng and Zuxi Chen. Symbolic Model Checking for Discrete Real-Time Systems. SCIENCE CHINA Information Sciences61, 052106 (2018), doi: 10.1007/s11432-017-9152-x(SCI收录)

  6. 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收录)

  7. 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收录)

  8. 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收录)

  9. 骆翔宇,谭征,苏开乐,吴立军.一种基于认知模型检测的Web服务组合验证方法. 计算机学报, 2011, 34(6):1041-1061(EI收录)

  10. 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收录)

  11. 骆翔宇,轩爱成,沙宗鲁.基于Verics的组合Web服务有界模型检测. 小型微型计算机系统, 2011, 32(3):412-415

  12. 骆翔宇,苏开乐,顾明.一种求解认知难题的模型检测方法. 计算机学报, 2010, 33(3): 406-414(EI收录)

  13. 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收录)

  14. 骆翔宇,谭征,董荣胜.一种Web服务特征交互自动检测方法. 计算机科学,2010年12期

  15. 骆翔宇,陈艳. Web服务的形式化验证. 计算机工程,2010,36(5): 257-259

  16. 骆翔宇,轩爱成,沙宗鲁.基于时间自动机的Web服务模型检测. 计算机科学,2010年8期

  17. 骆翔宇,陈艳,古天龙,董荣胜.基于时态认知逻辑的Web服务模型检测. 计算机科学,2009, 36(8): 153-157

  18. 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收录)

  19. 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收录)

  20. 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收录)

  21. 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收录)

  22. 骆翔宇,古天龙,董荣胜.和与积数迷的符号化模型检测. 计算机科学,2008, 35(5): 184-186

  23. Kaile Su, Abdul Sattar andXiangyu Luo(通讯作者). Model Checking Temporal Logics of Knowledge Via OBDDs. The Computer Journal,2007, 50(4): 403-420 (SCI收录)

  24. 骆翔宇,苏开乐,杨晋吉.有界模型检测同步多智能体系统的知识与时间. 软件学报, 2006,17(12): 2485-2498(EI收录)

  25. 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收录)

  26. 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收录)

  27. 骆翔宇,成良玉.用面向对象方法设计并实现数据库的动态查询. 计算机工程与应用,2003,15:200-202

【其他排名的论文(按时间倒序排序)】

  1. 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类会议

  2. 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收录)

  3. 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收录)

  4. 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收录)

  5. 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/19911559201612270415(EI收录)

  6. 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收录)

  7. 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收录)

  8. 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收录)

  9. LI Li, Song XiaoYu, Gu Ming,Luo XiangYu. Competent Predicate Abstraction in Model Checking. SCIENCE CHINA INFORMATION SCIENCES, 54(2): 258-267, Feb. 2011SCI收录)

  10. 轩爱成,骆翔宇,沙宗鲁,董荣胜.一种执行代价较小的Web服务动态合成方法. 微电子学与计算机, 2011, 28(2):166-170

  11. 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收录)

  12. 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收录)

  13. 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收录)

  14. 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收录)

  15. 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收录)

  16. 杨晋吉,苏开乐,骆翔宇,林翰,肖茵茵.有界模型检测的优化. 软件学报,2009, 20(8): 20052014(EI收录)

  17. 何青,骆翔宇,苏开乐.基于符号化模型检测的对弈必胜策略验证. 计算机工程与应用,2008,44(17)

  18. 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收录)

  19. 董荣胜,吴光伟,骆翔宇,古天龙.一类具有“开端”结构安全协议的分析方法研究. 计算机科学,2008, 35(7): 45-49

  20. 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收录)

  21. Kaile Su, Abdul Sattar andXiangyu Luo(通讯作者). Model Checking Temporal Logics of Knowledge Via OBDDs. The Computer Journal,2007, 50(4): 403-420(SCI收录)

  22. 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收录)

  23. 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收录)

  24. 苏开乐,骆翔宇,吕关锋.符号化模型检测CTL*. 计算机学报, 2005, 28(11): 1798-1806 (EI收录)

  25. 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收录)

八、授权专利情况

(1) 骆翔宇; 陈祖希; 黄欣玥; 梅萌; 徐中伟; 郑黎晓; 李卫娟; 张程; 刘晓. 发明专利:一种轨道交通联锁系统的安全分析方法及系统. 授权公告号CN112765013B, 授权公告日2022.01.11

(2) 陈祖希; 谭兴; 骆翔宇; 梅萌; 徐中伟; 郑黎晓; 李卫娟; 张程; 刘晓. 发明专利:一种自动驾驶人机界面安全性验证方法及系统. 授权公告号CN112668012B, 授权公告日2022.02.08

(3) 陈祖希; 谭兴; 骆翔宇; 梅萌; 郑黎晓; 徐中伟. 发明专利:一种蒸汽锅炉系统的安全分析方法及系统. 授权公告号CN112947370B, 授权公告日2022.04.22

(4) 杨帆; 张美娇; 骆翔宇; 赵峰; 马兵; 谢飞; 巩笛; 林德昭; 崔勇勇. 实用新型专利:分布式调频质量阻尼器. 授权公告号CN207032554U, 授权公告日2018.02.23

 

上一条:谢晓东

下一条:叶剑虹

关闭

联系方式

泉州校区地址:福建省泉州市丰泽区城华北路269号           邮编:362021

厦门校区地址:福建省厦门市集美区集美大道668号           邮编:361021

院长电话:0592-6162538       院办电话:0592-6162556

团委办公室:0592-6162557   教学办公室:0592-6162550 0592-6162551

© 2019-2020       华侨大学计算机科学与技术学院. All rights reserved