成果简介

科研工作方面，作为山东省泰山学者研究团队的核心成员，专注于应急决策支持、人工智能以及BPM领域的研究，承担新一代人工智能国家科技重大专项、国家自然科学基金、山东省优秀中青年科学家科研奖励基金等多项国家级和省部级课题，在TKDD、TSMC、IS、ESWA、软件学报、计算机学报、电子学报等刊物发表SCI/EI索引论文50余篇，授权发明专利与软件著作权10余项，出版编著3部。将研究成果应用于矿山、化工、公共安全、海洋安全等领域的突发事件应急响应流程智能构建与优化，获山东省自然科学二等奖、山东省科技进步二等奖、全国商业联合会科技进步一等奖、山东省优秀博士学位论文等奖励，个人获评全国煤炭工业生产一线优秀青年科技工作者、青岛市青年科技奖、西海岸新区优秀青年人才、山东科技大学十大杰出青年等荣誉称号。

教学工作方面，获评青岛开发区先进工作者，山东科技大学教学名师、最美教师、教书育人楷模，承担国家级一流本科课程、山东省课程思政示范课程等课程建设项目，获全国煤炭行业教育教学成果奖二等奖、山东省研究生教育教学成果一等奖等奖励、山东省省级教学成果二等奖。 

代表性成果

[1]山东省自然科学奖二等奖：多方多模式协作信息系统业务流程模型挖掘，山东省人民政府,2024

[2]山东省科技进步奖二等奖：煤矿安全事故应急救援联动管理技术与软件平台，山东省人民政府，2014

[3]山东省高等学校科学技术奖：跨组织多模式协作信息系统的智能感知与性能优化，山东省教育厅，2019

[4]山东省高等学校优秀科研成果奖: 跨部门应急响应流程的Petri网形式化建模与分析技术，山东省教育厅,2015

[5]山东省优秀博士学位论文奖: 业务流程的分层建模验证与挖掘方法研究,山东省教育厅，2015

[6]中国职业安全健康协会科技进步一等奖：面向煤矿安全生产的“人-物-网”信息感知和检测预警研究与应用，中国职业安全健康协会，2024

[7]全国商业科技进步奖一等奖：突发事件大规模人群协同疏导技术与应急联动处置可视化平台，商业联合会，2019

[8]山东省人工智能学科学技术二等奖:复杂信息系统业务流程的智能构建与形式化分析,山东省人工智能协会,2020/06

[9]山东省物联网协会科技进步奖一等奖：基于多源数据协同感知的灾害与突发事故社会影响评估可视化系统，山东省物联网协会，2020-3

[10]Faming Lu, *Qingtian Zeng, Yunxia Bao, Hua Duan. Hierarchy Modeling and Formal Verification of Emergency Treatment Processes [J], IEEE Transactions on Systems, Man and Cybernetics: Systems, 2014, 44, 2,pp:220-234.( SCI索引,JCR一区)

[11] Faming Lu, *Qingtian Zeng, Hua Duan. Synchronization-Core-Based Discovery of Processes with Decomposable Cyclic Dependencies[J], ACM Transactions on Knowledge Discovery from Data, 2016, Vol 10, Issue 3, Article 31,pp:1-29.(SCI索引，CCF B类期刊)

[12] Faming Lu, Ranran Tao, Yuyue Du, *Qingtian Zeng, *Yunxia Bao. Deadlock Detection-oriented Unfolding of Unbounded Petri Nets [J], Information Sciences, 2019-9,497,1-22. ( SCI索引,JCR一区)

[13]Qingtian Zeng, Faming Lu(通信), Cong Liu, Hua Duan,Changhong Zhou. Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets, IEEE Transaction on System, Man and Cybernetics: Systems, 2015, 45(2): 349-362. (SCI索引，JCR一区)

[14]Wang X, Lu F（通信）, Zhou M C, Zeng Q T. A synergy-effect-incorporated fuzzy Petri net modeling paradigm with application in risk assessment[J]. Expert Systems with Applications, 2022, 199:117037 (SCI索引，JCR一区)

[15]Wang X, Lu F（通信）, Zhou M C, Zeng Q T, Bao Y X. Synergy-incorporated Bayesian Petri Net: A Method for Mining “AND/OR” Relation and Synergy Effect With Application in Probabilistic Reasoning[J] . Information Sciences, 2024, 121019. (SCI索引，JCR一区)

[16] Faming Lu, *Qingtian Zeng,Mengchu Zhou, *Yunxia Bao, Hua Duan. Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets [J], IEEE Transactions on Systems, Man and Cybernetics -Systems, 2019,49(6):1164-1174. (SCI索引，JCR一区)

[17]鲁法明,唐梦凡,包云霞等.目标导向的多线程程序UAF漏洞预测方法[J].软件学报,2023,34(07):3043-3063.DOI:10.13328/j.cnki.jos.006862（CCF A类中文期刊，EI索引）

[18]鲁法明,黄莹,曾庆田等.基于Petri网展开的多线程程序数据竞争检测与重演[J].软件学报,2023,34(08):3726-3744.DOI:10.13328/j.cnki.jos.006618（CCF A类中文期刊，EI索引）

[19]鲁法明,郑佳静,包云霞,曾庆田,段华,王晓宇.基于锁增广分段图的多线程程序死锁检测[J].软件学报,2021,32(06):1682-1700.(CCF A类中文期刊，EI索引)

[20]鲁法明，曾庆田，段华，程久军，包云霞. 一种并行化的启发式流程挖掘算法，软件学报，2015, 26(3): 533-549(EI索引：20151800809911).

[21]郝宗寅,鲁法明（通信作者）.Petri网的反向展开及其在程序数据竞争检测的应用[J].软件学报,2021,32(06):1612-1630（CCF A类中文期刊，EI索引）.

[22]鲁法明,曾庆田, 段华,刘聪. 一种基于案例簇和同步核的过程发现算法. 电子学报,2015,43(6):1127-1136（CCF A类中文期刊，EI索引）

[23]曾庆田, 鲁法明, 段华, 孙剑. OMERR: 面向应急领域的本体管理与资源推荐工具[J].系统工程理论实践, 34(8): 2113-2120,2014(国家自然科学基金委管理学部推荐A类期刊, CSSCI索引、EI索引)

[24]鲁法明,曾庆田,段华,程久军. 基于同步核的BPMN模型融合. 系统工程理论与实践, 2016,36(3):795-804(国家自然科学基金委管理学部推荐A类期刊, CSSCI索引、EI索引)

[25]曾庆田,鲁法明,刘聪,等.基于Petri网的跨组织应急联动处置系统建模与分析[J].计算机学报,2013,36(11):2290-2302（CCF A类中文期刊，EI索引）.

联系方式

     Email：fm_lu@163.com