基于时间-有色Petri网的电梯系统的建模与分析 被引量：5

1

作者 宗群 窦立谦 程义菊 《中国工程科学》 2004年第12期51-55,共5页

根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说... 根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。 展开更多

关键词 petri网 时间-有色petri网 电梯模型 电梯运行

在线阅读 下载PDF 职称材料

基于时间Petri网的电-气综合能源系统薄弱环节辨识 被引量：1

2

作者 陶淳逸 《电测与仪表》 北大核心 2024年第5期1-8,共8页

为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述... 为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述电-气系统故障传播的动态特性和时序差异,将级联危害评价计算融入到Petri网的运行过程中,寻找引发级联失效的关键环节,以IEEE30节点和25节点天然气系统组成的电-气耦合系统仿真分析,验证所提方法的有效性。 展开更多

关键词 时间petri网 薄弱环节 级联故障 电-气综合能源系统

在线阅读 下载PDF 职称材料

有色—时间Petri网航班延误模型与波及分析 被引量：13

3

作者 丁建立 陈坦坦 刘玉洁 《计算机集成制造系统》 EI CSCD 北大核心 2008年第12期2334-2340,共7页

基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机... 基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。 展开更多

关键词 petri网 有色-时间petri网 航班延误 模型 波及分析

在线阅读 下载PDF 职称材料

用受控有色Petri网解决水力机组组合中时间约束问题的研究 被引量：2

4

作者 喻菁 周建中 +2 位作者 廖荣涛 倪传坤 戴洪海 《水利水电技术》 CSCD 北大核心 2004年第4期50-53,共4页

提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约... 提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约束的机组组合问题提供了新的辅助方法. 展开更多

关键词 受控有色petri网 机组组合 时间约束

在线阅读 下载PDF 职称材料

基于有色Petri网的铁路时间同步网协议安全性分析 被引量：4

5

作者 张友鹏 张昊磊 王虹 《铁道学报》 EI CAS CSCD 北大核心 2017年第10期82-88,共7页

随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常... 随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常工作模式下的有色Petri网模型,并分析协议在进行时间同步过程中存在的漏洞。构建入侵者成功入侵协议所需要的知识集和入侵者在入侵过程中能够获取的知识集,并使用有色Petri网对NTP协议受到入侵的过程进行建模。通过逆向状态分析方法,对NTP协议进入不安全状态的可达性进行分析,使用CPNTools软件对分析结果进行仿真验证。结果表明,NTP协议的服务器身份验证过程是不安全的。 展开更多

关键词 时间同步协议 漏洞 有色petri网 入侵 逆向状态分析法

在线阅读 下载PDF 职称材料

进路建立过程的时间有色petri网建模与仿真 被引量：2

6

作者 秦发园 戴胜华 徐昱 《计算机工程与应用》 CSCD 北大核心 2015年第8期266-270,共5页

计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行... 计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行编辑和仿真,以VC++6.0为开发环境完成代码编写进行验证,体现时间有色Petri网描述联锁系统逻辑和性能特性的特点,以便在软件开发初期尽早发现系统的设计错误或缺陷,突出采用时间有色Petri网建模的可靠性和安全性。 展开更多

关键词 计算机联锁 有色petri网 时间petri网 CPN TOOLS

在线阅读 下载PDF 职称材料

时间Petri网与GA-PSO算法相结合的并行测试 被引量：1

7

作者 崔玉爽 乐晓波 周恺卿 《计算机应用》 CSCD 北大核心 2010年第7期1902-1905,共4页

并行测试任务调度方案在自动测试系统中一直是尚未解决的难题。基于Petri网理论的基础,建立了并行测试的时间Petri网模型,并且首次将遗传-粒子群优化(GA-PSO)算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案。... 并行测试任务调度方案在自动测试系统中一直是尚未解决的难题。基于Petri网理论的基础,建立了并行测试的时间Petri网模型,并且首次将遗传-粒子群优化(GA-PSO)算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案。仿真结果表明,本算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列。 展开更多

关键词 并行测试 任务调度 时间petri网 变迁序列 遗传-粒子群优化算法

在线阅读 下载PDF 职称材料

基于有色Petri网的ETCS通信系统与列车间隔分析 被引量：5

8

作者 徐田华 唐涛 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第21期5038-5041,共4页

