基于CBR的无线闭塞中心故障诊断方法研究

无线闭塞中心(RBC)系统结构、功能复杂,维护过程中积累了大量的现场诊断案例。为了有效利用历史诊断经验,将人工智能CBR(Case-Based Reasoning)技术引入到无线闭塞中心的故障诊断中,分析基于CBR的RBC故障诊断流程,运用面向对象的方法对RBC故障案例进行了表示,提出基于R-S(Rough Set)理论的案例特征属性权重计算方法,采用融合最近邻和余弦函数的相似度算法改进了传统案例推理技术的相似度算法。最后以RBC维护终端的具体案例验证提出方法的有效性。     

CTCS-3级列控系统RBC切换过程分析

RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。     

利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。     

铅对鼠红细胞免疫功能的影响

选大鼠及小鼠用醋酸铅腹腔染毒法，初步探讨了铅对鼠红细胞免疫功能的影响。结果表明，连续染毒２周后，大鼠及小鼠的ＲＢＣ－Ｃ＿３ｂ受体花环率未见明显改变，而ＲＢＣ－ＩＣ受体花环率随染毒剂量的增加呈递增趋势，高剂量组与对照组比较均有显著性差异（Ｐ＜０．０５）。     

基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

基于SPN的无线闭塞中心切换过程中的故障分析

分析在RBC2(接收无线闭塞中心(RBC))不同时段故障工况下,对RBC切换的影响,选取形式化描述语言随机Petri网(SPN),分别建立RBC2在不同时段故障下RBC的切换模型,采用SPN数学建模,通过SPNP6.0分析RBC故障对切换的影响以及对行车安全和行车效率等方面的影响.分析结果可使人们对实际情况中RBC切换有更真实的认识,并对设备的改进、协议的完善等有一定的借鉴意义.     

不同血型不同时期库存血红细胞免疫功能的初步观察

通过对 6 0份血样行库存模拟试验 ,于第 1、3、7、14、2 1日分别测定红细胞免疫功能。结果显示 :库存当日红细胞 C3 b受体 (RBC- C3 b R)活性最高 ,从第 3日起随存放时间延长而逐渐降低 ,红细胞免疫复合物花环 (RBC- ICR)无明显变化。 B型血 RBC- C3 b RR在库存第 7日后降低 ,而其它血型 3日后降低 ,RBC- ICR除 O型在第 14日有一过性降低外 ,其它血型无变化。提示在输血治疗中 ,应考虑库存血红细胞免疫功能的降低对机体的影响。     

武广高铁RBC改造方案研究

首先介绍了武广高铁无线闭塞中心(RBC)设备现状,分析了2种更新改造方案各自的优缺点;然后针对RBC之间改为直接通信方式,从RBC切换点的改造方案上进行了重点研究,对指导RBC间由非直接通信方式改为直接通信方式具有较大的参考意义.     

RBC移交运营场景分析

分析了列车在RBC移交时遇到的双电台移交、单电台移交、RBC边界轨道区段故障、RBC间通信中断、RBC边界临时限速、灾害激活等运营场景和RBC的处理机制。     

郑徐客运专线接入郑州东枢纽RBC设置方案探讨

以郑徐客运专线接入郑州东站为例,对无线闭塞中心(RBC)控制方案进行探讨,分析不同型号RBC对应的控制方案,并提出相关建议。