期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种高速铁路衔接站点灭灯进路联锁软件实现方法
被引量：
7
1
作者
徐德龙
《铁道标准设计》
北大核心
2018年第5期154-161,共8页
高速铁路信号机的显示采用了新的技术标准,信号机的常态为灭灯,其联锁逻辑与普速铁路有较大不同。尤其在衔接站,逻辑更为复杂。基于站场图形网络的软件架构,采用模块和消息方法,对信号机点灭灯办理进路的联锁软件进行设计,并分析通过进...
高速铁路信号机的显示采用了新的技术标准,信号机的常态为灭灯,其联锁逻辑与普速铁路有较大不同。尤其在衔接站,逻辑更为复杂。基于站场图形网络的软件架构,采用模块和消息方法,对信号机点灭灯办理进路的联锁软件进行设计,并分析通过进路和组合长进路的典型情况。该方法适用于衔接站常态灭灯和点灯信号机混合布置的情况。对于信号显示,采用基于布尔表达式方法构建显示逻辑并通过另一份软件和数据进行校核。从风险点和防御措施的角度分析软件安全性,认为采用的方法符合产品安全性要求,适合于工程推广应用。
展开更多
关键词
高速铁路
衔接站
联锁软件
进路
在线阅读
下载PDF
职称材料
列控-安全信息传输系统可靠性及安全性的形式化分析
被引量：
6
2
作者
高莺
张琦
+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
职称材料
基于有色Petri网的车载设备模式转换测试序列生成方法
被引量：
18
3
作者
赵晓宇
杨志杰
吕旌阳
《中国铁道科学》
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
职称材料
题名
一种高速铁路衔接站点灭灯进路联锁软件实现方法
被引量：
7
1
作者
徐德龙
机构
中国铁道科学研究院
通信信号
研究
所
中国铁道科学研究院国家铁路智能运输系统工程技术研究中心
出处
《铁道标准设计》
北大核心
2018年第5期154-161,共8页
基金
中国铁路总公司科技研究开发计划重点课题(2016X003-E)
文摘
高速铁路信号机的显示采用了新的技术标准,信号机的常态为灭灯,其联锁逻辑与普速铁路有较大不同。尤其在衔接站,逻辑更为复杂。基于站场图形网络的软件架构,采用模块和消息方法,对信号机点灭灯办理进路的联锁软件进行设计,并分析通过进路和组合长进路的典型情况。该方法适用于衔接站常态灭灯和点灯信号机混合布置的情况。对于信号显示,采用基于布尔表达式方法构建显示逻辑并通过另一份软件和数据进行校核。从风险点和防御措施的角度分析软件安全性,认为采用的方法符合产品安全性要求,适合于工程推广应用。
关键词
高速铁路
衔接站
联锁软件
进路
Keywords
High speed railway
Junction station
Interlocking software
Route
分类号
U284.3 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
列控-安全信息传输系统可靠性及安全性的形式化分析
被引量：
6
2
作者
高莺
张琦
陈黎洁
刘宏杰
机构
中国铁道科学研究院
中国铁道科学研究院
通信信号
研究
所
中国铁道科学研究院国家铁路智能运输系统工程技术研究中心
中国铁道科学研究院
标准计量
研究
所
北京交通大学轨道交通控制与安全
国家
重点实验室
北京交通大学轨道交通运行控制
系统
国家
工程
研究
中心
出处
《北京交通大学学报》
CAS
CSCD
北大核心
2018年第2期61-68,共8页
基金
国家自然科学基金(U1434209)
中国铁路总公司科技研究开发计划课题(2015D002-B)
+2 种基金
中央高校基本科研业务费专项资金(016JBM007)
中国铁道科学研究院科研项目(1551ZJ0804)
交控科技设计创新学科发展基金(9907006510)
文摘
基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.
关键词
列控-安全信息传输系统
PETRI网
可靠性
安全性
模型检验
Keywords
China-radio
Petri net
reliability
safety
model checking
分类号
TN915.04 [电子电信—通信与信息系统]
U285.2 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
基于有色Petri网的车载设备模式转换测试序列生成方法
被引量：
18
3
作者
赵晓宇
杨志杰
吕旌阳
机构
中国铁道科学研究院
研究
生部
中国铁道科学研究院
通信信号
研究
所
中国铁道科学研究院国家铁路智能运输系统工程技术研究中心
北京邮电大学信息与通信
工程
学院
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017年第4期115-123,共9页
基金
中国铁路总公司科技研究开发计划项目(2015X002-B)
文摘
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。
关键词
测试序列
车载设备
列车控制系统
模式转换
有色PETRI网
中国邮路算法
路径覆盖量
Keywords
Test sequence
On-board equipment
Train control system
Mode transition
Colored Petri nets
Chinese postman algorithm
Path coverage
分类号
U284.482 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种高速铁路衔接站点灭灯进路联锁软件实现方法
徐德龙
《铁道标准设计》
北大核心
2018
7
在线阅读
下载PDF
职称材料
2
列控-安全信息传输系统可靠性及安全性的形式化分析
高莺
张琦
陈黎洁
刘宏杰
《北京交通大学学报》
CAS
CSCD
北大核心
2018
6
在线阅读
下载PDF
职称材料
3
基于有色Petri网的车载设备模式转换测试序列生成方法
赵晓宇
杨志杰
吕旌阳
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017
18
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
