期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到397篇文章
< 1 2 … 20 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
门户网自助系统的扩展有色Petri网建模与分析
1
作者 鲁志兵 胡金柱 +2 位作者 胡燕 焦金丹 舒江波 《微电子学与计算机》 CSCD 北大核心 2006年第z1期213-214,217,共3页
文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统... 文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。 展开更多
关键词 自动生成 有色petri网 建模
下载PDF
基于概率有色Petri网和马尔可夫链的工作流和数据流管理
2
作者 刘小雪 《计算机与数字工程》 2024年第3期781-785,共5页
在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画... 在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画;定义了PCPN的基本逻辑单元,并对工作流和数据流进行建模分析,基于PCPN的工作流和数据流模型转化为马尔可夫链模型,并进行数学概率分析和决策分析。通过实例建模验证了论文建模方法的有效性和可行性。 展开更多
关键词 工作流 数据流 概率有色petri网PCPN 马尔可夫链 建模管理
下载PDF
扩展有色、时间Petri网及其在FMS建模中的应用 被引量：4
3
作者 蔡元龙 夏继强 +1 位作者 陈玉宝 邬学礼 《制造业自动化》 1999年第4期27-28,35,共3页
提出一种改进的有色、时间Ｐｅｔｒｉ网——扩展有色、时间Ｐｅｔｒｉ网，有效解决了模型规模和信息显示容量之间的矛盾，图形简洁紧凑，内涵丰富。
关键词 FMS 建模 扩展有色 时间petri网 多义节点
下载PDF
有色Petri网的扩展使用控制策略模型设计 被引量：1
4
作者 李沛武 雷金娥 《计算机工程与应用》 CSCD 2012年第33期96-100,共5页
为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作... 为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作提供基础。 展开更多
关键词 使用控制 形式化分析 有色petri网 扩展使用控制策略模型
下载PDF
基于有色Petri网的催化裂化分馏系统信息安全验证
5
作者 滕诗雅 梁旭清 +1 位作者 刘璐 周纯杰 《工业控制计算机》 2023年第12期88-91,共4页
催化裂化分馏系统智能化转型的同时也面临更大的信息安全威胁,而信息安全验证聚焦网络攻击下系统的安全性能研究,能降低系统的安全风险。根据系统的安全需求提出一种融合系统理论过程分析和有色Petri网的安全验证分析框架。首先通过系... 催化裂化分馏系统智能化转型的同时也面临更大的信息安全威胁,而信息安全验证聚焦网络攻击下系统的安全性能研究,能降低系统的安全风险。根据系统的安全需求提出一种融合系统理论过程分析和有色Petri网的安全验证分析框架。首先通过系统理论过程分析提取完备的安全约束;然后基于有色Petri网构建逻辑与行为精准的安全验证模型;最后,以简化系统为对象进行安全验证。实验结果证明了所提框架能有效验证安全约束触发行为与系统安全性能之间的潜在关联。 展开更多
关键词 催化裂化分馏系统 信息安全验证 有色petri网
下载PDF
基于扩展的层次有色petri网的组合服务测试用例生成 被引量：3
6
作者 蔡菊 王迪 李必信 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第4期598-604,共7页
为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后... 为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准. 展开更多
关键词 有色petri网 数据流 测试序列 OWL—S 组合服务
下载PDF
基于有色自控Petri网的电网故障区域识别 被引量：18
7
作者 谢敏 吴亚雄 +1 位作者 黄庶 刘明波 《电力系统保护与控制》 EI CSCD 北大核心 2016年第2期56-64,共9页
为减小电网故障搜索范围,避免对电网内所有元件依次进行故障判断,提出了一种基于有色自控Petri网的电网故障区域识别方法,有效地把故障诊断问题局限于一个或多个无源网络中。首先,针对断路器跳闸引起电网拓扑结构变化这一离散事件的动... 为减小电网故障搜索范围,避免对电网内所有元件依次进行故障判断,提出了一种基于有色自控Petri网的电网故障区域识别方法,有效地把故障诊断问题局限于一个或多个无源网络中。首先,针对断路器跳闸引起电网拓扑结构变化这一离散事件的动态过程,以Petri网作为建模工具,对全部元件赋予颜色属性并允许有向弧上有可变的权,构建用于电网故障区域搜索的有色自控Petri网模型。然后以Net Beans为开发环境,运用Java语言编程实现对故障区域的快速搜索。对某8节点测试系统的仿真结果表明:对于电网中存在的单重故障、多重故障以及保护和断路器有不正确动作的复杂故障,该方法均能快速准确地确定故障区域,有助于电网故障诊断的后续工作顺利进行。 展开更多
关键词 有色自控petri网 故障区域 故障诊断 电力系统 JAVA
下载PDF
有色—时间Petri网航班延误模型与波及分析 被引量：12
8
作者 丁建立 陈坦坦 刘玉洁 《计算机集成制造系统》 EI CSCD 北大核心 2008年第12期2334-2340,共7页
基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机... 基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。 展开更多
关键词 petri网 有色-时间petri网 航班延误 模型 波及分析
下载PDF
基于有色Petri网的ETCS无线通信可靠性分析 被引量：28
9
作者 徐田华 赵红礼 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2008年第1期38-42,共5页
ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提... ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性。分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%。因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求。 展开更多
关键词 ETCS 可靠性分析 有色petri网 无线通信
下载PDF
基于有色Petri网的电力系统故障诊断模型研究 被引量：25
10
作者 曾庆锋 何正友 杨健维 《电力系统保护与控制》 EI CSCD 北大核心 2010年第14期5-11,127,共8页
现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标... 现有的基于Petri网的电网故障诊断模型通用性不强,针对大电网建模时模型结构较复杂。建立了一种基于有色Petri网的电网故障诊断模型,用不同的单色代表保护类型、断路器和电网元件,根据保护原理和网络拓扑组合成复合色,用带有这些颜色标记的托肯表示不同类型的状态信息。同时建立有色Petri推理过程,给出变迁的点火规则,根据有色Petri网的推理规则进行推理获得诊断结果。通过对110 kV局部电网和某省局部电网的仿真验证表明:该方法对简单和复杂故障均能获得正确的诊断结果,并且推理速度快,模型简便,网络拓扑和保护配置的改变不影响模型结构,是一种通用性较强的电网故障诊断方法。 展开更多
关键词 有色petri网 故障诊断模型 电网故障 通用性
下载PDF
机组组合问题的复合控制有色Petri网模型 被引量：7
11
作者 喻菁 周建中 +2 位作者 戴洪海 杨俊杰 华斌 《电网技术》 EI CSCD 北大核心 2004年第11期62-66,71,共6页
文章针对有色Petri网对复杂控制系统建模的不便之处进行了改进:使各种控制条件直接作用于有色Petri网的可控变迁,将变迁分为时钟推进控制变迁、外部事件控制变迁、不可控变迁和计算用变迁四种,并提出了一种复合控制有色Petri网(CCCP)模... 文章针对有色Petri网对复杂控制系统建模的不便之处进行了改进:使各种控制条件直接作用于有色Petri网的可控变迁,将变迁分为时钟推进控制变迁、外部事件控制变迁、不可控变迁和计算用变迁四种,并提出了一种复合控制有色Petri网(CCCP)模型。在某些情况下,由于触发颜色的不同,同一变迁可属于不同的类型,各类变迁的区别主要在于触发条件不同。文章还利用定义的CCCP对考虑时间约束的发电机组组合问题进行了建模、分析,并通过举例进一步阐述了CCCP在对机组组合这类复杂控制问题进行建模时的作用。该模型为机组组合问题提供了一个新的建模思想和较好的解决方案。 展开更多
关键词 电力系统 机组组合 复合控制 有色petri网 经济调度
下载PDF
一种基于有色Petri网的知识库验证方法 被引量：10
12
作者 姜浩 罗军舟 方宁生 《东南大学学报（自然科学版）》 EI CAS CSCD 2000年第1期77-83,共7页
以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和... 以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和知识验证判定准则的实例 . 展开更多
关键词 知识库 知识验证 有色petri网 人工智能
下载PDF
基于有色Petri网的FIFO栈建模与优化 被引量：5
13
作者 付新华 肖明清 +1 位作者 袁大勇 邹德鹏 《仪器仪表学报》 EI CAS CSCD 北大核心 2008年第3期577-582,共6页
先入先出FIFO栈在智能仪器及测试系统中起着重要作用。针对FIFO栈设计缺乏理论指导和严格数学验证的问题,提出采用有色Petri网(CP-net)来建模和优化FIFO栈。提出了一种FIFO栈设计模型,FIFO栈的入栈口和出栈口固定但容量可变。应用建模... 先入先出FIFO栈在智能仪器及测试系统中起着重要作用。针对FIFO栈设计缺乏理论指导和严格数学验证的问题,提出采用有色Petri网(CP-net)来建模和优化FIFO栈。提出了一种FIFO栈设计模型,FIFO栈的入栈口和出栈口固定但容量可变。应用建模、仿真工具CPN Tools对FIFO栈的动态运行过程进行建模、仿真和分析,并在此基础上,对FIFO栈模型进行了优化。采用Verilog HDL在现场可编程逻辑门阵列FPGA上具体实现了FIFO栈的硬件电路。仿真结果和实际应用表明,该设计模型是活的、公平的、安全的和高效的。 展开更多
关键词 FIFO栈 有色petri网 建模 优化 CPN TOOLS 硬件实现
下载PDF
基于有色Petri网的CBTC系统列车追踪过程建模与仿真 被引量：10
14
作者 陈磊 宁滨 +1 位作者 张勇 唐涛 《系统仿真学报》 CAS CSCD 北大核心 2009年第3期637-641,共5页
针对基于通信的列车控制系统(CBTC)特点,首先分析了CBTC系统移动自动闭塞下的列车追踪模型,给出了模型的形式化描述,并依据此追踪模型采用分层有色Petri网(CPN)建立了两辆列车运行追踪过程的模型,仿真分析CBTC系统移动自动闭塞下的列车... 针对基于通信的列车控制系统(CBTC)特点,首先分析了CBTC系统移动自动闭塞下的列车追踪模型,给出了模型的形式化描述,并依据此追踪模型采用分层有色Petri网(CPN)建立了两辆列车运行追踪过程的模型,仿真分析CBTC系统移动自动闭塞下的列车追踪特性。仿真结果表明追踪模型能够描述CBTC系统移动自动闭塞下的列车运行追踪过程。 展开更多
关键词 追踪模型 有色petri网 基于通信的列车控制系统 移动自动闭塞
原文传递
基于有色Petri网的车载设备模式转换测试序列生成方法 被引量：18
15
作者 赵晓宇 杨志杰 吕旌阳 《中国铁道科学》 EI CAS CSCD 北大核心 2017年第4期115-123,共9页
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载... 为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。 展开更多
关键词 测试序列 车载设备 列车控制系统 模式转换 有色petri网 中国邮路算法 路径覆盖量
下载PDF
基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析 被引量：17
16
作者 张友兵 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2012年第7期49-55,共7页
在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GS... 在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。 展开更多
关键词 CTCS 有色petri网 RBC切换 车载设备
下载PDF
电力系统网络拓扑分析的有色Petri网模型 被引量：29
17
作者 赖晓平 周鸿兴 《电网技术》 EI CSCD 北大核心 2000年第12期5-10,共6页
考虑了电力系统网络拓扑分析问题 ,研究了实时拓扑分析的动态特性 ,并提出了改进的拓扑分析算法。把整个电网拓扑分析问题分解为若干个基本分析单元 ,提出了基本分析单元的有色 Petri网模型 ,用令牌表示母线 ,用令牌的颜色表示连接在同... 考虑了电力系统网络拓扑分析问题 ,研究了实时拓扑分析的动态特性 ,并提出了改进的拓扑分析算法。把整个电网拓扑分析问题分解为若干个基本分析单元 ,提出了基本分析单元的有色 Petri网模型 ,用令牌表示母线 ,用令牌的颜色表示连接在同一母线上的结点。基于基本分析单元有色Petri网的电网拓扑分析 ,当某个开关改变状态时 ,只重新计算包含该开关两端结点的母线。基本分析单元的有色 Petri网描述了开关状态变化引起网络拓扑变化这一离散事件动态过程。分析表明 ,基于基本分析单元有色 Petri网的拓扑分析算法比传统方法效率高得多。 展开更多
关键词 电力系统 有色petri网 网络拓扑分析 电网
下载PDF
基于模糊有色Petri网的故障诊断方法 被引量：6
18
作者 张丹 佘维 叶阳东 《计算机工程与设计》 CSCD 北大核心 2013年第11期3996-4001,共6页
针对普通Petri网在诊断电网故障元件中存在的模型复杂、处理不确定性信号能力差的问题,提出了一种基于模糊有色Petri网的故障诊断方法。该方法将接收到的各类保护信号、断路器状态、信号的置信度以及可能的故障元件等因素都包含在托肯... 针对普通Petri网在诊断电网故障元件中存在的模型复杂、处理不确定性信号能力差的问题,提出了一种基于模糊有色Petri网的故障诊断方法。该方法将接收到的各类保护信号、断路器状态、信号的置信度以及可能的故障元件等因素都包含在托肯的复合颜色当中,通过一系列变迁触发规则,得到复合色为故障元件、置信度的托肯,从而诊断出故障元件及发生的置信度。仿真结果表明,该方法不仅模型简单、不受网络拓扑影响,而且解决了信号的不确定性问题。 展开更多
关键词 故障诊断 模糊有色petri网 不确定性 通用性 petri网
下载PDF
基于有色Petri网的安全协议安全性仿真 被引量：3
19
作者 郑君杰 肖军模 +3 位作者 杨明 刘志华 叶松 周延年 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第11期3294-3296,共3页
如何验证安全协议的安全性是一项非常重要的工作。提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。给出协议的有色Petri网模型,分析协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性判断这些不安全... 如何验证安全协议的安全性是一项非常重要的工作。提出了一种基于有色Petri网的安全协议形式化描述与安全性仿真验证方法。给出协议的有色Petri网模型,分析协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性判断这些不安全状态是否可达从而验证协议的安全性。针对Diffie-Hellman协议给出了具体的仿真分析过程,证明了这种方法的有效性。 展开更多
关键词 有色petri网 安全协议 DIFFIE-HELLMAN协议 仿真
下载PDF
基于库所有色Petri网的故障诊断算法研究 被引量：6
20
作者 马良荔 刘永葆 汪丽华 《计算机应用研究》 CSCD 北大核心 2012年第3期941-943,949,共4页
基于库所有色Petri网的故障诊断技术充分利用Petri网在故障分析和诊断中的优势,以船舶电站故障数据集为基础构造模型;并结合故障诊断实际对传统有色Petri网作适当改进,实现图形化故障树的分层分类着色显示,并以简单的矩阵运算实现故障诊... 基于库所有色Petri网的故障诊断技术充分利用Petri网在故障分析和诊断中的优势,以船舶电站故障数据集为基础构造模型;并结合故障诊断实际对传统有色Petri网作适当改进,实现图形化故障树的分层分类着色显示,并以简单的矩阵运算实现故障诊断,从而有效弥补了传统Petri网在实际应用中的缺陷,适应了故障诊断的分析和建模需要。 展开更多
关键词 故障诊断 有色petri网 船舶电站
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 20 下一页 到第 页
使用帮助 返回顶部