铁路信号联锁逻辑形式化建模研究

文章针对铁路信号联锁逻辑形式化建模展开了分析,并且从有色Petri网结构、建模实践等方面进行论述,目的在于探究更有效率的建模方案,为今后相关工作的顺利进行提供参考。     

传感器故障诊断技术在联锁报警系统中的应用

目前的联锁报警系统通常采用计算机逻辑控制来实现被控参数超限报警,计算机控制可靠性较高,触发联锁报警的原因主要来自于传感器可靠性不足,将传感器故障诊断技术应用于联锁报警系统中,就可在被控参数超过报警极限之前、传感器出现故障时,及时分析原因并进行相应补偿容错控制。     

铁路信号计算机联锁过渡施工的工艺方法

计算机联锁是铁路信号最重要的新技术之一,是计算机应用于铁路信号的重要突破口。计算机联锁的研究成功和推广使用,使铁路信号进入了一个新阶段。计算机联锁在安全性、可靠性、经济性等方面是继电集中无法比拟的,更能满足现代化铁路对车站联锁设备的要求。新建和改建计算机联锁具有广阔的发展前景,是车站联锁设备的发展方向,改建过程中施工过渡能否顺利实施,是车站技术改造成功与否的重要环节。     

关于铁路信号联锁设备的故障诊断分析

铁路信号联锁设备的故障诊断分析对铁路运输行车安全具有很大的影响。故障诊断技术的好坏对铁路信号联锁设备的安全性、可靠性有着直接的影响,严重的话有可能会导致铁路行车事故的发生。本文对铁路信号联锁设备故障诊断技术进行分析,找出来故障诊断技术的应用类型以及以后的发展途径。     

微机控制在铁路道岔信号联锁控制中的应用

微机信号联锁控制技术是当前我国铁路行车指挥自动化的重要组成部分,其在我国铁路道岔信号联锁控制中有着重要的应用,能够有效地提高铁路道岔信号的可靠性,为此文章就微机联锁的构成、技术保证以及实际应用进行了相应的探讨。     

一种基于Petri网的模型调度方法

针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方...     

调节器上的联锁活门弹簧计算分析

为提高调节器的可靠性,本文针对H公司某调节器导致的离心泵出口压力异常故障问题,通过对联锁活门弹簧计算分析找出合理的弹簧工作区,提出合理可行的解决方案,为提高调节器可靠性提供数据支持。     

储罐液位安全联锁监控系统的设计及应用

本文针对石油化工储运领域储油罐液位超限的安全监控需要,设计了一种基于PLC、网络和组态软件的储罐液位安全联锁监控系统,实现储罐液位超限状态的实时监测,阀门和机泵的联锁控制,数据信息的存储和管理。     

基于活动网络的虚拟企业可靠性研究

虚拟企业本身的可靠性决定了能否有效满足加工任务要求。因此,从定量角度研究虚拟企业的可靠性,成为建设有效虚拟企业的必经之路。在研究虚拟企业结构的基础上,利用工作流技术建立虚拟制造过程活动网络模型,映射为Petri网,并利用可达性分析虚拟企业的可靠性,为虚拟企业构建提供一条新途径。     

基于计算机联锁系统的轨道电路设计

轨道电路是以一段铁路线路的钢轨为导体构成的电路,用于自动、连续检测这段线路是否被机车车辆占用,也用于控制信号装置或转辙装置,以保证行车安全的设备。计算机联锁系统是负责处理进路内的轨道电路、道岔、信号机之间安全联锁关系,接受ATS或者操作员的控制指令,向ATP、ATS输出联锁信息。在铁路运作中,未来确保安全,是计算机联锁是地铁信号系统的安全核心,对不可少的。本文基于铁路电务系统施工,以计算机联锁系统为核心,在轨道电路设计传统的基础上提出了新的二取二轨道电路设计方法,通过对其工作原理、特征以及设计步骤的论述,证明了该方案的可行性与可靠性。     

面向航天型号软件的需求管理研究

