模糊时间Petri网及扩展的模糊时间Petri网 被引量：3

1

作者 董玉梅 张立臣 《计算机科学》 CSCD 北大核心 2005年第11期241-246,共6页

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模... 网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间 Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间 Petri网及可扩展的时间 Petri网,可扩展的时间 Petri网的网精简方法,使用 design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。 展开更多

关键词 形式化建模 网精简 实时系统 模糊时间petri网 扩展的模糊时间petri网 时间petri网 可扩展 模糊集合理论 design 形式化模型

在线阅读 下载PDF 职称材料

基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识

2

作者 马军霞 张松炜 《山东科技大学学报（自然科学版）》 CAS 2008年第5期105-110,共6页

为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时间Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性。能够针对冲突事件... 为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时间Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性。能够针对冲突事件的各种时间不确定性问题进行定量分析,可以解决复杂情况下的时间知识推理和验证。其相对于已有方法具有冲突分析精确、计算简单、适用面广的特点。 展开更多

关键词 冲突 不确定性时间知识 扩展模糊时间petri网 模糊时间函数

在线阅读 下载PDF 职称材料

基于扩展模糊时间Petri网的故障诊断 被引量：1

3

作者 王燕平 马良荔 刘永葆 《计算机工程》 CAS CSCD 北大核心 2010年第18期52-53,56,共3页

针对故障诊断中可能出现的故障原因漏判问题,提出一种基于扩展模糊时间Petri网的故障诊断算法。该算法通过检查模糊时间戳确定故障时刻所有故障原因的状态,结合正向和逆向推理最大程度地解决故障原因漏判问题,从而确定主要、次要和其他... 针对故障诊断中可能出现的故障原因漏判问题,提出一种基于扩展模糊时间Petri网的故障诊断算法。该算法通过检查模糊时间戳确定故障时刻所有故障原因的状态,结合正向和逆向推理最大程度地解决故障原因漏判问题,从而确定主要、次要和其他故障原因。燃气轮机的故障诊断实例验证了该算法的有效性。 展开更多

关键词 故障诊断 故障原因漏判 扩展模糊时间 petri 网

在线阅读 下载PDF 职称材料

层次扩展模糊时间Petri网及车站通过能力评定 被引量：5

4

作者 杜彦华 刘春煌 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期178-183,共6页

为了有效地解决车站通过能力中各项时间指标问题, 基于扩展模糊时间Petri网提出了层次扩展模糊时间Petri网(Hierarchical Extended Fuzzy Timing Petri Net-HEFTPN)的概念.然后,以某一车站为例,进行具体建模,并采用仿真工具CPN Tools进... 为了有效地解决车站通过能力中各项时间指标问题, 基于扩展模糊时间Petri网提出了层次扩展模糊时间Petri网(Hierarchical Extended Fuzzy Timing Petri Net-HEFTPN)的概念.然后,以某一车站为例,进行具体建模,并采用仿真工具CPN Tools进行仿真分析,从而验证其有效性.HEFTPN具有灵活、直观、可扩展性好等优点,不但能够有效地解决车站通过能力评定问题,而且适用面广,能较好的应用于其它领域. 展开更多

关键词 车站通过能力 扩展模糊时间petri网 层次扩展模糊时间petri网 仿真

在线阅读 下载PDF 职称材料

基于模糊时间Petri网的电网故障诊断方法 被引量：26

5

作者 徐彪 尹项根 +3 位作者 汪旸 张哲 郝洵 陈钟钟 《电力系统自动化》 EI CSCD 北大核心 2018年第2期70-76,共7页

故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库... 故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库所及变迁引入时间属性以表征电力系统告警信息的时序约束关系,定义了置信概率与时序约束的关联推理运算,并从模型结构出发建立了模糊时间Petri网的分层推理过程,能够同时推理得到元件故障的置信概率及其时间点约束。算例仿真表明,所提方法能够快速判定故障元件,诊断结果正确且合理,具有较强的容错性,且能对告警信息做出正确评价。 展开更多

关键词 故障诊断 模糊时间petri网 时序推理 动作评价

在线阅读 下载PDF 职称材料

