个人简历

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

代表性项目如下：
项目名称
项目类型
起止时间
经费
(万元)
位次
1
面向死锁检测与控制的无界Petri网复可达树技术研究
国家自然科学基金
2017/01-
2019/12
20
1
2
面向大数据的业务流程模型实时与并行挖掘方法研究
山东省优秀中青年科学家科研奖励基金
2014/12-
2016/12
6
1
3
Petri网死锁检测可达树研究与应用
山东省博士后创新项目专项资金
2017/01-
2018/12
3
1
4
业务流程管理云服务平台关键技术研究
教育部重点实验室开放课题
2014/2-
2016/3
2
1
5
煤矿安全突发事故应急预案数字化管理与应用平台
中国煤炭科学研究指导性计划项目
2011/7-
2013/7
0
1
6
煤矿安全事故应急救援联动管理软件平台设计与开发
山东省科技发展计划项目
2010/09-
2012/12
10
2
7
跨组织应急联动处置流程推荐的Petri网相似度计算方法研究
国家自然科学基金面上项目
2015/01-
2018/12
84
3
8
井下大规模人群应急协同疏导技术与辅助移动终端软件研究
山东省科技发展计划项目
2014/01-
2017/12
20
3
9
跨组织协同工作流挖掘的Petri网融合激励与保性控制技术研究
国家自然科学基金项目
2012/1-
2015/12
56
4
10
面向大规模数据挖掘的隐私保护支持向量机增量与并行学习算法研究
国家自然科学基金项目
2013/01-
2015/12
24
5

研究领域

机器学习与流程挖掘、并行程序设计与分析、Petri网理论与应用等。以Petri网作为分布式计算理论模型，以形式化方法、流程挖掘、机器学习为技术支撑，围绕互联网环境下复杂信息系统的建模、验证、挖掘和优化等问题开展研究

近期论文

FamingLu,RanranTao,YuyueDu,QingtianZeng,YunxiaBao.DeadlockDetection-orientedUnfoldingofUnboundedPetriNets[J],InformationSciences,2019,doi:https://doi.org/10.1016/j.ins.2019.05.021
FamingLu,QingtianZeng,HuaDuan.Synchronization-Core-BasedDiscoveryofProcesseswithDecomposableCyclicDependencies[J],ACMTransactionsonKnowledgeDiscoveryfromData,2016,Vol10,Issue3,Article31,pp:1-29.
FamingLu,QingtianZeng,YunxiaBao,HuaDuan.HierarchyModelingandFormalVerificationofEmergencyTreatmentProcesses[J],IEEETransactionsonSystems,ManandCybernetics:Systems,2014,vol44,issue2,pp:220-234.
FamingLu,QingtianZeng,MengchuZhou,*YunxiaBao,HuaDuan.ComplexReachabilityTreesandTheirApplicationtoDeadlockDetectionforUnboundedPetriNets[J],IEEETransactionsonSystems,ManandCybernetics:Systems,2019,49(6):1164-1174.doi:10.1109/TSMC.2017.2692262
QingtianZeng,FamingLu(通信作者),CongLiu,HuaDuan,ChanghongZhou.ModelingandVerificationforCross-DepartmentCollaborativeBusinessProcessesUsingExtendedPetriNets,IEEETransactiononSystem,ManandCybernetics:Systems,2015,45(2):349-362.