信集闭系统获取非法占用区段敌对信号的方法

针对现有矿井机车信集闭系统因采用人工设置联锁条件而导致联锁不准确的问题,介绍了一种准确获取非法占用区段敌对信号的方法。该方法在了解敌对进路判定条件的基础上,利用双向链路表表示进路元,生成进路链表,然后对进路链表进行搜索,从而得到敌对信号。实践证明,该方法能够准确获取矿井机车信集闭系统中的非法占用区段敌对信号,提高了联锁的准确性,降低了劳动强度。     

ATS仿真系统中计算机联锁功能的设计与实现

计算机联锁系统负责处理进路内的道岔、信号机、轨道之间联锁关系,是实现列车自动监控系统仿真的关键。主要介绍了该系统的组成结构及各部分的功能,运用组件化的仿真技术设计人机交互界面,生成站场图数据库和联锁表数据库,实现进路的排列功能。     

基于CPN的联锁进路控制建模及验证

颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。     

继电保护户外柜机械安全联锁控制方法

联锁控制可以提高继电保护户外柜的使用效率，为了提高联锁控制效果，该文提出了继电保护户外柜机械安全联锁控制方法。利用蚁群算法对机械安全联锁进路进行寻优，根据路径上的信息素浓度，确定机械安全联锁进路搜索方向，通过更新机械安全联锁进路搜索路径上的信息素，计算出搜索路径的信息素增量，基于信号设备与终端信号机的位置，搜索机械安全联锁进路。利用机械安全联锁的状态方程，构建联锁装置的控制信号模型，根据联锁状态的概率密度函数，对状态数据集进行后验概率估计，获取机械安全联锁状态。利用STEP9软件设计继电保护户外柜机械安全联锁控制程序，实现户外柜机械安全联锁的控制。实验结果表明，该方法在控制中符合可靠性和安全性要求，可以将户外柜的使用效率提高到93%以上，具有更好的控制效果。     

多媒体联锁仿真系统的设计与实现

本文介绍了多媒体联锁仿真系统的总体结构与功能,提出了联锁算法模块、多媒体联锁显示模块的分析与设计.给出了进路排列、进路取消、道岔操作、进路人解、区段故障解锁、引导等联锁算法的实现方法,以及联锁图形的动画设定.     

联锁进路敌对信号的搜索算法设计

分析了铁路信号计算机联锁系统中进路敌对信号的定义及处理生成问题,借助联锁进路表阐述了敌对信号与进路搜索之间的约束关系;结合站场有向图和邻接矩阵,利用数学图论知识,提出了一种进路敌信号搜索算法和k步进路扩散生成算法,给出了算法步骤流程并通过类C语言实现算法全过程.算法在实际工程项目中进行了应用,并对实际的站场实例进行了算法仿真模拟,提供了部分铁路站场进路和敌对信号实例数据.     

基于上海地铁1号线的ATS仿真系统列车追踪算法的研究

介绍了以上海地铁1号线为原型的ATS仿真系统,围绕固定闭塞模型进行展开,以追踪运行的两列列车为对象,分别对它们的追踪过程、运行效果及间隔距离进行了具体的研究与计算。同时引入了联锁系统,详细说明了进路搜索算法和联锁表的设计步骤,很好地体现了联锁系统对列车追踪的安全性与可靠性的重要保障作用。     

图像分析视阈下计算机联锁仿真测试系统设计要点探究

铁路计算机联锁仿真测试系统能够实现进路分析，自动生成基于图片的进路数据。该系统可分为两个一级子模块和4个二级子模块，具有图像分析、数据处理、生成及执行进路测试命令等功能。文章基于OpenCV库和Windows操作系统库实现了该系统的设计与测试，取得了满意的效果。     

车站联锁进路控制逻辑的形式化方法

基于计算机联锁系统是一个对列车行驶系统提供安全条件的系统,车站联锁系统是保证车站行车安全和提高运输效率的典型安全苛求性系统。以形式化 方法Event-B为基础,引入角色Agent对联锁系统进行规范定义,通过智能体与Event-B的建模和验证,构造了车站联锁进路控制逻辑形式化验证模型,并进行 了形式化规范和推理,该模型在RODIN平台上进行验证,通过实例验证,满足了计算机联锁系统的安全需求。     

