| 铁路信号联锁逻辑形式化建模研究 |
| |
| 引用本文： | 陈邦兴,吴芳美.铁路信号联锁逻辑形式化建模研究[J].铁道学报,2002,24(6):50-54. |
| |
| 作者姓名： | 陈邦兴 吴芳美 |
| |
| 作者单位： | 同济大学,电子与信息工程学院,上海,200331 |
| |
| 基金项目： | 铁道部科技研究开发计划项目(2002X007) |
| |
| 摘 要： | 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。
|
| 关 键 词： | 铁路信号联锁逻辑 形式化建模 有色Petri网 层次化有色Petri网 联锁设备 |
| 文章编号： | 1001-8360(2002)06-0050-05 |
Research on formal models of railway signal interlocking logics |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
