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

1

作者 曾庆田 鲁法明 +1 位作者 刘聪 孟德存 《计算机学报》 EI CSCD 北大核心 2013年第11期2290-2302,共13页

应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出... 应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系;在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模;最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案. 展开更多

关键词 应急联动系统 跨组织工作流 PETRI网 资源冲突检测 时间性能分析

下载PDF 职称材料

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

2

作者 曾庆田 周长红 +1 位作者 鲁法明 段华 《计算机集成制造系统》 EI CSCD 北大核心 2015年第2期368-380,共13页

为了在应急处置环境下更好地基于流程相似性进行流程的检索、推荐和重构,提出一种面向多视图的应急处置流程相似度计算方法。该方法以应急处置任务的形式化表示为基础,将应急处置流程中不同组织部门之间的协同模式分为任务同步、任务选... 为了在应急处置环境下更好地基于流程相似性进行流程的检索、推荐和重构,提出一种面向多视图的应急处置流程相似度计算方法。该方法以应急处置任务的形式化表示为基础,将应急处置流程中不同组织部门之间的协同模式分为任务同步、任务选择和消息传递三种类型;同时为更好地体现跨部门应急处置流程的多样性,分别建立了应急处置流程的任务逻辑关系视图、部门内部流程视图、部门间协同关系视图和多部门联动视图,进而以四个视图为基础,分别给出了不同视图表示下应急处置流程的相似度计算方法。上述应急处置流程多视图的呈现方式和面向多视图的流程计算方法,在自主设计并开发的煤矿突发事故应急联动管理平台中得到了应用验证。 展开更多

关键词 多视图 应急处置 业务流程 相似度计算

下载PDF 职称材料

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

3

作者 林泽东 鲁法明 段华 《计算机集成制造系统》 EI CSCD 北大核心 2017年第5期1060-1068,共9页

为了对用户的行为进行相似性度量,从用户行为流程产生的行为序列出发计算用户行为的相似度。将推土机距离算法应用到用户行为相似度的计算领域,提出用户行为相似度计算的序列移动距离方法。首先定义了基于最长公共子序列的用户行为序列... 为了对用户的行为进行相似性度量,从用户行为流程产生的行为序列出发计算用户行为的相似度。将推土机距离算法应用到用户行为相似度的计算领域,提出用户行为相似度计算的序列移动距离方法。首先定义了基于最长公共子序列的用户行为序列距离度量方法;其次定义了用户行为序列多重集之间距离的度量指标,在此基础上提出用户行为相似度计算的SMD方法;最后提出行为序列多重集之间距离度量应遵循的基本准则。在人工和真实数据集上进行了实验,实验结果表明了所提方法的有效性。 展开更多

关键词 用户行为挖掘 用户行为相似度 相似性度量 EMD距离 序列移动距离

下载PDF 职称材料

基于流程案例簇的任务关系挖掘算法 被引量：7

4

作者 鲁法明 曾庆田 +2 位作者 包云霞 段华 张昊 《计算机集成制造系统》 EI CSCD 北大核心 2013年第8期1771-1783,共13页

为了进行流程发现,提出一种基于流程案例簇的任务关系挖掘方法。该方法首先将基本案例按照特征向量分为多个案例簇,根据基本案例的任务轨迹对案例簇中任务间的依赖关系进行挖掘;然后给出了基于循环基元的循环结构建模和挖掘方法,最终可... 为了进行流程发现,提出一种基于流程案例簇的任务关系挖掘方法。该方法首先将基本案例按照特征向量分为多个案例簇,根据基本案例的任务轨迹对案例簇中任务间的依赖关系进行挖掘;然后给出了基于循环基元的循环结构建模和挖掘方法,最终可以从事件日志导出流程中完整的任务依赖关系以及存在的循环结构。所提方法能正确处理任务依赖关系随案例属性取值不同而变化的情况。只要日志完备,基于挖掘到的任务关系和循环结构就能得到一个与原流程行为等价的流程模型。 展开更多

关键词 流程挖掘 案例簇 任务依赖关系 业务流程管理

下载PDF 职称材料

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

5

作者 周长红 曾庆田 +3 位作者 段华 鲁法明 刁秀丽 刘聪 《计算机集成制造系统》 EI CSCD 北大核心 2016年第2期395-405,共11页

