期刊文献+

LSC在微机联锁中的应用 被引量:8

Applying LSC to Interlocking System
下载PDF
导出
摘要 介绍了逻辑关联图LSC(Logic&SequenceCharts)的基本原理,并对其应用于微机联锁系统进行了研究,设计了基本元素的逻辑图和与站场对应的关联图,并在SUN工作站上仿真验证,证明设计是切实可行的。 This paper describes the principle of Logic & Sequence Charts(LSC) and the study on applying LSC to interlocking system.The logic charts(LC) of fundamental elements and the sequence charts (SC) corresponding to station configuration are designed and verified under a simulation environment on SUN workstation.The results prove that the LSC method is practical and feasible.
出处 《中国铁道科学》 EI CAS CSCD 北大核心 1998年第1期110-114,共5页 China Railway Science
关键词 逻辑关联图 铁路信号 微机 联锁系统 LSC Signal, Interlocking, Logic & sequence charts
  • 相关文献

同被引文献21

  • 1詹约章 中国表面工程学会防锈专业委员会.钝化剂DZL-011处理20#碳钢形成的钝化膜的电子能谱研究.第三届全国防锈技术学术讨论会论文集[M].武汉:中国表面工程学会防锈专业委员会,1995.29-31.
  • 2Storey N. Safety Critical Computer Systems [ M ]. Harlow, England : Addison Wesley, 1995.113 - 160.
  • 3袁有光 陈以农.容错和避错技术及其应用[M].北京:科学出版社,1992..
  • 4Algirdas Avizinis.容错计算的方法[A]..1972年美日第一届计算机会议录(中译本)[C].北京:科学出版社,..
  • 5KurtWall.GNU/Linux[M].北京:清华大学出版社,2002..
  • 6马朝晖译.Linux集群体系结构[M].北京:机械工业出版社,2002..
  • 7Neil Storey. Safety2Critical Computer Systems [ M ]. Har2low, England: A ddison2Wesley, 1995.113-160
  • 8Fokko van D ijk EU R IS. A Specification Method for Distributed Interlockings[ A ]. In: LNCS1516, Computer Safe2ty, Reliability and Security [ C ]. London: Springer2Ver21 ag, 1998.296-305
  • 9Neil Storey. Safety critical computer systems [M]. Har low,England:Addison Wesley,1995.
  • 10赵志熙.车站信号控制系统[M].北京:中国铁道出版社,1995..

引证文献8

二级引证文献26

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部