利用分层赋时有色Petri网(CPN),综合信道失效模型、概率传输延迟,信道恢复行为,提出了欧洲列车控制系统中列车追踪运行无线通信系统的分层结构,分析了无线通信系统中列车运行速度、列车位置报告周期对列车时间间隔的影响,给出对应的列... 利用分层赋时有色Petri网(CPN),综合信道失效模型、概率传输延迟,信道恢复行为,提出了欧洲列车控制系统中列车追踪运行无线通信系统的分层结构,分析了无线通信系统中列车运行速度、列车位置报告周期对列车时间间隔的影响,给出对应的列车安全间距指标。研究结果对于优化列车间隔时间、提高列车运行效率和保障列车运行安全具有重要意义。 展开更多

关键词 有色petri网 欧洲列车控制系统 无线通信 列车间隔时间

在线阅读 下载PDF 职称材料

基于Petri网的虚拟装配环境交互管理模型研究

9

作者 彭高亮 徐贺 刘新华 《系统仿真学报》 CAS CSCD 北大核心 2009年第12期3641-3645,共5页

对设计者交互操作的准确理解和快速响应,是提高虚拟装配的可操作性和实用性的关键问题。定义了一种层次时间有色Petri网(HTCPN),并以此为工具建立了虚拟装配环境下的交互管理模型。该模型以设计者操纵数据手套的位姿变换信息、对象间的... 对设计者交互操作的准确理解和快速响应,是提高虚拟装配的可操作性和实用性的关键问题。定义了一种层次时间有色Petri网(HTCPN),并以此为工具建立了虚拟装配环境下的交互管理模型。该模型以设计者操纵数据手套的位姿变换信息、对象间的碰撞检测信息以及装配约束识别信息作为输入,运行后输出具体的操作事件实现设计者在虚拟装配环境中的浏览、移动零部件、装配和拆卸调整等一系列交互操作活动。实践证明该模型满足了虚拟环境的实时和并发等动态性能要求,实现了虚拟装配过程中大量离散事件的处理及操作意图的响应。 展开更多

关键词 虚拟装配 虚拟环境 层次时间有色petri网 交互管理模型

在线阅读 下载PDF 职称材料

新型智能变电站通信网络时间同步脆弱性分析 被引量：2

10

作者 张纯笑 徐嘉龙 +2 位作者 张亮 余萍 金乃正 《光通信研究》 北大核心 2017年第3期16-19,共4页

为了确保对新型智能变电站时间同步的动态监控,分析了新型智能变电站中心交换设备时间同步的脆弱性,利用有色Petri网对新型智能变电站中心交换设备对时的运行进行建模,给出了新型智能变电站中心交换设备对时攻击有色Petri网模型。利用... 为了确保对新型智能变电站时间同步的动态监控,分析了新型智能变电站中心交换设备时间同步的脆弱性,利用有色Petri网对新型智能变电站中心交换设备对时的运行进行建模,给出了新型智能变电站中心交换设备对时攻击有色Petri网模型。利用线性代数数学分析工具,根据状态方程来验证所建模型攻击的可达性,从而找到时间同步脆弱性点并给出解决建议。 展开更多

关键词 新型智能变电站 中心交换机 有色petri网 时间同步的脆弱性 状态方程 攻击的可达性

在线阅读 下载PDF 职称材料

基于TCPN的铁路时间同步网延迟攻击应对策略研究 被引量：2

11

作者 赵庭达 武晓春 《铁道标准设计》 北大核心 2022年第8期168-174,共7页

铁路时间同步网采用的时间同步协议NTP自身具备一定的安全缺陷,容易受到网络攻击影响。对网络时间协议(NTP)进行分析,使用时间有色Petri网(TCPN)建立NTP对时阶段时间同步过程模型,并对模型进行仿真测试,仿真结果验证了模型的正确性。针... 铁路时间同步网采用的时间同步协议NTP自身具备一定的安全缺陷,容易受到网络攻击影响。对网络时间协议(NTP)进行分析,使用时间有色Petri网(TCPN)建立NTP对时阶段时间同步过程模型,并对模型进行仿真测试,仿真结果验证了模型的正确性。针对NTP协议延迟攻击,确定攻击产生的时间偏差和引入延迟的关系,分析延迟攻击对铁路时间同步网造成的影响并提出检测思路。根据攻击者引入的延迟与客户端计算偏移量的关系,提出NTP协议延迟攻击的缓解方法,将NTP时间同步过程模型进行扩展,在原模型的基础上加入攻击节点和缓解方法模块,对延迟攻击及其缓解方法进行模拟。经过多组仿真验证,缓解后的主从时间偏移量均小于2ms,提出的缓解模型可有效缓解NTP延迟攻击造成的影响。 展开更多

关键词 铁路时间同步网 时间有色petri网 网络时间协议 延迟攻击 时间同步 时间偏差

在线阅读 下载PDF 职称材料

基于改进Petri网的区域综合能源系统能耗建模及优化运行分析 被引量：6

