联锁软件

作品数：81被引量：151H指数：7
导出分析报告
相关领域：交通运输工程自动化与计算机技术更多>>
相关作者：吴芳美徐中伟郦萌虞翊杨扬更多>>
相关机构：同济大学兰州交通大学北京交通大学中国铁道科学研究院更多>>
相关期刊：《计算机仿真》《中国铁路》《铁路通信信号工程技术》《铁路通信信号信息》更多>>
相关基金：铁道部科技研究开发计划国家教育部博士点基金国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
铁路计算机联锁软件智能测试系统
《轨道交通》2024年第1期44-49,共6页宋冰 
铁路计算机联锁系统是一个能够进行即时监控与保护的系统,对于确保铁路的安全性具有极其关键的影响。由于现有的众多计算机联锁系统对用户来说,存在着严重的不透明性。再加上联锁设备的出场检修受到检修人员的大量手工测试和自身专业知...
关键词：计算机联锁 测试 智能 
基于图像分析的计算机联锁软件上位机界面信息提取被引量：1
《铁路计算机应用》2023年第7期55-61,共7页肖奥博 陈建译 张浩骞 
计算机联锁自动化测试能够节省软件测试阶段的人力成本,而实现自动化测试的前提是需要提供可靠的站场信息。文章以上位机界面显示规范为主要技术文件,提出一种基于计算机视觉图像分析与文字识别技术提取计算机联锁软件上位机界面信息的...
关键词：计算机联锁 上位机 站场信息 图像分析 聚类算法 
基于适应度函数的联锁软件测试用例生成仿真被引量：1
《计算机仿真》2022年第12期408-412,共5页刘明 王新强 
为提高联锁软件的可靠性,避免逻辑运算出现失误,提出基于日志挖掘的联锁软件测试用例生成算法。将联锁系统软件分为人机对话、联锁运算与任务执行三个模块,分析不同模块执行的具体任务;采用支持向量机分类算法,清洗从联锁系统中采集的...
关键词：日志挖掘 联锁软件 测试用例 频繁模式挖掘 遗传算法 
基于模型的联锁软件测试用例生成方法被引量：4
《铁路通信信号工程技术》2022年第11期32-36,共5页彭丽维 宋鹏飞 江雪莹 谢林 
卡斯柯信号有限公司iLOCK完善及维护项目(RA.11119002)。
联锁软件测试是保证联锁安全的重要手段之一,为解决联锁软件测试通用性不强,人工消耗过大的问题,提出一种通用联锁软件测试用例生成方法。结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象,并对识别的状态进...
关键词：模型 树形网状结构 状态转换 测试用例 
产生式系统原理在联锁软件开发中的应用
《电子世界》2021年第16期128-130,共3页汤连桥 
计算机联锁软件中的逻辑关系是使用规则进行描述的。产生式系统是一种基于规则的推理技术,联锁软件可采用产生式系统的技术进行开发。描述了产生式系统中三个部分(规则库定义、总数据库设计、控制策略设计)在开发联锁软件过程中的实现,...
关键词：联锁软件 产生式系统 逻辑关系 基于规则的推理 数据库设计 软件开发 描述逻辑 设计和实现 
铁路车站联锁软件进路搜索算法优化被引量：3
《电子设计工程》2021年第10期51-55,共5页罗耀云 
针对大型复杂铁路车站计算机联锁软件进路搜索算法存在回溯搜索的不足,通过对车站联锁软件数据结构和进路搜索算法的具体分析,采用站场型数据结构并对深度优先搜索(Depth First Search,DFS)算法增加约束条件,提出DFS高度无往返优化算法...
关键词：计算机联锁 数据结构 进路搜索 高度无往返 
基于UML的车站联锁软件建模研究
《科学技术创新》2021年第8期73-74,共2页郑伟 
在研究联锁逻辑关系的基础上,采用UML语言及建模工具实现对联锁软件系统的建模研究,分析了信号设备的基本状态变化及在进路处理中的状态变化,完成了室外三大件(信号机、道岔、轨道区段)和进路之间的静态结构建模及数据结构分析,建立了...
关键词：UML 联锁软件 建模 
基于SCADE的计算机联锁软件开发研究被引量：2
《铁路计算机应用》2020年第12期53-56,共4页张恬 
中铁第一勘察设计院集团有限公司科研计划项目(院科18-32)。
计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。...
关键词：铁路信号 计算机联锁 软件开发 高安全性应用程序开发环境 基于模型的软件工程 
有轨电车信号系统车辆段联锁软件的设计及实现被引量：3
《铁道通信信号》2020年第12期94-98,共5页赵刚 赵鹏 刘健花 
介绍了佛山高明区现代有轨电车示范线首期工程车辆段联锁软件总体结构及应用层软件设计方案;详细介绍了各模块的设计实现方法,出入段中特殊应用场景的软件接口设计实现方法,联锁数据结构及软件测试的实施方法。
关键词：现代有轨电车 联锁软件 软件设计 软件测试 
基于模型检验的计算机联锁软件验证方法被引量：2
《铁道通信信号》2020年第8期35-38,共4页刘丽娟 
采用形式化验证是确认计算机联锁软件能够满足特定安全属性的一种有效手段.本文描述了一种基于模型检验的方法,对联锁系统模型及安全属性模型的建立方法进行探讨,并结合具体的站场实例,对信号开放功能进行了模型描述和验证,结果表明该...
关键词：计算机联锁 形式化验证 模型检验 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部