• 简体中文  | 
  • English
师资队伍
 
01/师资队伍





移动电话:

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




2017年研究生招生还有1个名额,请感兴趣的新生第一时间联系我,欢迎你的加入!


基本情况

骆翔宇,男,工学博士,副教授,硕士生导师,软件工程系副主任,厦门市计算机学会理事,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》等国内外重要期刊和AAMASAAAIMoChArt等重要国际会议论文,大部分被SCIEI收录。


教育经历

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) 学术委员会委员

c) 研究生培养指导委员会委员

(2) 国家自然科学基金委员会项目评审专家;

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

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

(5) 厦门市计算机学会理事

(6) IEEE会员

(7) SCIENCE CHINA Information Sciences》、《Knowledge-based Systems》、《Frontiers of Computer Science in China(FCS)》、《International Journal of Advancements in Computing Technology》、《计算机学报》、《计算机科学》、《小型微型计算机系统》、《桂林电子科技大学学报》的审稿人;

(8) 第九届亚太人工智能国际会议PRICAI-06SCI收录,两年一届)和第十九届澳大利亚人工智能国际会议AI-06SCI收录)等多个国际会议的审稿人


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

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

2、 国家自然科学基金面上项目 61170028,基于多主体认知逻辑模型检测的 Web 服务组合验证,2012.1-2015.1255万,结题,主持

3、 福建省高等学校新世纪优秀人才支持计划项目 2013FJ-NCET-ZR03,基于多主体认知模型检测的可信Web服务形式化验证,2013-201630万,在研,主持

4、 广西可信软件重点实验室研究课题 kx201323,多主体系统模型检验及其在Web服务验证中的应用,2013.7-2015.63万,结题, 主持

5、 华侨大学中青年教师科研提升资助计划(优秀科技创新人才)项目ZQN-YX109,多主体系统形式化验证研究与应用,2013.10-2017.1080万,在研,主持

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

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

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

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

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

10. 广西青年科学基金 桂科青0728090,模型检测动态认知逻辑及其应用,2007.52010.54万,已结题,主持

11. 973项目子课题2005CB321902,海量信息的协同性和可生存性的理论与实践研究,2005.122007.12,排名第510万,已结题,参与

12. 国家自然科学基金面上项目60473004,系统规范表示与验证的认识逻辑途径,2005.12007.12,排名第723万,已结题,参与

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


主要学术论文

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

[1] 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, July 2017, published online (http://engine.scichina.com/doi/10.1007/s11432-017-9152-x), DOI:https://doi.org/10.1007/s11432-017-9152-xSCI收录)

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

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

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

[5] 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收录)

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

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

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

[9] 骆翔宇, 谭征, 董荣胜. 一种Web服务特征交互自动检测方法. 计算机科学,201012

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

[11] 骆翔宇, 轩爱成, 沙宗鲁. 基于时间自动机的Web服务模型检测. 计算机科学,20108

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

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

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

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

[16] 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收录)

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

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

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

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

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

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

2、其他排名的论文(按时间倒序排序)

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

[24] 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收录)

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

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

[27] Wei Guan, Cheng Wang, D.S. Chen, Xiangyu Luo and 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收录)

[28] 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-162201SCI收录)

[29] 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收录)

[30] 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收录)

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

[32] 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收录)

[33] 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收录)

[34] 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, 2010EI收录)

[35] 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收录)

[36] 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收录)

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

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

[39] 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收录)

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

[41] 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收录)

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

[43] 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收录)

[44] 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收录)

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

[46] 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–195EI收录)


申请和授权专利情况

专利一种基于动态区间的人脸年龄估计方法(申请号:CN201610015237.6)于2016615日起公示,申请人:华侨大学,发明人:陈叶旺、赖德河、骆翔宇、杜吉祥。