为了有效、快速地构建协作业务流程、推荐合作伙伴,具体研究了组织间消息交互流程的相似度计算方法。给出了扩展消息交互的组织内流程模型转换为面向组织集的公共流程模型的转换规则,充分考虑顺序、选择、并行和循环结构,面向不同组织... 为了有效、快速地构建协作业务流程、推荐合作伙伴,具体研究了组织间消息交互流程的相似度计算方法。给出了扩展消息交互的组织内流程模型转换为面向组织集的公共流程模型的转换规则,充分考虑顺序、选择、并行和循环结构,面向不同组织的公共流程模型保证了各组织隐私保护的个性化需求。在公共流程模型的基础上设计了面向组织集的消息交互流程的构造方法,在突出交互消息相关信息的基础上,从全局结构相似和多元结构相似两方面给出了消息交互流程的相似度计算方法。结合实例验证了所提方法的有效性。 展开更多

关键词 跨组织业务流程 隐私保护 消息交互 相似度计算

下载PDF 职称材料

可达性与状态方程可满足性等价的两个Petri网子类 被引量：3

6

作者 包云霞 鲁法明 曾庆田 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期44-46,共3页

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出... 可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。 展开更多

关键词 PETRI网 可达性 极小陷阱回路网 后向回路网

下载PDF 职称材料

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

7

作者 李鹏飞 鲁法明 +2 位作者 包云霞 曾庆田 朱冠烨 《计算机集成制造系统》 EI CSCD 北大核心 2020年第6期1668-1678,共11页

对医疗数据进行挖掘分析生成疾病治疗的标准过程模型,或者为治疗方案制定提供决策支持,是当前研究热点之一。基于历史患者的用药数据对疾病的药物治疗过程模型进行挖掘,并提出一种过程模型与用户体征数据相融合的药物推荐方法。具体而言... 对医疗数据进行挖掘分析生成疾病治疗的标准过程模型,或者为治疗方案制定提供决策支持,是当前研究热点之一。基于历史患者的用药数据对疾病的药物治疗过程模型进行挖掘,并提出一种过程模型与用户体征数据相融合的药物推荐方法。具体而言,对于给定的疾病种类,首先利用隐含狄利克雷分布LDA主题模型对患者用药数据进行训练,得到药物治疗的功效主题以及各个诊疗日的药物功效主题分布;然后,对患者各个诊疗日的功效主题分布进行聚类,将患者的药物治疗过程转换为药物功效组合标签序列,在此基础上构建药物治疗过程的概率后缀树模型;最后,基于概率后缀树计算各节点后续治疗所采用药物功效组合的概率分布,将其与病人的体征向量作为联合特征,病人真实用药对应的功效组合作为分类标签,使用XGBoost的分类方法训练模型,并利用该模型进行患者药物推荐。以MIMIC-Ⅲ数据库中糖尿病患者的处方日志和体征数据为例,对所提方案的可行性和有效性进行了评估。 展开更多

关键词 过程挖掘 LDA主题模型 概率后缀树 XGBoost算法 过程模型

下载PDF 职称材料

浅谈如何提高高等数学的教学质量 被引量：2

8

作者 包云霞 鲁法明 《科技视界》 2019年第22期131-131,209,共2页

本文根据笔者自身的教学经验,发现当今大学生在学习高等数学时积极性不够高、主动性不够强的普遍现象,提出端正学生学习态度、激发学生学习兴趣、创新教师教学方法、提高教师自身素质、建立良好的师生关系等方法,从而提高教学质量,改善... 本文根据笔者自身的教学经验,发现当今大学生在学习高等数学时积极性不够高、主动性不够强的普遍现象,提出端正学生学习态度、激发学生学习兴趣、创新教师教学方法、提高教师自身素质、建立良好的师生关系等方法,从而提高教学质量,改善教学效果。 展开更多

关键词 高等数学教学 学习兴趣 教学方法 教学质量

下载PDF 职称材料

S-不变量求取的多项式算法 被引量：2

9

作者 鲁法明 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期29-32,共4页

首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间内判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S... 首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间内判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S-不变量;最后将FDMST算法与RCMSD算法结合,提出了能在多项式时间复杂度内求取部分极小支集上S-不变量的STRC算法。 展开更多

关键词 PETRI网 S-不变量 死锁 陷阱 STRC算法

下载PDF 职称材料

一种基于云边端协同的智能安全帽设计与实现 被引量：2

10

作者 王宁 鲁法明 包云霞 《科技视界》 2022年第18期11-13,共3页

