应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运...应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持。最后,通过柔性制造系统实例,对该方法进行了检验。展开更多
在探讨了Petri网理论和复杂电网连锁故障机理的基础上,提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的电网连锁故障模型。围绕了负荷这一影响连锁故障发生和传播的最重要物理量,结合故障发生的概率,对连锁故障...在探讨了Petri网理论和复杂电网连锁故障机理的基础上,提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的电网连锁故障模型。围绕了负荷这一影响连锁故障发生和传播的最重要物理量,结合故障发生的概率,对连锁故障的发生机理和传播过程进行了理论分析和系统建模。该模型很好地模拟了传输线因过负荷发生故障的场景,不但反应各个传输线之间的相互作用,还反应了过负荷情况下负荷的再分配。通过对BPA九节点系统进行建模分析,验证了所提出的GSPN方法的可行性。展开更多
为解决在缺乏统计数据时无法对系统安全性进行评估的问题,提出将系统广义随机Petri网(GSPN,Generalized Stochastic Petri Nets)与经典评估相结合的方法.以某型尚处于设计阶段的飞机前轮转弯系统为研究对象,通过分析该系统结构功能图,...为解决在缺乏统计数据时无法对系统安全性进行评估的问题,提出将系统广义随机Petri网(GSPN,Generalized Stochastic Petri Nets)与经典评估相结合的方法.以某型尚处于设计阶段的飞机前轮转弯系统为研究对象,通过分析该系统结构功能图,建立出系统故障类型和影响分析(FMEA,Failure Modes and Effects Analysis)表;依照经典公式,求出系统各单元及其故障类型的故障率、维修度、平均无故障时间和平均维修时间等数据;将求得的数据与前轮转弯系统的GSPN模型相结合,利用TimeNET软件求得系统各故障类型的稳态失效概率;联立经验公式及危险度矩阵图对系统的安全性进行评估.经测评,该型飞机前轮转弯系统安全性符合设计要求.展开更多
结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件...结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。展开更多
文摘应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法。针对柔性制造系统的离散性,对整个系统的过程模型进行分析。利用广义随机 Petri 网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持。最后,通过柔性制造系统实例,对该方法进行了检验。
文摘在探讨了Petri网理论和复杂电网连锁故障机理的基础上,提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的电网连锁故障模型。围绕了负荷这一影响连锁故障发生和传播的最重要物理量,结合故障发生的概率,对连锁故障的发生机理和传播过程进行了理论分析和系统建模。该模型很好地模拟了传输线因过负荷发生故障的场景,不但反应各个传输线之间的相互作用,还反应了过负荷情况下负荷的再分配。通过对BPA九节点系统进行建模分析,验证了所提出的GSPN方法的可行性。
文摘为解决在缺乏统计数据时无法对系统安全性进行评估的问题,提出将系统广义随机Petri网(GSPN,Generalized Stochastic Petri Nets)与经典评估相结合的方法.以某型尚处于设计阶段的飞机前轮转弯系统为研究对象,通过分析该系统结构功能图,建立出系统故障类型和影响分析(FMEA,Failure Modes and Effects Analysis)表;依照经典公式,求出系统各单元及其故障类型的故障率、维修度、平均无故障时间和平均维修时间等数据;将求得的数据与前轮转弯系统的GSPN模型相结合,利用TimeNET软件求得系统各故障类型的稳态失效概率;联立经验公式及危险度矩阵图对系统的安全性进行评估.经测评,该型飞机前轮转弯系统安全性符合设计要求.
文摘结构分析与设计语言(architecture analysis and design language,AADL)是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显突出的问题,给出了一个基于AADL的软件系统可靠性建模与评估框架:首先建立AADL可靠性模型,然后将其转换为广义随机Petri网(generalized stochastic Petri net,GSPN)模型后再进行分析,最后根据分析结果判断是否需要进行模型改进。在研究已有的基本转换规则的基础上,重点讨论了系统中组件之间错误传播以及表示系统发生模式转换的Guard_Transition属性到GSPN的转换规则。以某飞行控制系统中数据发送和处理单元为实例,验证了所提转换规则和可靠性建模与评估框架的有效性。
