期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
中国铁路智能运输系统的体系框架 被引量：10
1
作者 贾利民 李平 +2 位作者 秦勇 史天运 聂阿新 《中国铁路》 北大核心 2003年第9期22-26,共5页
结合《铁路智能运输系统体系框架研究》项目,介绍了RITS体系框架的内容体系、研究方法、研究路线,并重点介绍了中国RITS体系框架的用户主体、服务主体、服务框架、逻辑框架、物理框架、通用技术平台,最后简要介绍了下一步研究重点。
关键词 中国 铁路运输 铁路智能运输系统 RITS 体系框架 服务框架 逻辑框架 物理框架 通用技术平台
下载PDF
中国铁路智能运输系统的服务框架 被引量：8
2
作者 贾利民 李平 +1 位作者 张莉艳 聂阿新 《中国铁路》 北大核心 2003年第12期41-45,共5页
介绍中国RITS服务框架的研究过程;提出中国RITS的用户需求分析结果,在此基础上定义了铁路智能运输系统的服务框架,包括智能化用户导航系统、铁路电子商务系统、综合运输系统、智能化铁路资源管理系统、智能化营运管理系统、智能化行车... 介绍中国RITS服务框架的研究过程;提出中国RITS的用户需求分析结果,在此基础上定义了铁路智能运输系统的服务框架,包括智能化用户导航系统、铁路电子商务系统、综合运输系统、智能化铁路资源管理系统、智能化营运管理系统、智能化行车控制与调度系统、智能化紧急救援与安全系统等7个服务领域及21个子服务领域,为铁路智能运输系统逻辑框架、物理框架等后续研究建立了基础。 展开更多
关键词 中国 铁路运输 智能运输系统 服务框架 RITS 导航系统 电子商务 资源管理
下载PDF
铁路智能运输系统 被引量：8
3
作者 贾利民 李平 聂阿新 《中国铁路》 北大核心 2003年第6期35-39,共5页
介绍了铁路智能运输系统(RITS)的来由、定义及其本质特征,对国外RITS相关研发现状及我国铁路的信息化现状进行了对比分析,在此基础上提出了以实现铁路跨越式发展为目标的RITS的结构模型,并进一步提出了RITS的发展阶段与发展目标、发展... 介绍了铁路智能运输系统(RITS)的来由、定义及其本质特征,对国外RITS相关研发现状及我国铁路的信息化现状进行了对比分析,在此基础上提出了以实现铁路跨越式发展为目标的RITS的结构模型,并进一步提出了RITS的发展阶段与发展目标、发展原则。 展开更多
关键词 铁路智能运输系统 中国 铁路 信息化建设 服务 安全 效率 结构模型 发展
下载PDF
中国铁路智能运输系统的逻辑与物理框架 被引量：5
4
作者 贾利民 李平 +1 位作者 张莉艳 聂阿新 《中国铁路》 北大核心 2004年第4期47-50,共4页
基于中国铁路智能运输系统服务框架的研究成果,介绍了作为逻辑框架主要描述方法的分层数据流图法,并详细介绍了运用分层数据流图法构建逻辑框架的过程和结果。在此基础上,以先进的紧急救援与行车安全系统为例,介绍了中国铁路智能运输系... 基于中国铁路智能运输系统服务框架的研究成果,介绍了作为逻辑框架主要描述方法的分层数据流图法,并详细介绍了运用分层数据流图法构建逻辑框架的过程和结果。在此基础上,以先进的紧急救援与行车安全系统为例,介绍了中国铁路智能运输系统物理框架的构建方法。 展开更多
关键词 中国 铁路智能运输系统 逻辑框架 物理框架 分层数据流图法 构建方法
下载PDF
中国铁路智能运输系统的通用技术平台 被引量：2
5
作者 贾利民 李平 +1 位作者 张莉艳 聂阿新 《中国铁路》 北大核心 2004年第6期34-37,共4页
分析铁路智能运输系统通用技术平台的数据来源和共享需求,提出RITS通用技术平台的总体结构,并建立一套RITS通用技术平台的标准体系架构,阐述平台所涉及的关键技术,如接口和数据标准技术、信息融合技术、时空一体化数据挖掘技术、数据仓... 分析铁路智能运输系统通用技术平台的数据来源和共享需求,提出RITS通用技术平台的总体结构,并建立一套RITS通用技术平台的标准体系架构,阐述平台所涉及的关键技术,如接口和数据标准技术、信息融合技术、时空一体化数据挖掘技术、数据仓库技术等。 展开更多
关键词 RITS通用技术平台 铁路智能运输系统 数据挖掘 数据仓库 信息融合技术
下载PDF
基于有色Petri网的车载设备模式转换测试序列生成方法 被引量：17
6
作者 赵晓宇 杨志杰 吕旌阳 《中国铁道科学》 EI CAS CSCD 北大核心 2017年第4期115-123,共9页
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载... 为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。 展开更多
关键词 测试序列 车载设备 列车控制系统 模式转换 有色PETRI网 中国邮路算法 路径覆盖量
下载PDF
列控-安全信息传输系统可靠性及安全性的形式化分析 被引量：6
7
作者 高莺 张琦 +1 位作者 陈黎洁 刘宏杰 《北京交通大学学报》 CAS CSCD 北大核心 2018年第2期61-68,共8页
基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的... 基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求. 展开更多
关键词 列控-安全信息传输系统 PETRI网 可靠性 安全性 模型检验
下载PDF
一种高速铁路衔接站点灭灯进路联锁软件实现方法 被引量：7
8
作者 徐德龙 《铁道标准设计》 北大核心 2018年第5期154-161,共8页
高速铁路信号机的显示采用了新的技术标准,信号机的常态为灭灯,其联锁逻辑与普速铁路有较大不同。尤其在衔接站,逻辑更为复杂。基于站场图形网络的软件架构,采用模块和消息方法,对信号机点灭灯办理进路的联锁软件进行设计,并分析通过进... 高速铁路信号机的显示采用了新的技术标准,信号机的常态为灭灯,其联锁逻辑与普速铁路有较大不同。尤其在衔接站,逻辑更为复杂。基于站场图形网络的软件架构,采用模块和消息方法,对信号机点灭灯办理进路的联锁软件进行设计,并分析通过进路和组合长进路的典型情况。该方法适用于衔接站常态灭灯和点灯信号机混合布置的情况。对于信号显示,采用基于布尔表达式方法构建显示逻辑并通过另一份软件和数据进行校核。从风险点和防御措施的角度分析软件安全性,认为采用的方法符合产品安全性要求,适合于工程推广应用。 展开更多
关键词 高速铁路 衔接站 联锁软件 进路
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部