期刊文献+
共找到144篇文章
< 1 2 8 >
每页显示 20 50 100
Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets 被引量:7
1
作者 苏永定 邱静 +1 位作者 刘冠军 钱彦岭 《Defence Technology(防务技术)》 SCIE EI CAS 2009年第1期60-64,共5页
Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as ... Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as the processes of system operation,maintenance and support,fault detection and isolation and so on.Secondly,a testability requirement analysis model is built based on generalized stochastic Petri net(GSPN).Then,the system's reachable states are analyzed based on the model,a Markov chain isomorphic with Petri net is constructed,a state transition matrix is created and the system's steady state probability is obtained.The relationship between the steady state availability and testability parameters can be revealed and reasoned.Finally,an example shows that the proposed method can determine TFOM,such as fault detection rate and fault isolation rate,effectively and reasonably. 展开更多
关键词 广义随机petri 测试要求 故障检测率 需求分析模型 模拟 状态转移矩阵 稳态概率 测试性设计
下载PDF
Generalized stochastic Petri nets based models for performance analysis of communication networks of IEC61850 system
2
作者 常弘 《Journal of Chongqing University》 CAS 2006年第4期205-211,共7页
In this paper, data streams are classified into four types conforming to a standardized infrastructure of communication networks for a substation automation system (SAS) based on IEC61850 system. The data exchanged on... In this paper, data streams are classified into four types conforming to a standardized infrastructure of communication networks for a substation automation system (SAS) based on IEC61850 system. The data exchanged on the net are demonstrated to be stochastic according to investigation on the Ethernet communication principles. Four generalized stochastic Petri nets (GSPN) based models for performance analysis of communication networks of IEC61850 system are developed based on the three-level structure of SAS, different time requirements of the four data streams and different networks topology for different voltage level. The GSPN-based model associated with immediate and exponential transitions is proven to be theoretically isomorphic with Markov chain; hence we apply the mathematic methods of performance evaluation contained in Markov chain to the GSPN models proposed. The computer simulation of the model including only sample value data streams shows that it can meet performance evaluation needs of communication networks of IEC61850 system. Further researches should be focused on the performance of the other three models to explain clear how those different data streams are interrelated to and interact on each other. 展开更多
关键词 广义随机petri 以太网 IEC61850 数据流 性能分析
下载PDF
基于Petri网的配电网信息物理系统可靠性评估 被引量:7
3
作者 李宏仲 郭相辰 《电网技术》 EI CSCD 北大核心 2023年第1期347-359,共13页
该文提出一种基于广义随机Petri网(generalized stochastic Petrinets,GSPN)的配电网信息物理系统(cyber-physical system,CPS)可靠性评估模型。首先,考虑配电网CPS的动态控制关系,基于GSPN的基本原理,构建配电网CPS的Petri网模型;之后... 该文提出一种基于广义随机Petri网(generalized stochastic Petrinets,GSPN)的配电网信息物理系统(cyber-physical system,CPS)可靠性评估模型。首先,考虑配电网CPS的动态控制关系,基于GSPN的基本原理,构建配电网CPS的Petri网模型;之后,分析了信息攻击及信息元件自身故障对于配电网CPS运行可靠性的影响,并构建了系统元件的状态模型;然后,结合最大流理论,判断故障后各阶段的令牌数,并计算相应的可靠性指标。基于Petri网的评估方法,可以直观地刻画系统拓扑结构及元件状态变化,并通过动态方程推理故障后果,避免了故障后果分析的遍历过程,提升了评估效率。最后,以IEEE-RBTS BUS6配电系统为例开展仿真测试,验证了所提模型的有效性。 展开更多
关键词 配电网CPS 广义随机petri 可靠性 最大流理论
下载PDF
基于广义随机Petri网的工业设计流程分析
4
作者 何方明 《佳木斯大学学报(自然科学版)》 CAS 2023年第2期11-14,共4页
作为产品设计过程管理研究的重要一环,工业设计流程建模同新产品的开发速度与过程成本有直接关联。针对这一问题,利用广义随机Petri网对工业设计流程进行建模,将设计流程中的执行状态与执行活动分别用库所与变迁表示,对每一变迁赋予一... 作为产品设计过程管理研究的重要一环,工业设计流程建模同新产品的开发速度与过程成本有直接关联。针对这一问题,利用广义随机Petri网对工业设计流程进行建模,将设计流程中的执行状态与执行活动分别用库所与变迁表示,对每一变迁赋予一个实施速率,构建出可靠的工作流模型,根据转化规则,将该Petri网模型转换成与之等价的马尔可夫链模型,由马尔可夫链理论求解得到各可达标识的稳态概率,最后利用获得的稳态概率对模型主要性能进行分析,找出其中的冗余过程,为工业设计流程的设计、规划和评价提供支持。 展开更多
关键词 工业设计流程 广义随机petri 马尔可夫链 性能分析
下载PDF
基于Petri网的非串行制造系统的可靠性分析 被引量:17
5
作者 张君一 谢里阳 +1 位作者 李兵 刘晓霞 《机械工程学报》 EI CAS CSCD 北大核心 2009年第12期95-101,共7页
对带有中间缓冲区的非串行系统深入研究其可靠性问题,建立基于广义随机Petri网的可靠性模型,着重考虑出现的装配、拆分以及按不同比例进行装配或拆分的加工工序,其中间缓冲区可用度对机器可用度的影响,在此模型基础上,采用缓冲区可用度... 对带有中间缓冲区的非串行系统深入研究其可靠性问题,建立基于广义随机Petri网的可靠性模型,着重考虑出现的装配、拆分以及按不同比例进行装配或拆分的加工工序,其中间缓冲区可用度对机器可用度的影响,在此模型基础上,采用缓冲区可用度定理,对中间缓冲区和机器本身的状态转移概率分别分类求解,计算出相应的缓冲区可用度和等效机器可用度;同时通过功能可靠度指标,对整个加工任务车间的可靠性进行总体评价,从时间量和产品量因子出发,来衡量由于生产率的不平衡以及中间缓冲区的库存太小,引起生产流程中传输道的阻塞和缺料,进而造成的相关工件的加工时间延迟等问题。以三台机床和两个待加工工件的加工装配单元为例,验证该模型与分析方法的有效性。 展开更多
关键词 非串行制造系统 可靠性建模 广义随机petri 功能可靠度 缓冲区可用度
下载PDF
基于广义随机Petri网的维护系统仿真与应用 被引量:11
6
作者 刘坚 于德介 +1 位作者 李蓉 李德刚 《机械工程学报》 EI CAS CSCD 北大核心 2005年第10期164-169,共6页
针对企业设备维护工作的经济性优化问题提出了基于流程建模与仿真的维护系统优化方法。该方法以维护系统的广义随机Petri网工作流建模为基础,强调基于维护记录的模型变迁时延的假设与验证,并针对解析法的局限性将流程仿真技术引入维护... 针对企业设备维护工作的经济性优化问题提出了基于流程建模与仿真的维护系统优化方法。该方法以维护系统的广义随机Petri网工作流建模为基础,强调基于维护记录的模型变迁时延的假设与验证,并针对解析法的局限性将流程仿真技术引入维护系统的性能求解中,在选定的Artifex工具平台上实现了维护系统的长周期真实模拟。通过对不同资源条件下仿真结果的分析,明确维护资源配置与维护系统性能间的对应关系,为维护系统的改进提供指导。方法的正确性和可行性在企业的实际应用中得到了验证。 展开更多
关键词 维护系统 工作流建模 广义随机Petfi网 流程仿真 系统优化
下载PDF
基于广义随机Petri网的装配可靠性建模 被引量:7
7
作者 张根保 刘佳 +2 位作者 葛红玉 王国强 张恒 《计算机集成制造系统》 EI CSCD 北大核心 2012年第3期507-512,共6页
为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建... 为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建立起完整的功能分析模型;将功能分析的结构分析和设计技术模型转化为相应的具有动态分析和定量研究能力的广义随机Petri网模型;为获得可信准确的分析模型,利用三角模糊数中的α-截集对同构的Markov链进行优化;针对装配产品的可靠性特征,用装配可靠度指标对产品进行评价。以某加工中心的分度工作台为例,验证了该建模与分析方法的有效性。 展开更多
关键词 装配 可靠性 广义随机petri 功能分析α-截集 MARKOV链 建模
下载PDF
基于广义随机Petri网的可重组制造单元建模与分析方法 被引量:13
8
作者 谢楠 李爱平 徐立云 《计算机集成制造系统》 EI CSCD 北大核心 2006年第6期828-834,共7页
为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通... 为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通过过渡变迁合成广义随机Petri网模型。在此基础上,采用马尔可夫理论及相关数学方法,分析可重组制造系统的性能指标,并通过实际应用,验证了该建模与分析方法的有效性。 展开更多
关键词 可重组制造单元 广义随机petri 建模 性能分析
下载PDF
GSPN的分析方法及其应用 被引量:4
9
作者 张建东 高晓光 +1 位作者 吴勇 朱岩 《火力与指挥控制》 CSCD 北大核心 2005年第5期27-31,共5页
随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了... 随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。 展开更多
关键词 广义随机petri 分析方法 应用领域
下载PDF
基于PETRI网模型的LEO/MEO/GEO三层卫星网络的性能分析 被引量:8
10
作者 洪志国 吴凤鸽 +2 位作者 范植华 李磊 孙富春 《电子学报》 EI CAS CSCD 北大核心 2005年第2期354-357,共4页
基于Petri网模型方法和仿真方法 ,对一种低轨 /中轨 /同步地球轨 (LEO/MEO/GEO)三层卫星网络进行了性能分析 .首先建立了卫星网络的广义随机Petri网 (GSPN)模型 ,采用SPNP6 .0软件进行了网络性能分析 .然后 ,将分析结果与采用OPNET软件... 基于Petri网模型方法和仿真方法 ,对一种低轨 /中轨 /同步地球轨 (LEO/MEO/GEO)三层卫星网络进行了性能分析 .首先建立了卫星网络的广义随机Petri网 (GSPN)模型 ,采用SPNP6 .0软件进行了网络性能分析 .然后 ,将分析结果与采用OPNET软件对该三层卫星网络模拟的结果进行了比较 ,验证了模型的正确性 ,并得出了诸如在高网络负载的情况下三层网络结构的性能优于单层等新的结论 . 展开更多
关键词 卫星通信 LEO/MEO/GEO卫星网络 gspn模型 性能分析 OPNET
下载PDF
基于GSPN的网络系统动态可靠性建模方法 被引量:10
11
作者 陈克伟 董利霞 李丹 《计算机测量与控制》 CSCD 北大核心 2012年第4期1091-1094,共4页
针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数... 针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数之间对应关系的基础上,详细描述了网络系统动态可靠性建模的过程;最后以某型车电系统为例,通过仿真实验得到了系统可用度指标的动态变化曲线,验证了所提方法的有效性。 展开更多
关键词 网络系统 动态可靠性 建模方法 广义随机petri 车电系统
下载PDF
基于GSPN的供应链产品成套性建模与分析 被引量:5
12
作者 罗建强 韩玉启 +1 位作者 姜涛 刘利群 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第22期5264-5268,共5页
针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率... 针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率和各库所的忙闲程度,以确定系统模型的性能指标,通过实证分析验证了该方法的有效性,丰富了供应链产品成套性评价方法的理论。 展开更多
关键词 广义随机petri 仿真 供应链 成套性
下载PDF
基于Petri网的非相似余度飞控计算机可靠性分析 被引量:10
13
作者 秦旭东 陈宗基 《控制与决策》 EI CSCD 北大核心 2005年第10期1173-1176,共4页
应用混合Petri网建立故障诊断模型,应用广义随机Petri网建立Boe ing 777非相似余度飞控计算机故障行为模型.描述了非相似余度系统的结构以及故障的产生和传播的动态过程,分析了该系统的可靠度和容错度,并有效地消除了瞬态故障对分析系... 应用混合Petri网建立故障诊断模型,应用广义随机Petri网建立Boe ing 777非相似余度飞控计算机故障行为模型.描述了非相似余度系统的结构以及故障的产生和传播的动态过程,分析了该系统的可靠度和容错度,并有效地消除了瞬态故障对分析系统可靠性的影响. 展开更多
关键词 混合petri 广义随机petri 非相似余度 可靠性
下载PDF
基于GSPN方法的柔性制造系统过程模型和性能分析(英文) 被引量:3
14
作者 马增治 王龙山 高洪 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第19期5258-5261,共4页
应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运... 应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持。最后,通过柔性制造系统实例,对该方法进行了检验。 展开更多
关键词 广义随机petri 网(gspn) 柔性制造系统 马尔可夫链 过程模型
下载PDF
基于GSPN的Web服务组合与性能分析 被引量:4
15
作者 杨怀洲 李增智 《计算机工程》 CAS CSCD 北大核心 2009年第22期1-3,共3页
针对Web服务组合过程缺乏有效的性能评价方法的问题,提出一种利用广义随机Petri网(GSPN)进行组合过程建模的方法,该方法能够表达组合过程,并对组合过程所含的增值业务系统进行多方面的系统性能评价,可实现的评价指标包括系统平均响应时... 针对Web服务组合过程缺乏有效的性能评价方法的问题,提出一种利用广义随机Petri网(GSPN)进行组合过程建模的方法,该方法能够表达组合过程,并对组合过程所含的增值业务系统进行多方面的系统性能评价,可实现的评价指标包括系统平均响应时间、单一组件服务的利用率、系统的吞吐率等,将其应用于一个典型的旅行计划场景建模中。仿真实验结果表明,建模后的系统能进行多种性能评价。 展开更多
关键词 WEB服务组合 组合过程 广义随机petri 性能评价
下载PDF
基于有色广义随机Petri网的虚拟供应链仿真方法 被引量:6
16
作者 张涛 谭跃进 武小悦 《计算机仿真》 CSCD 2003年第11期100-102,共3页
该文首先介绍了虚拟供应链概念 ,然后提出了虚拟供应链仿真的基本思想和设计原则 ,提出了一种基于有色广义随机Petri网的虚拟供应链仿真方法 ,给出了库所、托肯、颜色相应的含义以及Petri网的初始值设定方法和引发条件。
关键词 有色广义随机petri 虚拟供应链 仿真 计算机模拟
下载PDF
基于灰色广义随机Petri网的产品装配过程可靠性建模与分析 被引量:2
17
作者 张根保 钱宝明 +2 位作者 柳剑 李冬英 彭露 《中国机械工程》 EI CAS CSCD 北大核心 2014年第11期1460-1465,共6页
以产品的装配工步为研究对象,提出了基于灰色广义随机Petri网(GGSPN)的产品装配可靠性建模方法。首先,通过对装配过程中各道工步之间的装配关系分析,建立产品装配过程的GGSPN模型;其次,采用基本随机Petri网模型及其性能等价公式对GGSPN... 以产品的装配工步为研究对象,提出了基于灰色广义随机Petri网(GGSPN)的产品装配可靠性建模方法。首先,通过对装配过程中各道工步之间的装配关系分析,建立产品装配过程的GGSPN模型;其次,采用基本随机Petri网模型及其性能等价公式对GGSPN模型进行简化;再次,针对装配过程故障信息的贫信息不确定性问题,在广义随机Petri网模型的变迁激发率中引入灰数进行优化处理;然后,针对建立的产品装配过程可靠性模型,求解出用灰数表示的稳态概率并对其进行白化处理,再通过对产品装配过程的可靠性分析,提出可靠性控制的改进措施;最后,以某齿轮油泵装配过程为例,验证了该方法的可行性。 展开更多
关键词 装配 灰色广义随机petri 可靠性分析 可靠性控制
下载PDF
基于广义随机Petri网的MVB网络吞吐性能分析 被引量:8
18
作者 王永翔 王立德 《北京交通大学学报》 EI CAS CSCD 北大核心 2008年第5期98-101,共4页
基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采... 基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具. 展开更多
关键词 电气工程 多功能车辆总线 广义随机petri网模型 性能分析 仿真
下载PDF
广义随机Petri网下的组合Web服务建模与评价 被引量:9
19
作者 门鹏 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第8期967-971,共5页
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则... 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策. 展开更多
关键词 语义Web服务标记语言 广义随机petri 组合WEB服务 性能评价 形式化验证
下载PDF
客户机/服务器系统缓冲区容量的Petri网分析 被引量:1
20
作者 茹媛 茹锋 +1 位作者 高峰 薛钧义 《计算机应用与软件》 CSCD 北大核心 2001年第7期46-48,共3页
本文在详细分析客户机/服务器架构的基础上,采用随机Petri网方法对客户机/服务器体系进行建模,着重就模型的缓冲区性能给出了相应的GSPN性能计算方法,并结合实例进行定性分析。
关键词 客户机/服务器体系 gspn 随机petri 缓冲区容量 计算机网络
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部