计及时间约束的改进模糊Petri网故障诊断模型 被引量：15

6

作者 白展 苗世洪 +2 位作者 孙雁斌 陈亦平 侯云鹤 《电工技术学报》 EI CSCD 北大核心 2016年第23期107-115,共9页

为充分利用故障事件记录的时间约束特性,进一步提高故障诊断的准确性与快速性,建立了一种计及时间约束的改进模糊Petri网故障诊断模型。首先,分析故障事件记录的一元、二元时间约束关系,研究不确定及缺失的报警信息对故障诊断的影响,利... 为充分利用故障事件记录的时间约束特性,进一步提高故障诊断的准确性与快速性,建立了一种计及时间约束的改进模糊Petri网故障诊断模型。首先,分析故障事件记录的一元、二元时间约束关系,研究不确定及缺失的报警信息对故障诊断的影响,利用虚拟有向弧及Petri网产生式规则,建立改进模糊Petri网模型;之后,通过正、反向时序推理分析,获得所有报警信息应该满足的时间区间,依据所建立的状态真值矩阵有效甄别出时序不一致的报警信息;在上述基础上,制定电网故障诊断的具体流程,提出继电保护装置动作行为辨识规则;最后,通过局部电力系统的多组算例仿真和实际系统故障案例测试,证明了所建模型能有效地诊断出电网故障,并具有较高的容错性。 展开更多

关键词 时间约束 改进模糊petri网 故障诊断 不确定性 状态真值矩阵

在线阅读 下载PDF 职称材料

基于模糊时间Petri网的列车运行时间不确定性问题的处理 被引量：13

7

作者 叶阳东 王娟 贾利民 《铁道学报》 EI CAS CSCD 北大核心 2005年第1期6-13,共8页

定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确... 定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确定性问题进行定量分析,可以有效应用于列车交会、列车终到时间、列车运行计划调整的分析等;其相对于已有的方法具有精确分析、计算简单、简化系统、便于系统集成的特点。 展开更多

关键词 列车运行 模糊时间petri网 不确定性 模糊时间函数

在线阅读 下载PDF 职称材料

基于改进时间模糊Petri网配电网故障诊断方法 被引量：8

8

作者 刘鑫蕊 高艺伟 王智良 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2016年第11期1526-1529,共4页

配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区... 配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区域;然后根据动作的断路器能够保护的范围确定可疑故障元件,利用带时标的保护断路器信息,针对可疑故障元件建立时间模糊Petri网模型进行故障诊断.模拟测试表明,此方法提高了配电网故障诊断速度和准确度,具有良好的实用价值. 展开更多

关键词 时间模糊 petri网 报警信息 故障诊断 配电网

在线阅读 下载PDF 职称材料

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估 被引量：5

9

作者 许玉堂 殷永峰 +2 位作者 孙静 张弛 刘斌 《兵工学报》 EI CAS CSCD 北大核心 2015年第2期363-373,共11页

软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的... 软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。 展开更多

关键词 计算机软件 软件体系结构 可靠性评估 时间扩展petri网

在线阅读 下载PDF 职称材料

基于模糊时间Petri网的网络计划模型 被引量：6

10

作者 张新龙 朱友芹 夏国平 《系统工程与电子技术》 EI CSCD 北大核心 2003年第2期171-173,176,共4页

针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规... 针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。 展开更多

关键词 模糊时间petri网 工程计划 关键路径

在线阅读 下载PDF 职称材料

扩展时间Petri网在仿真保护及自动装置动作逻辑中的应用 被引量：13

11

作者 王磊 万秋兰 《电力系统自动化》 EI CSCD 北大核心 2005年第6期71-74,83,共5页

