马连川
- 作品数：93 被引量：234H指数：9
- 供职机构：北京交通大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信机械工程更多>>
- 基于2取2结构的计算机控制系统及其实现方法
- 本发明公开了一种基于2取2结构的计算机控制系统及其实现方法，所述系统包括安全管理层和具有两个处理器的2取2执行层，所述安全管理层和2取2执行层之间通过高速通信总线连接，所述2取2执行层用于完成每个阶段的应用处理，并完成不...
- 宁滨王悉马连川袁彬彬
- 一种无线通信网络中的链路切换方法及系统
- 本发明提供了一种无线通信网络中的链路切换方法及系统，方法通过对预设范围内信噪比大于第一阈值的基站进行扫描；根据扫描结果与信噪比最大的基站建立链路连接，以及根据扫描结果获取信噪比大于第二阈值的备用基站，与获取的1个或多个备...
- 宁滨马连川付强
- 文献传递
- 北京市市区及近郊区多径时延特性的研究
- 1996年
- 北京市市区及近郊区多径时延特性的研究蒋忠涌，马连川，张林昌（北方交通大学北京）由于移动通信电波传播的特殊性，经典的电波传播理论不易求得理想的计算结果，必须针对不同类型的区域进行现场传播试验，根据大量的实测得到的数据，利用数理统计的方法研究移动通信的电...
- 蒋忠涌马连川张林昌
- 关键词：移动通信电波传播多径时延
- 一种分布式三模冗余控制系统的实现被引量：16
- 2000年
- 论述一种分布式三模冗余控制系统的实现 ,包括系统CPU的选择、系统通信网络的实现、系统的同步策略以及三模冗余输出表决器的设计等 .实际表明这种系统设计方案能保证系统具有很高的可靠性、可用性和较快的开发速度 .
- 马连川刘波
- 关键词：分布式容错系统三模冗余控制系统
- LTE-R与GSM-R的越区切换成功率比较被引量：22
- 2013年
- 根据GSM-R和LTE-R的越区切换过程,考虑信道占用、信道质量、参数设置、单点故障和多普勒频移5个主要因素对越区切换的影响,利用随机Petri网分别建立GSM-R和LTE-R的越区切换模型,比较研究不同列车运行速度时二者的越区切换成功率,以及频谱、列车运行速度对LTE-R越区切换成功率的影响。结果表明:越区切换成功率均随列车运行速度的增加而降低,但LTE-R的越区切换成功率高于GSM-R,且受列车运行速度增加的影响较小;LTE-R采用低频段800MHz的越区切换成功率高于高频段2.6GHz时。对于高频段的2.6GHz,列车运行速度低于350km·h-1时,能够满足CTCS-3对数据传输安全性和可靠性的要求。
- 曹源马连川张玉琢穆建成
- 关键词：铁路移动通信系统越区切换切换成功率
- 嵌入式实时操作系统选用的初步分析被引量：41
- 2000年
- 介绍了嵌入式控制系统以及其软件的开发平台———嵌入式实时操作系统 ,指出使用嵌入式实时操作系统作为开发平台可开发快速、复杂、可靠性要求较高的控制系统是目前控制领域的发展趋势 .
- 刘波马连川张建明
- 关键词：嵌入式实时操作系统软件开发控制系统
- 一种基于云计算设备的列控系统边缘安全节点的实现方法
- 本发明提供了一种基于云计算设备的列控系统的边缘安全节点的实现方法。包括：在安全域的本地设备和非安全域的云计算设备之间设置边缘安全节点，本地设备和云计算设备之间通过边缘安全节点进行数据通信；边缘安全节点对其控制的若干个云计...
- 唐涛李开成马连川王艺伟
- 文献传递
- 铁路无线列调中数话兼容的实现被引量：4
- 2003年
- 介绍了一种数话兼容无线列调系统方案.该方案使用了AMBE+TM话音压缩算法、数字复接分接和GMSK调制解调技术.讨论了移动信道下的数据传输速率和帧格式,证明了方案的可行性,给出了系统的具体实现方法.
- 马连川高倍力
- 关键词：无线列调移动数据传输
- 基于COTS部件构成的安全苛求系统进行故障注入测试的方法
- 本发明实施例提供了一种基于COTS部件构成的安全苛求系统进行故障注入测试的方法。该方法包括：将构成安全苛求系统的COTS部件，按故障注入所需分类；对于分类使用的COTS部件采用对应的方式解除安全苛求系统实现时所设置的EM...
- 马连川唐涛李开成
- 安全计算机通信管理机制的形式化验证与实现被引量：8
- 2016年
- 为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU,micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。
- 梁靓曹源马连川张玉琢李恒奎
- 关键词：列控系统安全计算机形式化验证