12

作者 胡列翔 王蕾 +3 位作者 董明枫 李宏仲 孙可 胡哲晟 《电力自动化设备》 EI CSCD 北大核心 2020年第11期69-76,共8页

区域综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际运行中往往难以确定最优的供能方式。从能耗分析的基本原理出发,结合带时间约束的模糊有色Petri网特定的建模原则,提出一种区域综合能源系统能耗优化推理模型... 区域综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际运行中往往难以确定最优的供能方式。从能耗分析的基本原理出发,结合带时间约束的模糊有色Petri网特定的建模原则,提出一种区域综合能源系统能耗优化推理模型。该模型在满足负荷需求和基本运行条件下,从综合能源系统运行成本、污染物排放量和一次能源消耗量3个方面对系统供能路径进行优化,通过对系统进行能耗仿真分析,从而得到不同需求场景下的最优供能方式。最后以某实际区域综合能源系统为例,验证了所建模型的有效性和实用性。 展开更多

关键词 区域综合能源系统 带时间约束的模糊有色petri网 能耗模型 能耗率 熵权法

在线阅读 下载PDF 职称材料

基于时间参数的CTCS-1级RDC设置方式的研究

13

作者 刘中田 徐越 邹少文 《北京交通大学学报》 CAS CSCD 北大核心 2019年第2期32-40,共9页

既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采... 既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采用时间有色Petri网形式化方法对控车权移交过程参与对象进行模型抽象,通过CPN-Tools环境下的模型仿真,挖掘时速200km以下CTCS-1级列车移交过程车地通信中断时间范围,并将通信中断时间约束转化为距离约束,通过分析时间与距离约束探究既有线一站多场、多站密集分布场景下RDC的设置方式,为既有线RDC管辖边界点的选定提供理论依据与数据参考. 展开更多

关键词 CTCS-1 RDC切换 时间有色petri网 距离约束

在线阅读 下载PDF 职称材料

一种适于带时间戳安全协议的形式化分析方法 被引量：1

14

作者 范玉涛 苏桂平 《计算机工程与应用》 CSCD 2012年第36期116-120,共5页

