导读:本文包含了联锁软件论文开题报告文献综述及选题提纲参考文献，主要关键词:专家系统,铁路计算机联锁,CLIPS,知识表示
联锁软件论文文献综述
张杰[1]（2019）在《铁路计算机联锁软件制作专家系统的研究》一文中研究指出铁路计算机联锁软件制作的关键数据,由手工输入,智能化水平不高。提出专家系统的思想,借助专家系统工具CLIPS,实现联锁站场特征的自动识别,数据的自动生成。将蓝图信息规范化,统一为Excel文件,解决了联锁知识的概念化及形式化问题。采用面向对象的知识表示方法,借鉴ID3的分类算法,建立知识库。分类算法提高了规则的合法化及程序执行的效率。在站场特征识别问题上,先讨论了基于二叉树的实现方法,又叙述了直接利用CLIPS消息函数的方法,比较可得,消息函数的方法简洁,具有优越性。总结3类VC++和CLIPS交互技术,说明CLIPS嵌入到VC++是可行的。经检验,该专家系统可以初步解决计算机联锁数据标准化、自动化的问题。(本文来源于《铁道标准设计》期刊2019年11期）
张天琪,唐思宇,侯云杰[2]（2019）在《计算机联锁软件测试与安全性评价研究》一文中研究指出计算机联锁是一种典型的关键安全系统,必须要考虑到许多技术要求,以防止风险因素的影响。同时,可以对导致各种软件发生故障的因素进行检测并把它找出来,而且还可以提供准确和统一的评估标准,以及保证软件的安全性。系统安全测试是用于测试阻止软件安全功能的最复杂的技术工具,基于以前的测试和研究,该文主要分析了基于测试的安全评估标准,并且还定义了新概念,象危险问题、风险收集预防以及扩展预防范围。对安全问题分类的不同标准的正式描述为进一步开发计算机联锁软件的测试和安全评估提供了有用的理论基础,而且该文还研究了一些计算机联锁软件测试的例子。(本文来源于《中国新技术新产品》期刊2019年15期）
延旭[3]（2019）在《计算机联锁软件仿真测试方法研究》一文中研究指出计算机联锁系统是保证车站内行车安全的关键设备,是高安全性、高可靠性的实时系统,在投入使用前需要进行全面、严格的测试。由于联锁系统涉及到的工程量十分庞大,依赖于现场试验很难遍历其功能发现漏洞,利用计算机仿真测试技术可降低测试损耗,但在测试过程中依然面临着依赖专业人员手工操作、测试重复步骤多、测试耗时长等难题,测试效率难以提高。针对上述情况,本人提出了一种计算机联锁软件仿真测试方法,该方法利用时间自动机模型自动生成测试序列,利用萤火虫算法自动优化测试序列,最后结合实际站场数据自动执行测试序列。主要内容包括:(1)提出了一种基于进路控制的自动测试框架,该框架基于传统测试需求文档,通过分析计算机联锁软件测试需求,并根据进路控制时序逻辑将其包含的功能场景重组成了可以连续执行的测试项,减少一定重复操作的同时为后续对联锁的建模奠定了基础。(2)使用UPPAAL工具建立了基于进路控制的联锁系统时间自动机模型,该模型包含驱动测试、进路建立、自动解锁、取消进路、人工解锁和区段故障解锁六个子模型,子模型之间可进行信息交互,并利用该工具自带的仿真和验证功能证明了模型的正确性,引入辅助软件CoVer自动生成了覆盖模型所有迁移路径的原始测试序列集。(3)设计了基于萤火虫算法的测试序列优化方法,选取了叁个基本功能场景对算法的应用进行说明,并与时间自动机产生的原始测试序列和基于遗传算法优化的测试序列进行对比,证明了萤火虫算法在收敛更快的情况下,有效降低了 9%的冗余度。(4)开发了计算机联锁仿真测试平台,结合实际站场对本文提出的方法进行了验证,结果表明,该仿真测试方法相对于传统方法,每条进路的全功能测试的抽象测试序列冗余度减少14%,具体测试步骤最多可减少36.1%,测试一个小型站场的时间由1～2天减少到7个小时左右,测试一个中型站场的时间由3～5天减少到18个小时左右。本文的研究结果表明,基于时间自动机模型和萤火虫算法的联锁仿真测试方法在保证测试覆盖度的同时,提升了测试的自动化程度,减少了测试的重复操作,相对于传统测试方法对测试效率有了明显提升。(本文来源于《北京交通大学》期刊2019-06-03）
宋一锋,杨扬,王秀峰,刘宇,邓川[4]（2019）在《车站站场室外场景3D联锁仿真软件设计》一文中研究指出车站站场室外场景3D联锁仿真软件实现了车站联锁控制过程的叁维实时动态复示。该软件的设计采用3D MAX软件对各信号设备建模,采用C#编程语言在Unity3D平台下制作转辙机带动道岔转换、轨道电路光带显示及信号机点灯等动画;通过实时接收计算机联锁仿真软件数据驱动车站站场室外3D设备动作,直观地展示排列进路、模拟走车等车站室外作业和几类故障情况的仿真效果,为车站联锁控制系统的教学或培训服务。(本文来源于《铁路计算机应用》期刊2019年05期）
梁永胜[5]（2019）在《先更换信号联锁软件的站改方案探讨》一文中研究指出为解决传统站改方案,需事先将插入道岔串入临近道岔的表示电路进行过渡而引起的安全隐患等问题,探索了先更换信号联锁软件的站改方案。研究分析先更换信号联锁软件的中间站站改方案的可行性和普遍适应性,有利于行车人身安全,经济性较好,对中间站站改方案的编制具有重要的指导意义。(本文来源于《交通世界》期刊2019年09期）
彭丽维,杨扬[6]（2019）在《联锁表自动生成联锁关系的软件处理方法》一文中研究指出联锁表对联锁逻辑运算的时效性和可靠性起着至关重要的作用,目前多数文献只研究了联锁表生成的算法,本文主要研究联锁表生成过程中遇到的联锁关系,包括:超限绝缘、带动道岔的位置及相关数据结构、确定和搜索变更进路和基本进路的方法,以及调车进路终端问题和在进路表搜索过程中对敌对信号的处理等。(本文来源于《铁道通信信号》期刊2019年03期）
张娜敏,赵璐[7]（2019）在《SCADE工具在轨道交通联锁软件开发中的应用》一文中研究指出SCADE工具是一种高安全应用开发环境,为高安全性应用系统的软件开发人员提供了一套完整的基于模型的开发解决方案,以此降低开发成本,提高开发质量,缩短开发周期,减少开发风险。文中详细介绍了SCADE工具在轨道交通联锁软件开发过程中的应用。SCADE工具应用于联锁逻辑模型的设计、静态分析、动态测试、覆盖率分析、自动代码生成、时间堆栈分析、设计文档生成、需求追踪等,覆盖了开发过程的各个阶段。(本文来源于《信息化研究》期刊2019年01期）
吴琼,徐德龙,鲁剑锋,贾春肖[8]（2018）在《计算机联锁仿真测试接口模拟软件研究和设计》一文中研究指出为了验证联锁系统与TCC、RBC以及邻站CBI之间通信接口数据的正确性,在联锁仿真测试平台上开发了接口模拟软件。在需求分析的基础上,对接口模拟软件架构及通信模块、接收模块、发送模块进行详细设计,包括图形化的操作显示界面,定义了通用的配置数据格式。在实验室仿真环境下进行通信接口的数据测试,起到了保证联锁软件安全性的作用,并能减少返工、提高效率。(本文来源于《铁道通信信号》期刊2018年12期）
张宏[9]（2018）在《计算机联锁软件测试与安全性评价研究》一文中研究指出计算机联锁软件是计算机联锁系统的重要组成部分之一,其性能稳定与否直接关系整个系统的运行安全性和稳定性。因此,在应用计算机联锁软件前,需要采用有效的方法对软件进行测试,并依据测试结果对软件的安全性进行评价。基于此,首先分析了计算机联锁软件的测试方法及应用,并在此基础上对计算机联锁软件的安全性评价进行论述,希望能够为提升计算机联锁软件的整体性能提供借鉴。(本文来源于《信息与电脑(理论版)》期刊2018年18期）
刘征[10]（2018）在《基于UML-NuSMV的联锁软件形式化建模与验证》一文中研究指出计算机联锁系统是铁路控制的核心系统之一,是保障铁路运输安全的重要一环。作为典型的安全苛求系统,计算机联锁软件的设计与开发应严格地按照相关规定和高行业标准进行。随着铁路系统的快速发展,在联锁软件开发的需求分析阶段通过形式化的验证找出存在的问题,对保证铁路运输系统的安全高效运行有着重要意义。然而直接采用形式化方法有着对专业知识要求高、使用难度大和建模效率低下等缺点,因此在站场的规模与复杂度不断提高的今天,需要开发一种更加高效便捷的联锁软件形式化验证方法用以保障其正确性。UML(Unified Modeling Language,统一建模语言)如今被广泛应用于软件开发领域的各个阶段,它通过多个视图结合能够准确全面地从不同角度描述一个系统,然而其作为一种半形式化的语言不能提供有效的自动分析与验证方法。NuSMV(New Symbolic Model Verifier,符号模型验证器)是一种高效成熟的形式化验证工具,若能够通过UML建立联锁系统模型,再将之转化为形式化的NuSMV模型并对其进行验证,则可以通过间接的方式实现降低对联锁系统形式化建模与验证的难度与提高效率的目的。针对上述问题,本文提出一种UML与NuSMV相结合的计算机联锁系统形式化验证的方法。首先分析联锁系统的框架结构与进路控制中每一阶段的需求,并针对进路选择阶段提出了一种基于坐标与站场拓扑的进路搜索算法,以一个标准站场为例利用UML类图、状态图与顺序图这叁种视图建立联锁控制逻辑的需求模型。其次分析对比UML模型与NuSMV形式化模型在结构和语义上的关联,并结合设备间相互制约的特点制定了一套UML模型到NuSMV模型的转换规则。然后根据此规则在C#环境下编写了相应的模型转换程序,完成了UML模型到NuSMV模型的批量自动转换。最后,分析与提取计算机联锁系统需遵循的相关技术规范,应用CTL(Computation Tree Logic,计算树逻辑)表达式描述联锁模型应满足的一些性质,并将其作为验证语句输入至NuSMV验证器当中完成对计算机联锁系统模型的验证工作。验证结果表明:该方法能够实现高效准确地验证联锁系统需求的正确性,且能够举出反例从而修正可能出现的错误,为计算机联锁系统需求模型的正确性验证提供一种新思路。(本文来源于《兰州交通大学》期刊2018-06-15）
联锁软件论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
计算机联锁是一种典型的关键安全系统,必须要考虑到许多技术要求,以防止风险因素的影响。同时,可以对导致各种软件发生故障的因素进行检测并把它找出来,而且还可以提供准确和统一的评估标准,以及保证软件的安全性。系统安全测试是用于测试阻止软件安全功能的最复杂的技术工具,基于以前的测试和研究,该文主要分析了基于测试的安全评估标准,并且还定义了新概念,象危险问题、风险收集预防以及扩展预防范围。对安全问题分类的不同标准的正式描述为进一步开发计算机联锁软件的测试和安全评估提供了有用的理论基础,而且该文还研究了一些计算机联锁软件测试的例子。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
联锁软件论文参考文献
[1].张杰.铁路计算机联锁软件制作专家系统的研究[J].铁道标准设计.2019
[2].张天琪,唐思宇,侯云杰.计算机联锁软件测试与安全性评价研究[J].中国新技术新产品.2019
[3].延旭.计算机联锁软件仿真测试方法研究[D].北京交通大学.2019
[4].宋一锋,杨扬,王秀峰,刘宇,邓川.车站站场室外场景3D联锁仿真软件设计[J].铁路计算机应用.2019
[5].梁永胜.先更换信号联锁软件的站改方案探讨[J].交通世界.2019
[6].彭丽维,杨扬.联锁表自动生成联锁关系的软件处理方法[J].铁道通信信号.2019
[7].张娜敏,赵璐.SCADE工具在轨道交通联锁软件开发中的应用[J].信息化研究.2019
[8].吴琼,徐德龙,鲁剑锋,贾春肖.计算机联锁仿真测试接口模拟软件研究和设计[J].铁道通信信号.2018
[9].张宏.计算机联锁软件测试与安全性评价研究[J].信息与电脑(理论版).2018
[10].刘征.基于UML-NuSMV的联锁软件形式化建模与验证[D].兰州交通大学.2018