张重

作品数：2被引量：3H指数：1
导出分析报告
供职机构：兰州交通大学电子与信息工程学院更多>>
发文主题：SCADE形式化方法联锁软件联锁PLC更多>>
发文领域：交通运输工程自动化与计算机技术更多>>
发文期刊：《铁路计算机应用》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SCADE的城轨联锁软件开发方法的研究被引量：3
《铁路计算机应用》2014年第2期14-16,共3页张重 刘晓娟 李国瑞 
CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性。本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题。文章主...
关键词：城轨联锁 形式化方法 建模 
PLC在铁路机务折返段微机联锁系统中的应用
《铁路计算机应用》2014年第2期36-38,共3页李国瑞 张重 
介绍在铁路机务折返段微机联锁系统中使用可编程控制器PLC技术,实现道岔集中联锁控制功能,并从系统的总体结构、冗余方式,软件的总体结构、PLC联锁软件的分类和调用,程序嵌套思想等方面进行了分析。证明它是一种适合机务段使用的性价比...
关键词：PLC 联锁系统 程序嵌套思想 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部