百晓学者学者目录

鲁法明

博士生导师、教授、硕士生导师，山东科技大学

精选作品

期刊论文

2026

A New Knowledge Mining and Root Cause Analysis Methodology for Multivariate Time Series

Xiaoliang Wang, Faming Lu, Meng-Chu Zhou, Qing-Tian Zeng

IEEE/CAA Journal of Automatica Sinica

DOI

2026

Deadlock Detection and Replay of Multi-Thread Programs Based on Refined Segmentation and Lock Graphs

Fa-Ming Lu, Xiaoyu Wang, Gui-Yuan Yuan, Jia-Jing Zheng, Yunxia Bao

Tsinghua Science and Technology

DOI

2025

A Use-After-Free Vulnerability Detection Method for Multi-Threaded Programs Based on an Improved Petri Net and Value Flow Graph

Shan-Shan Li, Yunxia Bao, Fa-Ming Lu, Chenglei Yu, Cong Liu

IEEE Access

DOI

2025

Segment‐Based May‐Happen‐in‐Parallel Analysis for C Programs

Fa-Ming Lu, Xiaoyu Wang, Qing-Tian Zeng, Gui-Yuan Yuan, Yunxia Bao

Concurrency and Computation

DOI

2025

Enhancing Healthcare Process Model Discovery Through Duplicate Task Identification

Xuan Su, Cong Liu, Faming Lu, Long Cheng, Qingtian Zeng, Jie-Han Zhou

2025 IEEE International Conference on Web Services (ICWS)

DOI

2025

EdgeIM: An Efficient Edge-Based Process Model Discovery Technique

Xuan Su, Cong Liu, Faming Lu, Long Cheng, Qingtian Zeng, Shouli Zhang

2025 IEEE International Conference on Web Services (ICWS)

DOI

2024

融合因果推断的动态可解释知识追踪模型

鲁法明，王卓凡，包云霞，王晓亮

《山东科技大学学报(自然科学版)》

2024

Synergy-incorporated Bayesian Petri Net: A method for mining "AND/OR" relation and synergy effect with application in probabilistic reasoning

Xiaoliang Wang, Faming Lu, Meng-Chu Zhou, Qing-Tian Zeng, Yunxia Bao

Information Sciences

DOI

2024

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qing-Tian Zeng

IEEE Access

DOI

2024

CRViT: Vision transformer advanced by causality and inductive bias for image recognition

Faming Lu, Kunhao Jia, Xue Zhang, Lin Sun

Applied Intelligence

DOI

2023

新工科数据结构

鲁法明

《中国矿业大学出版社有限责任公司》

2023

Explainable Business Process Remaining Time Prediction Using Reachability Graph

Rui Cao, Qingtian Zeng, Weijian Ni, Faming Lu, Cong Liu, H. Duan

Chinese journal of electronics

DOI

2022

Transition-driven time prediction for business processes with cycles

Rui Cao, Qingtian Zeng, Weijian Ni, Faming Lu, Changhong Zhou, Wenyan Guo

Expert Systems With Applications，Vol. 209

DOI

2022

A synergy-effect-incorporated fuzzy Petri net modeling paradigm with application in risk assessment

Xiaoliang Wang, Faming Lu, Mengchu Zhou, Qingtian Zeng

Expert Systems With Applications，Vol. 199

DOI

2022

精细化的BPEL程序数据竞争动态检测方法

鲁伟娜，鲁法明，包云霞，曾庆田，段华

《计算机集成制造系统》

2022

Business process remaining time prediction using explainable reachability graph from gated RNNs

Rui Cao, Qingtian Zeng, Weijian Ni, H. Duan, Cong Liu, Faming Lu, Zi-Qi Zhao

Applied intelligence (Boston)

DOI

2021

基于程序运行轨迹Petri网模型挖掘的死锁检测方法

鲁法明，崔明浩，包云霞，曾庆田，段华

《计算机集成制造系统》

DOI

2021

标注Petri网的最小代价计划序列估计

周广瑞，徐淑琳，郭乙运，鲁法明，岳昊

《计算机科学与探索》

2021

Dijkstra算法的多元教学实践

王宁，鲁法明，包云霞

《电子技术》

2021

基于角色关系网络的应急处置业务流程相似度计算

刘静，郭文艳，鲁法明，李昂，周长红，曾庆田

《山东科技大学学报(自然科学版)》

DOI

2021

融合波动率的时序数据符号聚合近似方法探究

鲁法明，王琳，包云霞，李昂，曾庆田

《计算机集成制造系统》

DOI

2021

算法设计实践中的辩证分析

鲁法明，包云霞

《电子技术》

2021

Remaining time prediction for business processes with concurrency based on log representation

Rui Cao, Weijian Ni, Qingtian Zeng, Faming Lu, Cong Liu, H. Duan

China Communications

DOI

2021

Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection

Zongyin Hao, Faming Lu

