Xiangyu Luo

Professor  
Supervisor of Master's Candidates

Gender:Male

Education Level:博士研究生

Degree:Doctoral Degree in Engineering

Business Address:机电实验大楼A427

E-Mail:

Status:在岗

Discipline:Computer Technology
software engineering


Paper Publications

基于KQML的多智能体系统建模与验证

Hits:

Journal:桂林电子科技大学学报

Place of Publication:桂林电子科技大学

Key Words:KQML;多智能体系统;模型检测;MCMAS

Abstract:目前KQML语言已成了Agent通讯语言的事实标准,并得到广泛应用。由于多智能体间的通信具有动态性和时间性,因此多智能体间通信的正确性和可靠性难以得到保证。首先介绍了KQML语言和模型检测工具MCMAS,提出知识查询操作语言KQML的形式化模型七元组,设计并实现了从KQML到七元组的转换算法,以及从七元组到多智能体模型检测工具MCMAS输入语言ISPL的转化算法,从而实现多智能体系统的自动形式化建模。最后用MCMAS对多智能体系统规范的正确性进行验证。

Note:【第一作者邹蒙蒙是骆翔宇在桂林电子科技大学指导的硕士生】

Page Number:227-232

Number of Words:5300

Translation or Not:no

Date of Publication:2011-12-06

First Author:骆灵洁(外),Xiangyu Luo,邹蒙蒙(外)

Profile

一、基本情况

骆翔宇,男,计算机科学与技术学院教授,工学博士,硕士生导师,清华大学博士后,香港科技大学访问学者,厦门市高层次人才,厦门市重点人才,泉州市高层次人才,福建省高等学校新世纪优秀人才,CCF形式化方法专委会委员,福建省人工智能学会理事。主要从事分布式人工智能与高可信软件的理论研究、技术开发与行业应用。先后主持国家自然科学基金面上项目2项、福建省自然科学基金面上项目2项、广西青年科学基金项目1项、厦门市自然科学基金面上项目1项、中国博士后科学基金1项、广西可信软件重点实验室研究课题1项和横向课题2项;发表学术论文50余篇,其中包括《SCIENCE CHINA Information Sciences》、《计算机学报》、《软件学报》、《IEEE Transactions on Reliability》、《Pattern Recognition》、《The Computer Journal》、《Knowledge-based Systems》、《Frontiers of Computer Science》、《Journal of Software》等国内外重要期刊和AAMASAAAIMoChArt等重要国际会议论文;获得2011年度广西自然科学奖三等奖(序4)、2023年度厦门市科技进步奖二等奖(序8)、福建省自然科学优秀学术论文二等奖和三等奖(序1);授权发明专利5项;累计培养25名硕士生获得学位。

本课题组主要从事分布式人工智能与高可信软件的理论研究、技术开发与行业应用,由高水平的导师团队和研究生组成,注重培养研究生的理论研究能力和项目研发技能。研究生培养实行奖励机制,发表高水平论文等成果将获得丰厚的科研奖励,欢迎感兴趣的学生联系我(luoxy@hqu.edu.cn)。

二、教育经历

2003.09 - 2006.06,中山大学,计算机软件与理论,获工学博士学位

2001.09 - 2003.06,中山大学,计算机应用技术,硕士研究生(于20039月提前攻读博士学位)

1992.09 - 1996.06,电子科技大学,应用数学,获理学学士学位

三、科研与学术工作经历

2010.10-至今,华侨大学,计算机科学与技术学院,副教授/教授

2014.09-2015.02,香港科技大学,计算机系,访问学者

2008.08-2010.10,清华大学,软件学院,博士后研究员

2006.07-2008.07,桂林电子科技大学,计算机科学与工程学院,副教授

2005.08-2005.12Griffith UniversityInstitute for Integrated and Intelligent Systems,助理研究员

1996.07-2001.08,桂林电子科技大学,计算机科学与工程学院,讲师

四、获奖情况

(1)     科研课题软件系统的模型抽象与安全性验证2011年度广西自然科学奖三等奖,排名第四,颁奖机构是广西壮族自治区人民政府

(2)     科研课题“轨道交通信息物理融合系统的可信保障技术及应用”获2023年度厦门市科技进步奖二等奖,排名第八,颁奖机构是厦门市人民政府

(3)     学术论文符号化模型检测离散实时系统获得第十四届福建省自然科学优秀学术论文二等奖,排名第一,颁奖机构是福建省科学技术协会、福建省科学技术厅、福建省教育厅

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

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

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

(1)     CCF形式化方法专委会委员、IEEEACM会员

(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.12270万,在研,参与

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

(3)     福建省自然科学基金面上项目2023J01137,基于自动机的高可信软件自动验证与缺陷诊断算法研究,2023.08-2026.086万,在研,主持

(4)     福建省自然科学基金面上项目2015J01255,多智能体动态认知逻辑的符号化模型检测与应用,2015.04-2018.044万,结题,主持

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

(6)     厦门市自然科学基金面上项目3502Z20227191,多智能体系统的时态认知策略逻辑模型检测算法研究,2022.07-2025.068万,在研,主持

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

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

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

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

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

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

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

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

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

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

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

七、主要学术论文

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

[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, 2022, 130: 108818JCR一区)(校级境内研究生优秀论文)

[2]     Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang. Incremental Witness Generation for Branching-Time Logic CTL*. IEEE Transactions on Reliability, 2022, 71(2):933-950JCR一区)