依据军用软件研制能力成熟度模型(GJB5000A)过程域,将航天型号软件的需求管理过程分为5个实践,重新定义结合敏捷方法的这5个实践,给出基于GJB5000A的航天型号软件敏捷需求管理活动流程图。将需求管理活动流程看作一种工作流,引入Petri网技术建立需求管理活动模型,并通过Petri网可达树和可覆盖树分析方法对建立的模型进行初步分析。最后将定义的需求管理过程实际运用到项目中,证明其科学性和可行性。     

面向航天型号软件的需求管理

依据军用软件研制能力成熟度模型(GJB5000A)过程域,将航天型号软件的需求管理过程分为5个实践,重新定义结合敏捷方法的这5个实践,给出基于GJB5000A的航天型号软件敏捷需求管理活动流程图。将需求管理活动流程看作一种工作流,引入Petri网技术建立需求管理活动模型,并通过Petri网可达树和可覆盖树分析方法对建立的模型进行初步分析。最后将定义的需求管理过程实际运用到项目中,证明其科学性和可行性。     

基于Petri网的船舶可靠性管理工程知识流模型

造船企业科研生产一体化的特点,使得船舶可靠性管理工程产生了知识的频繁流动。船舶可靠性管理工程在造船企业工程管理中的重要位置,决定了对于其中知识流的刻画、控制和管理是十分必要的。文章应用Petri网对船舶可靠性管理工程中的知识流进行描述并构建知识流模型,为知识资源进行有效管理提供一种新的模式。     

基于Petri网的多线程技术在机器人编队中的应用

传统的单机器人难以适应复杂的任务以及灵活多变的环境,因此多机器人的研究受到越来越多的关注.结合多线程技术为机器人编队建立Petri网模型,运用Petri网模型对系统各线程对共享区资源的独占性存取,线程之间同步协作进行模拟分析,提出机器人编队的多线程软件解决方案.     

全面提高信号系统可靠性

为适应铁路跨越式发展的需要,应提高自动闭塞、机车信号、列车运行超速防护、计算机联锁、调度集中系统的设计标准,尽量采用高质量的信号基础设备,配套现代化维修技术,从源头抓起,大力提高信号系统的可靠性。     

分布式计算机联锁系统安全信息传输网络研究

以分布式车站信号计算机联锁控制系统为研究背景，根据分布式计算机联锁控制系统苛求相关数据安全、可靠传输的技术需求，设计了一种基于光纤的安全信息传输局域网，并给出了光纤局域网各节点的硬件及软件的设计方案，最后，以单模光纤为传输介质采用GAN通信构建了分布式双环冗余控制网络。     

数字无线技术解决斗轮机联锁控制失效

斗轮机与输煤程控联锁信号延时,出现信号无规律丢失导致斗轮机频繁跳车,影响正常生产。而无联锁保护,斗轮车与地面皮带出现跑煤,存在安全隐患且严重影响生产秩序。两台斗轮机经常发生无线信号中断,造成运行中斗轮机跳机事件,有时运行方式需要经过数十条皮带机,联锁跳机造成高压电机频繁跳机,对高压电机损坏较大,严重影响安全生产,通过勘察设计,并采用数字无线技术实现沿轨道运行中的斗轮机与输煤程控间的数据交换通信,同时应用跳频技术、数据加密技术保证了数据传输的实时性与可靠性。改造后达到了很好的通信性能,具有较高的实践意义。     

增二线自闭改造采用半自动闭塞过渡的研究及应用

介绍了铁路增二线电气化改造的施工方案,探讨了不影响运输,实现在四显示自闭软件的基础上并且在不修改软件的前提下实现半自动闭塞过渡,实现利用继电器电路与计算机联锁软件分离原理,保证64D、64F技术条件,保障运输安全的前提下的成功运用。     

一种提高软件质量的可靠性方法

软件可靠性是软件工程学与可靠性工程学结合产生的前沿学科。软件的可靠性是软件质量保证的重要一环。结合新的软件和旧的软件,从量化的角度进行研究,提出了保证新软件的质量可靠性的方法。     

Petri网在服务外包公共平台中流程建模与优化的应用

利用Petri网解决服务外包公共平台中业务流程建模及优化问题。首先阐述Petri网的基本原理,然后以服务外包公共平台中的一个接包流程为例进行Petri网建模,继而讨论该Petri网的合理性,再根据Petri网的优化规则对其优化,最后根据分析得出结论。