International Journal of Software and Informatics

DOI

2020

基于医疗过程挖掘与患者体征的药物推荐方法

李鹏飞，鲁法明，包云霞，曾庆田，朱冠烨

《计算机集成制造系统》

DOI

2020

Death Risk Prediction of Intensive Care Unit Patients Combined with Treatment Process Mining

Faming Lu, Pengfei Li, Yunxia Bao, Cong Liu, Q. Zeng

J. Medical Imaging Health Informatics

DOI

2020

Student Performance Prediction Based on Behavior Process Similarity

Yunxia Bao, Faming Lu, Yanxiao Wang, Q. Zeng, Cong Liu

Chinese journal of electronics

DOI

2019

基于药物疗效日志的临床路径挖掘方法

李睿易，鲁法明，包云霞，曾庆田，朱冠烨

《计算机集成制造系统》

DOI

2019

基于日志的流程相似度计算方法适用性分析

林泽东，曾庆田，段华，鲁法明，周长红

《计算机集成制造系统》

DOI

2019

基于递归与分治的排序算法教学探究

张忠诚，鲁法明

《计算机与数字工程》

2019

Survey of Methods for Time Series Symbolic Aggregate Approximation

Lin Wang, Faming Lu, Ming-Hao Cui, Yunxia Bao

ICPCSEE

DOI

2019

Towards Comprehensive Support for Privacy Preservation Cross-Organization Business Process Mining

Cong Liu, H. Duan, Q. Zeng, Mengchu Zhou, Faming Lu, Jiujun Cheng

IEEE Transactions on Services Computing

DOI

2019

Deadlock detection-oriented unfolding of unbounded Petri nets

Faming Lu, R. Tao, Yu-Yue Du, Q. Zeng, Yunxia Bao

Information Sciences

DOI

2019

Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets

Faming Lu, Q. Zeng, Mengchu Zhou, Yunxia Bao, H. Duan

IEEE Transactions on Systems, Man, and Cybernetics: Systems

DOI

2019

A review of OSEK/VDX application verification methods

Xueping Zhang, Faming Lu, Ming-Hao Cui

International Conference on Critical Infrastructure Protection

DOI

2018

支持活动语义度量的用户行为相似度计算方法

林泽东，曾庆田，段华，鲁法明，邹杰

《计算机集成制造系统》

2018

An introduction and review of petri net unfolding technology

R. Tao, Faming Lu, Xueping Zhang, Guanye Zhu

International Conference on Critical Infrastructure Protection

DOI

2017

向量目标整数线性规划问题及其在工作流网分析中的应用

包云霞，鲁法明，王艳晓，段华，林泽东

《计算机集成制造系统》

2017

基于序列移动距离的用户行为挖掘与相似度计算

林泽东，鲁法明，段华

《计算机集成制造系统》

2016

基于同步核的BPMN模型融合

鲁法明，曾庆田，段华，程久军

《系统工程理论与实践》，Vol. 36, No. 3

下载原文

2016

Petri网不可达标识的判定方法研究及其在死锁检测中的应用

鲁法明，曾庆田，段华，彭延军，包云霞

《计算机集成制造系统》

DOI

2016

简单选择排序算法稳定性探究及其改进

钟全，鲁法明，彭延军

《软件导刊》

2016

支持隐私保护的跨组织消息交互流程相似度计算方法

周长红，曾庆田，段华，鲁法明，刁秀丽，刘聪

《计算机集成制造系统》

2016

Synchronization-Core-Based Discovery of Processes with Decomposable Cyclic Dependencies

Faming Lu, Q. Zeng, H. Duan

ACM Transactions on Knowledge Discovery from Data

DOI

2016

プライバシー保護のインターメッセージ交換のフローの類似性計算方法をサポートする。【JST・京大機械翻訳】

Chang-Hong Zhou, Q. Zeng, H. Duan, Faming Lu, Xiu-Li Diao, Cong Liu

2015

一种基于案例簇和同步核的过程发现算法

鲁法明，曾庆田，段华，刘聪

《电子学报》

2015

面向多视图的跨部门应急处置流程相似度计算方法

曾庆田，周长红，鲁法明，段华

《计算机集成制造系统》

2015

A Management Tool for Distributed Heterogeneous Process Logs

Gui-Yuan Yuan, Q. Zeng, H. Duan, Faming Lu, Chang-Hong Zhou

DOI

2015

Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets

Q. Zeng, Faming Lu, Cong Liu, H. Duan, Chang-Hong Zhou

IEEE Transactions on Systems, Man, and Cybernetics: Systems

DOI

2015

E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations

Cong Liu, Q. Zeng, H. Duan, Mengchu Zhou, Faming Lu, Jiujun Cheng

IEEE Transactions on Systems, Man & Cybernetics. Systems

DOI

2014

OMERR：面向应急领域的本体管理与资源推荐工具

