铁道部科技研究开发计划(2002X007)

作品数：4被引量：39H指数：3
导出分析报告
相关作者：陈邦兴吴芳美郜春海唐涛燕飞更多>>
相关机构：同济大学北京交通大学更多>>
相关期刊：《铁道学报》《同济大学学报（自然科学版）》更多>>
相关主题：形式化建模联锁设备有色PETRI网车载设备ATP更多>>
相关领域：交通运输工程自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CENELEC铁路标准的列车自动防护系统车载设备研究与设计被引量：8
《铁道学报》2006年第1期99-107,共9页郜春海 唐涛 燕飞 
铁道部科技研究开发计划项目(2002X007)
列车自动防护系统(ATP)车载设备是保证列车行车安全的重要安全设备,必须按照相应的安全设计和评估标准进行系统的研究开发。欧洲已经制定了适用于铁路领域的安全系统设计和评估标准,简称为CEN-ELEC系列标准。文章通过国内现有信号系统...
关键词：铁路安全 CENELEC标准 ATP 安全设计 
区间自动闭塞系统安全性测试系统仿真建模
《同济大学学报（自然科学版）》2003年第6期692-696,共5页陈邦兴 吴芳美 
铁道部科技研究开发计划资助项目 ( 2 0 0 2X0 0 7)
铁路区间自动闭塞系统的可靠性和安全性的测试与评估是铁路安全控制领域广为关注的焦点 ,开发区间自动闭塞系统可靠性和安全性自动测试与评估平台是解决这一问题的有效途径 .因此 ,结合作者正在参加研究开发的区间自动闭塞系统可靠性和...
关键词：自动闭塞系统 安全性 测试 仿真建模 
计算机联锁软件的Z规格说明被引量：8
《铁道学报》2003年第4期62-66,共5页王铁江 郦萌 
铁道部科技研究开发计划项目(2002X007)
计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规...
关键词：形式化规格说明 Z语言 安全需求 计算机联锁 铁路信号 
铁路信号联锁逻辑形式化建模研究被引量：25
《铁道学报》2002年第6期50-54,共5页陈邦兴 吴芳美 
铁道部科技研究开发计划项目 (2 0 0 2 X0 0 7)
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次...
关键词：铁路信号联锁逻辑 形式化建模 有色PETRI网 层次化有色Petri网 联锁设备 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部