期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
城市轨道交通信号系统测试序列自动生成方法研究
1
作者
张锐
司鑫悦
王成志
《都市快轨交通》
北大核心
2025年第2期140-146,共7页
针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若...
针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若干独立测试区段;其次将线路特征量转化为计算机能够识别的形式化语言,提高编辑效率和人机交互体验;然后应用辅助生成工具自动生成若干条现场可执行的工程验收测试序列;最后选取真实线路作为测试对象,验证工程验收测试效率。研究表明:相较于传统的人工设计测试序列的方法,通过形式化语言设计的测试序列,满足工程验收要求,覆盖互联互通测试案例,能够缩短现场测试时间,提高测试效率。
展开更多
关键词
城市轨道交通
信号系统
CBTC
互联互通
工程测试
形式化语言
测试顺序
在线阅读
下载PDF
职称材料
基于UML的铁路信号图纸校核系统研究
2
作者
黄程辉
周荣
+2 位作者
宿世明
苏琛
吴阿龙
《铁路通信信号工程技术》
2024年第4期15-20,共6页
针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用UML技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理...
针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用UML技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理;对铁路信号图纸数据库进行介绍;从系统结构、测试范围、功能验证等方面详细介绍图纸校核系统。该图纸校核系统可以在工程实施中提供施工图审查、校核,提升现场作业效率。
展开更多
关键词
铁路信号系统
数据化
图纸校核
UML
在线阅读
下载PDF
职称材料
高速铁路无线闭塞中心仿真培训系统的设计与实现
3
作者
张锐
陶玉凤
+1 位作者
苏琛
高帅
《高速铁路技术》
2024年第6期78-83,共6页
为满足高速铁路运维人员对无线闭塞中心原理和操作的学习需求,提高现场一线电务人员的技术水平和故障应急处理能力,本文采用计算机仿真技术和UML(Unified Modeling Language)建模方法,设计了一套高速铁路无线闭塞中心仿真培训系统。该...
为满足高速铁路运维人员对无线闭塞中心原理和操作的学习需求,提高现场一线电务人员的技术水平和故障应急处理能力,本文采用计算机仿真技术和UML(Unified Modeling Language)建模方法,设计了一套高速铁路无线闭塞中心仿真培训系统。该系统依据行业标准进行设计,具有详细设备原理和故障类型的专业性培训内容,功能全面,运行稳定,满足现场高速铁路信号工等专业技术人员的日常培训需求,能够提高相关人员的专业技能和应急处置能力。
展开更多
关键词
高速铁路
无线闭塞中心
计算机仿真
培训系统
UML
在线阅读
下载PDF
职称材料
基于DXFLib库的CAD铁路车站配线图纸数字化及验证
4
作者
李亚杰
何涛
张锐
《兰州交通大学学报》
CAS
2024年第4期98-109,共12页
为了实现铁路信号系统图纸数字化验证与自动校核,并针对目前CAD图纸数字化存在的不足,如需要在AutoCAD软件中选取范围进行提取、依赖二次开发工具、文字提取精度不高等,提出了一种改进方法。该方法借助C++的DXFLib开源库编写程序,实现对...
为了实现铁路信号系统图纸数字化验证与自动校核,并针对目前CAD图纸数字化存在的不足,如需要在AutoCAD软件中选取范围进行提取、依赖二次开发工具、文字提取精度不高等,提出了一种改进方法。该方法借助C++的DXFLib开源库编写程序,实现对CAD图纸中配线表格内容识别提取、数据导出。首先,程序读取表格类型的图纸,对其实体图元信息进行解码并提取,并将所得图元的CAD坐标转化为二维图像坐标,同时迭代更新图像边界值;然后,运用OpenCV库的绘制函数对图元信息进行复现,将相关图元参数传递给绘图函数进行绘制,并与原图纸内容进行比对;最后,将所得图元信息数字化、结构化,通过分析表格结构及图元坐标关系后将其必要内容导出至Excel。研究结果表明了该方法对于图纸数字化的有效性,满足工程图纸校核的准确率要求,显著提升了信号图纸数字化的灵活性及效率。
展开更多
关键词
图纸数字化
CAD信息提取
图元信息
DXFLib
在线阅读
下载PDF
职称材料
基于B/S架构的铁路图纸智能校核平台的设计
被引量:
1
5
作者
贾富强
曲子贤
+2 位作者
陆勇军
苏琛
杨斐
《现代信息科技》
2024年第9期77-82,86,共7页
图纸是服务于铁路安全运输的关键数据资源。为弥补既有铁路电务专业信号图纸审核环节的不足,解决现场主要靠人为经验进行图纸校核的模式,设计了一套专用于铁路信号CAD图纸校准核对的智能化平台。通过对铁路电务部门日常图纸校核业务场...
图纸是服务于铁路安全运输的关键数据资源。为弥补既有铁路电务专业信号图纸审核环节的不足,解决现场主要靠人为经验进行图纸校核的模式,设计了一套专用于铁路信号CAD图纸校准核对的智能化平台。通过对铁路电务部门日常图纸校核业务场景的分析,采用标准主流的B/S(Browser/Server)架构设计理念,对审核流程进行优化,为现场人员提供了统一的Web访问门户,实现了信息管理、图纸录入、图纸查看、车站信息维护和图纸校核及图纸实时查询等功能,能够辅助信号工进行图纸复核,提高了现场作业水平,保障了铁路运营安全。
展开更多
关键词
铁路信号
图纸管理
图纸校核
B/S架构
在线阅读
下载PDF
职称材料
CTCS-N等级转换场景形式化建模与验证
6
作者
高卓凡
何涛
+1 位作者
姜飞
吴永成
《兰州交通大学学报》
CAS
2024年第1期73-82,共10页
新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与...
新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与验证的方法。首先,选取等级转换场景为主要建模场景,提取规范中的功能与性能需求,梳理信息交互图,基于UPPAAL建立车载设备、应答器、临时限速服务器、无线闭塞中心的时间自动机模型;然后,使用模拟器进行模型的仿真,生成对应的消息顺序图;最后,以自动机语言为基础,验证正常模式和故障模式下车载设备转换是否满足要求。验证结果表明:所建立的模型满足等级转换场景的需求,其功能符合对应的技术规范,证明了该形式化建模的可行性,为新型列控系统测试、其他场景或功能的建模与验证提供了参考。
展开更多
关键词
新型列控系统
时间自动机
等级转换场景
建模与验证
消息顺序图
在线阅读
下载PDF
职称材料
基于半实物仿真的铁路叉车实训装置研究
7
作者
全莹
王荆石
郑博文
《科技创新与应用》
2023年第4期51-54,共4页
铁路货运叉车作业存在着操作量大、操作内容复杂等特点,将铁路货运叉车作业培训与虚拟现实技术和先进智能计算机技术结合,给货运职工带来身临其境的存在感。与以往铁路现场培训技术不同,开发半实物仿真技术在室内就可以满足对员工的技...
铁路货运叉车作业存在着操作量大、操作内容复杂等特点,将铁路货运叉车作业培训与虚拟现实技术和先进智能计算机技术结合,给货运职工带来身临其境的存在感。与以往铁路现场培训技术不同,开发半实物仿真技术在室内就可以满足对员工的技术培训。利用3D建模技术与Unity引擎编写技术,对系统软件进行开发,并构建与实物相同比例的叉车模型,在虚拟现实环境下完成铁路货运叉车的操作培训,并对操作数据进行同步记录。
展开更多
关键词
铁路
叉车实训
自动培训
VR技术
3D建模技术
在线阅读
下载PDF
职称材料
题名
城市轨道交通信号系统测试序列自动生成方法研究
1
作者
张锐
司鑫悦
王成志
机构
兰州
交通
大学
甘肃省轨道交通信号与控制评测行业技术中心
甘肃
众一合
技术
有限公司
铁科院(北京)工程咨询有限公司
中铁工程设计咨询集团有限公司济南设计院
出处
《都市快轨交通》
北大核心
2025年第2期140-146,共7页
基金
国家自然科学基金(U2268206)
甘肃省科技计划项目(22CX3GA059)
+1 种基金
甘肃省重点人才项目(2022RCXM014)
兰州市科技计划项目(2024-8-49)。
文摘
针对目前国内城市轨道交通信号系统现场工程验收测试方法单一、周期长、效率低、成本高、任务重和工作量大等问题,研究一种适用于现场工程验收测试序列自动生成的方法。首先分析城轨信号系统互联互通测试案例集约束条件,将线路划分成若干独立测试区段;其次将线路特征量转化为计算机能够识别的形式化语言,提高编辑效率和人机交互体验;然后应用辅助生成工具自动生成若干条现场可执行的工程验收测试序列;最后选取真实线路作为测试对象,验证工程验收测试效率。研究表明:相较于传统的人工设计测试序列的方法,通过形式化语言设计的测试序列,满足工程验收要求,覆盖互联互通测试案例,能够缩短现场测试时间,提高测试效率。
关键词
城市轨道交通
信号系统
CBTC
互联互通
工程测试
形式化语言
测试顺序
Keywords
urban rail transit
signal system
communication based train control
interconnection and interoperability
engineering test
formal methods
test sequence
分类号
U231 [交通运输工程—道路与铁道工程]
在线阅读
下载PDF
职称材料
题名
基于UML的铁路信号图纸校核系统研究
2
作者
黄程辉
周荣
宿世明
苏琛
吴阿龙
机构
中国铁路广州局集团有限公司
广西沿海铁路股份有限公司钦州电务段
甘肃省轨道交通信号与控制评测行业技术中心
兰州安信铁路科技有限公司
出处
《铁路通信信号工程技术》
2024年第4期15-20,共6页
基金
2022年甘肃省科技计划项目(22CX3GA059)
2022年甘肃省重点人才项目(2022RCXM014)
2022年广州局科研项目(2022KY-001)。
文摘
针对铁路信号系统存在的设备复杂度高、管理维护难等缺点,利用UML技术,依托现有的纸质版CAD图纸,将多元化的图纸进行数据化,通过车站数据库,构建铁路信号图纸校核系统,实现信号图纸的反向验证。介绍铁路信号图纸数据信息化的内容及原理;对铁路信号图纸数据库进行介绍;从系统结构、测试范围、功能验证等方面详细介绍图纸校核系统。该图纸校核系统可以在工程实施中提供施工图审查、校核,提升现场作业效率。
关键词
铁路信号系统
数据化
图纸校核
UML
Keywords
railway signaling system
digitalization
drawing check
UML
分类号
U284 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
高速铁路无线闭塞中心仿真培训系统的设计与实现
3
作者
张锐
陶玉凤
苏琛
高帅
机构
甘肃省轨道交通信号与控制评测行业技术中心
甘肃
众一合
技术
有限公司
兰州铁道设计院有限公司
兰州安信铁路科技有限公司
兰州
交通
大学光电
技术
与智能
控制
教育部重点实验室
出处
《高速铁路技术》
2024年第6期78-83,共6页
基金
甘肃省科技计划项目(22CX3GA059)
甘肃省重点人才项目(2022RCXM014)
兰州市科技计划项目(2024-8-49)。
文摘
为满足高速铁路运维人员对无线闭塞中心原理和操作的学习需求,提高现场一线电务人员的技术水平和故障应急处理能力,本文采用计算机仿真技术和UML(Unified Modeling Language)建模方法,设计了一套高速铁路无线闭塞中心仿真培训系统。该系统依据行业标准进行设计,具有详细设备原理和故障类型的专业性培训内容,功能全面,运行稳定,满足现场高速铁路信号工等专业技术人员的日常培训需求,能够提高相关人员的专业技能和应急处置能力。
关键词
高速铁路
无线闭塞中心
计算机仿真
培训系统
UML
Keywords
high-speed railway
radio block center(RBC)
computer simulation
training system
UML
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
U284.4 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
基于DXFLib库的CAD铁路车站配线图纸数字化及验证
4
作者
李亚杰
何涛
张锐
机构
兰州
交通
大学光电
技术
与智能
控制
教育部重点实验室
兰州
交通
大学自动
控制
研究所
甘肃省轨道交通信号与控制评测行业技术中心
甘肃
众一合
技术
有限公司
出处
《兰州交通大学学报》
CAS
2024年第4期98-109,共12页
基金
中国国家铁路集团有限公司铁路基础研究联合基金项目(U2268206)
甘肃省科技计划项目(22CX3GA059)。
文摘
为了实现铁路信号系统图纸数字化验证与自动校核,并针对目前CAD图纸数字化存在的不足,如需要在AutoCAD软件中选取范围进行提取、依赖二次开发工具、文字提取精度不高等,提出了一种改进方法。该方法借助C++的DXFLib开源库编写程序,实现对CAD图纸中配线表格内容识别提取、数据导出。首先,程序读取表格类型的图纸,对其实体图元信息进行解码并提取,并将所得图元的CAD坐标转化为二维图像坐标,同时迭代更新图像边界值;然后,运用OpenCV库的绘制函数对图元信息进行复现,将相关图元参数传递给绘图函数进行绘制,并与原图纸内容进行比对;最后,将所得图元信息数字化、结构化,通过分析表格结构及图元坐标关系后将其必要内容导出至Excel。研究结果表明了该方法对于图纸数字化的有效性,满足工程图纸校核的准确率要求,显著提升了信号图纸数字化的灵活性及效率。
关键词
图纸数字化
CAD信息提取
图元信息
DXFLib
Keywords
drawing digitization
CAD information extraction
meta information
DXFLib
分类号
U283.4 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
基于B/S架构的铁路图纸智能校核平台的设计
被引量:
1
5
作者
贾富强
曲子贤
陆勇军
苏琛
杨斐
机构
中国铁路兰州局集团有限公司电务部
中国铁路兰州局集团有限公司科技和信息化部
中国铁路兰州局集团有限公司兰州电务段
甘肃省轨道交通信号与控制评测行业技术中心
兰州安信铁路科技有限公司
出处
《现代信息科技》
2024年第9期77-82,86,共7页
基金
2022年度甘肃省科技计划项目(22CX3GA059)
2022年度甘肃省重点人才项目(2022RCXM014)
2023年兰州局科研项目(23-LZKY0010)。
文摘
图纸是服务于铁路安全运输的关键数据资源。为弥补既有铁路电务专业信号图纸审核环节的不足,解决现场主要靠人为经验进行图纸校核的模式,设计了一套专用于铁路信号CAD图纸校准核对的智能化平台。通过对铁路电务部门日常图纸校核业务场景的分析,采用标准主流的B/S(Browser/Server)架构设计理念,对审核流程进行优化,为现场人员提供了统一的Web访问门户,实现了信息管理、图纸录入、图纸查看、车站信息维护和图纸校核及图纸实时查询等功能,能够辅助信号工进行图纸复核,提高了现场作业水平,保障了铁路运营安全。
关键词
铁路信号
图纸管理
图纸校核
B/S架构
Keywords
railway signal
drawing management
drawing checking
B/S architecture
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
CTCS-N等级转换场景形式化建模与验证
6
作者
高卓凡
何涛
姜飞
吴永成
机构
兰州
交通
大学自动化与电气工程学院
甘肃省
工业
交通
自动化工程
技术
研究
中心
甘肃省轨道交通信号与控制评测行业技术中心
出处
《兰州交通大学学报》
CAS
2024年第1期73-82,共10页
文摘
新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与验证的方法。首先,选取等级转换场景为主要建模场景,提取规范中的功能与性能需求,梳理信息交互图,基于UPPAAL建立车载设备、应答器、临时限速服务器、无线闭塞中心的时间自动机模型;然后,使用模拟器进行模型的仿真,生成对应的消息顺序图;最后,以自动机语言为基础,验证正常模式和故障模式下车载设备转换是否满足要求。验证结果表明:所建立的模型满足等级转换场景的需求,其功能符合对应的技术规范,证明了该形式化建模的可行性,为新型列控系统测试、其他场景或功能的建模与验证提供了参考。
关键词
新型列控系统
时间自动机
等级转换场景
建模与验证
消息顺序图
Keywords
Chinese train control system-new(CTCS-N)
timed automata
level conversion scenario
modeling and verification
message sequence diagram
分类号
U284.48 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
基于半实物仿真的铁路叉车实训装置研究
7
作者
全莹
王荆石
郑博文
机构
中国铁路呼和浩特局集团有限公司呼和浩特货运
中心
兰州安信铁路科技有限公司
甘肃省轨道交通信号与控制评测行业技术中心
甘肃省
工业
交通
自动化工程
技术
研究
中心
出处
《科技创新与应用》
2023年第4期51-54,共4页
文摘
铁路货运叉车作业存在着操作量大、操作内容复杂等特点,将铁路货运叉车作业培训与虚拟现实技术和先进智能计算机技术结合,给货运职工带来身临其境的存在感。与以往铁路现场培训技术不同,开发半实物仿真技术在室内就可以满足对员工的技术培训。利用3D建模技术与Unity引擎编写技术,对系统软件进行开发,并构建与实物相同比例的叉车模型,在虚拟现实环境下完成铁路货运叉车的操作培训,并对操作数据进行同步记录。
关键词
铁路
叉车实训
自动培训
VR技术
3D建模技术
Keywords
railway
forklift training
automatic training
VR technology
3D modeling technology
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
城市轨道交通信号系统测试序列自动生成方法研究
张锐
司鑫悦
王成志
《都市快轨交通》
北大核心
2025
0
在线阅读
下载PDF
职称材料
2
基于UML的铁路信号图纸校核系统研究
黄程辉
周荣
宿世明
苏琛
吴阿龙
《铁路通信信号工程技术》
2024
0
在线阅读
下载PDF
职称材料
3
高速铁路无线闭塞中心仿真培训系统的设计与实现
张锐
陶玉凤
苏琛
高帅
《高速铁路技术》
2024
0
在线阅读
下载PDF
职称材料
4
基于DXFLib库的CAD铁路车站配线图纸数字化及验证
李亚杰
何涛
张锐
《兰州交通大学学报》
CAS
2024
0
在线阅读
下载PDF
职称材料
5
基于B/S架构的铁路图纸智能校核平台的设计
贾富强
曲子贤
陆勇军
苏琛
杨斐
《现代信息科技》
2024
1
在线阅读
下载PDF
职称材料
6
CTCS-N等级转换场景形式化建模与验证
高卓凡
何涛
姜飞
吴永成
《兰州交通大学学报》
CAS
2024
0
在线阅读
下载PDF
职称材料
7
基于半实物仿真的铁路叉车实训装置研究
全莹
王荆石
郑博文
《科技创新与应用》
2023
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部