64D型继电半自动闭塞电路的逻辑模型仿真设计
发布时间：2021-08-03 05:01
在现阶段我国的联锁方法中,主要方法为继电联锁和计算机联锁,正在逐步实现继电联锁向计算机联锁的过渡。相关学者提出了基于继电联锁逻辑的形式化方法来研究计算机联锁,该方法通过继电电路逻辑与计算机联锁的结合,使继电联锁的相关设计,纠错经验能够运用到计算机联锁中,极大地降低了设备的使用和维护成本。基于继电联锁逻辑的形式化方法,使用电路图直接转化为联锁程序的方式,能够使联锁程序在电路层次具有可设计性和可维护性。所以,本文将通过以64D型单线继电半自动闭塞电路为基础电路示例来探索直接使用电路图转化为闭塞控制程序的电路模拟过程,探究实现基于继电联锁逻辑的计算机联锁形式化工具的可行方案。本文关于继电联锁电路与联锁程序转化过程中的数据相关工作进行了分析,包括控制电路内部逻辑运算的逻辑相关工作,展示电路状态的仿真程序相关工作,并设计了可行的实验关键步骤;通过对基础电路分析得到包括元件,线路相关的电路关系;以电路关系和展示功能的特点设计了能够抽象相关关系和功能特点的数据结构;根据构建的数据结构和过程可视化原则设计了对应的中间文件结构;以中间文件结构和数据结构为基准,设计了从原始文件转化为中间文件,中间文件转化...
【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校
【文章页数】：71 页
【学位级别】：硕士
【部分图文】：
继电电路动作过程示例图
本文工作说明图
界面展示出来以便于观察电路的状态[30]。关于程序的逻辑部分，由于不同元件有独特的功能和参数，并且元件之间还需要建对应的逻辑关系，所以我们会为这些元件生成对应的类，这里我们将这些类称为辑元件。而对于这些类，他们的相互影响关系是通过电路线路来决定的，所以我们线路建立相关的数据结构 LogLine。综上，逻辑部分数据结构包含逻辑元件和逻辑线类 LogLine。在控制程序运行过程中，我们需要将电路中的元件状态展示出来，所以需要为元展示设置数据结构 Part，在用于展示的元件信息中，有的元件是静态的，如正负电，它们的状态是固定的；有的元件是动态的，由其相关的逻辑元件决定其状态，所我们又将展示类元件分为静态展示元件 StaticPart 和动态展示元件 AntonymPart，它与 Part 为继承关系，另外在电路展示中还需要相关的连线，我们将这些连线的数据构设定为 Line。综上，我们将一个电路图中的展示元件及展示线路封装到展示整体数据结构owPicture中，将电路整体的逻辑元件以及线路封装到逻辑整体数据结构LogicControl，可以得到如图 3-1 所示的整体数据结构。
【参考文献】：
期刊论文
[1]铁路信号计算机联锁控制系统的容错技术探讨[J]. 刘邦鹏. 工程技术研究. 2018(03)
[2]计算机联锁系统安全可靠性设计略谈[J]. 徐燕飞. 数字技术与应用. 2017(01)
[3]计算机联锁系统中人机会话层安全分析[J]. 孙宁,邱兆阳. 铁路通信信号工程技术. 2016(04)
[4]论城轨车站计算机联锁仿真系统重要性[J]. 胡伟. 信息通信. 2015(06)
[5]车站联锁进路控制逻辑的形式化方法[J]. 胡晓辉,韩佳芮. 计算机工程与应用. 2016(17)
[6]基于CPN的联锁进路控制建模及验证[J]. 陶玲,宋军. 工业控制计算机. 2014(11)
[7]计算机联锁故障远程诊断系统[J]. 陆志雄. 上海铁道科技. 2011(01)
[8]计算机联锁控制逻辑的模型检验方法[J]. 燕飞,唐涛. 铁道通信信号. 2009(05)
[9]计算机联锁进一步发展的探索[J]. 傅世善. 铁路通信信号工程技术. 2006(02)
[10]6502故障处理方法探讨[J]. 冯良华. 铁道通信信号. 2003(09)
博士论文
[1]CBTC联锁系统的形式化建模与验证方法研究[D]. 于潇.中国铁道科学研究院 2017
[2]基于Agent的全电子智能分布式应急联锁系统研究[D]. 魏文军.兰州交通大学 2015
[3]轨道交通安全计算机系统及安全控制机制关键技术研究[D]. 陈光武.兰州交通大学 2014
[4]轨道交通全电子化联锁系统安全技术研究与系统分析[D]. 何涛.兰州交通大学 2014
硕士论文
[1]基于继电电路的计算机联锁控制逻辑研究[D]. 黄祥.西南交通大学 2018
[2]城轨计算机联锁仿真系统的研究与实现[D]. 黄龙.西南交通大学 2018
[3]计算机联锁系统冗余结构的设计[D]. 施宇锋.苏州大学 2017
[4]铁路车站计算机联锁软件建模研究[D]. 董丹.兰州交通大学 2017
[5]ZPW2000A/K设备配置软件的设计与实现[D]. 李胜.西南交通大学 2016
[6]基于安全状态机的计算机联锁系统建模与分析[D]. 侯宇婷.西南交通大学 2016
[7]车站信号计算机联锁逻辑关系形式化验证方法的研究[D]. 陶玲.重庆交通大学 2015
[8]基于图论的联锁程序的研究与设计[D]. 石擎宇.兰州交通大学 2014
[9]铁路信号继电电路动态逻辑化仿真研究[D]. 蒲加永.西南交通大学 2013
[10]基于Protel设计文件的贴片机虚拟制造系统[D]. 黄昊.西南交通大学 2011
本文编号：3318986
【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校
【文章页数】：71 页
【学位级别】：硕士
【部分图文】：
继电电路动作过程示例图
本文工作说明图
界面展示出来以便于观察电路的状态[30]。关于程序的逻辑部分，由于不同元件有独特的功能和参数，并且元件之间还需要建对应的逻辑关系，所以我们会为这些元件生成对应的类，这里我们将这些类称为辑元件。而对于这些类，他们的相互影响关系是通过电路线路来决定的，所以我们线路建立相关的数据结构 LogLine。综上，逻辑部分数据结构包含逻辑元件和逻辑线类 LogLine。在控制程序运行过程中，我们需要将电路中的元件状态展示出来，所以需要为元展示设置数据结构 Part，在用于展示的元件信息中，有的元件是静态的，如正负电，它们的状态是固定的；有的元件是动态的，由其相关的逻辑元件决定其状态，所我们又将展示类元件分为静态展示元件 StaticPart 和动态展示元件 AntonymPart，它与 Part 为继承关系，另外在电路展示中还需要相关的连线，我们将这些连线的数据构设定为 Line。综上，我们将一个电路图中的展示元件及展示线路封装到展示整体数据结构owPicture中，将电路整体的逻辑元件以及线路封装到逻辑整体数据结构LogicControl，可以得到如图 3-1 所示的整体数据结构。
【参考文献】：
期刊论文
[1]铁路信号计算机联锁控制系统的容错技术探讨[J]. 刘邦鹏. 工程技术研究. 2018(03)
[2]计算机联锁系统安全可靠性设计略谈[J]. 徐燕飞. 数字技术与应用. 2017(01)
[3]计算机联锁系统中人机会话层安全分析[J]. 孙宁,邱兆阳. 铁路通信信号工程技术. 2016(04)
[4]论城轨车站计算机联锁仿真系统重要性[J]. 胡伟. 信息通信. 2015(06)
[5]车站联锁进路控制逻辑的形式化方法[J]. 胡晓辉,韩佳芮. 计算机工程与应用. 2016(17)
[6]基于CPN的联锁进路控制建模及验证[J]. 陶玲,宋军. 工业控制计算机. 2014(11)
[7]计算机联锁故障远程诊断系统[J]. 陆志雄. 上海铁道科技. 2011(01)
[8]计算机联锁控制逻辑的模型检验方法[J]. 燕飞,唐涛. 铁道通信信号. 2009(05)
[9]计算机联锁进一步发展的探索[J]. 傅世善. 铁路通信信号工程技术. 2006(02)
[10]6502故障处理方法探讨[J]. 冯良华. 铁道通信信号. 2003(09)
博士论文
[1]CBTC联锁系统的形式化建模与验证方法研究[D]. 于潇.中国铁道科学研究院 2017
[2]基于Agent的全电子智能分布式应急联锁系统研究[D]. 魏文军.兰州交通大学 2015
[3]轨道交通安全计算机系统及安全控制机制关键技术研究[D]. 陈光武.兰州交通大学 2014
[4]轨道交通全电子化联锁系统安全技术研究与系统分析[D]. 何涛.兰州交通大学 2014
硕士论文
[1]基于继电电路的计算机联锁控制逻辑研究[D]. 黄祥.西南交通大学 2018
[2]城轨计算机联锁仿真系统的研究与实现[D]. 黄龙.西南交通大学 2018
[3]计算机联锁系统冗余结构的设计[D]. 施宇锋.苏州大学 2017
[4]铁路车站计算机联锁软件建模研究[D]. 董丹.兰州交通大学 2017
[5]ZPW2000A/K设备配置软件的设计与实现[D]. 李胜.西南交通大学 2016
[6]基于安全状态机的计算机联锁系统建模与分析[D]. 侯宇婷.西南交通大学 2016
[7]车站信号计算机联锁逻辑关系形式化验证方法的研究[D]. 陶玲.重庆交通大学 2015
[8]基于图论的联锁程序的研究与设计[D]. 石擎宇.兰州交通大学 2014
[9]铁路信号继电电路动态逻辑化仿真研究[D]. 蒲加永.西南交通大学 2013
[10]基于Protel设计文件的贴片机虚拟制造系统[D]. 黄昊.西南交通大学 2011
本文编号：3318986
本文链接：https://www.wllwen.com/shekelunwen/ljx/3318986.html