文章对用于工程施工场景下的智能安全帽进行设计与研发,以“云—边—端”协同为技术架构,融合物联网、移动互联网、边缘计算、云计算和AI技术,实现了基于安全帽的安全生产环境信息、人定位与体征数据、人员行为异常以及点对点通信等功能... 文章对用于工程施工场景下的智能安全帽进行设计与研发,以“云—边—端”协同为技术架构,融合物联网、移动互联网、边缘计算、云计算和AI技术,实现了基于安全帽的安全生产环境信息、人定位与体征数据、人员行为异常以及点对点通信等功能,使安全帽成为施工作业环境的感知端、通信端以及智能预警设备,边缘侧的处理充分调度各个环节资源,解决了智能安全帽传感器过于集中问题,同时有效降低了云侧服务器载荷。 展开更多

关键词 智能安全帽 云边端协同 边缘侧

下载PDF 职称材料

简单选择排序算法稳定性探究及其改进 被引量：2

11

作者 钟全 鲁法明 彭延军 《软件导刊》 2016年第2期60-62,共3页

稳定性是度量排序算法质量的一个重要指标。简单选择排序是一种常见的排序算法,但其稳定性存在较大争议。结合实例探讨经典简单选择排序算法稳定性,并进行改进,在时间复杂度和空间复杂度不变的前提下,提出一种稳定的简单选择排序算法。

关键词 算法设计 排序算法 选择排序 算法稳定性

下载PDF 职称材料

E-Learning研究现状和趋势探析 被引量：2

12

作者 宋正国 刁秀丽 鲁法明 《计算机时代》 2014年第12期1-4,共4页

E-Learning作为一种全新的学习方式日益受到社会各界的重视,与此同时,我国企业E-Learning也取得了长足的发展。为了从整体上了解和掌握当前国内企业E-Learning的应用情况,从学术研究的角度对其研究现状进行详细分析,探讨目前E-Learning... E-Learning作为一种全新的学习方式日益受到社会各界的重视,与此同时,我国企业E-Learning也取得了长足的发展。为了从整体上了解和掌握当前国内企业E-Learning的应用情况,从学术研究的角度对其研究现状进行详细分析,探讨目前E-Learning在我国企业应用中遇到的问题及不足,并对其未来的建设和研究趋势提出一些有针对性的建议。 展开更多

关键词 E-LEARNING 企业E-LEARNING 研究现状 研究趋势

下载PDF 职称材料

判定工作流网S-可覆盖性的有效算法 被引量：2

13

作者 鲁法明 曾庆田 包云霞 《计算机集成制造系统》 EI CSCD 北大核心 2012年第8期1757-1765,共9页

为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。... 为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性,上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。 展开更多

关键词 工作流网 PETRI网 S-可覆盖性 S-不变量

下载PDF 职称材料

基于Petri网的随机库存系统仿真 被引量：2

14

作者 鲁法明 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期197-200,203,共5页

定义了一类含弧权变量的Petri网,并以此为工具构造出一种Petri网随机数发生器,进而实现了对(s, Q)策略随机库存系统的建模.该模型可实现需求量与供货滞后时间均为随机变量的库存系统的计算机仿真,通过运行能得出特定策略下系统的平均销... 定义了一类含弧权变量的Petri网,并以此为工具构造出一种Petri网随机数发生器,进而实现了对(s, Q)策略随机库存系统的建模.该模型可实现需求量与供货滞后时间均为随机变量的库存系统的计算机仿真,通过运行能得出特定策略下系统的平均销售量、订货费、缺货损失费及库存管理费等参数的情况,进而可确定出最优的(s, Q)策略. 展开更多

关键词 库存管理 PETRI网 计算机仿真 随机数生成

下载PDF 职称材料

非线性状态空间模型的EHMM抽样法 被引量：1

15

作者 包云霞 鲁法明 刘福升 《山东科技大学学报（自然科学版）》 CAS 2005年第3期104-106,116,共4页

给出了一种新的非线性状态空间模型的MCMC方法———EHMM(EmbeddedHiddenMarkovModel)抽样法,运用该方法构造的Markov链的收敛速度比传统的MCMC方法有明显提升,文中证明了这一结论并以一维非线性状态空间模型为例加以说明。

关键词 非线性状态空间 MCMC方法 Metropolis-Hastings算法 Gibbs算法 HMM EHMM抽样

下载PDF 职称材料

有效模-n S-不变量与不可达性判定 被引量：1

16

作者 鲁法明 包云霞 岳昊 《计算机工程》 CAS CSCD 北大核心 2007年第17期96-98,101,共4页

Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存... Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存在的话,又该如何求取这些模-n S-不变量Desel J并未就这两个问题给出答案。该文提出了有效模-n S-不变量的概念,将上述问题转化为有效模-n S-不变量的存在性问题,并借助矩阵的整数分解给出了寻找有效模-n S-不变量的方法,有效解决了利用模-n S-不变量进行不可达性判定的问题。 展开更多

