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

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

TDCS系统与新一代CTC系统二合一仿真系统设计

针对我国铁路第6次大提速,提出了TDCS与新一代CTC结合的二合一仿真系统.根据新一代调度集中与TDCS系统的设计原则,设计出该系统的硬件系统结构和软件系统容错结构,并对其做了详细分析,为我国铁路行车指挥系统升级改造提供参考.     

交点尺寸的测量

本文介绍了交点尺寸测量的方法.     

印度“7.30”、“7.31”大停电事故分析及对我国电网调度运行工作的启示

介绍了印度"7.30"、"7.31"大停电事故的发展经过、恢复情况及原因分析。在总结印度大停电事故教训的基础上,回顾近年来国际上主要大停电事故,总结出这些大停电事故的共性和差异。最后,结合我国电网调度运行管理和跨区互联电网运行的实际情况,提出了大停电对我国电网调度运行工作的几点启示。     

新型电力系统下推动储能与新能源协调有序发展的分析与思考

储能的大规模应用是突破新能源发展瓶颈的有效手段之一,它在提升电力系统灵活性、促进新能源消纳、保障电网安全等方面具有显著优势,对于推动我国能源结构转型和保障能源供应安全意义重大。在对新能源发展现状及趋势进行总结及预测的基础上,从新能源固有特点及电源结构2个方面分析了新能源发展给电网调峰带来的需求,结合我国储能发展现状及主要商业模式分析,对储能应用前景及现阶段面临的挑战进行了思考,并提出了促进储能与新能源协调有序发展的建议。     

基于RBF神经网络PID控制的列车ATO系统优化

针对在复杂环境下列车高速运行时,现有的Fuzzy-PID控制算法自适应性差在受到外界因素的干扰时会导致列车追踪误差较大的问题,提出了一种基于径向基(RBF)神经网络PID控制的列车速度控制算法。首先,在构建列车优化模型时,充分考虑列车经过电分相时必须处于惰行工况的特点,并且依据电分相和限速条件的特点将列车行驶过程中的区段进行了划分,简化了求解过程;然后使用RBF神经网络PID控制器对目标速度曲线进行追踪仿真,同时与现有的Fuzzy-PID控制器进行比较。实验结果表明,基于RBF神经网络PID控制算法能够实时有效的追踪目标速度曲线且追踪误差较小。     

基于RBF神经网络PID控制的列车ATO系统优化

针对在复杂环境下列车高速运行时,现有的Fuzzy-PID控制算法自适应性差在受到外界因素的干扰时会导致列车追踪误差较大的问题,提出了一种基于径向基(RBF)神经网络PID控制的列车速度控制算法。首先,在构建列车优化模型时,充分考虑列车经过电分相时必须处于惰行工况的特点,并且依据电分相和限速条件的特点将列车行驶过程中的区段进行了划分,简化了求解过程;然后使用RBF神经网络PID控制器对目标速度曲线进行追踪仿真,同时与现有的Fuzzy-PID控制器进行比较。实验结果表明,基于RBF神经网络PID控制算法能够实时有效的追踪目标速度曲线且追踪误差较小。     

面向列车轮轨接触区域图像分割的生成对抗网络

列车和轨道之间的开放约束条件决定了车辆脱轨的客观存在.轮轨接触区域边缘曲线分割对列车轮轨接触关系的研究具有重要意义,提出了一种基于生成对抗网络的轮轨接触区域边缘曲线分割算法.通过将残差模块引人生成器网络中,增强了网络对输出变化的敏感程度,进而更好的调整生成器权重.此外,膨胀残差模块的引人,有效扩大了特征图的接收区域.实...     

基于混合模型的钢轨检测识别方法

为了改善我国现有钢轨检测识别方法准确性和鲁棒性不高以及弯轨拟合较差等问题,提出一种基于直线-曲线混合模型的钢轨检测识别算法。首先对图像进行预处理,调整滞后阈值进行Canny边缘检测。采用累计概率Hough变换对直轨检测并完成近远视场的划分以及消失点的确定。对近视场直轨采用直线模型拟合,根据其检测结果对远视场进行循环线性近似获取钢轨特征点,并根据钢轨灰度特征进行验证,采用最小二乘法完成曲线拟合。直线-曲线模型的切换根据制定的规则完成。实验结果表明,提出的算法检测正确率为90.1%,适用于不同环境的场景,具有较好的鲁棒性。     

全程化管理有效掌控计量

加油站是石化企业的零售经营环节，是企业获取利润的主要来源。加油站的计量管理工作直接为经营服务，为企业降本增效服务。因此，加油站的计量管理工作，显得尤为重要。加油站的计量管理工作做好了就能为企业堵塞漏洞，降低损耗，降低成本，也就为企业增加了效益。