继电保护和自动装置仿真是实现调度员培训仿真(DTS)系统的重要环节。传统方法存在装 置动作过程描述困难、软件可重用性差、系统开发工作量大的问题。利用Petri网可进行离散事件 动态建模,但其在具体应用中的实现技术是一个难点。文中... 继电保护和自动装置仿真是实现调度员培训仿真(DTS)系统的重要环节。传统方法存在装 置动作过程描述困难、软件可重用性差、系统开发工作量大的问题。利用Petri网可进行离散事件 动态建模,但其在具体应用中的实现技术是一个难点。文中提出了一种基于扩展时间Petri网 (ETPN)的继电保护装置动作过程建模方法;在实现技术上,着重研究了ETPN的数据结构及主要 算法,给出了采用ETPN模拟保护及自动装置运行的主要过程。算例结果表明,ETPN是一种有 效的仿真装置动作逻辑描述方法。 展开更多

关键词 扩展时间petri网(ETPN) DTS 保护及自动装置动作逻辑 拓扑排序

在线阅读 下载PDF 职称材料

基于模糊时间Petri网的协同工作流模型研究 被引量：8

12

作者 庞辉 方宗德 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第6期1567-1569,1573,共4页

为了准确描述复杂产品协同工作过程,提出了一种基于模糊时间Petri网(FTPN)的工作流建模和性能分析方法。首先,给出了协同开发任务链接关系的形式化定义,将工作流模型的关键路径计算转化为一个基于FTPN状态方程的求解问题。并在此基础上... 为了准确描述复杂产品协同工作过程,提出了一种基于模糊时间Petri网(FTPN)的工作流建模和性能分析方法。首先,给出了协同开发任务链接关系的形式化定义,将工作流模型的关键路径计算转化为一个基于FTPN状态方程的求解问题。并在此基础上,结合实例计算了某工程项目在约束条件下完成的可能性。结果表明,该方法可以方便确定产品协同开发过程中的关键环节,为产品协同工作的组织和管理提供指导。 展开更多

关键词 模糊时间petri网 协同工作 工作流模型 关键路径 性能分析

在线阅读 下载PDF 职称材料

双枝模糊时间Petri网可修复网络攻击模型 被引量：2

13

作者 黄光球 李艳 王金成 《计算机工程与应用》 CSCD 北大核心 2011年第5期87-91,133,共6页

