按导师类型分类

博士生导师

姓名:鲁法明 性别:男 学历:博士

职称:教授 办公室:208/207 隶属部门:计算机系

联系方式:fm_lu@163.com

个人简介:

鲁法明,男,山东新泰人,1981年5月生,博士,博士研究生导师,中国自动化学会网络信息服务专委会委员,青岛市青年科技奖获得者,青岛市西海岸新区优秀青年人才,山东科技大学十大杰出青年,校最美教师、教学名师与教书育人楷模。个人研究方向包括机器学习与流程挖掘、并行程序设计与分析、Petri网理论与应用等。 以Petri网作为分布式计算理论模型,以形式化方法、流程挖掘、机器学习为技术支撑,围绕互联网环境下复杂信息系统的建模、验证、挖掘和优化等问题开展研究,主持国家自然科学基金、省优秀中青年科学家科研奖励基金等多项省部级以上课题,在ACM Trans.、IEEE Trans.、Information Sciences、软件学报、计算机学报等权威刊物发表SCI、EI索引论文60余篇,研究成果得到了包括IEEE Fellow、国家杰青等来自法国、波兰、印度、非洲和国内诸多专家学者的引用和肯定性评价。 先后获山东省科技进步奖二等奖、青岛市科技进步奖二等奖、全国商业联合会科技进步奖二等奖以及山东省优秀博士学位论文、省高等学校优秀科研成果奖各1项,个人获评全国煤炭一线优秀青年科技工作者。

详细信息:

  鲁法明,男,山东新泰人,1981年5月生,博士生导师,中国自动化学会网络信息服务专委会委员,青岛市青年科技奖获得者,青岛市西海岸新区优秀青年人才,山东科技大学最美教师、教学名师、教书育人楷模,校十大杰出青年获得者,研究方向包括机器学习与流程挖掘、软件分析与验证、Petri网理论与应用等。

  以Petri网作为分布式计算理论模型,以形式化方法、流程挖掘、机器学习为技术支撑,围绕互联网环境下复杂信息系统的建模、验证、挖掘和优化等问题开展研究,主持国家自然科学基金、省优秀中青年科学家科研奖励基金等多项省部级以上课题,在ACM Trans.、IEEE Trans.、Information Sciences、软件学报、计算机学报等权威刊物发表SCI、EI索引论文60余篇,研究成果得到了包括IEEE Fellow、国家杰青等来自法国、波兰、印度、非洲和国内诸多专家学者的引用和肯定性评价。

  先后获山东省科技进步奖二等奖、青岛市科技进步奖二等奖、全国商业联合会科技进步奖二等奖以及山东省优秀博士学位论文、省高等学校优秀科研成果奖各1项,个人获评全国煤炭一线优秀青年科技工作者。

 

  代表性论文与项目如下,欢迎有对流程挖掘、软件分析、Petri网理论与应用等方向有兴趣、有志于参与实际项目或发表高水平论文的的同学报考:

  1. [1]Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao. Deadlock Detection-oriented Unfolding of Unbounded Petri Nets [J], Information Sciences, 2019,497,1-22. ( SCI一区,Top期刊)

  2. [2]Faming Lu, Qingtian Zeng, Yunxia Bao, Hua Duan. Hierarchy Modeling and Formal Verification of Emergency Treatment Processes, IEEE Transactions on Systems, Man and Cybernetics: Systems, 2014, vol 44, issue 2,pp:220-234.( SCI一区,Top期刊)

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

  4. [4]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.doi:10.1109/TSMC.2017.2692262( SCI一区,Top期刊)

  5. [5]Wang X, Lu F(通信), Zhou M C, et al. A synergy-effect-incorporated fuzzy Petri net modeling paradigm with application in risk assessment[J]. Expert Systems with Applications, 2022, 199: 117037( SCI一区,Top期刊)

  6. [6]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一区,Top期刊)

  7. [7]鲁法明,唐梦凡,包云霞,曾庆田,李彦成.一种目标导向的多线程程序UAF漏洞预测方法[J].软件学报,2023,34(07)(CCF A类中文期刊,EI索引)

  8. [8]鲁法明,黄莹,曾庆田,包云霞,唐梦凡.基于Petri网展开的多线程程序数据竞争检测与重演[J].软件学报,2023,34(07)(CCF A类中文期刊,EI索引

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

  10. [10]鲁法明,曾庆田,段华,程久军,包云霞. 一种并行化的启发式流程挖掘算法,软件学报,2015, 26(3): 533-549(CCF A类中文期刊,EI索引

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

  12. [12]曾庆田,鲁法明,刘聪,孟德存.基于Petri网的跨组织应急联动处置系统建模与分析, 计算机学报.2013,36(11) :367-375(CCF A类中文期刊,EI索引


项目名称

项目来源

项目经费

面向死锁检测与控制的无界Petri网复可达树技术研究

国家自然科学基金

20

面向大数据的业务流程模型实时与并行挖掘方法研究

山东省优秀中青年科学家科研奖励基金

6

矿山安全大数据感知与应急联动决策支持

山东省高等学校青创科技计划

18

数据中心软件可靠性自动分析与维护工具研发

企业委托项目

160万

业务流程管理云服务平台关键技术研究

教育部重点实验室开放基金

2

海上溢油紫外与SAR联合检测方法研究

国家海洋局海洋遥测工程技术研究中心开放基金

5

海洋化学数据集成接口设计

企业委托项目

15

浒苔灾害事件链动态构建模型调优

企业委托项目

4

基于Spotfire的生产线智能监测报警系统

企业委托项目

3

浒苔综合风险评估模型调优

企业委托项目

4