谢林
- 作品数：6 被引量：28H指数：4
- 供职机构：西南交通大学信息科学与技术学院更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- 基于UML建模的计算机联锁进路模块Petri网验证被引量：4
- 2017年
- 对于铁路车站计算机联锁软件中的重要部分之一的进路模块,使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点,利用具有严格理论分析方法的Petri网对模型进行形式化验证,保证模型的精确性和安全性。
- 薛丰杨扬谢林
- 关键词：车站联锁UMLPETRI网
- 基于二维坐标信息进路搜索算法研究被引量：4
- 2015年
- 二维坐标信息进路搜索算法,运用CAD提取各个节点坐标的思路,从有向图的角度对进路进行研究,通过面向对象的思想将各个节点连接起来形成站场型数据结构,以此为基础设计出一套通用进路搜索程序,能够快速高效地搜到目标节点,提高进路搜索效率。
- 谢林杨扬
- 关键词：CAD有向图面向对象
- 计算机联锁系统S700K电路图软件动态设计被引量：2
- 2017年
- 研究五线制S700K型转辙机电路的基本原理,分析启动电路、控制电路、表示电路所涉及到的设备图元以及图元的类型和图元之间的坐标关系,并建立数据库存储图元的数据信息,读取数据库中各个图元的基本信息,画出五线制转辙机电路的静态电子图纸。设计搜索算法,接收联锁机的驱动命令,根据1DQJ励磁电路,2DQJ转极电路以及DBJ和FBJ电路中继电器的励磁条件和三者之间的联锁关系,从每张图的电源正端开始搜索动态回路,结果动态实现了五线制道岔控制电路的动作回路和表示回路的动作过程。
- 彭丽维杨扬谢林
- 关键词：铁路信号计算机联锁系统S700K图元
- 基于模型的进路建立过程测试用例自动生成被引量：8
- 2017年
- 为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣,设计深度优先搜索算法遍历模型,得到抽象测试案例,采用Java反射机制对抽象案例进行反推,结果生成8种类型的测试片段,每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。
- 谢林杨扬
- 关键词：铁路信号联锁系统状态机图论
- 全电子计算机联锁信号控制模块设计被引量：9
- 2016年
- 以全电子计算机联锁系统信号模块为研究对象,硬件上设计了几种点灯电路和一种信号采集电路,软件上设计了TCP/IP协议的标准套接字通信和CAN总线通信,重点分析了一条接车进路和发车进路,模拟实现了全电子计算机信号模块的控制过程。
- 谢林杨扬
- 关键词：采集电路CAN总线通信
- 基于自动Petri网的联锁逻辑设计被引量：1
- 2017年
- 联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。
- 谢林杨扬
- 关键词：轨道交通信号系统联锁逻辑控制PETRI网
