搜索到852篇“ 有色PETRI网“的相关文章
- 基于概率有色Petri网和马尔可夫链的工作流和数据流管理
- 2024年
- 在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画;定义了PCPN的基本逻辑单元,并对工作流和数据流进行建模分析,基于PCPN的工作流和数据流模型转化为马尔可夫链模型,并进行数学概率分析和决策分析。通过实例建模验证了论文建模方法的有效性和可行性。
- 刘小雪
- 关键词：工作流数据流马尔可夫链
- 基于有色Petri网的催化裂化分馏系统信息安全验证
- 2023年
- 催化裂化分馏系统智能化转型的同时也面临更大的信息安全威胁,而信息安全验证聚焦网络攻击下系统的安全性能研究,能降低系统的安全风险。根据系统的安全需求提出一种融合系统理论过程分析和有色Petri网的安全验证分析框架。首先通过系统理论过程分析提取完备的安全约束;然后基于有色Petri网构建逻辑与行为精准的安全验证模型;最后,以简化系统为对象进行安全验证。实验结果证明了所提框架能有效验证安全约束触发行为与系统安全性能之间的潜在关联。
- 滕诗雅梁旭清刘璐周纯杰
- 关键词：有色PETRI网
- 基于有色Petri网和深度学习的医废追溯跟踪系统研究
- 新冠疫情的爆发导致了新冠肺炎确诊病例的激增，同时医疗废物的产生数量也呈井喷式增长趋势。传统医废管理工作书面的记录方式存在效率低下、医废追溯困难、工作人员容易接触感染等问题，这已经难以适应当下医废的管理工作，加之医疗废物具...
- 马耀博
- 关键词：疫情防控有色PETRI网
- FPGA加速的有色Petri网仿真方法及Verilog HDL代码生成工具
- 本发明公开了一种FPGA加速的有色Petri网仿真方法及Verilog HDL代码生成工具，针对基于通用计算机系统的软件相较于基于FPGA的硬件系统仿真速度较慢，且难以描述Petri网的并发结构；而人工使用Verilog...
- 张小军陈成官曾庆田鲁法明李恒忠陈达崔建明王翀刘辉郭华徐建建
- 文献传递
- 基于广义随机有色Petri网的测试性建模方法被引量：5
- 2021年
- 针对现有测试性模型简化系统故障与测试之间的关系,忽略故障模式之间复杂性的问题,提出一种基于广义随机有色Petri网(CGSPN)的测试性建模方法。在Petri网的理论基础上对故障模式复杂性进行分析,并用不同颜色表示严酷度等级,完成CGSPN模型的构建。应用编码方案区分同一故障的多种故障模式,有效降低建模难度。采用可达性算法获取相关性矩阵。引入三角模糊数算法获取专家知识,将专家数据作为先验信息与后验测试数据相结合,解决数据量少和不可靠问题。以某型导弹为例建立CGSPN模型,对其进行测试性分析,得到96.8%的故障检测率和100%的故障隔离率,在满足系统测试性指标要求基础上丰富了模型的内容,为装备的测试性建模提出了一种新方法。
- 翟禹尧史贤俊韩露吕佳朋
- 关键词：相关性矩阵三角模糊数先验信息
- 基于FPGA的有色Petri网仿真系统设计被引量：1
- 2021年
- 为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。
- 陈成官张小军周韬略张德学郭华
- 关键词：有色PETRI网自动生成工具FPGA仿真系统
- 基于有色Petri网的点式-基于通信的列车控制系统切换实时性分析被引量：4
- 2021年
- 点式‒基于通信的列车控制(BM-CBTC)多模列控系统的模式切换时延对城市轨道交通运营效率有着较大影响。分析点式‒基于通信的列车控制(BM-CBTC)系统模式切换功能及过程,建立基于有色Petri网(CPN)的模式切换模型,研究不同点式(BM)控制系统设计运行间隔下的系统切换实时性。实验表明,切换时延随着BM设计运行间隔增大而增加,当BM设计运行间隔为2 min时能将列车运行晚点时间控制在5 min以内。建立的CPN模型亦可为其他配置的多模列控系统切换的实时性分析作为参考。
- 汪小勇董德存欧冬秀纪玉清
- 关键词：有色PETRI网模式切换实时性
- 基于有色Petri网的IEEE 802.1AS协议安全性研究
- 在工业互联网背景下,工业控制网络对各要素之间的互连互通提出了更高的要求,工业以太网协议标准不统一、彼此之间不能兼容的问题日益突出。为此,IEEE802任务组发布了一系列时间敏感网络标准,为工业以太网协议建立了一套通用的时...
- 唐思宇
- 关键词：有色PETRI网形式化建模
- FPGA加速的有色Petri网仿真方法及Verilog HDL代码生成工具
- 本发明公开了一种FPGA加速的有色Petri网仿真方法及Verilog HDL代码生成工具，针对基于通用计算机系统的软件相较于基于FPGA的硬件系统仿真速度较慢，且难以描述Petri网的并发结构；而人工使用Verilog...
- 张小军陈成官曾庆田鲁法明李恒忠陈达崔建明王翀刘辉郭华徐建建
- 文献传递
- 基于有色Petri网形式化建模及外卖配送模型的构建
- 随着人们生活节奏的不断加快,在日常生活中,对于日常的饮食,不再仅仅局限于去公司餐厅、学校食堂等地方就餐,外卖行业的兴起,为人们的日常生活,提供了极大的便利。同时在近几年互联网技术的高速发展以及智能手机不断更新换代的时代背...
- 郭奇峰
- 关键词：PETRI网有色PETRI网
- 文献传递
相关作者
- 唐涛
- 作品数：424被引量：1,452H指数：21
- 供职机构：北京交通大学
- 研究主题：列车 城市轨道交通 列车运行控制系统 列控系统 轨道交通
- 罗军舟
- 作品数：403被引量：2,927H指数：22
- 供职机构：东南大学
- 研究主题：计算机网络 PETRI网 网络安全 网络管理 云计算
- 胡金柱
- 作品数：172被引量：558H指数：13
- 供职机构：华中师范大学计算机学院
- 研究主题：复句 关系词 PETRI网 汉语复句 自动识别
- 韩江洪
- 作品数：595被引量：2,593H指数：22
- 供职机构：合肥工业大学
- 研究主题：无线传感器网络 CAN总线 矿井机车 英译 翻译
- 宋小庆
- 作品数：61被引量：191H指数：8
- 供职机构：装甲兵工程学院控制工程系
- 研究主题：综合电子系统 CAN总线 装甲车辆 可见光通信 电系统
