原文传递
计算机联锁软件需求规格说明的形式化描述工具的开发
| 论文题名： | 计算机联锁软件需求规格说明的形式化描述工具的开发 |
| 关键词： | 计算机联锁;形式化描述;Petri网;建模;控制理论;行车安全;运输效率 |
| 摘要： | 铁路信号设备是确保铁路行车安全和提高运输效率的重要设施。不论以何种方式工作的信号设备，都受一定的逻辑条件制约着，通过这些逻辑条件来控制信号设备的工作状态使其能确保行车安全和提高运输效率。随着计算机在铁路安全控制系统中的应用，信号设备控制逻辑关系的建立和实施已主要由计算机来完成。因此，对铁路信号设备控制逻辑关系的形式化描述变得越来越重要。形式化的描述不但可以便于计算机实现具体的逻辑控制，同时也可以提高计算机程序的可靠性。而解决这一问题的关键在于寻找一种能够精确描述这种逻辑关系的形式化描述工具。用这种工具对信号设备控制逻辑关系作形式化描述，以便于计算机处理。目前，“形式化”研究成果在我们铁路信号领域还鲜见报道。作者试图在已有形式化描述工具的基础上，在这一领域作进一步的探索和研究。 本文着重论述了常用的几种形式化建模方法，分析它们各自的特点，结合铁路信号设备的变化规律和内在联系，分别提出了基于PN(Petri-net)理论的控制Petri网模型CtrlPN(ControlPetri-net)和逻辑Petri网模型LPN(LogicPetri-net)，并对LPN和CtrlPN加以综合，形成了适用于联锁逻辑形式化描述的CLPN(ControlandLogicPetri-nets)理论。作为实际应用研究，文中重点介绍了铁路车站信号联锁逻辑的形式化描述的基本方法，并对基于CLPN的形式化描述理论和方法作了探讨。 |
| 作者： | 韩晓燕 |
| 专业： | 控制科学与工程·控制理论与控制工程 |
| 导师： | 徐中伟 |
| 授予学位： | 硕士 |
| 授予学位单位： | 同济大学 |
| 学位年度： | 2006 |
| 正文语种： | 中文 |
检索历史
应用推荐
