计算机联锁软件

作品数：32被引量：87H指数：6
导出分析报告
相关领域：交通运输工程自动化与计算机技术更多>>
相关作者：吴芳美董昱王铁江郦萌高雪娟更多>>
相关机构：同济大学兰州交通大学西南交通大学北京交通大学更多>>
相关期刊：《中国铁路》《铁路通信信号信息》《铁道学报》《数字技术与应用》更多>>
相关基金：铁道部科技研究开发计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于图像分析的计算机联锁软件上位机界面信息提取被引量：1
《铁路计算机应用》2023年第7期55-61,共7页肖奥博 陈建译 张浩骞 
计算机联锁自动化测试能够节省软件测试阶段的人力成本,而实现自动化测试的前提是需要提供可靠的站场信息。文章以上位机界面显示规范为主要技术文件,提出一种基于计算机视觉图像分析与文字识别技术提取计算机联锁软件上位机界面信息的...
关键词：计算机联锁 上位机 站场信息 图像分析 聚类算法 
基于SCADE的计算机联锁软件开发研究被引量：2
《铁路计算机应用》2020年第12期53-56,共4页张恬 
中铁第一勘察设计院集团有限公司科研计划项目(院科18-32)。
计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。...
关键词：铁路信号 计算机联锁 软件开发 高安全性应用程序开发环境 基于模型的软件工程 
基于模型检验的计算机联锁软件验证方法被引量：2
《铁道通信信号》2020年第8期35-38,共4页刘丽娟 
采用形式化验证是确认计算机联锁软件能够满足特定安全属性的一种有效手段.本文描述了一种基于模型检验的方法,对联锁系统模型及安全属性模型的建立方法进行探讨,并结合具体的站场实例,对信号开放功能进行了模型描述和验证,结果表明该...
关键词：计算机联锁 形式化验证 模型检验 
计算机联锁软件的黑盒测试过程分析与实现被引量：8
《铁路计算机应用》2018年第2期39-43,共5页任丽霞 
结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析法。基于由测试软件、联锁软件和车站信号设备仿真系统组成的测试平台的联锁软件测试,在联锁软件黑盒测试...
关键词：联锁软件 黑盒测试 等价类划分 故障树分析 PYTHON 
基层站段建立计算机联锁软件仿真试验系统的意义被引量：3
《中小企业管理与科技》2017年第25期183-184,共2页张存文 
针对计算机联锁系统在全路已大面积推广使用,怎样保证联锁软件的绝对准确就成了电务信号考虑的首要问题,目前各个铁路局基层站段都没有计算机联锁系统软件仿真试验系统,现场的实际作业情况又不允许电务人员对联锁软件进行全面的联锁关...
关键词：联锁软件 联锁关系 仿真试验 安全 
形式化方法应用于计算机联锁软件的安全验证研究被引量：5
《铁路计算机应用》2016年第11期53-57,共5页罗娟 王燕芩 
铁路信号系统中的联锁系统对安全性要求极高,仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化,得到具体的安全需求后输入带归纳...
关键词：计算机联锁 安全需求 通用应用 形式化验证 
基于二取二平台的计算机联锁软件异构性能分析及设计被引量：4
《铁道标准设计》2016年第11期135-138,共4页季忠洪 王俊高 冯浩楠 
中国铁道科学研究院通信信号研究所重点计划(1352TH0202;1352TH0402;1652TH0903)
为了提高联锁系统结构的效能,提出一种执行-监控的联锁结构。与同构、异构二取二结构相比,该结构在保证系统功能的前提下,通过降低软件复杂度的方法提升结构的可靠性,仿真对比实验结果表明,执行-监控软件的复杂度最低,仅为0.550,证明执...
关键词：铁路信号 二乘二取二结构 计算机联锁 复杂性 可靠性 
基于站场图形网络的计算机联锁软件在高速铁路的应用研究被引量：8
《铁道标准设计》2016年第9期141-145,共5页刘鹏 
铁道部科技研究开发计划重点课题(2012X004-E)
为适应高速铁路列控系统接口需求,计算机联锁系统接入信号安全数据网[1]的同时,应用软件需要新增进路模块来实现接口的应用信息交互。进路模块利用原有联锁软件网络化结构的选路原理,实现了进路信息存储;利用进路中道岔的大号码特征,实...
关键词：计算机联锁 软件 进路处理 接口 
铁路车站计算机联锁软件进路搜索算法研究被引量：9
《铁路计算机应用》2016年第4期63-66,共4页王文波 马学霞 
南京铁道职业技术学院青年基金科研项目(YQ1403)
计算机联锁软件的关键技术是联锁软件数据结构的选取和进路搜索算法的优化。针对常用数据结构对联锁软件的制约和进路搜索算法对搜索效率的影响,本文基于站场型数据结构,优化了进路搜索算法,以站场举例为对象,详细论述了采用高度搜索算...
关键词：进路搜索算法 数据结构 计算机联锁 
铁路车站计算机联锁软件研究与设计被引量：3
《高速铁路技术》2015年第6期45-48,共4页马学霞 王文波 
计算机联锁是铁路车站的重要系统之一,主要是控制列车在站内的安全运行。联锁系统分硬件和软件系统,联锁逻辑运算模块是计算机联锁软件系统的核心,其完整性和优越性决定着联锁系统的功能和性能。针对基于"与或"逻辑的联锁软件逻辑繁琐...
关键词：联锁逻辑运算模块 软件设计 计算机联锁系统 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部