全电子计算机联锁系统信号解锁模块的研究

全电子计算机联锁系统利用6502电气集中原有联锁运算模块中的某些算法,又在原有联锁运算模块中的某些算法上稍加修改,实现了包括长调车进路和通过进路的解锁、取消进路、区段故障解锁在内的全部解锁功能。实现三种特殊解锁功能的软件满足技术条件要求和故障—安全性的设计原则。     

一个RISC流水结构机器QHRC上的编译时指令调度器

RISC体系结构常采用流水结构来提高机器的执行速度.然而,指令互锁现象的频繁出现严重影响了机器的执行效率.本文给出了一个流水结构机器上的基于机器描述表格化及参量化的指令调度算法。并利用该指令调度器作为工具,对多种解决指令互锁方案效果进行分析.最后,给出了一种兼顾硬件可行性与软件有效性的解决指令互锁的高性能方案。该算法的复杂度为O(n~2)。     

基于LONWORKS网络的多处理器智能节点设计

在基于ＬＯＮＷＯＲＫＳ网络的现场总线中,Ｎｅｕｒｏｎ芯片是节点的核心,但是其处理能力不足以胜任复杂的计算任务．为增强节点的计算能力,提出并实现了一种非对称多处理器（ＡＭＰ）结构的控制节点设计方案,多个处理器之间采用享总线相连,Ｎｅｕｒｏｎ芯片为主处理器,３个从处理器并行完成信号的高速采样计算．在具体实现中,提出了单缓冲、双通道总线、两级树状网络、通信线程细化等技术手段．按该设计方案实现的总线计轴器     

动态速率映射及其在无线数据传输中的性能研究

为在不同快衰条件下获得相同的编码器分组目标差错率,固定的信道质量与数据速率之间映射方式将不能在时分的无线数据传输中很好地工作。动态速率映射是一种简单而直接的解决方案来适应衰落的变化。外环速率控制是动态速率映射的一种方法,该文对其通过cdma20001xEV-DV无线通信系统前向链路系统级仿真进行了研究。结果显示,合理参数配置时外环速率控制对数据业务在满足一定公平度条件下,获得了总体上比固定速率映射更好的系统吞吐量和时延性能。此外,由于外环速率控制无需进行查表和信道质量估计,因此实现更为简单。     

基于PLC的硝酸生产联锁报警控制系统的实现

本文阐述了硝酸生产联锁报警控制系统的意义，介绍了系统的特性和要求，提出了生产联锁报警的实现线路，给出了PLC实现的部分流程。现场应用表明系统可靠实用。     

IA-64代码翻译中的跳转表恢复技术

在对IA-64二进制代码进行翻译的过程中，一个重要的问题就是识别和恢复通过跳转表实现的switch语句。分析了编译器生成跳转表时采用的策略，提出了前向预取同反向切片及表达式置换相结合以识别和恢复switch语句的技术，归纳了用于获取跳转表地址的规格化形式，给出了跳转表分支目标地址恢复方法，从而可将包含跳转表的IA-64二进制代码恢复为高级switch语句。该技术已经在二进制翻译框架I2A上进行了测试，可以处理编译器gcc 2.96及gcc 3.2.3在多种优化级别下生成的IA-64代码。     

Ad Hoc网络中AODV路由协议的分析与改进

AODV协议是AdHoc网络中典型的反应式路由协议。该协议仅适用于双向传输信道,路由表仅维护一条到指定目的节点的路由,所以对于AODV协议的改进是必要的。就是针对AdHoc协议应用在某些特定场合做了一定的改进,并通过实验仿真验证了改进后的AODV协议可以提高网络的吞吐量并有效的降低了网络传输时延。     

PLC控制系统在细水雾灭火系统中的应用

莱钢集团1500rmm中宽带生产线,针对液压站、电缆的保护方式采用了细水雾灭火技术.为了增强系统的可靠性和稳定性以及实现消防联动控制,把PLC控制技术成功地运用到生产线细水雾灭火监控管理联动控制系统中,从而构建了一个可靠性高、功能强大的细水雾灭火监控管理系统,为火灾自动报警与细水雾自动灭火系统之间起到了桥梁的作用.