面向安全的计算机联锁系统联锁逻辑测试实施规范

PMI(计算机联锁)是CBTC(基于通信的列车控制)系统中实现联锁计算的子系统。分析了由城市轨道交通信号固有的逻辑耦合以及自仪泰雷兹面向客户功能需求的系统开发模式造成的PMI联锁逻辑的复杂性;概述了城市轨道交通系统所承担的巨大公共安全责任和实时高强度运营负荷,对PMI联锁逻辑的安全性和可靠性提出的要求;介绍了面向安全的PMI联锁逻辑测试实施规范;介绍了基于规范的PMI联锁逻辑测试实施工具的开发,并提出了进一步开发的几点构想。     

地铁设备监控系统的控制逻辑开发浅析

针对地铁建设过程中对监控系统的控制逻辑部分规划较少的问题,结合地铁工程实例,将控制逻辑与工程特点、系统特点和运营部门实际需求进行结合,对设备监控系统的控制逻辑部分进行介绍。     

地铁闸机通行逻辑控制的设计

分析了通行逻辑控制技术在地铁闸机实际运营中的作用,对比分析了各种闸机设备的性能和优缺点,介绍了通行逻辑控制系统的设计原则、设计方法,以及闸机上传感器的布置原则和方法.通过一种基于传感器输出状态的组合逻辑变化来实现通行逻辑识别,通过对通行逻辑的分析与研究,完成了通行逻辑控制的设计.     

编写摘要注意事项

<正>1)摘要中应排除本学科领域已成为常识的内容;切忌把应在引言中出现的内容写入摘要;一般也不要对论文内容作诠释和评论(尤其是自我评价)。2)不得简单重复题名中已有的信息。3)结构严谨,表达简明,语义确切。先写什么,后写什么,要按逻辑顺序来安排。句子之间要上下连贯,互相呼应。摘要慎用长句,句型应力求简单。每句话要表意明白,无空泛、笼统、含混之词。摘要是一篇完整的短文,不分段。4)用第三人称。建议采用"对……进行了研究"、"报告了……现状"、"进行了……调查"等记述方法标明一次文献的性质和文献主题,不必使用"本文"、"作者"等作为主语。     

ATP/TD系统的列车位置检测原理与闭塞逻辑分析

通过对ATP/TD系统列车位置检测工作原理的描述,结合列车运行情况,观察闭塞逻辑继电器的动作及复位,分析闭塞逻辑电路的时间特性、记忆特性。     

用CPLD实现电动汽车驱动系统的逻辑控制

电动汽车电机驱动系统的控制包含各种复杂的逻辑操作,这些逻辑操作一般使用单片机或数字信号处理器等通用微处理器来实现。采用复杂可编程逻辑器件（CPLD）来实现电机驱动系统控制的各种逻辑操作,具有对事件的响应速度快、多个事件能够并行处理等优点。文章介绍了电动汽车电机驱动系统常见逻辑操作的硬件描述语言（VHDL）模型以及用CPLD来实现这些逻辑操作的具体方法。     

齿轮周节微机测量系统中的曲线图显示

本文结合具体的开发项目在设备环境类、图形设备界面等基本概念的基础上介绍了基于VisuaL C 6.0环境下如何实现实际应用程序中要求的图形显示，着重阐述了矩形曲线图静态和动态显示。     

布尔逻辑公式中文字和小项的可消性

本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。