有色PETRI网

作品数：262被引量：837H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：唐涛罗军舟陈邦兴韩江洪董成喜更多>>
相关机构：北京交通大学兰州交通大学同济大学华中科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
750kV变电站基于信息融合的故障诊断研究
《电气技术与经济》2025年第2期300-303,共4页李娜 白钰 
在西北750kV变电站处于枢纽地位的背景下,750kV变电站故障诊断模型与故障诊断方法基于信息融合,针对单一故障诊断方法的诊断精确度偏低问题提出。该方法分别利用贝叶斯网(BayesNetwork)和有色Petri Network对750kV变电站故障进行故障诊...
关键词：故障诊断 信息融合 D-S证据理论 贝叶斯网 有色PETRI网 
基于CPN的车载网络无证书匿名认证和密钥协商方案研究被引量：1
《通信学报》2024年第6期101-116,共16页郑路 冯涛 苏春华 
国家自然科学基金资助项目(No.62162039,No.61762060);甘肃省重点研发基金资助项目(No.23YFGA0060);甘肃省优秀博士生基金资助项目(No.23JRRA837)。
为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷,以及没有考虑计算受限电子控制单元(ECU)轻量级部署和安全快速认证的问题,首先,针对计算不受限的ECU网络,提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案,...
关键词：车载网络 安全协议 认证与密钥协商 有色PETRI网 形式化验证 
车车通信移动授权的功能建模及性能分析
《控制工程》2024年第5期876-883,共8页徐冬炜 张振海 党建武 
国家自然科学基金资助项目(61763025);中国博士后科学基金资助项目(167306)。
车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行...
关键词：车车通信列车运行控制系统 移动授权 有色PETRI网 性能分析 
基于概率有色Petri网和马尔可夫链的工作流和数据流管理
《计算机与数字工程》2024年第3期781-785,共5页刘小雪 
在大数据背景下,信息系统中的工作流和数据流往往同时发生,然而现有研究往往仅对工作流进行建模而未考虑数据流。论文对工作流和数据流进行统一建模,首先对基本Petri网进行扩展,定义概率有色Petri网PCPN,实现对工作流和数据流的分别刻画...
关键词：工作流 数据流 概率有色Petri网PCPN 马尔可夫链 建模管理 
基于有色Petri网的催化裂化分馏系统信息安全验证
《工业控制计算机》2023年第12期88-91,共4页滕诗雅 梁旭清 刘璐 周纯杰 
催化裂化分馏系统智能化转型的同时也面临更大的信息安全威胁,而信息安全验证聚焦网络攻击下系统的安全性能研究,能降低系统的安全风险。根据系统的安全需求提出一种融合系统理论过程分析和有色Petri网的安全验证分析框架。首先通过系...
关键词：催化裂化分馏系统 信息安全验证 有色PETRI网 
基于车车通信的列控系统移动授权功能建模与验证
《装备制造技术》2023年第9期59-61,共3页陈燕 
福州职业技术学院2021年学校科研项目(科技类)项目(FZYKJJJYB202102)。
列车控制系统是保证列车安全、高效、舒适运行的关键系统之一,基于车车通信的列控系统实现了列车之间的直接通信,列车可直接获取其他列车的运行状态信息而无需经轨旁转发,正因为如此,可以将部分地面设备功能转移到了车载,例如实现列车...
关键词：车车通信 有色PETRI网 移动授权 形式化建模 
CTCS-3 级列控车载设备的形式化建模与验证被引量：1
《重庆大学学报》2023年第9期120-129,共10页何涛 韩敬佳 
国家自然科学基金资助项目(U2268206)。
CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Pe...
关键词：列控系统 车载设备 模式转换 有色PETRI网 
RSSP-Ⅱ协议消息鉴定层的形式化描述及验证
《计算机应用与软件》2023年第6期77-82,180,共7页徐倩 林俊亭 
国家自然科学基金项目(61963023)。
协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现...
关键词：RSSP-Ⅱ 消息鉴定层 实体对等认证 消息源认证 有色PETRI网 
基于车车通信的列控系统后备模式研究被引量：13
《铁道科学与工程学报》2022年第11期3407-3416,共10页李强 陈子健 
中国国家铁路集团有限公司科技研究开发计划课题(N2019G017);甘肃省科技计划资助项目(20CX9JA125)。
多模列控系统的模式切换时延是影响城市轨道交通列车运行效率的重要因素,基于车车通信的列控系统是下一代城市轨道交通列控系统的主要发展方向。由于系统结构的改变,传统的CBTC列控系统后备模式无法适用于新型列控系统,目前,尚无合理的...
关键词：车车通信 有色PETRI网 模式切换 实时性 
车载TBTC-CBTC系统降级场景下的CPN建模与仿真
《计算机工程》2022年第7期189-198,共10页汪小勇 董德存 欧冬秀 
国家自然科学基金(52172329);国家重点研发计划(2018YFB1201403);上海市自然科学基金(22ZR1422200)。
基于轨道电路的列车控制(TBTC)-基于通信的列车控制(CBTC)双模车载系统是实现轨道交通多网融合的关键,其模式间切换具有较强的随机性和并发性,并直接影响车载信号系统的运营可用性。然而,车载信号系统故障降级导致轨道交通资源利用率降...
关键词：多模列控系统 基于轨道电路的列车控制-基于通信的列车控制系统 有色PETRI网 车载信号降级 运营可用性 
全选清除导出
共27页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部