[3]     骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓. 基于时态测试器的实时分支时态逻辑模型检测软件学报, 2022, 33(8):2930−2946EI收录)

[4]     Shaowei Wang, Xiangyu Luo(通信作者), Guanjie Huang. A Human Eye-based Text Color Scheme Generation Method for Image Synthesis. The 2022 6th International Conference on Electronic Information Technology and Computer Engineering(EITCE 2022), October 21–23, 2022, Xiamen, ChinaEI收录)

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

[6]     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-xJCR二区)

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

[8]     Dehe Lai(硕士生), Yewang Chen, Xiangyu Luo(通信作者), Jixiang Du, Tian Wang. Age estimation with dynamic age range. Multimedia Tools Application, 76(5): 6551-6573 (2017)JCR二区)

[9]     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)JCR二区)

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

[11]  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-129EI收录)

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

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

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

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

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

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

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

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

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

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

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

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

[24]  Kaile Su, Abdul Sattar andXiangyu Luo(通讯作者). Model Checking Temporal Logics of Knowledge Via OBDDs. The Computer Journal,2007, 50(4): 403-420 (JCR三区)

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

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

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

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

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

[29]  Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo. Ensuring the Correctness of Regular Expressions: A Review. International Journal of Automation and Computing, 2021, 18(4):521-535JCR二区)

[30]  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类会议

[31]  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-yJCR二区)

[32]  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-zJCR一区)

[33]  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)JCR一区)

[34]  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/19911559201612270415EI收录)

[35]  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-162187JCR四区)

[36]  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-162201JCR四区)

[37]  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-162085JCR四区)

[38]  LI Li, Song XiaoYu, Gu Ming, Luo XiangYu. Competent Predicate Abstraction in Model Checking. SCIENCE CHINA INFORMATION SCIENCES, 54(2): 258-267, Feb. 2011JCR一区)

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

[40]  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–168JCR一区)

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

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

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

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

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

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

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

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

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

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

[51]  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–378SCI收录)

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

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

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

八、授权发明专利情况

(1)     陈祖希; 陈圣彬; 梅萌; 朱永华; 汪小勇; 潘亮; 徐中伟; 郑黎晓; 骆翔宇. 一种轨道交通联锁系统安全分析开发方法及装置, 2023.08.01, 中国, 202310464545.7

(2)     张世钒; 陈祖希; 梅萌; 骆翔宇; 郑黎晓; 周长利; 徐中伟. 银行交易资金回流多线程并行检测方法及系统, 2023.07.28, 中国, 202310264829.1

(3)     郑黎晓; 肖集鹏; 张国督; 陈祖希; 骆翔宇. 一种银行交易欺诈行为检测方法、系统及电子设备, 2023.06.13, 中国, 202310286233.1

(4)     郑黎晓; 陈祖希; 骆翔宇; 周长利. 一种智慧物流控制系统的正则表达式测试方法和系统, 2023.05.09, 中国, 202310063491.3

(5)     陈祖希; 张世钒; 骆翔宇; 郑黎晓; 周长利. 银行交易资金流向路径检测方法、系统、设备及存储介质, 2023.04.07, 中国, 202310000333.3

(6)     张世钒; 陈祖希; 梅萌; 骆翔宇; 郑黎晓; 周长利; 徐中伟. 一种电子商务流向路径多线程并行检测方法及设备, 2023.03.21, 中国, 202310000332.9

(7)     陈祖希; 牛传军; 梅萌; 骆翔宇; 郑黎晓; 周长利; 徐中伟. 一种自主列车运行控制系统建模及验证方法, 2023-3-14, 中国, 202211432332.8

(8)     陈祖希; 曹子昱; 杜振博; 缑锦; 刘杰; 骆翔宇. 基于区块链的权限可控的物联网云平台及数据交互方法, 2022-6-24, 中国, 202010927145.1

(9)     陈祖希; 谭兴; 骆翔宇; 梅萌; 郑黎晓; 徐中伟. 一种蒸汽锅炉系统的安全分析方法及系统, 20212-3, 中国, 202110148981.4

(10)  陈祖希; 谭兴; 骆翔宇; 梅萌; 徐中伟; 郑黎晓; 李卫娟; 张程; 刘晓. 一种自动驾驶人机界面安全性验证方法及系统, 2022-2-8, 中国, 202011640279.1

(11)  骆翔宇; 陈祖希; 黄欣玥; 梅萌; 徐中伟; 郑黎晓; 李卫娟; 张程; 刘晓. 一种轨道交通联锁系统的安全分析方法及系统, 2022-1-11, 中国, 202011639828.3