CTCS-3列控系统RBC切换的形式化建模、分析与验证

来源 :计算机应用研究 | 被引量 : 9次 | 上传用户：xffys3

【摘要】

：

针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性。交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安

【作者】

：

潘登郑应平

【机构】

：

同济大学控制科学与工程系

【出处】

：

计算机应用研究

【发表日期】

：

2013年02期

【关键词】

：

CTCS-3列控系统 RBC切换通信协议形式化建模 PETRI网分析与验证 Chinese train control system level 3 r

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

用五大发展理念推进高职院校思想政治理论教育新发展

用＂创新、协调、绿色、开放、共享＂五大发展理念推进高职院校思想政治理论教育新发展,需要在传承与发展中创新高职院校思想政治教育;在整体平衡中推进高职院校思想政治教育协调

期刊

高职院校大学生思想政治教育五大发展理念

江苏省乡村教师定向师范生政策认知调查——以南京晓庄学院为例

运用文献资料法、问卷调查法、数理统计等方法,以南京晓庄学院2016级、2017级乡村教师定向师范生为调查对象,分析他们对江苏省乡村教师师范生定向教育政策的认知情况。调查发

期刊

定向师范教育乡村教师政策认知

可持续生计视角下的贫困大学生能力发展——精准扶贫与贫困大学生“双创”能力发展系列研究之二

从可持续生计的视角来研究贫困大学生能力发展，有利于贫困大学生阻断贫困代际传递，形成“内生性”发展动力。可持续生计视角重在从贫困大学生家庭及其个人内部分析贫困产生的原

期刊

可持续生计贫困大学生就业能力资本获取能力

试论应用型本科院校人才培养质量评估体系的构建

人才培养质量评估有助于地方应用型本科院校以评促建、以评促改和推进地方本科院校办学模式的特色创新,目前我国只有本科教学评估指标、高职高专评估指标两种评估指标体系,缺

期刊

应用型本科院校人才培养质量评估体系

应用文写作中体现双向沟通效果的方法探析

应用文写作属于单向沟通,接收者没有反馈信息的机会。如何突破应用文写作中单向沟通的局限,实现沟通技巧书面化,教师在应用文写作教学中要高度重视。通过把握合适的语气、运

期刊

应用文写作双向沟通语气金字塔结构积极语言

CDIO在机械设计类课程中的应用新模式探索与实践

如何针对不同类型的课程执行“实现、运作”环节,是当前CDIO模式应用中的难点问题。针对机械设计类课程性质和教学目标,提出基于实验室资源的CDIO新模式。该新模式将CDIO核心

期刊

工程教育CDIO机械设计应用模式

翻转课堂教学模式在《管理学原理》课程中的应用——以桂商案例教学为例

服务地方企业是地方高校的重要职能之一,以桂商案例为教学资源,采用翻转课堂教学模式对《管理学原理》课程进行教学改革。教学中的视频选用、桂商案例收集、课堂讨论、桂商企

期刊

翻转课堂桂商做中学案例教学管理学原理

动物学校外实习基地群建设的探索与实践

以广州大学大亚湾临海动物实习基地群建设为实例,阐明了动物学野外实习基地群建设的重要性及存在的问题。实践证明,通过积极申报各级各类项目、建设区域性的动物学实习基地公

期刊

动物学实习基地群建设探索与实践协同育人

园艺专业八个“一对一”人才培养模式构建与实践——以甘肃农业大学园艺学院为例

为适应我国经济发展的新常态，推动高等教育发展方式的转型，根据园艺专业现状、优势及特色，面向实现转型发展的国家和社会需求，对园艺专业人才培养模式进行改革，建立八个“一对一”

期刊

园艺专业一对一培养模式改革甘肃农业大学园艺学院

“帕森斯AGIL理论”视角下《大学生就业指导课》教学改革设想

在大众创业、万众创新的时代背景下,高校创新创业教育服务体系建设以就业指导课程为重要依托,这是《大学生就业指导课》改革的不竭动力。文章以帕森斯的AGIL四功能分析模型为

期刊

帕森斯AGIL模型大学生就业指导课教学改革

CTCS-3列控系统RBC切换的形式化建模、分析与验证

与本文相关的学术论文