期刊文献+
共找到5,207篇文章
< 1 2 250 >
每页显示 20 50 100
一种工作流网的自动生成算法 预览
1
作者 谈芝梦 潘理 +3 位作者 王希 李文彬 蒋军强 杨勃 《湖南理工学院学报:自然科学版》 CAS 2019年第1期25-32,共8页
针对工作流网人工建模容易出错、工作流分析方法缺乏大规模测试案例等问题,提出了一种自动构建工作流网的生成算法.该算法通过随机节点分组、全连接和最少连接、AND和OR类型转换等方式,自动生成具有自由选择性、安全性和无环性质的工作... 针对工作流网人工建模容易出错、工作流分析方法缺乏大规模测试案例等问题,提出了一种自动构建工作流网的生成算法.该算法通过随机节点分组、全连接和最少连接、AND和OR类型转换等方式,自动生成具有自由选择性、安全性和无环性质的工作流网.算法最坏情况下的时间复杂度为O(mn/k),其中m为库所数,n为变迁数,k为库所分组数.同时,基于Matlab平台研制工作流网生成工具,可快速生成无环、自由选择和安全的工作流实例,为工作流分析方法提供了不同规模的测试数据. 展开更多
关键词 工作流网 PETRI 生成算法 自由选择性 安全性
在线阅读 下载PDF
面向行为的可信Web服务选择方法 预览
2
作者 邓丽平 段利国 杨丽凤 《计算机工程与应用》 CSCD 北大核心 2019年第4期112-118,共7页
通过服务组合构建应用软件已成为SOC(Service-Oriented Computing)环境下满足用户需求的一种主要途径,而服务选择是服务组合的重要环节,其选择结果对组合服务的可信性有重要的影响。针对当前服务选择结果中服务的预期行为与执行行为相... 通过服务组合构建应用软件已成为SOC(Service-Oriented Computing)环境下满足用户需求的一种主要途径,而服务选择是服务组合的重要环节,其选择结果对组合服务的可信性有重要的影响。针对当前服务选择结果中服务的预期行为与执行行为相差较远的问题,设计了有效的流程相似性度量方法FQSim。该方法综合考虑服务流程的静态结构与动态行为,提高了服务流程相似性计算结果的准确性。仿真实验验证了所提方法的有效性,与已有方法相比,流程相似性度量方法FQSim有更优的准确率。 展开更多
关键词 WEB服务选择 PETRI 流程相似性
在线阅读 下载PDF
反应堆保护系统动态可靠性建模与分析 预览
3
作者 曹枭虓 熊华胜 +3 位作者 郭超 张皓景 李铎 黄晓津 《自动化仪表》 CAS 2019年第6期6-10,共5页
反应堆保护系统(RPS)是核电站最重要的安全设备之一。对该系统的可靠性评估一直备受关注。事件树和故障树等传统可靠性分析方法只能对反应堆保护系统进行静态分析,难以反映定期试验(PST)等检测和维修活动对系统可靠性的影响。动态分析... 反应堆保护系统(RPS)是核电站最重要的安全设备之一。对该系统的可靠性评估一直备受关注。事件树和故障树等传统可靠性分析方法只能对反应堆保护系统进行静态分析,难以反映定期试验(PST)等检测和维修活动对系统可靠性的影响。动态分析方法中,马尔科夫模型一般适用于指数分布的情况,而反应堆保护系统的失效和维修过程,并不都服从指数分布。此外,很多模型都假设反应堆保护系统的各通道经过定期试验后都修复如新,这与实际情况也有差异。基于Petri网,建立了反应堆保护系统的动态可靠性模型,考虑了定期试验只维修故障通道的情况,描述了系统在不同状态之间的动态转换关系,计算了反应堆保护系统的瞬时可靠性。通过与理论值对比,验证了Petri网能很好地适用于反应堆保护系统的可靠性评估;并在假设反应堆保护系统失效过程服从不同分布的条件下,进行了可靠性分析。 展开更多
关键词 反应堆保护系统 可靠性评估 可靠性建模 定期试验 PETRI
在线阅读 下载PDF
基于Artifact生命周期的业务流程一致性检查 预览
4
作者 王颖 周晓宇 +2 位作者 王钊 张学馨 陈丽娇 《计算机集成制造系统》 EI CSCD 北大核心 2019年第4期856-863,共8页
为检查业务流程日志中对关键业务数据的操作和预定义模型中的操作是否存在偏差,提出一种基于Artifact生命周期的业务流程一致性检查方法。基于Petri网建立了业务流程关键数据Artifact的生命周期模型。给出Artifact实例日志,采用A*算法... 为检查业务流程日志中对关键业务数据的操作和预定义模型中的操作是否存在偏差,提出一种基于Artifact生命周期的业务流程一致性检查方法。基于Petri网建立了业务流程关键数据Artifact的生命周期模型。给出Artifact实例日志,采用A*算法查找日志中的Artifact实例轨迹与模型中活动序列的最佳对齐,计算活动—属性关联拟合度。最后,实现了一个原型系统,结果表明以数据为中心进行一致性检查为流程分析和改进提供了有效的方法。 展开更多
关键词 一致性检查 业务流程 Artifact生命周期 日志 PETRI 拟合度
在线阅读 下载PDF
基于后继关系的行为块过程挖掘方法 预览
5
作者 方欢 段瑞 詹悦 《计算机集成制造系统》 EI CSCD 北大核心 2019年第4期901-908,共8页
鉴于已有的过程挖掘方法在发现循环结构和隐藏行为上具有一定的局限性,提出一种基于后继关系的行为块挖掘算法。依据日志建立后继关系矩阵,分析了矩阵中变迁间对应的值,从而可以发现所有最小行为块和隐藏的行为关系,包括循环行为块;利... 鉴于已有的过程挖掘方法在发现循环结构和隐藏行为上具有一定的局限性,提出一种基于后继关系的行为块挖掘算法。依据日志建立后继关系矩阵,分析了矩阵中变迁间对应的值,从而可以发现所有最小行为块和隐藏的行为关系,包括循环行为块;利用组合原理对带有重复变迁的最小行为块进行组合,得到结构行为块;组合所有行为块得到初始模型,利用已发现的隐藏行为关系修正初始模型得到更加精确的过程模型。通过实例分析和ProM的仿真实验验证了所提方法的可行性。 展开更多
关键词 PETRI 后继关系 过程挖掘 行为块 ProM框架
在线阅读 下载PDF
基于Petri网的基层级多机种通用性维修保障设备优化配置 预览
6
作者 步兵 王卓健 潘洪升 《系统工程与电子技术》 EI CSCD 北大核心 2019年第2期349-357,共9页
多机种战时的出动架次系统是一个复杂的离散事件系统,适合运用Petri网理论对其进行建模。本文运用Petri网理论构建多机种战时的出动架次模型,应用着色Petri网(coloured Petri nets,CPN)Tools软件仿真模拟基层级的维修保障过程,重点分析... 多机种战时的出动架次系统是一个复杂的离散事件系统,适合运用Petri网理论对其进行建模。本文运用Petri网理论构建多机种战时的出动架次模型,应用着色Petri网(coloured Petri nets,CPN)Tools软件仿真模拟基层级的维修保障过程,重点分析通用性维修保障设备的配置对多机种同场次出动架次率的影响,并以多机种的出动架次率为优化目标,获得通用性保障设备的最优配备比(保障设备数:飞机数),最后对影响多机种出动架次的因素进行敏感性分析。同时对优化配置模型进行了案例验证,可为作战部门进行保障设备数量的最优化配备提供有效的理论支持。 展开更多
关键词 PETRI 通用性保障设备 多机种出动架次率 敏感性分析
在线阅读 下载PDF
即时通讯流量检测与分析 预览
7
作者 胡阳 余翔湛 李凯 《智能计算机与应用》 2019年第1期178-182,187共6页
本文从数据包数量受限条件下的流量检测和基于Petri网的协议分析两个方面进行即时通讯流量的研究。通过互信息分析对比不同即时通讯流量数据包数为流量分类提供的信息量差别,利用统计学检验方法以及基于混淆矩阵的分类性能评价方法对机... 本文从数据包数量受限条件下的流量检测和基于Petri网的协议分析两个方面进行即时通讯流量的研究。通过互信息分析对比不同即时通讯流量数据包数为流量分类提供的信息量差别,利用统计学检验方法以及基于混淆矩阵的分类性能评价方法对机器学习分类器在不同包数下对即时通讯流量的分类的情况进行分析,得到各种机器学习分类器达到最佳分类状态时用于检测的包数量。基于Petri网对协议形式化的描述,将协议受到的攻击行为转化为网中插入的新元素,利用矩阵的运算完成协议攻击成功的可能性分析,使得协议安全性的分析有了形式化的方法,避免了人工分析的不确定性和局限性。本文设计并实现了一个即时通讯流量检测分析系统,通过数据包数选取、机器学习分类以及Petri网分析,实现包数受限下的即时通讯软件协议数据流识别分类及通讯的消息分析还原。 展开更多
关键词 流量检测 机器学习 PETRI 协议分析
在线阅读 免费下载
基于Petri网的MES系统形式化建模 预览
8
作者 邹佳霖 范宝德 韩兆玉 《烟台大学学报:自然科学与工程版》 CAS 2019年第3期298-306,共9页
针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模。对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3... 针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模。对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模。最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型。 展开更多
关键词 PETRI 执行制造系统 水产品加工 形式化建模
在线阅读 下载PDF
基于Petri网的APT攻击模型生成方法 预览
9
作者 杜镇宇 刘方正 李翼宏 《计算机应用研究》 CSCD 北大核心 2019年第7期2134-2142,共9页
在严峻的APT(advanced persistent threat)攻击防御背景下,针对现有网络攻击建模方法无法反映APT攻击的攻击特点的问题,建立了基于Petri网的APT攻击模型。借助Petri网,针对APT攻击的特点及生命周期,建立APT攻击的基本Petri网模型;然后... 在严峻的APT(advanced persistent threat)攻击防御背景下,针对现有网络攻击建模方法无法反映APT攻击的攻击特点的问题,建立了基于Petri网的APT攻击模型。借助Petri网,针对APT攻击的特点及生命周期,建立APT攻击的基本Petri网模型;然后设计并实现针对具体APT攻击的APTPN(advanced persistent threat petrinets)模型的生成算法,该算法能够生成具体APT攻击的完整的攻击路径,并能够对APT攻击进行检测及预测。实验通过模拟极光攻击验证了算法的有效性及正确性,并能够根据收集到的报警信息预测攻击者下一步的攻击手段。 展开更多
关键词 PETRI APT APTPN 建模 攻击路径
在线阅读 下载PDF
基于Petri网的事件日志与过程模型对齐方法 预览
10
作者 田银花 杜玉越 +1 位作者 韩咚 刘伟 《计算机集成制造系统》 EI CSCD 北大核心 2019年第4期809-829,共21页
为了提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网的事件日志与过程模型之间的快速对齐方法——RapidAlign方法。该方法在观察日志的同时运行模型,比对日志活动与模型活动,从而得到日志移动、模型移动和同步移动;根据移动类... 为了提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网的事件日志与过程模型之间的快速对齐方法——RapidAlign方法。该方法在观察日志的同时运行模型,比对日志活动与模型活动,从而得到日志移动、模型移动和同步移动;根据移动类型计算代价值,并记录日志和模型的当前状态;选取代价值最小的状态继续日志的观察和模型的运行,直到日志和模型均到达结束状态。最终生成一个最优对齐图,其源节点到终节点之间的路径包含了基于标准似然代价函数的事件日志与业务过程模型之间的所有最优对齐。对RapidAlign方法的适用性进行了详细且严格的描述,从理论上证明了该方法的正确性与有效性。通过仿真实验,验证了RapidAlign方法的优越性。 展开更多
关键词 最优对齐 过程挖掘 事件日志 过程模型 PETRI
在线阅读 下载PDF
数控弯管机多模复合几何加工过程仿真技术 预览
11
作者 王佳鹏 刘少丽 +2 位作者 刘检华 刘佳顺 常增岩 《计算机集成制造系统》 CSCD 北大核心 2018年第1期19-33,共15页
针对现有数控弯管加工过程仿真系统中模胎、送料方式及弯曲工艺单一等问题,提出一种数控弯管机多模复合几何加工过程仿真方法。首先建立了数控弯管机几何加工过程的Petri网模型,将NC文件划分为3个信息单元,确定了Petri网的初始标识,并... 针对现有数控弯管加工过程仿真系统中模胎、送料方式及弯曲工艺单一等问题,提出一种数控弯管机多模复合几何加工过程仿真方法。首先建立了数控弯管机几何加工过程的Petri网模型,将NC文件划分为3个信息单元,确定了Petri网的初始标识,并建立了9种模胎模型,在此基础上分析了单模与多模、绕弯与推弯、左弯与右弯加工过程中导管动态成形过程,最后基于Petri网对数控弯管加工过程进行了仿真。该方法实现了单模与多模、直送与夹送、绕弯与推弯、左弯与右弯等复合加工过程的仿真,基于该方法开发的软件系统作为某公司生产的多模胎数控弯管机的配套软件,已在企业中得到了工程推广应用,证明了所提方法的有效性和可靠性。 展开更多
关键词 多模胎 复合加工工艺 PETRI 数控弯管 加工仿真
在线阅读 下载PDF
基于Petri网的复杂武器系统性能质量评估方法研究 预览
12
作者 黄睿 刘小方 郑祥 《火炮发射与控制学报》 北大核心 2018年第4期38-43,共6页
目前常用加权和、层次分析、模糊综合评价等方法对复杂武器系统性能质量状态进行评估,没有考虑内部子系统的相互影响,不能真实反映系统整体的质量状态。为了准确评估复杂武器系统性能质量状态,利用Petri网的正向推理性质,将基本Petri网... 目前常用加权和、层次分析、模糊综合评价等方法对复杂武器系统性能质量状态进行评估,没有考虑内部子系统的相互影响,不能真实反映系统整体的质量状态。为了准确评估复杂武器系统性能质量状态,利用Petri网的正向推理性质,将基本Petri网改进优化,建立基于Petri网的复杂武器系统性能质量评估模型(PQEPN),很好地描述了复杂武器系统性能质量状态变化的层次性、相关性和多发性等特点,弥补了常用评估方法的不足,使评估结果更加真实准确;并结合某型武器系统进行了实例验证。 展开更多
关键词 复杂武器系统 PETRI 质量评估
在线阅读 免费下载
基于量子遗传算法优化粗糙-Petri网的电网故障诊断 预览 被引量:2
13
作者 田海霖 洪良 +1 位作者 王艺翔 王晓华 《西安工程大学学报》 CAS 2018年第6期678-684,共7页
当前电网故障诊断主要依靠单一的人工智能算法,对于复杂故障问题常出现误诊、漏诊情况.为解决这一问题,给出一种基于量子遗传算法优化粗糙-Petri网的电网故障诊断方法.采用量子遗传算法来进行粗糙集的属性约简,量子旋转门实现染色体的... 当前电网故障诊断主要依靠单一的人工智能算法,对于复杂故障问题常出现误诊、漏诊情况.为解决这一问题,给出一种基于量子遗传算法优化粗糙-Petri网的电网故障诊断方法.采用量子遗传算法来进行粗糙集的属性约简,量子旋转门实现染色体的演化来达到较高的收敛速度和全局最优搜索,约简出最小决策表,结合提取的诊断规则并建立Petri网模型,利用Petri网进行高效的电网故障诊断.通过实例分析表明该模型能准确诊断出故障区域,具有较好的快速性和准确性. 展开更多
关键词 量子遗传算法 粗糙集 PETRI 属性约简 故障诊断
在线阅读 下载PDF
一种挖掘二度循环的扩展Alpha算法 预览 被引量:1
14
作者 林雷蕾 周华 +2 位作者 代飞 闻立杰 莫启 《计算机集成制造系统》 CSCD 北大核心 2018年第3期591-601,共11页
为解决现有挖掘算法无法从不具有显式行为特征"aba"的局部完备性的日志文件中挖掘最简2度循环的问题,对经典的alpha算法进行了扩展,提出了αL算法,用于从具有行为特征或不具有行为特征的局部完备性日志中挖掘出最简2度循环。给出了最... 为解决现有挖掘算法无法从不具有显式行为特征"aba"的局部完备性的日志文件中挖掘最简2度循环的问题,对经典的alpha算法进行了扩展,提出了αL算法,用于从具有行为特征或不具有行为特征的局部完备性日志中挖掘出最简2度循环。给出了最简2度循环的形式化定义。从全局角度根据不同结构具有不同行为轨迹来区分最简2度循环与并发结构。通过紧邻关系的强弱,来有效识别并发分支上同类型的最简2度循环结构。通过大量模型实验表明了所提算法的有效性,并将算法集成在开源框架ProM中。 展开更多
关键词 业务流程管理 流程挖掘 紧邻度 日志完备性 PETRI
在线阅读 下载PDF
流程模型约束下的排产问题求解算法 预览
15
作者 钱忱 闻立杰 《计算机集成制造系统》 CSCD 北大核心 2018年第7期1598-1607,共10页
为了在有限资源约束下进行企业流程的执行管理,以提高产品利润,提出一种将企业生产部门的排产问题转化为线性规划数学模型的求解问题,同时提出一种降维算法对生成的数学模型进行降维,以使求解系统能够在更快时间内获得等价的生产方案。... 为了在有限资源约束下进行企业流程的执行管理,以提高产品利润,提出一种将企业生产部门的排产问题转化为线性规划数学模型的求解问题,同时提出一种降维算法对生成的数学模型进行降维,以使求解系统能够在更快时间内获得等价的生产方案。实验从时间维度对降维前后进行定量对比,降维后的方法在保证等价解的条件下大幅度降低了系统的运算时间。所提算法可以应用于企业生产管理来指导生产流程,以在相同约束条件下提高和增强生产性能。 展开更多
关键词 PETRI 控制流 资源约束 线性规划 降维
在线阅读 下载PDF
基于Petri网的微博网络信息传播模型
16
作者 刘宇 梁循 杨小平 《中国管理科学》 CSSCI CSCD 北大核心 2018年第12期158-167,共10页
微博网络中的信息传播模型是分析用户行为,找出传播路径,确定领袖人物,发现舆情热点等研究的基础。虽然多种不同角度的信息传播模型已经得到广泛研究,但缺乏对信息动态传播过程的直观描述。本文基于Petri网的结构和特征,针对微博网络信... 微博网络中的信息传播模型是分析用户行为,找出传播路径,确定领袖人物,发现舆情热点等研究的基础。虽然多种不同角度的信息传播模型已经得到广泛研究,但缺乏对信息动态传播过程的直观描述。本文基于Petri网的结构和特征,针对微博网络信息传播过程,提出了一种简单直观的描述模型,该模型首先对微博网络的信息动态传播过程中的对象进行结构化描述。本文根据微博网络的用户结构关系,并利用Petri网的相关理论,形式化解释和定义信息传播基本对象,从而更加直接描述了微博网络中的转发、评论、回复等多种用户行为。在此基础上,本文利用Petri网能够描述信息流动问题的特征,结合颜色Petri网和时延Petri网,从Petri网系统的角度表示信息动态传播路径,并研究网络的动态性质和传播条件,使得信息传播模型更加真实地模拟信息传播情况。最后本文分析信息传播算例和新浪微博真实数据实验,验证了模型的有效性和可行性,为舆情态势分析以及用户行为的研究提供帮助和支持,同时也为其它社交网络信息传播的用户行为描述提供了新的思路。 展开更多
关键词 PETRI 用户在线行为 社交网络 动态信息传播
基于Petri网的电梯控制系统建模与分析 预览
17
作者 段瑞 方欢 《牡丹江师范学院学报:自然科学版》 2018年第3期24-28,共5页
使用Petri网模型工具建立一种电梯单控系统模型,分析电梯运行中的循环和满载开门问题,给出优化设计方案.结果表明,优化方案可以实现,模型有效.
关键词 PETRI 电梯控制系统 建模 性质分析
在线阅读 免费下载
一种基于Petri网模型的配电网故障恢复算法 预览
18
作者 王长瑞 刘军娜 +2 位作者 杨琨 李烨 李绥荣 《电测与仪表》 北大核心 2018年第13期25-30,共6页
Petri网是一种对离散事件动态系统进行建模和分析的强有力工具,被广泛应用于各种工业领域。鉴于配电网故障的发生和恢复过程具备异步、并发等动态特征,将Petri网方法应用到配电网故障恢复问题中。提出了基于Petri网的建模方法,将配电网... Petri网是一种对离散事件动态系统进行建模和分析的强有力工具,被广泛应用于各种工业领域。鉴于配电网故障的发生和恢复过程具备异步、并发等动态特征,将Petri网方法应用到配电网故障恢复问题中。提出了基于Petri网的建模方法,将配电网的故障恢复过程抽象为Petri网中的变迁序列,设计了一种基于最优目标状态的故障恢复算法。该方法中提出的Petri网模型结构更为简洁,同时最大限度的保留配电网系统的拓扑结构,便于理解;解决了其中最大的一个优化问题,并与现有算法进行比较,证明了本故障恢复算法的全局最优性和有效性。 展开更多
关键词 配电网 故障恢复 PETRI 最优化 目标状态控制
在线阅读 下载PDF
基于Petri网的服装柔性生产工序优化 预览
19
作者 王晓华 王瑞卿 +2 位作者 洪良 张蕾 张宏伟 《东华大学学报:自然科学版》 CSCD 北大核心 2018年第2期275-281,共7页
为了解决服装吊挂系统多任务生产的优化调度问题,提出了一种基于Petri网的生产工序优化调度方法。根据服装吊挂系统的加工特点以及赋时库所Petri网的变迁发射规则,分析系统的多任务加工流程,得出多任务生产工序最优调度策略算法,并得到... 为了解决服装吊挂系统多任务生产的优化调度问题,提出了一种基于Petri网的生产工序优化调度方法。根据服装吊挂系统的加工特点以及赋时库所Petri网的变迁发射规则,分析系统的多任务加工流程,得出多任务生产工序最优调度策略算法,并得到了工序的最优排列顺序和时刻。多组实例验证了该方法在服装柔性多任务生产工序优化方面的有效性。 展开更多
关键词 PETRI 服装生产 柔性 工序优化 调度策略
在线阅读 下载PDF
高铁列车运行计划检验仿真模型研究 预览
20
作者 杨锐 牟瑞芳 《计算机应用研究》 CSCD 北大核心 2018年第10期2960-2964,共5页
研究采用仿真手段快速检验高铁列车运行计划可行性所需的核心模型。模型以改进Petri网为工具,根据高铁列车运行特点及高铁路网功能,分别将列车视为托肯、线路和车站视为库所,通过自定义多种变迁实现列车空间位置变换及运行信息传递。建... 研究采用仿真手段快速检验高铁列车运行计划可行性所需的核心模型。模型以改进Petri网为工具,根据高铁列车运行特点及高铁路网功能,分别将列车视为托肯、线路和车站视为库所,通过自定义多种变迁实现列车空间位置变换及运行信息传递。建模基于部件组合思想,考虑列车运行过程中的随机扰动,可根据不同检验需求及所需路网数据快速生成仿真框架并完成系统运行,但仅适用于高铁常采用的单向运行运输组织模式。模拟实例表明模型可开发,模拟结果基本符合客观实际,不仅可检验高铁列车运行计划的可行性,还可作为支撑模型开发具有更多用途的仿真平台。 展开更多
关键词 高铁 运行计划 仿真模型 PETRI
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部 意见反馈