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



详细信息:
鲁法明，男，山东新泰人，1981年5月生，博士，中国自动化学会网络信息服务专委会委员，青岛市青年科技将获得者，青岛市西海岸新区优秀青年人才，研究方向包括机器学习与流程挖掘、并行程序设计与分析、Petri网理论与应用等。
以Petri网作为分布式计算理论模型，以形式化方法、流程挖掘、机器学习为技术支撑，围绕互联网环境下复杂信息系统的建模、验证、挖掘和优化等问题开展研究，主持国家自然科学基金、省优秀中青年科学家科研奖励基金等多项省部级以上课题，在ACM Trans.、IEEE Trans.、Information Sciences、软件学报、计算机学报等权威刊物发表SCI、EI索引论文30余篇，研究成果得到了包括IEEE Fellow、国家****等来自法国、波兰、印度、非洲和国内诸多专家****的引用和肯定性评价。
先后获山东省科技进步奖二等奖、青岛市科技进步奖二等奖、全国商业联合会科技进步奖二等奖以及山东省优秀博士学位论文、省高等学校优秀科研成果奖各1项，个人获评全国煤炭一线优秀青年科技工作者。
代表性论文与项目如下，欢迎有对机器学习、流程挖掘、软件开发等方向有兴趣，愿意参与实际项目或者发表高水平论文的的同学报考我的团队：
Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao. Deadlock Detection-oriented Unfolding of Unbounded Petri Nets [J], Information Sciences, 2019, doi:https://doi.org/10.1016/j.ins.2019.05.021
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.
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, vol 44, issue 2,pp:220-234.
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.**
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.

项目名称
项目来源
项目经费

国家自然科学基金：面向死锁检测与控制的无界Petri网复可达树技术研究
国家自然科学基金委员会
20

山东省优秀中青年科学家科研奖励基金：面向大数据的业务流程模型实时与并行挖掘方法研究
山东省自然科学基金委
6

山东省高等学校青创科技计划项目：矿山安全大数据感知与应急联动决策支持
山东省教育厅


教育部重点实验室开放课题（嵌入式系统与服务计算教育部重点实验室,同济大学）: 业务流程管理云服务平台关键技术研究
嵌入式系统与服务计算教育部重点实验室
2

国家海洋局海洋遥测工程技术研究中心开放基金: 海上溢油紫外与SAR联合检测方法研究
国家海洋局海洋遥测工程技术研究中心开放基金
5

企业委托项目：海洋化学数据集成接口设计
北京辰安科技股份有限公司
15

企业委托项目浒苔灾害事件链动态构建模型调优
国家海洋局北海预报中心
4

企业委托项目基于Spotfire的生产线智能监测报警系统
青岛云起数智信息科技有限公司
3

企业委托项目浒苔综合风险评估模型调优
国家海洋局北海预报中心
4