运用PLC技术改造385m~2凯利式叶滤机控制系统

根据生产实践 ,结合PLC的技术特点和 385m2 凯利式叶滤机的电气联锁特性 ,阐述了应用PLC技术 ,可进一步提高 385m2 凯利式叶滤机的运转率和自动化水平。     

折线滑面滑体的稳定分析方法的改进

本文根据刚体极限平衡分析原理，考虑各块体的力矩平衡和块间的嵌合作用，假定作用于块体的已知外力所产生的应力呈线性分布，推导出确定其作用力数值、方向和作用点，以及整体抗滑稳定安全系数的方法和公式。并通过实用研究了嵌合作用、分界面倾角等对反力分布和安全系数的影响，与常用方法的计算结果作了比较，说明本方法有较大的适用性，可应用于工程设计。     

KYN44-12型中置柜联锁装置的改进设计

介绍了12kV中置柜联锁装置的设计原则,分析了现有中置柜联锁装置在实际运行中存在的问题和不足,提出了改进和完善中置柜联锁装置的设计方法。实际应用表明,改进后的中置柜联锁装置的功能更加完善,安全性更加可靠,完全达到了五防闭锁要求。     

延迟焦化装置水力除焦的电气设计

介绍了延迟焦化装置中水力除焦部分电气设计的体会，如变频调速、联锁系统、联络系统等的设计思路。     

区域计算机联锁CAN实时性改进及仿真分析

区域计算机联锁系统采用调度监督加集中联锁的方式实现,其安全通信网通过物理介质的延伸进行区域性控制,随着大量相邻站点并入系统,对安全协议的实时性要求也逐渐增高。为此,针对该系统使用的控制局域网络( CAN)总线协议,对站间安全通信网CAN总线的传输时延进行分析,采用动态优先级算法对实时性进行改进。仿真结果表明,通过改变负载,相比于标准CAN,改进的CAN总线协议降低了节点的最大时延,能够保证不同类型节点的实时性,可满足区域计算机联锁系统对网络通信的要求。     

基于场景的联锁软件形式化模型生成方法

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础.以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法.首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型.该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑.     

优化认证消息流防止中间人攻击

中间人攻击是对网络协议的攻击,该攻击普遍存在并危害较大,很多安全协议也面临威胁.按照发展层次比较了对一般通信、附加认证和安全协议的通信和受保护认证通信的中间人攻击方式,分析了可以避免该攻击的几种方法.以联锁协议为基础,以受保护的认证协议为例,提出了通过改变认证消息序列避免攻击的安全认证协议构造方法.     

基于全电子设计方案的区域计算机联锁系统

介绍了基于全电子设计方案的区域性计算机联锁控制系统的技术方案和系统构成。详细阐述了系统中主控站和被控站设备的组成、功能和特点,给出了系统详细的结构框图。系统对于降低工程造价、充分发挥计算机性能、提高运输组织效率具有重要作用。     

Railway station route searching based on ACA

In the railway station signal system, the route searching algorithm is an important software module to realize the function safety of this system. In the paper, the ant colony algorithm is applied to the railway station route searching. Take the specific station route-the Wangzhai Station route for example to search the shortest route. The ideas of the Wangzhai Station route searching are put forward based on the ant colony algorithm. The implementation steps of it are presented. The control flow of it is proposed. The program is developed, the interface is worked out, and the route controlling is realized to demonstrate its good performance.     

基于CHECK方式的联锁仿真系统的设计与实现

针对城市轨道交通包括地铁、轻轨等的过渡信号系统的特点,研制了CHECK方式的列车运行控制系统1。文章在分析基于CHECK方式的联锁与闭塞系统的工作原理的基础上,给出了联锁仿真系统的数学模型,提出了用“事件调度法”这一仿真技术实现CHECK方式的联锁系统的仿真,并予以实现,满足了实际应用的需要。