谢林

作品数:6被引量:28H指数:4
导出分析报告
供职机构:西南交通大学信息科学与技术学院更多>>
发文主题:铁路信号PETRI网采集电路CAN总线通信控制模块设计更多>>
发文领域:交通运输工程自动化与计算机技术更多>>
发文期刊:《铁道标准设计》《铁道通信信号》《铁路计算机应用》《城市轨道交通研究》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
计算机联锁系统S700K电路图软件动态设计被引量:2
《铁道标准设计》2017年第10期156-162,共7页彭丽维 杨扬 谢林 
中国铁路总公司科技研究计划项目(2015X007-J;2015X009-D;2014X008-A)
研究五线制S700K型转辙机电路的基本原理,分析启动电路、控制电路、表示电路所涉及到的设备图元以及图元的类型和图元之间的坐标关系,并建立数据库存储图元的数据信息,读取数据库中各个图元的基本信息,画出五线制转辙机电路的静态电子...
关键词:铁路信号 计算机联锁系统 S700K 图元 数据库 静态电子图纸 动态 
基于UML建模的计算机联锁进路模块Petri网验证被引量:4
《铁路计算机应用》2017年第4期10-14,共5页薛丰 杨扬 谢林 
对于铁路车站计算机联锁软件中的重要部分之一的进路模块,使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点,利用具有严格理论分析方法的Petri网对模型进行形式化验证,保证模型的精确性和安全性。
关键词:车站联锁 UML PETRI网 建模 
基于自动Petri网的联锁逻辑设计被引量:1
《城市轨道交通研究》2017年第4期113-118,共6页谢林 杨扬 
中国铁路总公司科技研究计划项目(2015X007-5;2015X009-D;2014X008-A)
联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过...
关键词:轨道交通信号系统 联锁 逻辑控制 PETRI网 
基于模型的进路建立过程测试用例自动生成被引量:8
《铁道标准设计》2017年第2期109-116,共8页谢林 杨扬 
中国铁路总公司科技研究计划(2015X007-J;2015X009-D;2014X008-A)
为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准...
关键词:铁路信号 联锁系统 测试案例 状态机 图论 反射机制 
全电子计算机联锁信号控制模块设计被引量:9
《铁道通信信号》2016年第9期8-11,共4页谢林 杨扬 
以全电子计算机联锁系统信号模块为研究对象,硬件上设计了几种点灯电路和一种信号采集电路,软件上设计了TCP/IP协议的标准套接字通信和CAN总线通信,重点分析了一条接车进路和发车进路,模拟实现了全电子计算机信号模块的控制过程。
关键词:全电子点灯电路 采集电路 CAN总线通信 
基于二维坐标信息进路搜索算法研究被引量:4
《铁路计算机应用》2015年第8期16-19,共4页谢林 杨扬 
中国铁路总公司科技研究计划项目(2013X012-A-1;20132013X012-A-2;2014X008-A)
二维坐标信息进路搜索算法,运用CAD提取各个节点坐标的思路,从有向图的角度对进路进行研究,通过面向对象的思想将各个节点连接起来形成站场型数据结构,以此为基础设计出一套通用进路搜索程序,能够快速高效地搜到目标节点,提高进路搜索...
关键词:坐标 CAD 有向图 面向对象 
检索报告 对象比较 聚类工具 使用帮助 返回顶部