提出了一种适用于带有时间戳的安全协议的有色Petr(iCPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPNML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分... 提出了一种适用于带有时间戳的安全协议的有色Petr(iCPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPNML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分析结果表明该方法有效,且操作简单容易理解。 展开更多

关键词 形式化分析 有色petri网(CPN) 时间戳 安全协议

在线阅读 下载PDF 职称材料

基于WF-SPN的装备调拨供应模型

15

作者 史宪铭 李文生 +1 位作者 王立欣 赵美 《四川兵工学报》 CAS 2011年第9期108-110,共3页

装备调拨供应是部队装备保障的重要组成部分,其时间性能对装备保障有重要影响。总结了工作流-随机Petri网模型的定义和4个基本结构形式,分析了其性能,进而在分析装备调拨供应特点的基础上,从顶层和部队自领2个部分对装备调拨进行了分析... 装备调拨供应是部队装备保障的重要组成部分,其时间性能对装备保障有重要影响。总结了工作流-随机Petri网模型的定义和4个基本结构形式,分析了其性能,进而在分析装备调拨供应特点的基础上,从顶层和部队自领2个部分对装备调拨进行了分析,运用工作流-随机Petri网模型对装备调拨供应的流程进行描述,分析了模型的平均时间性能。该模型的应用,可以为提高装备调拨供应效率,保障部队战斗力提升提供支持。 展开更多

关键词 装备调拨供应 工作流-随机petri网 时间性能

在线阅读 下载PDF 职称材料

车载TBTC-CBTC系统降级场景下的CPN建模与仿真

16

作者 汪小勇 董德存 欧冬秀 《计算机工程》 CAS CSCD 北大核心 2022年第7期189-198,共10页

基于轨道电路的列车控制(TBTC)-基于通信的列车控制(CBTC)双模车载系统是实现轨道交通多网融合的关键,其模式间切换具有较强的随机性和并发性,并直接影响车载信号系统的运营可用性。然而,车载信号系统故障降级导致轨道交通资源利用率降... 基于轨道电路的列车控制(TBTC)-基于通信的列车控制(CBTC)双模车载系统是实现轨道交通多网融合的关键,其模式间切换具有较强的随机性和并发性,并直接影响车载信号系统的运营可用性。然而,车载信号系统故障降级导致轨道交通资源利用率降低,表现为列车追踪的时间间隔增加,而间隔增加程度取决于区间长度和TBTC列车占用检测区段长度。从不同模式下资源分配、使用和释放角度,在列车运行过程中利用有色Petri网对TBTC-CBTC双模冗余车载信号系统的列车追踪运营场景进行建模,模拟CBTC车载信号系统故障发生的随机性和系统降级对后续列车的影响,精准描述并分析列车运营受影响的情况。将城市轨道交通项目的典型配置参数代入到有色Petri网模型中进行仿真,验证在不同线路下运营间隔受模式切换影响的程度。仿真结果表明,当区间长度小于1 500 m时,列车晚点时间可控制在180 s以内,晚点时间随着区间长度的增加而延长。 展开更多

关键词 多模列控系统 基于轨道电路的列车控制-基于通信的列车控制系统 有色petri网 车载信号降级 运营可用性

在线阅读 下载PDF 职称材料

支持软件演化的扩展SDDM软件过程模型 被引量：1

17

作者 赵娜 赵锦新 李彤 《计算机工程与应用》 CSCD 北大核心 2007年第13期61-63,88,共4页

软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行改进,引入时间Petri网和有色Petri网的思想,同时在标准化、角色模型、资源模型三个方面对其进行扩展,得到一个新的支持软件演化... 软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行改进,引入时间Petri网和有色Petri网的思想,同时在标准化、角色模型、资源模型三个方面对其进行扩展,得到一个新的支持软件演化过程的扩展SDDM软件过程模型。 展开更多

关键词 软件演化 软件过程模型 petri网 时间petri网 有色petri网 SDDM模型

在线阅读 下载PDF 职称材料

基于约束组合CTPN的带式输送机系统建模 被引量：1

18

作者 陆阳 杨晴晴 韩江洪 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第19期4521-4525,4537,共6页

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现"节点爆炸"问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情... 带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现"节点爆炸"问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。 展开更多

关键词 有色petri网 时间petri网 约束组合弧 带式输送机

在线阅读 下载PDF 职称材料

矿井机车无人驾驶系统周期性消息实时性能研究 被引量：1

19

作者 吕增威 魏振春 +1 位作者 孙仁浩 徐俊逸 《电子测量与仪器学报》 CSCD 北大核心 2016年第2期225-232,共8页

矿井机车无人驾驶系统在国内外尚未广泛使用,相关技术也不成熟,大巷内环境恶劣、人员复杂且劳动强度大、轨道路况差、信息化程度不高、运输调度多变等,要求系统具有高级别的可靠性、安全性、可信性等级。针对矿井机车无人驾驶系统中机... 矿井机车无人驾驶系统在国内外尚未广泛使用,相关技术也不成熟,大巷内环境恶劣、人员复杂且劳动强度大、轨道路况差、信息化程度不高、运输调度多变等,要求系统具有高级别的可靠性、安全性、可信性等级。针对矿井机车无人驾驶系统中机车位置和机车信息等周期性消息传输的实时性问题,设计了基于时间有色Petri网的周期性消息实时性能建模与验证方法,对消息实时性能进行形式化建模与验证,通过模拟周期性AP切换和突发中断两类失效,经不同机车车速下丢包率和时延统计验证矿井机车无人驾驶系统周期性消息传递满足系统设计要求。 展开更多

关键词 矿井机车无人驾驶系统 实时性 时间有色petri网

在线阅读 下载PDF 职称材料

装配序列约束下的飞机虚拟维修过程建模仿真 被引量：5

20

作者 钱文高 耿宏 马红岩 《计算机工程与科学》 CSCD 北大核心 2019年第8期1482-1489,共8页

针对当前飞机虚拟维修过程模型固化,对维修复杂行为关系缺乏考虑,无法满足学员多样性实训需求的现状,充分考虑了飞机系统的复杂度、学员操作的不规范性和随机性等因素,依据各维修装配序列间的优先约束关系,构建了优先约束矩阵,进而定义... 针对当前飞机虚拟维修过程模型固化,对维修复杂行为关系缺乏考虑,无法满足学员多样性实训需求的现状,充分考虑了飞机系统的复杂度、学员操作的不规范性和随机性等因素,依据各维修装配序列间的优先约束关系,构建了优先约束矩阵,进而定义了优先约束时间有色Petri网模型。在系统梳理维修实体及其维修操作行为的基础上,提出了虚拟维修实体操作元模型和元模型融合下的过程建模,阐述了基于优先约束时间有色Petri网的动态虚拟维修过程实现方法。最后,以A320飞机加油活门的某一个随机拆卸过程为例,进行建模仿真,验证了模型的有效性。 展开更多

关键词 虚拟维修 过程模型 优先约束矩阵 优先约束时间有色petri网 元模型

在线阅读 下载PDF 职称材料