期刊文献+
共找到69篇文章
< 1 2 4 >
每页显示 20 50 100
基于着色时间Petri网的飞机维修保障作业优化
1
作者 齐阳 祝华远 +1 位作者 李江龙 崔骏夫 《兵工自动化》 北大核心 2025年第6期93-97,103,共6页
针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维... 针对舰基特殊条件下飞机的维修保障作业受限制问题,提出基于着色时间Petri网的飞机维修保障作业模型。利用ECRS法优化现有作业流程并使用着色时间Petri网以机械检查工序为例建立飞机维修保障作业模型。通过优化机械检查流程,并对不同维修人员组合的维修时间进行仿真,得出串行工序的优先级、并行到串行转换的影响以及整体效率优化的结果。仿真结果表明:该模型能够在维修保障资源受限情况下,得到资源配置最优组合,对缩短维修时间,提高维修资源利用率,提升飞机放飞时效有一定指导意义。 展开更多
关键词 维修保障 着色时间petri 资源配置优化 流程优化 仿真分析 ECRS方法
在线阅读 下载PDF
带有时间戳的着色逻辑Petri网 被引量:1
2
作者 王嘉丰 徐贤 《计算机科学与探索》 CSCD 北大核心 2024年第7期1776-1791,共16页
针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局... 针对扩展着色逻辑Petri网存在的表达能力弱以及适用范围窄的问题,提出了一个新的Petri网模型,即带有时间戳的着色逻辑Petri网。首先,将颜色进行实例化以及将变量用于构建有向边上的表达式使得模型能够传递复杂的数据流。其次,引入全局时间以及令牌的时间戳等概念为变迁使能规则增加时间上的约束,使得模型能够用于模拟实时系统。再次,定义库所约束函数并为变迁使能规则增加输出库所上的约束,使得模型能够适用于存储资源有限的场景。接着,提出基于逻辑变迁输入输出矩阵的匹配法,降低逻辑输入变迁的使能判定计算开销并简化逻辑输出变迁的使能判定计算过程。然后,重新定义适用于三类变迁的使能判定条件以及适用于三类库所的标记更新方法,解决原有模型语义在新模型中不适用的问题。最后,通过实例说明新的Petri网模型具有更强的表达能力和适用范围,它能够适用于传递复杂数据流、存储资源有限、实时的且包含批处理选择结构的系统。 展开更多
关键词 petri 时间 着色令牌 逻辑变迁
在线阅读 下载PDF
基于模糊时间Petri网的电网故障诊断方法 被引量:26
3
作者 徐彪 尹项根 +3 位作者 汪旸 张哲 郝洵 陈钟钟 《电力系统自动化》 EI CSCD 北大核心 2018年第2期70-76,共7页
故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库... 故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库所及变迁引入时间属性以表征电力系统告警信息的时序约束关系,定义了置信概率与时序约束的关联推理运算,并从模型结构出发建立了模糊时间Petri网的分层推理过程,能够同时推理得到元件故障的置信概率及其时间点约束。算例仿真表明,所提方法能够快速判定故障元件,诊断结果正确且合理,具有较强的容错性,且能对告警信息做出正确评价。 展开更多
关键词 故障诊断 模糊时间petri 时序推理 动作评价
在线阅读 下载PDF
模糊着色Petri网及其在工作流建模中的应用 被引量:9
4
作者 张鹏程 李人厚 +1 位作者 秦明 顾新华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2002年第8期713-716,共4页
Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模... Petri网是当前工作流建模中广泛采用的工具之一 .针对工作流过程定义中模糊信息的描述和处理问题 ,提出模糊着色 Petri网的描述方法 ,并给出基于模糊着色 Petri网的推理过程 .最后给出一个简单业务流程的基于模糊着色 Petri网的工作流模型 。 展开更多
关键词 模糊着色petri 工作流 建模 流程定义 智能表达 模糊推理
在线阅读 下载PDF
计及时间约束的改进模糊Petri网故障诊断模型 被引量:15
5
作者 白展 苗世洪 +2 位作者 孙雁斌 陈亦平 侯云鹤 《电工技术学报》 EI CSCD 北大核心 2016年第23期107-115,共9页
为充分利用故障事件记录的时间约束特性,进一步提高故障诊断的准确性与快速性,建立了一种计及时间约束的改进模糊Petri网故障诊断模型。首先,分析故障事件记录的一元、二元时间约束关系,研究不确定及缺失的报警信息对故障诊断的影响,利... 为充分利用故障事件记录的时间约束特性,进一步提高故障诊断的准确性与快速性,建立了一种计及时间约束的改进模糊Petri网故障诊断模型。首先,分析故障事件记录的一元、二元时间约束关系,研究不确定及缺失的报警信息对故障诊断的影响,利用虚拟有向弧及Petri网产生式规则,建立改进模糊Petri网模型;之后,通过正、反向时序推理分析,获得所有报警信息应该满足的时间区间,依据所建立的状态真值矩阵有效甄别出时序不一致的报警信息;在上述基础上,制定电网故障诊断的具体流程,提出继电保护装置动作行为辨识规则;最后,通过局部电力系统的多组算例仿真和实际系统故障案例测试,证明了所建模型能有效地诊断出电网故障,并具有较高的容错性。 展开更多
关键词 时间约束 改进模糊petri 故障诊断 不确定性 状态真值矩阵
在线阅读 下载PDF
基于模糊时间Petri网的列车运行时间不确定性问题的处理 被引量:13
6
作者 叶阳东 王娟 贾利民 《铁道学报》 EI CAS CSCD 北大核心 2005年第1期6-13,共8页
定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确... 定义一种应用于铁路列车运行系统的模糊时间Petri网;针对列车运行时间存在的不确定性,该Petri网引入了4个模糊集理论函数:模糊时间片、模糊使能时间、模糊发生时间和模糊延迟,来处理时间的不确定性问题;能够对列车运行过程中的时间不确定性问题进行定量分析,可以有效应用于列车交会、列车终到时间、列车运行计划调整的分析等;其相对于已有的方法具有精确分析、计算简单、简化系统、便于系统集成的特点。 展开更多
关键词 列车运行 模糊时间petri 不确定性 模糊时间函数
在线阅读 下载PDF
基于改进时间模糊Petri网配电网故障诊断方法 被引量:8
7
作者 刘鑫蕊 高艺伟 王智良 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第11期1526-1529,共4页
配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区... 配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区域;然后根据动作的断路器能够保护的范围确定可疑故障元件,利用带时标的保护断路器信息,针对可疑故障元件建立时间模糊Petri网模型进行故障诊断.模拟测试表明,此方法提高了配电网故障诊断速度和准确度,具有良好的实用价值. 展开更多
关键词 时间模糊 petri 报警信息 故障诊断 配电
在线阅读 下载PDF
基于模糊时间Petri网的网络计划模型 被引量:6
8
作者 张新龙 朱友芹 夏国平 《系统工程与电子技术》 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网的攻击模型 被引量:2
9
作者 高翔 祝跃飞 +1 位作者 卢锦江 刘龙 《计算机应用研究》 CSCD 北大核心 2013年第5期1527-1529,1543,共4页
定义了一种基于双枝模糊逻辑和模糊着色Petri网的网络攻击模型,从对攻击起促进和抑制作用这两方面对网络攻击进行综合考虑与分析,同时对模糊规则库中的不同变量用不同的颜色来区分,因此可构成一个简明的BBFCPN模型。在此基础上,给出了BB... 定义了一种基于双枝模糊逻辑和模糊着色Petri网的网络攻击模型,从对攻击起促进和抑制作用这两方面对网络攻击进行综合考虑与分析,同时对模糊规则库中的不同变量用不同的颜色来区分,因此可构成一个简明的BBFCPN模型。在此基础上,给出了BBFCPN模型的基本推理规则和推理算法。针对攻击实例的分析进一步验证了提出的模型及相关推理算法。 展开更多
关键词 模糊着色petri 双枝模糊逻辑 攻击建模
在线阅读 下载PDF
基于模糊时间Petri网的协同工作流模型研究 被引量:8
10
作者 庞辉 方宗德 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第6期1567-1569,1573,共4页
为了准确描述复杂产品协同工作过程,提出了一种基于模糊时间Petri网(FTPN)的工作流建模和性能分析方法。首先,给出了协同开发任务链接关系的形式化定义,将工作流模型的关键路径计算转化为一个基于FTPN状态方程的求解问题。并在此基础上... 为了准确描述复杂产品协同工作过程,提出了一种基于模糊时间Petri网(FTPN)的工作流建模和性能分析方法。首先,给出了协同开发任务链接关系的形式化定义,将工作流模型的关键路径计算转化为一个基于FTPN状态方程的求解问题。并在此基础上,结合实例计算了某工程项目在约束条件下完成的可能性。结果表明,该方法可以方便确定产品协同开发过程中的关键环节,为产品协同工作的组织和管理提供指导。 展开更多
关键词 模糊时间petri 协同工作 工作流模型 关键路径 性能分析
在线阅读 下载PDF
改进的油田配电调度工作流时间着色Petri网模型 被引量:1
11
作者 任伟建 娄洪亮 +2 位作者 霍凤财 康朝海 赵月娇 《电机与控制学报》 EI CSCD 北大核心 2012年第8期55-60,66,共7页
针对由电网规模的日渐增加所引起的海量信息和数据的处理变得异常困难的问题,建立基于时间着色Petri网的配电调度工作系统。改进了电力审批工作流模型,给出其Petri网时间着色模型,利用可达图与状态方程对改进的时间着色Petri网的静态性... 针对由电网规模的日渐增加所引起的海量信息和数据的处理变得异常困难的问题,建立基于时间着色Petri网的配电调度工作系统。改进了电力审批工作流模型,给出其Petri网时间着色模型,利用可达图与状态方程对改进的时间着色Petri网的静态性能和动态性能进行分析,建立配电网规则信息库。在采油厂配电调度工作中的应用结果表明,改进的Petri网是有界的,避免了死锁和陷阱,变迁是"活的",不存在冗余现象,可以顺利执行工作任务。利用时间着色Petri网对配电调度工作流进行分析建模,建立电网操作规则关系型数据库,实现操作中的信息共享是可行的。 展开更多
关键词 petri 时间着色 工作流 配电系统 调度系统
在线阅读 下载PDF
双枝模糊时间Petri网可修复网络攻击模型 被引量:2
12
作者 黄光球 李艳 王金成 《计算机工程与应用》 CSCD 北大核心 2011年第5期87-91,133,共6页
以具有时间特性的模糊时间Petri网为研究方法建立了一种新的网络攻击模型。在模型中主要引入双枝模糊集理论和可靠性理论。利用双枝模糊集中的上域(下域)表示攻击的促进因素(阻碍因素),并在此基础上进行双枝模糊决策以决定变迁(攻击行为... 以具有时间特性的模糊时间Petri网为研究方法建立了一种新的网络攻击模型。在模型中主要引入双枝模糊集理论和可靠性理论。利用双枝模糊集中的上域(下域)表示攻击的促进因素(阻碍因素),并在此基础上进行双枝模糊决策以决定变迁(攻击行为)激发对其后集中库所(攻击状态)的影响效果。该模型认为攻击过程是一个可修复的复杂系统,库所代表的攻击状态在随机失效后,便进入一个具有模糊时间区间的修复期,并在修复期后恢复攻击状态,这样做更符合攻击者总是维持攻击状态,使其利于攻击的事实。最后,对这种模型的攻击路径和系统的可靠性进行了分析,并以例子对模型进行了仿真验证。 展开更多
关键词 络攻击模型 模糊时间petri 双枝模糊决策 可靠性
在线阅读 下载PDF
基于着色Petri网的铁路时间同步协议建模及安全性分析 被引量:3
13
作者 兰丽 张友鹏 《铁道科学与工程学报》 CAS CSCD 北大核心 2019年第4期1089-1096,共8页
针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入... 针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。 展开更多
关键词 铁路时间同步协议 中间人 着色petri 安全性分析
在线阅读 下载PDF
基于着色Petri网模糊专家系统的研究 被引量:2
14
作者 苏宏升 李群湛 《计算机工程与应用》 CSCD 北大核心 2005年第36期192-194,共3页
针对变电站无功控制模糊专家系统知识表示不确定性及规则数量多的特点,文章以模糊、着色Petri网为基础,提出了一种基于模糊着色Petri网的知识表示与规则获取方法。该方法利用Petri网的图形化环境特点,将模糊规则库的不同变量用不同的颜... 针对变电站无功控制模糊专家系统知识表示不确定性及规则数量多的特点,文章以模糊、着色Petri网为基础,提出了一种基于模糊着色Petri网的知识表示与规则获取方法。该方法利用Petri网的图形化环境特点,将模糊规则库的不同变量用不同的颜色加以区分,不同规则中的同一个变量用该变量的颜色集表示,构成一个模糊着色Petri网模型。充分利用着色Petri网的特点,对推理过程进行了仔细研究,并提出一种基于着色模糊Petri网的启发式搜索策略。将其用于变电站无功控制的模糊专家系统中,结果表明,基于着色Petri网的模糊知识表示和获取方法,对于大型、复杂变电站模糊专家控制系统是非常有效的。 展开更多
关键词 着色petri 模糊专家系统 知识表示 规则获取 启发式搜索
在线阅读 下载PDF
基于着色时间Petri网的工业火灾应急响应行动建模与性能分析 被引量:9
15
作者 周剑峰 李子成 《安全与环境学报》 CAS CSCD 北大核心 2019年第2期562-568,共7页
为了更好地评估应急响应行动的性能,保证应急响应行动高效、可行,研究应急响应行动的建模与分析方法。首先,考虑应急响应行动的时间和各行动间的关系,提出一种基于着色时间Petri网的应急响应行动建模与性能分析方法;其次,通过CPN Tools... 为了更好地评估应急响应行动的性能,保证应急响应行动高效、可行,研究应急响应行动的建模与分析方法。首先,考虑应急响应行动的时间和各行动间的关系,提出一种基于着色时间Petri网的应急响应行动建模与性能分析方法;其次,通过CPN Tools工具建立工业火灾应急响应行动的Petri网模型,分析应急响应的时间规律;最后,基于该模型构建同构马尔可夫链,分析应急响应行动的性能。结果表明,工业火灾应急响应时间服从对数正态分布函数;将其应用于车间火灾实例,表明该方法有效、可行。 展开更多
关键词 公共安全 着色时间petri 工业火灾 应急响应行动 性能分析
在线阅读 下载PDF
基于着色时间Petri网的装备维修资源确定方法 被引量:3
16
作者 郑重 徐廷学 王相飞 《舰船科学技术》 2011年第2期131-133,143,共4页
科学的确定装备维修资源对提高部队装备保障能力和战斗力具有重要的现实意义。针对以往确定维修资源方法中所存在的问题,在介绍着色时间Petri网基本原理的基础上,提出了一种基于着色时间Petri网的维修资源确定方法。阐述了通过着色时间P... 科学的确定装备维修资源对提高部队装备保障能力和战斗力具有重要的现实意义。针对以往确定维修资源方法中所存在的问题,在介绍着色时间Petri网基本原理的基础上,提出了一种基于着色时间Petri网的维修资源确定方法。阐述了通过着色时间Petri网来描述维修作业的时序关系和维修资源的种类关系,绘制装备维修的Petri网络图,构建关联矩阵和进行相关计算得到维修资源的基本思路和步骤。最后结合实例进行分析,结果表明该方法是有效的,具有较高的使用价值。 展开更多
关键词 着色时间petri 武器装备 维修资源
在线阅读 下载PDF
具有动态可靠性的模糊时间Petri网攻击模型 被引量:1
17
作者 黄光球 王金成 《计算机工程与应用》 CSCD 北大核心 2010年第18期110-115,118,共7页
在利用Petri网方法研究网络攻击模型的过程中,引入攻击可靠性的概念,将网络攻击模型作为一个系统看待,以此系统为研究对象,不仅通过推理算法得到目标库所的真实度,并且对攻击路径和系统进行动态可靠性分析,从而提出一种新的攻击模型—... 在利用Petri网方法研究网络攻击模型的过程中,引入攻击可靠性的概念,将网络攻击模型作为一个系统看待,以此系统为研究对象,不仅通过推理算法得到目标库所的真实度,并且对攻击路径和系统进行动态可靠性分析,从而提出一种新的攻击模型—动态可靠性模糊时间Petri网网络攻击模型(DRFTPN),并结合可靠性给出了相应的推理算法。这种模型将攻击过程描述为一个不可修复复杂系统,认为库所代表的攻击状态是随机失效的。为了计算复杂系统的可靠度,提出了一种近似求得系统可靠寿命的补偿性算法,并利用基于最小路集的方法求得DRFTPN模型的攻击路径。最后,运用MonteCarlo方法对DRFTPN模型进行仿真。 展开更多
关键词 模糊时间petri 动态可靠性 攻击模型 补偿算法 最小路集
在线阅读 下载PDF
基于直觉模糊时间Petri网的不确定性时间推理方法
18
作者 任神河 郑寇全 +1 位作者 雷英杰 王睿 《火力与指挥控制》 CSCD 北大核心 2016年第11期30-35,40,共7页
针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IF... 针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。 展开更多
关键词 直觉模糊 petri 时序逻辑 时间推理
在线阅读 下载PDF
基于时间着色Petri网的SIP协议验证与分析
19
作者 刘靖 叶新铭 马元飞 《计算机科学》 CSCD 北大核心 2014年第7期122-129,共8页
随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,T... 随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。 展开更多
关键词 SIP 时间着色petri 协议验证 死锁分析
在线阅读 下载PDF
基于模糊时间Petri网的决策融合模型及时间推理
20
作者 李瑛 汪民乐 刘卫东 《现代防御技术》 北大核心 2006年第4期78-82,共5页
针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指... 针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。 展开更多
关键词 指挥决策 模糊时间petri 线性逻辑 时间推理 决策融合
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部