以具有时间特性的模糊时间Petri网为研究方法建立了一种新的网络攻击模型。在模型中主要引入双枝模糊集理论和可靠性理论。利用双枝模糊集中的上域(下域)表示攻击的促进因素(阻碍因素),并在此基础上进行双枝模糊决策以决定变迁(攻击行为... 以具有时间特性的模糊时间Petri网为研究方法建立了一种新的网络攻击模型。在模型中主要引入双枝模糊集理论和可靠性理论。利用双枝模糊集中的上域(下域)表示攻击的促进因素(阻碍因素),并在此基础上进行双枝模糊决策以决定变迁(攻击行为)激发对其后集中库所(攻击状态)的影响效果。该模型认为攻击过程是一个可修复的复杂系统,库所代表的攻击状态在随机失效后,便进入一个具有模糊时间区间的修复期,并在修复期后恢复攻击状态,这样做更符合攻击者总是维持攻击状态,使其利于攻击的事实。最后,对这种模型的攻击路径和系统的可靠性进行了分析,并以例子对模型进行了仿真验证。 展开更多

关键词 网络攻击模型 模糊时间petri网 双枝模糊决策 可靠性

在线阅读 下载PDF 职称材料

扩展模糊时间工作流网的建模与仿真研究 被引量：3

14

作者 杜彦华 范玉顺 《计算机集成制造系统》 EI CSCD 北大核心 2007年第12期2358-2364,2381,共8页

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述。在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流... 针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述。在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法。同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法。最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性。 展开更多

关键词 不确定性 可能性理论 模糊时间 工作流 扩展模糊时间工作流网

在线阅读 下载PDF 职称材料

具有动态可靠性的模糊时间Petri网攻击模型 被引量：1

15

作者 黄光球 王金成 《计算机工程与应用》 CSCD 北大核心 2010年第18期110-115,118,共7页

在利用Petri网方法研究网络攻击模型的过程中,引入攻击可靠性的概念,将网络攻击模型作为一个系统看待,以此系统为研究对象,不仅通过推理算法得到目标库所的真实度,并且对攻击路径和系统进行动态可靠性分析,从而提出一种新的攻击模型—... 在利用Petri网方法研究网络攻击模型的过程中,引入攻击可靠性的概念,将网络攻击模型作为一个系统看待,以此系统为研究对象,不仅通过推理算法得到目标库所的真实度,并且对攻击路径和系统进行动态可靠性分析,从而提出一种新的攻击模型—动态可靠性模糊时间Petri网网络攻击模型(DRFTPN),并结合可靠性给出了相应的推理算法。这种模型将攻击过程描述为一个不可修复复杂系统,认为库所代表的攻击状态是随机失效的。为了计算复杂系统的可靠度,提出了一种近似求得系统可靠寿命的补偿性算法,并利用基于最小路集的方法求得DRFTPN模型的攻击路径。最后,运用MonteCarlo方法对DRFTPN模型进行仿真。 展开更多

关键词 模糊时间petri网 动态可靠性 攻击模型 补偿算法 最小路集

在线阅读 下载PDF 职称材料

基于直觉模糊时间Petri网的不确定性时间推理方法

16

作者 任神河 郑寇全 +1 位作者 雷英杰 王睿 《火力与指挥控制》 CSCD 北大核心 2016年第11期30-35,40,共7页

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IF... 针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。 展开更多

关键词 直觉模糊集 petri网 时序逻辑 时间推理

在线阅读 下载PDF 职称材料

基于模糊时间Petri网的决策融合模型及时间推理

17

作者 李瑛 汪民乐 刘卫东 《现代防御技术》 北大核心 2006年第4期78-82,共5页

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指... 针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。 展开更多

关键词 指挥决策 模糊时间petri网 线性逻辑 时间推理 决策融合

在线阅读 下载PDF 职称材料

模糊时间Petri网及其时间推理方法

18

作者 高梅梅 吴智铭 《计算机科学》 CSCD 北大核心 2000年第7期11-14,31,共5页

Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述... Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图; 展开更多

关键词 petri网 时间推理 模糊时间

在线阅读 下载PDF 职称材料

基于一种模糊时间Petri网的不确定性时间知识表示和推理

19

作者 马军霞 卢红星 《郑州轻工业学院学报（自然科学版）》 CAS 2008年第4期80-85,共6页

在已有研究基础上定义一种模糊时间Petri网以处理冲突相关的不确定性时间知识.该Petri网引入变迁的模糊触发区间,结合模糊时间函数来处理不确定性时间知识,能够对冲突相关的时间不确定性问题进行定量分析,有效解决冲突事件的描述分析问... 在已有研究基础上定义一种模糊时间Petri网以处理冲突相关的不确定性时间知识.该Petri网引入变迁的模糊触发区间,结合模糊时间函数来处理不确定性时间知识,能够对冲突相关的时间不确定性问题进行定量分析,有效解决冲突事件的描述分析问题,适用于复杂实时系统建模.该方法具有冲突分析精确、计算简单、适用面广的特点,是对现有时间知识推理方法的进一步完善. 展开更多

关键词 不确定性 时间知识 模糊时间petri网 模糊时间函数

在线阅读 下载PDF 职称材料

基于扩展时间Petri网和故障信息网的保护动作分析方法

20

作者 倪承波 《电力系统保护与控制》 EI CSCD 北大核心 2008年第14期33-36,41,共5页

继电保护动作信息是电网故障后故障诊断和事故分析最重要的依据,随着继电保护和故障录波信息网的建立,丰富的录波信息为保护动作分析提供了基础。Petri网理论具有完善的理论证明依据,是离散动态系统建模的有效工具。文中提出了一种基于... 继电保护动作信息是电网故障后故障诊断和事故分析最重要的依据,随着继电保护和故障录波信息网的建立,丰富的录波信息为保护动作分析提供了基础。Petri网理论具有完善的理论证明依据,是离散动态系统建模的有效工具。文中提出了一种基于扩展时间Petri网(ETPN)的继电保护动作过程建模,综合利用故障信息,利用Matlab进行保护动作行为分析的方法。算例结果表明,该方法进行保护动作行为分析清晰直观、有效。 展开更多

关键词 扩展时间petri网(ETPN) 故障信息网 保护动作行为分析

在线阅读 下载PDF 职称材料