2014年 第23卷 第2期
2014, 23(2): 1-6.
摘要
PDF 4063KB
摘要:
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径.并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性.
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径.并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性.
2014, 23(2): 7-10.
摘要:
动车组的在途紧急故障处理受到地域、时间和人员配备的约束,目前在国内缺少相应的系统为之提供支持.本文介绍知识、知识表示、知识发现等技术,研究、设计动车组故障知识库,通过知识库强大的推理功能,为动车组故障处理提供技术支持.
动车组的在途紧急故障处理受到地域、时间和人员配备的约束,目前在国内缺少相应的系统为之提供支持.本文介绍知识、知识表示、知识发现等技术,研究、设计动车组故障知识库,通过知识库强大的推理功能,为动车组故障处理提供技术支持.
2014, 23(2): 11-13.
摘要:
针对我国既有旅客列车服务信息系统存在的不足,本文在分析旅客旅行需求信息的基础上,提出基于无线Mesh网络技术的旅客列车服务信息系统设计方案,分析系统基本功能、网络架构以及系统关键技术.
针对我国既有旅客列车服务信息系统存在的不足,本文在分析旅客旅行需求信息的基础上,提出基于无线Mesh网络技术的旅客列车服务信息系统设计方案,分析系统基本功能、网络架构以及系统关键技术.
2014, 23(2): 14-16.
摘要:
CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.
CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.
2014, 23(2): 17-20.
摘要:
综合客运枢纽面临大发展历史机遇期,由于包含运输方式较多,运营管理模式多样,信息系统建设分散,导致综合客运枢纽协同管理和信息服务不到位,滞后于基础设施的发展.结合典型综合客运枢纽信息系统建设发展情况的调研,分析综合客运枢纽信息系统发展现状,梳理客运枢纽信息系统信息服务内容,提出综合客运枢纽信息系统“一体化”、“交换平台为中心”和“分散式”3种系统总体架构,以其为综合客运枢纽信息系统建设提供借鉴.
综合客运枢纽面临大发展历史机遇期,由于包含运输方式较多,运营管理模式多样,信息系统建设分散,导致综合客运枢纽协同管理和信息服务不到位,滞后于基础设施的发展.结合典型综合客运枢纽信息系统建设发展情况的调研,分析综合客运枢纽信息系统发展现状,梳理客运枢纽信息系统信息服务内容,提出综合客运枢纽信息系统“一体化”、“交换平台为中心”和“分散式”3种系统总体架构,以其为综合客运枢纽信息系统建设提供借鉴.
2014, 23(2): 21-22,25.
摘要:
铁路货运电子商务系统是一项重要的信息系统建设项目,将从工程的视角对系统进行解析,内容包括对项目的意义、风险以及其他相关问题进行阐述,并有针对性地提出建设意见,以期保证项目的顺利进行.
铁路货运电子商务系统是一项重要的信息系统建设项目,将从工程的视角对系统进行解析,内容包括对项目的意义、风险以及其他相关问题进行阐述,并有针对性地提出建设意见,以期保证项目的顺利进行.
2014, 23(2): 23-25.
摘要:
在分析九江车务段所辖站段信息化应用现状的基础上,针对铁路系统对办公自动化的强烈需求,构建了基于网络的车务段办公自动化系统的体系结构和功能结构,在其所辖站段开展应用,从而提升了工作效率,加快了车务段信息化进程.
在分析九江车务段所辖站段信息化应用现状的基础上,针对铁路系统对办公自动化的强烈需求,构建了基于网络的车务段办公自动化系统的体系结构和功能结构,在其所辖站段开展应用,从而提升了工作效率,加快了车务段信息化进程.
2014, 23(2): 26-28.
摘要:
本文基于普适安全理论,建立起科学、高效、实用的高速铁路职工培训体系,以适应高速铁路发展对职工业务素质的新要求.该系统有效地提高了高校、铁路局、站段三者之间在高速铁路培训中的沟通能力和效率,实现了培训管理系统化、规范化和自动化.
本文基于普适安全理论,建立起科学、高效、实用的高速铁路职工培训体系,以适应高速铁路发展对职工业务素质的新要求.该系统有效地提高了高校、铁路局、站段三者之间在高速铁路培训中的沟通能力和效率,实现了培训管理系统化、规范化和自动化.
2014, 23(2): 29-31.
摘要:
铁路调度信息系统包括多个业务场景,每个场景的应用架构涵盖浏览器/服务器(B/S)模式和客户端/服务器(C/S)模式,将不同场景应用在客户端进行集成是当前的主要问题.OSGi技术为客户端集成提供了通用的解决方案.开发OSGi插件进行既有应用的集成,在插件启动类中进行系统界面加载;根据用户对系统集成的需求,对用户权限进行统一的管理和分配;根据用户权限,OSGi框架进行应用的启动加载,从而实现既有应用系统的整合,并且按照权限内容实现功能定制.
铁路调度信息系统包括多个业务场景,每个场景的应用架构涵盖浏览器/服务器(B/S)模式和客户端/服务器(C/S)模式,将不同场景应用在客户端进行集成是当前的主要问题.OSGi技术为客户端集成提供了通用的解决方案.开发OSGi插件进行既有应用的集成,在插件启动类中进行系统界面加载;根据用户对系统集成的需求,对用户权限进行统一的管理和分配;根据用户权限,OSGi框架进行应用的启动加载,从而实现既有应用系统的整合,并且按照权限内容实现功能定制.
2014, 23(2): 32-35.
摘要:
阐述CBTC系统中列车自动驾驶(ATO)系统的工作原理以及冗余设计；对当前国内外主流厂商冗余实现方式的优缺点进行分析,提出基于安全平台的双机并行冗余架构的设计原理及实现方案.
阐述CBTC系统中列车自动驾驶(ATO)系统的工作原理以及冗余设计；对当前国内外主流厂商冗余实现方式的优缺点进行分析,提出基于安全平台的双机并行冗余架构的设计原理及实现方案.
2014, 23(2): 36-38.
摘要:
介绍在铁路机务折返段微机联锁系统中使用可编程控制器PLC技术,实现道岔集中联锁控制功能,并从系统的总体结构、冗余方式,软件的总体结构、PLC联锁软件的分类和调用,程序嵌套思想等方面进行了分析.证明它是一种适合机务段使用的性价比高的微机联锁系统.
介绍在铁路机务折返段微机联锁系统中使用可编程控制器PLC技术,实现道岔集中联锁控制功能,并从系统的总体结构、冗余方式,软件的总体结构、PLC联锁软件的分类和调用,程序嵌套思想等方面进行了分析.证明它是一种适合机务段使用的性价比高的微机联锁系统.
2014, 23(2): 39-41.
摘要:
介绍CBTC系统的数据通信网,根据CBTC系统骨干网的双网特性,为轨旁AP建立2个AP数据库,与列车车头和车尾的2套车载无线电台相对应.车载设备中设计一个车载无线电台管理模块,利用轨旁AP数据库排除非法的无线干扰,实现无线覆盖区域间的越区切换,保证切换的安全性和稳定性.
介绍CBTC系统的数据通信网,根据CBTC系统骨干网的双网特性,为轨旁AP建立2个AP数据库,与列车车头和车尾的2套车载无线电台相对应.车载设备中设计一个车载无线电台管理模块,利用轨旁AP数据库排除非法的无线干扰,实现无线覆盖区域间的越区切换,保证切换的安全性和稳定性.
2014, 23(2): 42-45.
摘要:
介绍一种新型手持式旅客列车轴温数据查询系统.它采用C8051F340作为中央处理器,结合IC卡数据读取、SD卡存储、USB操作、液晶显示等于一体,响应速度快、外形轻巧、可设置条件筛选数据,摒弃了原有设备的不足,对轴温数据查询更加方便快捷.
介绍一种新型手持式旅客列车轴温数据查询系统.它采用C8051F340作为中央处理器,结合IC卡数据读取、SD卡存储、USB操作、液晶显示等于一体,响应速度快、外形轻巧、可设置条件筛选数据,摒弃了原有设备的不足,对轴温数据查询更加方便快捷.
2014, 23(2): 46-48.
摘要:
本文以轨道交通中普遍存在的乘客拥挤问题为例,简述智能视频分析系统在轨道交通中的实现过程.智能视频分析技术是轨道交通系统运营管理及公共安全保障的重要部分,也是处理轨道交通突发事件及防范恶性事件的必要手段.它能帮助工作人员进行安全监控,尽可能地避免各类突发事件的发生,在事发后迅速做出反应,并根据视频记录提取各类证据.
本文以轨道交通中普遍存在的乘客拥挤问题为例,简述智能视频分析系统在轨道交通中的实现过程.智能视频分析技术是轨道交通系统运营管理及公共安全保障的重要部分,也是处理轨道交通突发事件及防范恶性事件的必要手段.它能帮助工作人员进行安全监控,尽可能地避免各类突发事件的发生,在事发后迅速做出反应,并根据视频记录提取各类证据.
2014, 23(2): 49-50,53.
摘要:
城市轨道交通运行计划经常需要根据城市客流的变化特点不断调整.因此,建立高效、便捷的时刻表系统,是保证城市轨道交通高效运营的关键.本系统采用C/S架构、C#.net和ADO.net程序设计,良好的用户界面,从易操作性和实用性出发,设计适合现代城市轨道交通的时刻表系统,它可以提高城市轨道交通时刻表编制的工作效率,具有广阔的应用前景.
城市轨道交通运行计划经常需要根据城市客流的变化特点不断调整.因此,建立高效、便捷的时刻表系统,是保证城市轨道交通高效运营的关键.本系统采用C/S架构、C#.net和ADO.net程序设计,良好的用户界面,从易操作性和实用性出发,设计适合现代城市轨道交通的时刻表系统,它可以提高城市轨道交通时刻表编制的工作效率,具有广阔的应用前景.
2014, 23(2): 51-53.
摘要:
简要阐述兰州—乌鲁木齐高速铁路(兰新高铁)地区高温、高寒、风沙、强紫外线、高海拔和长交路等环境特点,重点分析地理环境和自然气候对动车组性能、使用、维修等方面带来的危害及影响,提出提高兰新高铁动车组适应性的对策.
简要阐述兰州—乌鲁木齐高速铁路(兰新高铁)地区高温、高寒、风沙、强紫外线、高海拔和长交路等环境特点,重点分析地理环境和自然气候对动车组性能、使用、维修等方面带来的危害及影响,提出提高兰新高铁动车组适应性的对策.
2014, 23(2): 54-57.
摘要:
介绍车载智能设备的工作环境的特殊性,根据车载设备的特殊要求,列出适用于车载设备的多种处理器平台;对各种处理器的性能特点和适用范围进行综合比较和分析,并对选型依据的因素和方法提出建议.
介绍车载智能设备的工作环境的特殊性,根据车载设备的特殊要求,列出适用于车载设备的多种处理器平台;对各种处理器的性能特点和适用范围进行综合比较和分析,并对选型依据的因素和方法提出建议.
我要投稿