曾庆田，鲁法明，段华，孙剑

《系统工程理论与实践》，Vol. 34, No. 8

下载原文

2014

基于颜色Petri网的有偿交互QA系统投诉模型

李彦成，曾庆田，鲁法明，薛洁

《计算机科学》

2014

Hierarchy Modeling and Formal Verification of Emergency Treatment Processes

Faming Lu, Q. Zeng, Yunxia Bao, H. Duan

IEEE Transactions on Systems, Man & Cybernetics. Systems

DOI

2014

Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Nets: Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Nets

Qing-Tian Zeng, Faming Lu, Cong Liu, Decun Meng

DOI

2014

Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern

Cong Liu, Q. Zeng, H. Duan, Faming Lu

DOI

2013

基于Petri网的跨组织应急联动处置系统建模与分析

曾庆田，鲁法明，刘聪，孟德存

《计算机学报》

2013

基于流程案例簇的任务关系挖掘算法

鲁法明，曾庆田，包云霞，段华，张昊

《计算机集成制造系统》

2012

判定工作流网S-可覆盖性的有效算法

鲁法明，曾庆田，包云霞

《计算机集成制造系统》

2012

Effective algorithm for deciding S-coverability of workflow nets

Faming Lu

2012

Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets

Faming Lu, Q. Zeng, H. Zhang, Yunxia Bao, Jiufang An

International Conference on Software Engineering and Knowledge Engineering

2012

Domain Ontology Design and Reasoning for Resource Matchmaking in Emergency Response Systems

Q. Zeng, Jian Sun, Faming Lu, Sen Feng, Jiufang An, Ke Zhao

International Journal of Knowledge and Systems Science

DOI

2012

A Visual Management and Monitoring Tool for Cross-organization Emergency Response Workflows

Tingting Chen, Q. Zeng, Faming Lu, Jian Sun, Jie Zou

DOI

2012

Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions

Cong Liu, Q. Zeng, Jie Zou, Faming Lu, Qingxin Wu

DOI

2011

求取S-不变量基的新算法

包云霞，鲁法明

《系统仿真学报》

2011

New Algorithm for Computation of S-invariants Generators

Faming Lu

Jisuanji fangzhen

2011

Proposal of Ontology for Resource Matchmaking Schema in Emergency Response Systems

Jian Sun, Q. Zeng, Faming Lu, Sen Feng, Jiufang An

Knowledge Science, Engineering and Management

DOI

2011

Cross-organization Task Coordination Patterns of Urban Emergency Response Systems

Decun Meng, Q. Zeng, Faming Lu, Jian Sun, Jiufang An

DOI

2010

S-不变量极小支集判定的多项式算法

包云霞，鲁法明

《山东科技大学学报(自然科学版)》

2010

C语言中指针的教、学与高效编程

王秀芳，鲁法明

《电脑知识与技术》

2010

A Polynomial Algorithm for the Decidability of Minimal Support of S-invariants

Faming Lu

Journal of Shandong University of Science and Technology

2008

S-不变量求取的多项式算法

鲁法明，吴哲辉

《系统仿真学报》

DOI

2007

可达性与状态方程可满足性等价的两个Petri网子类

包云霞，鲁法明，曾庆田

《系统仿真学报》

2007

随机数生成的Petri网模拟

包云霞，鲁法明，耿霞

《山东科技大学学报(自然科学版)》

2007

有效模-n S-不变量与不可达性判定

Fa-Ming Lu, Yunxia Bao

Review on Petri nets decomposition methods and application

Ceng-Qin-Mei-Ding-,-Hui-Jiang-,-Meng-Ji-,-Li-Sun-T Tian, Cong Liu, Faming Lu, Qing-Tian Zeng, H. Duan

会议论文

2022

A Survey of Detection Methods for Software Use-After-Free Vulnerability

Faming Lu, Mengfan Tang, Yunxia Bao, Xiaoyu Wang

Abstracts of the 8th International Conference of Pioneering Computer Scientists,Engineers and Educators(ICPCSEE 2022)Part II

DOI

2022

A Survey of Malware Classification Methods Based on Data Flow Graph

Tingting Jiang, Lingling Cui, Zedong Lin, Faming Lu

Abstracts of the 8th International Conference of Pioneering Computer Scientists,Engineers and Educators(ICPCSEE 2022)Part I

DOI

2011

一种B/S结构的应急模拟演练系统

张峰，鲁法明，陈新

2011 International conference on Intelligent Computation and Industrial Application(ICIA2011)

预印本

2025

Enhancing Convolutional Neural Networks with Global Query Vectors and Parallel Convolutional Pathways

Faming Lu, Kunhao Jia, Guiyuan Yuan

SSRN Electronic Journal

DOI

研究方向

包括应急决策支持、人工智能 、知识图谱与大模型、Petri网理论与应用等

此主页由公开资料整理，尚未经学者本人认领。