付伟
- 作品数：8 被引量：10H指数：2
- 供职机构：中国铁道科学研究院通信信号研究所更多>>
- 相关领域：交通运输工程更多>>
- 场间渡线道岔信号联锁设计方案的分析与应用被引量：2
- 2012年
- 场间渡线道岔经常出现在枢纽大站,其具体信号联锁方案设计应在保证场间作业安全的同时,兼顾运营作业效率。介绍了解决场间渡线道岔控制的2种不同设计方案,详细分析了各方案的优缺点,并对推荐方案的具体工程应用方式进行了说明。
- 郑文宇付伟
- 关键词：道岔联锁
- TYJL-ADX计算机联锁系统继电结合电路被引量：2
- 2013年
- 介绍了TYJL-ADX计算机联锁系统的研发背景,对TYJL-ADX计算机联锁系统继电结合电路的特点及其安全性进行了详细介绍。
- 赵颖付伟曹春雷
- 关键词：安全性
- 铁路通信综合网管的提出及应用被引量：4
- 2009年
- 随着客运专线等高速铁路的兴建,铁路通信综合网管作为一项新兴技术开始应用于铁路通信建设。建立新型的综合性的通信网络管理平台,将各项通信子系统整合管理,为铁路管理分层提供更高效、灵活、可管理的保障平台,铁路通信综合网管应运而生。但是,该技术仍然处于研究的阶段,各项标准还不成熟,发展之路任重而道远。
- 贾靖宇付伟
- 关键词：通信子系统综合网管客运专线
- 基于标签转移系统的二乘二取二系统的形式化验证研究被引量：1
- 2018年
- 为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程序缺陷少64%,同时节省开发工作时间29%。结果表明:该方法有效地实现了对系统属性的安全验证,并对系统的安全设计和开发进行了改进。
- 付伟
- 关键词：模型校验
- 一种智能道岔转辙机系统
- 本实施例提供的一种智能道岔转辙机系统，具体包括控制模块和道岔转辙机；其中，所述控制模块设置在所述控制机壳内，所述道岔转辙机设置在所述转辙机机壳内；所述控制机壳和转辙机机壳固定连接，例如通过焊接或者螺接的方式固定连接在一起...
- 刚建雷段武潘明赵永清刘海祥王俊高段宏伟关恽珲王海腾付伟赵颖刘潇潇陈立
- 文献传递
- 集中操控系统技术研究被引量：1
- 2012年
- 主要阐述了集中操控系统的结构、与计算机联锁系统的通信协议和通信内容,以及控制模式的类型、转换原则、办法等。
- 窦道飞付伟刘鹏
- 关键词：控制模式
- 一种智能道岔转辙机系统
- 本实施例提供的一种智能道岔转辙机系统，具体包括控制模块和道岔转辙机；其中，所述控制模块设置在所述控制机壳内，所述道岔转辙机设置在所述转辙机机壳内；所述控制机壳和转辙机机壳固定连接，例如通过焊接或者螺接的方式固定连接在一起...
- 刚建雷段武潘明赵永清胡燕来刘海祥王俊高臧永立付伟齐志华陈立王海腾韩劭张素阳段宏伟关恽珲刘剑赵颖刘潇潇梁志国潘俊贵姚亚平
- 文献传递
- TYJL-Ⅲ型计算机联锁系统的继电结合设计
- 2012年
- 介绍了TYJL-Ⅲ型计算机联锁系统的研发背景及技术特点,阐述了TYJL-Ⅲ型计算机联锁系统继电结合设计的特点,以及特殊驱采继电器的用途。
- 付伟于博刘海祥
- 关键词：计算机联锁系统