关键词 PETRI网 模-nS-不变量 不可达性

下载PDF 职称材料

C语言中指针的教、学与高效编程 被引量：1

17

作者 王秀芳 鲁法明 《电脑知识与技术》 2010年第10期8054-8056,共3页

针对C语言教学中存在的指针教学难的问题，该文在总结了指针特点的基础上，结合目前的教学情况提出了指针教学过程中较好的教学方法．同时对学生学习指针的方法也提出了自己的见解；最后由指针编程的高效率总结出了C语言高效编程的几种... 针对C语言教学中存在的指针教学难的问题，该文在总结了指针特点的基础上，结合目前的教学情况提出了指针教学过程中较好的教学方法．同时对学生学习指针的方法也提出了自己的见解；最后由指针编程的高效率总结出了C语言高效编程的几种方法．这些方法编写的程序相对于其他方法都具有较高的程序执行效率。 展开更多

关键词 C程序设计语言 指针 教与学 高效编程

下载PDF 职称材料

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

18

作者 包云霞 鲁法明 《山东科技大学学报（自然科学版）》 CAS 2010年第1期100-104,共5页

S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出... S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。 展开更多

关键词 PETRI网 结构性质 S-不变量 S-不变量的极小支集

下载PDF 职称材料

矿井作业视频图像的轻量级自适应面部疲劳检测算法

19

作者 刘瀚晖 曾庆田 +1 位作者 宋戈 鲁法明 《山东科技大学学报（自然科学版）》 CAS 北大核心 2024年第5期97-109,共13页

矿井作业人员因疲劳引发误操作是导致煤矿事故发生的重要原因。为解决采集的矿井作业图像质量低、疲劳特征单一以及个体差异等问题,本研究提出改进的RetinaFace-PFLD轻量级自适应面部疲劳检测算法(RPLA)。具体地,使用中值滤波和伽马校... 矿井作业人员因疲劳引发误操作是导致煤矿事故发生的重要原因。为解决采集的矿井作业图像质量低、疲劳特征单一以及个体差异等问题,本研究提出改进的RetinaFace-PFLD轻量级自适应面部疲劳检测算法(RPLA)。具体地,使用中值滤波和伽马校正对实时视频数据进行预处理以提高图像质量;在RetinaFace模型的基础上改进MobileNetv3网络提取特征,简化特征金字塔网络,降低识别算法复杂度;通过PFLD框架获取人脸关键点和疲劳特征,利用自适应疲劳检测方法检测疲劳。在人脸数据集、自采集矿工数据集和驾驶数据集上进行测试,疲劳检测准确率达到97.73%。进一步将算法移植到Jetson Nano上,每秒检测帧数为16.13,大于采样速度,表明本算法适用于移动终端设备进行实时监测预警。 展开更多

关键词 矿井作业 轻量级 自适应 面部 疲劳检测

下载PDF 职称材料

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

20

作者 鲁法明 王卓凡 +1 位作者 包云霞 王晓亮 《山东科技大学学报（自然科学版）》 CAS 北大核心 2024年第4期111-120,共10页

可解释知识追踪对于教学诊断和优化具有重要意义。目前代表性的可解释知识追踪模型缺乏对知识点间因果关系的深入考量,同时未能关注模型中存在的特征混淆问题,影响预测性能。针对上述问题,提出一种融合因果推断的动态可解释知识追踪模... 可解释知识追踪对于教学诊断和优化具有重要意义。目前代表性的可解释知识追踪模型缺乏对知识点间因果关系的深入考量,同时未能关注模型中存在的特征混淆问题,影响预测性能。针对上述问题,提出一种融合因果推断的动态可解释知识追踪模型。首先利用因果推断算法挖掘知识点间掌握程度上的因果关系,并制定规则辨别因果效应强度,挖掘得到知识点因果效应特征图,并从中提取知识点外延影响因子特征,作为学生答题正确性预测的特征之一;其次,基于领域知识构建学习能力、习题难度和作答正确率之间的结构因果模型,采用后门调整的方法去除混杂因子的影响;然后,以迭代的方式进行学习能力和答题偏好特征的动态更新;最后,借助树增广朴素贝叶斯分类器实现可解释性知识追踪。在多个公开的数据集上进行实验验证表明,所提模型在保证可解释性的同时可提高预测准确性。 展开更多

关键词 可解释知识追踪 因果推断 树增广朴素贝叶斯分类器 答题正确性预测

下载PDF 职称材料