期刊文献+
共找到73篇文章
< 1 2 4 >
每页显示 20 50 100
Modeling of Testability Requirement Based on Generalized Stochastic Petri Nets 被引量:8
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
基于CGSPN的复杂电子系统测试性参数确定方法
2
作者 张超 房颖涛 +2 位作者 董志杰 何世烈 周振威 《系统工程与电子技术》 北大核心 2025年第5期1525-1535,共11页
因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂... 因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂电子系统测试性参数确定新方法。首先,综合需求信息、约束边界和维修保障等要求,建立电子系统两层级CGSPN模型,引入着色,实现不同模块各种状态的实时追踪和故障并发处理,通过广义随机处理共因故障的随机不确定性;然后,利用着色和可用度探索一种带有冗余设计的测试性参数处理手段,丰富测试性体系;最后,构建一种不同模块、各种状态融合的并行分析技术,统一系统层和模块层之间的状态转移关系,避免分阶段串行处理和等效替换。以通信导航识别系统为例进行实例分析,所提方法比传统方法具有更好的可用性和有效性。 展开更多
关键词 电子系统 测试性参数 着色广义随机petri 共因故障 故障并发
在线阅读 下载PDF
基于广义随机Petri网的口岸站通关流程优化——以磨憨口岸站为例
3
作者 杨红 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第3期84-94,共11页
边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程... 边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程进行建模分析,借助AnyLogic仿真工具进行情景模拟,旨在识别并改善口岸站通关流程中的关键环节,选取“最大拥堵长度”“列车通过率”和“列车平均在站停留时间”作为评估优化效果的关键指标,以磨憨口岸站进口作业流程为例进行分析,结果表明:优化措施不仅可以缓解磨憨口岸站的拥堵情况,相较于优化前口岸站的列车通过率提高106.5%,列车平均在站停留时间减少76.3%,验证了所用方法的有效性。 展开更多
关键词 口岸站 通关流程优化 广义随机petri AnyLogic仿真 优化措施
在线阅读 下载PDF
基于广义随机Petri网的装备战场抢修建模与分析 被引量:1
4
作者 邱雄飞 张桦 +1 位作者 赵润泽 黄增端 《现代防御技术》 北大核心 2024年第4期130-136,共7页
装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,... 装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。 展开更多
关键词 装备保障 战场抢修 广义随机petri网(gspn) 马尔可夫链(MC) 建模与分析
在线阅读 下载PDF
GSPN的分析方法及其应用 被引量:4
5
作者 张建东 高晓光 +1 位作者 吴勇 朱岩 《火力与指挥控制》 CSCD 北大核心 2005年第5期27-31,共5页
随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了... 随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。 展开更多
关键词 广义随机petri 分析方法 应用领域
在线阅读 下载PDF
确定系统级测试性参数的广义随机Petri网模型 被引量:18
6
作者 钱彦岭 邱静 温熙森 《系统工程与电子技术》 EI CSCD 北大核心 2002年第5期4-7,共4页
测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个... 测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。 展开更多
关键词 系统级测试性参数 测试性设计 广义随机petri 区间线性方程
在线阅读 下载PDF
基于PETRI网模型的LEO/MEO/GEO三层卫星网络的性能分析 被引量:8
7
作者 洪志国 吴凤鸽 +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
基于广义随机Petri网的可重组制造单元建模与分析方法 被引量:13
8
作者 谢楠 李爱平 徐立云 《计算机集成制造系统》 EI CSCD 北大核心 2006年第6期828-834,共7页
为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通... 为揭示可重组制造单元的重组过程并计算重组方式对系统性能的影响,根据可重组制造单元的特征,提出了基于广义随机Petri网的模块化建模及分析方法。该方法将制造单元的不同资源及重组生产过程对应于相应的广义随机Petri网基本模块,并通过过渡变迁合成广义随机Petri网模型。在此基础上,采用马尔可夫理论及相关数学方法,分析可重组制造系统的性能指标,并通过实际应用,验证了该建模与分析方法的有效性。 展开更多
关键词 可重组制造单元 广义随机petri 建模 性能分析
在线阅读 下载PDF
基于广义随机Petri网的装配可靠性建模 被引量:7
9
作者 张根保 刘佳 +2 位作者 葛红玉 王国强 张恒 《计算机集成制造系统》 EI CSCD 北大核心 2012年第3期507-512,共6页
为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建... 为了在装配环节保障产品的可靠性,提出可靠性驱动的装配技术的概念,并用广义随机Petri网对该技术进行了建模,通过同构的Markov链对模型进行定量分析。在可靠性驱动的装配技术建模分析中,采用结构分析和设计技术对产品进行功能分析并建立起完整的功能分析模型;将功能分析的结构分析和设计技术模型转化为相应的具有动态分析和定量研究能力的广义随机Petri网模型;为获得可信准确的分析模型,利用三角模糊数中的α-截集对同构的Markov链进行优化;针对装配产品的可靠性特征,用装配可靠度指标对产品进行评价。以某加工中心的分度工作台为例,验证了该建模与分析方法的有效性。 展开更多
关键词 装配 可靠性 广义随机petri 功能分析α-截集 MARKOV链 建模
在线阅读 下载PDF
基于GSPN方法的柔性制造系统过程模型和性能分析(英文) 被引量:3
10
作者 马增治 王龙山 高洪 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第19期5258-5261,共4页
应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运... 应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持。最后,通过柔性制造系统实例,对该方法进行了检验。 展开更多
关键词 广义随机petri 网(gspn) 柔性制造系统 马尔可夫链 过程模型
在线阅读 下载PDF
基于GSPN的供应链产品成套性建模与分析 被引量:5
11
作者 罗建强 韩玉启 +1 位作者 姜涛 刘利群 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第22期5264-5268,共5页
针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率... 针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率和各库所的忙闲程度,以确定系统模型的性能指标,通过实证分析验证了该方法的有效性,丰富了供应链产品成套性评价方法的理论。 展开更多
关键词 广义随机petri 仿真 供应链 成套性
在线阅读 下载PDF
基于GSPN的Web服务组合与性能分析 被引量:4
12
作者 杨怀洲 李增智 《计算机工程》 CAS CSCD 北大核心 2009年第22期1-3,共3页
针对Web服务组合过程缺乏有效的性能评价方法的问题,提出一种利用广义随机Petri网(GSPN)进行组合过程建模的方法,该方法能够表达组合过程,并对组合过程所含的增值业务系统进行多方面的系统性能评价,可实现的评价指标包括系统平均响应时... 针对Web服务组合过程缺乏有效的性能评价方法的问题,提出一种利用广义随机Petri网(GSPN)进行组合过程建模的方法,该方法能够表达组合过程,并对组合过程所含的增值业务系统进行多方面的系统性能评价,可实现的评价指标包括系统平均响应时间、单一组件服务的利用率、系统的吞吐率等,将其应用于一个典型的旅行计划场景建模中。仿真实验结果表明,建模后的系统能进行多种性能评价。 展开更多
关键词 WEB服务组合 组合过程 广义随机petri 性能评价
在线阅读 下载PDF
客户机/服务器系统缓冲区容量的Petri网分析 被引量:1
13
作者 茹媛 茹锋 +1 位作者 高峰 薛钧义 《计算机应用与软件》 CSCD 北大核心 2001年第7期46-48,共3页
本文在详细分析客户机/服务器架构的基础上,采用随机Petri网方法对客户机/服务器体系进行建模,着重就模型的缓冲区性能给出了相应的GSPN性能计算方法,并结合实例进行定性分析。
关键词 客户机/服务器体系 gspn 随机petri 缓冲区容量 计算机网络
在线阅读 下载PDF
基于GSPN模型的系统动态可靠性仿真研究 被引量:15
14
作者 苏春 《中国机械工程》 EI CAS CSCD 北大核心 2008年第1期1-5,共5页
分析了传统可靠性建模方法存在的缺陷,提出基于广义随机Petri网(GSPN)的复杂系统动态可靠性建模方法,将变迁分为瞬时变迁和赋时变迁,采用赋时变迁表示零部件故障及其维修过程,以禁止弧表达系统故障与修复状态的转换,建立典型可修复系统... 分析了传统可靠性建模方法存在的缺陷,提出基于广义随机Petri网(GSPN)的复杂系统动态可靠性建模方法,将变迁分为瞬时变迁和赋时变迁,采用赋时变迁表示零部件故障及其维修过程,以禁止弧表达系统故障与修复状态的转换,建立典型可修复系统动态可靠性分析的GSPN模型。针对因非指数分布、状态空间爆炸等导致的GSPN模型求解难题,提出基于蒙特卡罗仿真的求解方法,通过对变迁发生次数及其持续时间、库所状态等参数的统计,计算系统动态可靠性指标。以挖掘机液压回路为例,验证了所提方法的可行性。 展开更多
关键词 动态可靠性 广义随机petri 赋时变迁 故障 蒙特卡罗仿真
在线阅读 下载PDF
LNG动力船应急响应系统流程GSPN-MC仿真模型 被引量:4
15
作者 胡甚平 李圣媛 +2 位作者 赵睿 李帅召 王新雅 《中国安全科学学报》 CAS CSCD 北大核心 2021年第10期174-181,共8页
为解决液化天然气(LNG)动力船中出现的LNG燃料泄漏的风险问题,提出广义随机Petri网(GSPN)同构其马尔科夫链(MC)的方法,仿真LNG动力船燃料泄漏应急响应系统流程。首先,描述LNG动力船燃料泄漏风险,建立燃料泄漏应急响应系统流程图;然后,构... 为解决液化天然气(LNG)动力船中出现的LNG燃料泄漏的风险问题,提出广义随机Petri网(GSPN)同构其马尔科夫链(MC)的方法,仿真LNG动力船燃料泄漏应急响应系统流程。首先,描述LNG动力船燃料泄漏风险,建立燃料泄漏应急响应系统流程图;然后,构建LNG燃料泄漏应急响应系统流程的GSPN模型及其同构的MC;最后,结合LNG泄漏应急演习中的操作流程,仿真分析应急响应流程,获取系统的稳定状态概率等应急响应主要效能。结果表明:应急响应的前期准备和LNG储罐泄漏程度判断环节容易出现堆积现象;事态判断及后期处置总结耗时相对较长,应为流程优化的重点。 展开更多
关键词 液化天然气(LNG)动力船 应急响应 广义随机petri网(gspn) 马尔科夫链(MC) 仿真模型
在线阅读 下载PDF
基于灰色广义随机Petri网的产品装配过程可靠性建模与分析 被引量:2
16
作者 张根保 钱宝明 +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
17
作者 王永翔 王立德 《北京交通大学学报》 EI CAS CSCD 北大核心 2008年第5期98-101,共4页
基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采... 基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具. 展开更多
关键词 电气工程 多功能车辆总线 广义随机petri网模型 性能分析 仿真
在线阅读 下载PDF
一种基于广义随机Petri网的Web服务组合性能预测模型 被引量:3
18
作者 朱俊 郭长国 吴泉源 《计算机科学》 CSCD 北大核心 2011年第8期125-129,共5页
Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率... Web服务交互消息受到不可预知的网络环境的影响,因特网环境中的个体Web服务的性能表现与访问者的地域位置有关。于是,服务组合的性能则更加容易受到网络环境因素的影响。同时,服务组合的性能还会受到服务组合流程中不同的分支执行概率的影响。在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境因素和分支执行概率,这将会对模型的预测结果造成较大的偏差。为了能够真实地评估服务交互行为、网络环境与分支执行概率之间的关系,提出了一种基于广义随机Petri网的Web服务组合性能预测模型,该模型不仅引入了伙伴服务性能方面的因素,而且充分考虑了网络环境因素和分支执行概率,从而能够对被建模系统进行定性和定量分析,进而指导服务组合性能优化。 展开更多
关键词 WEB服务 性能预测模型 广义随机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网的工作流性能分析 被引量:26
20
作者 陈翔 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第5期399-402,406,共5页
通过引入广义随机Petri网,将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法,为工作流性能的有效评估提供了理... 通过引入广义随机Petri网,将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法,为工作流性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析工作流模型的时间性能和资源利用率。 展开更多
关键词 工作流 性能分析 广义随机petri 软件系统 工作流管理系统
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部