期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Fretchet距离与TWSVM的多机牵引道岔故障诊断研究
被引量：
2
1
作者
吴永成
阳长琼
何涛
《铁道科学与工程学报》
CAS
CSCD
北大核心
2019年第11期2866-2872,共7页
针对多机牵引道岔故障频发、人工诊断困难的问题,提出一种基于Fretchet距离和双向支持向量机的故障诊断方法。首先,设计基于Fretchet距离的相似度指标,通过计算实时曲线与标准曲线的相似度值来定位多机牵引道岔的故障源;其次,利用双向...
针对多机牵引道岔故障频发、人工诊断困难的问题,提出一种基于Fretchet距离和双向支持向量机的故障诊断方法。首先,设计基于Fretchet距离的相似度指标,通过计算实时曲线与标准曲线的相似度值来定位多机牵引道岔的故障源;其次,利用双向支持向量机一对一型分类算法对已定位的故障多机牵引道岔进行故障类型诊断;通过使用兰州西站采集的数据进行仿真,结果表明该算法能及时、准确诊断多机牵引道岔故障。
展开更多
关键词
多机牵引道岔
Fretchet距离
TWSVM
故障诊断
在线阅读
下载PDF
职称材料
基于云模型和组合赋权法的CBTC系统可靠性评价
被引量：
14
2
作者
何涛
马洁
《重庆大学学报》
CAS
CSCD
北大核心
2023年第2期130-139,共10页
由于目前对CBTC系统的可靠性分析较少,提出一种基于云模型和组合赋权法的CBTC系统的可靠性评价方法。首先根据CBTC系统的结构和功能,建立了系统的功能型层次模型,并采用组合赋权法确定底层设备的主观和客观权重值,根据加法合成法得到系...
由于目前对CBTC系统的可靠性分析较少,提出一种基于云模型和组合赋权法的CBTC系统的可靠性评价方法。首先根据CBTC系统的结构和功能,建立了系统的功能型层次模型,并采用组合赋权法确定底层设备的主观和客观权重值,根据加法合成法得到系统的综合权重值;然后,计算CBTC系统底层设备的可靠度,并使用云模型表示;最后,将虚拟云计算的CBTC系统可靠性综合指标新云和可靠性评价集的云模型进行相似度比较,输出评价结果。结果表明,基于云模型和组合赋权法的CBTC系统可靠性评价方法可以正确客观地描述该城市的CBTC系统完成规定功能的能力,为研发和评估CBTC系统提供借鉴。
展开更多
关键词
CBTC系统
可靠性评价
云模型
组合赋权法
在线阅读
下载PDF
职称材料
CTCS-3 级列控车载设备的形式化建模与验证
被引量：
1
3
作者
何涛
韩敬佳
《重庆大学学报》
CAS
CSCD
北大核心
2023年第9期120-129,共10页
CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Pe...
CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。
展开更多
关键词
列控系统
车载设备
模式转换
有色PETRI网
在线阅读
下载PDF
职称材料
题名
基于Fretchet距离与TWSVM的多机牵引道岔故障诊断研究
被引量：
2
1
作者
吴永成
阳长琼
何涛
机构
兰州交通大学甘肃省工业交通自动化工程技术研究中心
兰州交通大学
光电
技术
与智能控制教育部重点实验室
出处
《铁道科学与工程学报》
CAS
CSCD
北大核心
2019年第11期2866-2872,共7页
基金
兰州交通大学青年科学基金资助项目(2017039)
文摘
针对多机牵引道岔故障频发、人工诊断困难的问题,提出一种基于Fretchet距离和双向支持向量机的故障诊断方法。首先,设计基于Fretchet距离的相似度指标,通过计算实时曲线与标准曲线的相似度值来定位多机牵引道岔的故障源;其次,利用双向支持向量机一对一型分类算法对已定位的故障多机牵引道岔进行故障类型诊断;通过使用兰州西站采集的数据进行仿真,结果表明该算法能及时、准确诊断多机牵引道岔故障。
关键词
多机牵引道岔
Fretchet距离
TWSVM
故障诊断
Keywords
multi-machine traction turnout
Fretchet distance
TWSVM
fault diagnosis
分类号
U284 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
基于云模型和组合赋权法的CBTC系统可靠性评价
被引量：
14
2
作者
何涛
马洁
机构
兰州交通大学甘肃省工业交通自动化工程技术研究中心
兰州交通大学
自动化
与电气
工程
学院
出处
《重庆大学学报》
CAS
CSCD
北大核心
2023年第2期130-139,共10页
基金
中国铁路总公司科技研究开发计划重点课题(2016X003-H)
甘肃省工业交通自动化工程技术研究中心2019年开放基金(GSITA201903)
中国国家铁路集团有限公司科技研究开发计划课题(201901BX01)。
文摘
由于目前对CBTC系统的可靠性分析较少,提出一种基于云模型和组合赋权法的CBTC系统的可靠性评价方法。首先根据CBTC系统的结构和功能,建立了系统的功能型层次模型,并采用组合赋权法确定底层设备的主观和客观权重值,根据加法合成法得到系统的综合权重值;然后,计算CBTC系统底层设备的可靠度,并使用云模型表示;最后,将虚拟云计算的CBTC系统可靠性综合指标新云和可靠性评价集的云模型进行相似度比较,输出评价结果。结果表明,基于云模型和组合赋权法的CBTC系统可靠性评价方法可以正确客观地描述该城市的CBTC系统完成规定功能的能力,为研发和评估CBTC系统提供借鉴。
关键词
CBTC系统
可靠性评价
云模型
组合赋权法
Keywords
CBTC system
reliability evaluation
cloud model
combination weighting method
分类号
U284.48 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
CTCS-3 级列控车载设备的形式化建模与验证
被引量：
1
3
作者
何涛
韩敬佳
机构
兰州交通大学
自动化
与电气
工程
学院
兰州交通大学甘肃省工业交通自动化工程技术研究中心
出处
《重庆大学学报》
CAS
CSCD
北大核心
2023年第9期120-129,共10页
基金
国家自然科学基金资助项目(U2268206)。
文摘
CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。
关键词
列控系统
车载设备
模式转换
有色PETRI网
Keywords
train control system
on-board equipment
mode conversion
colored Petri net
分类号
TP391 [自动化与计算机技术—计算机应用技术]
U284 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Fretchet距离与TWSVM的多机牵引道岔故障诊断研究
吴永成
阳长琼
何涛
《铁道科学与工程学报》
CAS
CSCD
北大核心
2019
2
在线阅读
下载PDF
职称材料
2
基于云模型和组合赋权法的CBTC系统可靠性评价
何涛
马洁
《重庆大学学报》
CAS
CSCD
北大核心
2023
14
在线阅读
下载PDF
职称材料
3
CTCS-3 级列控车载设备的形式化建模与验证
何涛
韩敬佳
《重庆大学学报》
CAS
CSCD
北大核心
2023
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
