CN114021530A - 一种联锁表的检查及修正的方法 - Google Patents
一种联锁表的检查及修正的方法 Download PDFInfo
- Publication number
- CN114021530A CN114021530A CN202111319678.2A CN202111319678A CN114021530A CN 114021530 A CN114021530 A CN 114021530A CN 202111319678 A CN202111319678 A CN 202111319678A CN 114021530 A CN114021530 A CN 114021530A
- Authority
- CN
- China
- Prior art keywords
- checking
- correcting
- route
- interlocking
- full
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/10—Text processing
- G06F40/166—Editing, e.g. inserting or deleting
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F40/00—Handling natural language data
- G06F40/20—Natural language analysis
- G06F40/279—Recognition of textual entities
- G06F40/284—Lexical analysis, e.g. tokenisation or collocates
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
- G06Q10/103—Workflow collaboration or project management
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Strategic Management (AREA)
- Human Resources & Organizations (AREA)
- Physics & Mathematics (AREA)
- General Health & Medical Sciences (AREA)
- Entrepreneurship & Innovation (AREA)
- Health & Medical Sciences (AREA)
- Computational Linguistics (AREA)
- Audiology, Speech & Language Pathology (AREA)
- Artificial Intelligence (AREA)
- General Engineering & Computer Science (AREA)
- Data Mining & Analysis (AREA)
- Economics (AREA)
- Marketing (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Tourism & Hospitality (AREA)
- General Business, Economics & Management (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
本发明涉及一种联锁表的检查及修正方法,包含以下步骤S1:定义文档路径,并打开日志记录文件,对其中待修正的各个联锁表进行路径区分;S2:对联锁表的名称、文件类型以及各页的名称做标准化处理;S3:对联锁表各页的单元格做基础处理;S4:对联锁表需要检查区段列表排序的单元格进行修正;S5:对联锁表需要检查参数的单元格按照参数规则特征定义检查并修正;S6:将检查修正后的联锁表文件保存并关闭,最后关闭日志文件。上述方案减少了人工检查和修正的时间、误判和遗漏问题,提高了工作效率;有利于解决自动化测试全无人参与流程的实施。
Description
技术领域
本发明涉及轨道交通数据修正领域,具体涉及一种联锁表的检查及修正的方法。
背景技术
城市轨道交通信号系统设备中的计算机联锁设备的主要作用是保证信号设备间的联锁逻辑关系的正确性,并能够完成进路的建立、解锁、取消等操作。它是城市轨道交通信号系统中的重要组成部分,关系到信号系统运行的安全性和高效性。联锁表是车站信号设备联锁关系的说明图表,用以明确给出车站联锁关系。计算机联锁系统的联锁逻辑是受联锁表制约的,可见联锁表是城市轨道交通中联锁逻辑关系正确的保证。
目前联锁表基本实现通过工具按照模板格式自动生成相应的表格,为联锁相关产品的自动化测试提供了有力的条件。但是因为联锁规则的多样性和大量城轨项目联锁相关接口和需求的特殊性,导致联锁表生成仍可能存在各种问题。一方面,联锁规则的多样性可能发生模板种类繁多而工具更新不及时而导致部分内容无法生成或生成者错误,另一方面接口和需求的特殊性可能导致在自动生成联锁表后仍然需要手动输入或者变更,这两方面很容易造成联锁表编写错误或者不规范影响下游输入。
在自动化测试平台中,城轨项目中联锁相关的数据测试都是基于ATS(AutomaticTrain Supervision,自动列车监控)站场图的UI交互自动化测试。首先,联锁表作为自动化测试的输入文件,检查修正应该尽可能少的避免人工参与。其次联锁表如果需要太多的人工检查和预处理,不仅会带来人工修改的问题:效率低下,出现诸如漏查漏改错改等问题,而且还会因为期间需要进行人工的参与影响测试自动化全无人流程的实现程度。
发明内容
为解决上述问题,本发明提供了一种联锁表的检查及修正的方法,具体包含以下步骤:
S1:定义文档路径,并打开日志记录文件,在文档路径下区分出待修正的联锁表位置;
S2:对联锁表的文件名称、文件类型以及各页的名称做标准化处理;
S3:对联锁表各页的单元格做基础处理;
S4:对联锁表需要检查区段列表排序的单元格进行修正;
S5:对联锁表需要检查参数的单元格按照参数规则特征定义检查并修正;
S6:将检查修正后的联锁表文件保存并关闭,最后关闭日志文件。
具体地,所述S2步骤包含以下内容:
S21:对联锁表的文件名称检查和修正,若名称最后存在空格,则删除;若文件名称中的词汇和数字之间、和/或词汇和词汇之间存在空格和/或横线,则均修改为单下划线;若文件名称中存在版本信息,则删除版本信息;
S22:对联锁表的文件类型修改,统一改为xlsx类型文件;
S23:检查联锁表中的各页的名称,若页名称中的词汇和词汇之间存在空格和/或横线,则均改为单下划线;若页名臣的最前和/或最后存在空格,则删除。如权利要求1所述的联锁表的检查及修正方法,其特征在于,所述S3步骤包含对各页关于联锁设备以及逻辑关系部分的单元格进行基础处理:将其中的中文逗号改为英文逗号,删除所述单元格里的所有空格。
具体地,所述S3步骤包含以下内容:对各页关于联锁设备以及逻辑关系部分的单元格进行基础处理,将其中的中文逗号改为英文逗号,去除所述单元格里的所有空格。
具体地,所述S4步骤包含以下内容:
S41:对进路表中进路内方区段列表进行检查,如果不是按照信号机方向进行正向排序,则进行重新排序;
S42:对接近区段表的接近区段列表进行检查,如果不是按照信号机方向进行反向排序,则进行重新排序。
具体地,所述S41步骤包含以下内容:
S411:在进路表中查询到进路内方区段的列号;
S412:提取进路的进路内方区段中列表,进行基础处理,即删除其中换行回车字符;
S413:对进路内方区段列表按照信号机同向排序进行检查,若顺序有误,则进行校正。
具体地,所述S42步骤包含以下内容:
S421:在接近区段表中查询到接近区段的列号;
S422:提取进信号机的接近区段列表,进行基础处理,即分拆道岔位置的前缀条件以及删除其中的换行回车字符;
S423:对接近区段列表按照信号机反向排序进行检查,若顺序有误,则进行校正。
具体地,所述S5步骤中包含以下内容:
S51:对自动折返表的单元格格式和内容进行检查和修正,
S52:对进路信号机表信号机开放的其他条件进行检查,若有错误则改正。
具体地,所述S51步骤包含以下内容:
S511:查询自动折返表的合并单元格信息,对于列表中的纵向合并单元格进行提取,然后进行拆分,填写信息与第一个单元格相同;
S512:查询自动折返表的进路类型列号、全自动折返标识列号、全自动折返中的优先进路标识列、折返区段列号、备注列号;
S513:如果未找到全自动折返标识列号和/或全自动折返中的优先进路标识列号,则根据标识列排序插入新列,并在新列中填入相应的标题以及初始化新列中的单元格格式;
S514:如果存在插入的新列全自动折返标识列和/或全自动折返中的优先进路标识列的情况,根据自动折返表的名称和相关进路来判断全自动折返标识列和/或全自动折返中的优先进路标识列的值,并填入,并检查进路类型是否正确,若有错误则改正;
S515:如果没有插入新的全自动折返标识列和/或全自动折返中的优先进路标识列的情况,那么仅需要检查进路类型类、全自动折返标识列和全自动折返中的优先进路标识列的值是否正确,若有错误则改正。
具体地,所述S52步骤包含以下内容:
S521:在进路信号机表查询Non CBTC的OtherConditions列号;
S522:在进路信号机表根据信号机得到Non CBTC的OtherConditions值,首先对其进行基础处理,删除回车换行符,然后检查其中的“ESP”、“ESB”、“PSD”、“KC”等字符前是否有横线,若有则替换为下划线,检查这些字符后是否有英文的逗号,若没有则加上,最后检查Overlap条件“O_”,检查字符前是否有英文的逗号,若没有则加上。
本发明具有以下有益效果:
1、上述方案设计了联锁表自动化检查和修正的方法,大大减少了人工检查和修正的时间,同时避免了人工检查修正时出现的误判和遗漏问题,提高了工作效率;
2、上述方案不仅参考联锁表生成时的输入文件,还在其基础上结合站场图设备坐标、参数规则特征定义等来检查联锁表内容,对于联锁表全自动生验证供一种思路;
3、上述方案有力保证了自动化测试输入文件联锁表的输入标准化工作,有利于解决自动化测试全无人参与流程的实施。
附图说明
图1为本发明的联锁表检查及修正的设计思路图;
图2为本发明的联锁表检查及修正的流程图。
具体实施方式
以下结合附图和具体实施方式对本发明提出的一种联锁表的检查及修正方法作进一步详细说明。
如图1和图2所示,本发明提供的联锁表的检查及修正方法包含以下步骤:
S1:定义文档路径,并打开日志记录文件,在文档路径区分出联锁表文件位置;
S11:定义文档路径;
S12:打开日志记录文件,在文档路径中区分出联锁表文件;
S13:根据联锁表的位置,从文档路径下区分出项目待检查修正的若干联锁表Control_Table,项目参数配置文件ConfigFile,含有ATS站场图导出设备信息文件TLE(包含设备类型和坐标等)。
S2:对各个联锁表的名称、类型以及各个sheet页的名称做标准化处理;
S21:对联锁表的文件名称检查和修正,若文件名称最后存在空格,则删除;若文件名称中的词汇和数字之间、和/或词汇和词汇之间存在空格和/或横线,则均修改为单下划线;若文件名称中存在版本信息,则删除版本信息;
S22:对联锁表的文件类型检查和修正,若文件类型不是xlsx类型,而是例如xls、xlsm、csv类型等,则统一将文件类型修改为xlsx类型;
S23:对联锁表中的各sheet页的名称检查和修正,若sheet页名称中的词汇和词汇之间存在空格和/或横线,则均修改为单下划线;若sheet页名称的最前和/或最后存在空格,则删除。
S3:对联锁表各个sheet页中的联锁设备单元格和逻辑关系单元格做基础处理:将其中的中文逗号“,”改为英文逗号“,”,删除每个单元格里的所有空格。
S4:对联锁表中需要检查区段列表排序的单元格进行修正,具体包含以下内容:
S41:对Route_List_进路表中进路内方区段列表进行检查,如果不是按照信号机方向进行正向排序,则进行重新排序;包含以下内容:
S411:在Route_List_进路表中查询到进路内方区段的列号;
S412:提取进路内方区段列表,进行基础处理,即删除其中的换行回车字符;
S413:对进路内方区段列表按照信号机同向排序进行检查,若顺序有误,则通过校正进行重新排序。具体的,对进路内方区段进行同向检查,以两个区段为例,首选判断区段所在联锁站,若不在同一个联锁站,比较联锁站即可,若在同一个联锁站,需要根据TLE站场图中的坐标进行位置比对,从而进行排序。
S42:对Approach_Section接近区段表中的接近区段列表进行检查,如果不是按照信号机方向进行反向排序,则进行重新排序,包含以下内容:
S421:在Approach_Section接近区段表中查询到接近区段的列号;
S422:提取信号机的接近区段列表,进行基础处理,即分拆道岔位置的前缀条件以及删除其中的换行回车字符,分拆道岔位置具体为提取出“<”和“>”之间的字符串;
S423:对接近区段列表按照信号机反向排序进行检查,若顺序有误,则通过校正进行重新排序。具体的,对信号机接近区段进行反向检查,以两个区段为例,首选判断区段所在联锁站,若不在同一个联锁站,比较联锁站即可,若在同一个联锁站,需要根据TLE站场图中的坐标进行位置比对,从而进行排序。
S5:对联锁表中需要检查参数的单元格按照参数规则特征定义检查并修正,包括以下内容:
S51:对Cycle_自动折返表的单元格格式和内容进行检查和修正,具体地包含以下内容:
S511:查询Cycle_自动折返表的合并单元格信息,对于列表中的纵向合并单元格进行提取,然后进行拆分,拆分后的单元格内容与之前合并的单元格内容相同;
S512:查询Cycle_自动折返表的进路类型列号、全自动折返标识列号、全自动折返中的优先进路标识列号、折返区段列号、备注列号;
S513:如果全自动折返标识列号和全自动折返中的优先进路标识列号中的任意一个未找到或者两个均未找到,则根据标识列排序插入新列,填入缺失的相应列的标题,初始化该列的单元格的格式;
S514:如果存在插入新的全自动折返标识列和/或全自动折返中的优先进路标识列的情况,根据Cycle_自动折返表的名称和相关进路情况来判断全自动折返标识列和/或全自动折返中的优先进路标识列的值,并填入,并检查进路类型是否正确,若有错误则改正。
判断依据是:
(1)如果Cycle_自动折返表含有进路2条,那么全自动折返列填入“N”,全自动折返中的优先进路列填入“NA”,两条进路类型分别为“EZ”和“OJ”。
(2)如果Cycle_自动折返表含有进路4条,如果第1条和第3条进路的始端信号机相同,则全自动折返列填入“Y”,否则填入“N”;
如果全自动折返是“Y”,需要找出第1条进路和第2条进路还是第3条进路和第4条进路是优先进路(第2条进路跟第1条进路一样,第3条进路跟第4条进路一样四条)。根据优先进路的定义,需要判断第1条进路和第3条进路中哪个的末端信号机离初始信号机较远,对应就是进入折返区段时走的道岔反位,从而便是优先进路,全自动折返中的优先进路标识列填入“Y”,否则填入“N”。进路类型分别是“EZ”、“OJ”、“EZ”和“OJ”;
如果全自动折返是“N”,那么全自动折返列填入“N”,全自动折返中的优先进路列填入“NA”。进路路类型分别是“EZ”、“OZ”、“EZ”和“OJ”。
S515:如果没有插入新的全自动折返标识列和/或全自动折返中的优先进路标识列的情况,那么仅需要检查进路类型、全自动折返标识列和全自动折返中的优先进路标识列的值是否正确,若有错误则改正。
检查依据是:
(1)如果Cycle_自动折返表含有进路2条,那么检查全自动折返列是否填入“N”,全自动折返中的优先进路列是否填入“NA”,两条进路类型是否分别为“EZ”和“OJ”,若有错误则改正。
(2)如果Cycle含有进路4条,那么检查全自动折返列是否含有“Y”;
如果全自动折返是“Y”,那么就检查全自动折返列是否填入“Y”,全自动折返中的优先进路列是否填入“Y”和“N”,若有错误则改正。检查进路类型分别是“EZ”、“OJ”、“EZ”和“OJ”,若有错误则改正;
对于其中的全自动折返中的优先进路列是填入“Y”还是填入“N”,则需要判断第1条进路和第3条进路的末端信号机离初始信号机哪个较远,对应的就是进入折返区段时走的道岔反位,从而使优先进路,全自动折返中的优先进路标识列填入“Y”,否则填入“N”,第2条进路跟第1条进路一样,第3条进路跟第4条进路一样。
如果全自动折返是“N”,那么检查全自动折返列是否填入“N”,全自动折返中的优先进路列填入“NA”,若有错误则改正。进路类型分别是“EZ”、“OZ”、“EZ”和“OJ”,若有错误则改正。
S52:对Route_Signal_进路信号机表中的信号机开放的其他条件进行检查,若有错误则改正。
S521:在Route_Signal_进路信号机表中查询Non CBTC(非基于通信的列车控制,Non Communication-Based Train Control)的OtherConditions(其它条件)列号;
S522:在Route_Signal_进路信号机表中根据信号机得到NonCBTC的OtherConditions值,首先对其进行基础处理,删除其中的回车换行符,然后检查其中的“ESP”、“ESB”、“PSD”、“KC”等字符前是否有横线,若有则替换为下划线,检查这些字符后是否有英文的逗号,若没有则加上,最后检查Overlap(保护区段)条件“O_”,检查字符前是否有逗号,若没有则加上。
S6:将检查修正后的联锁表保存并关闭,最后关闭日志文件。
本发明具有以下有益效果:
1、上述方案设计了联锁表自动化检查和修正的方法,大大减少了人工检查和修正的时间,同时避免了人工检查修正时出现的误判和遗漏问题,提高了工作效率;
2、上述方案不仅参考联锁表生成时的输入文件,还在其基础上结合站场图设备坐标、参数规则特征定义等来检查联锁表内容,对于联锁表全自动生验证供一种思路;
3、上述方案有力保证了自动化测试输入文件联锁表的输入标准化工作,有利于解决自动化测试全无人参与流程的实施。
尽管本发明的内容已经通过上述优选实施例作了详细介绍,但应当认识到上述的描述不应被认为是对本发明的限制。在本领域技术人员阅读了上述内容后,对于本发明的多种修改和替代都将是显而易见的。因此,本发明的保护范围应由所附的权利要求来限定。
Claims (9)
1.一种联锁表的检查及修正方法,其特征在于,包含以下步骤:
S1:定义文档路径,并打开日志记录文件,在文档路径下区分出待修正的联锁表位置;
S2:对联锁表的文件名称、文件类型以及各页的名称做标准化处理;
S3:对联锁表各页的单元格做基础处理;
S4:对联锁表需要检查区段列表排序的单元格进行修正;
S5:对联锁表需要检查参数的单元格按照参数规则特征定义检查并修正;
S6:将检查修正后的联锁表文件保存并关闭,最后关闭日志文件。
2.如权利要求1所述的联锁表的检查及修正方法,其特征在于,所述S2步骤包含以下内容:
S21:对联锁表的文件名称检查和修正,若名称最后存在空格,则删除;若文件名称中的词汇和数字之间、和/或词汇和词汇之间存在空格和/或横线,则均修改为单下划线;若文件名称中存在版本信息,则删除版本信息;
S22:对联锁表的文件类型修改,统一改为xlsx类型文件;
S23:检查联锁表中的各页的名称,若页名称中的词汇和词汇之间存在空格和/或横线,则均改为单下划线;若页名臣的最前和/或最后存在空格,则删除。
3.如权利要求1所述的联锁表的检查及修正方法,其特征在于,所述S3步骤包含对各页关于联锁设备以及逻辑关系部分的单元格进行基础处理:将其中的中文逗号改为英文逗号,删除所述单元格里的所有空格。
4.如权利要求1所述的联锁表的检查及修正方法,其特征在于,所述S4步骤包含以下内容:
S41:对进路表中进路内方区段列表进行检查,如果不是按照信号机方向进行正向排序,则进行重新排序;
S42:对接近区段表的接近区段列表进行检查,如果不是按照信号机方向进行反向排序,则进行重新排序。
5.如权利要求4所述的联锁表的检查及修正方法,其特征在于,所述S41步骤包含以下内容:
S411:在进路表中查询到进路内方区段的列号;
S412:提取进路的进路内方区段中列表,进行基础处理,即删除其中换行回车字符;
S413:对进路内方区段列表按照信号机同向排序进行检查,若顺序有误,则进行校正。
6.如权利要求4所述的联锁表的检查及修正方法,其特征在于,所述S42步骤包含以下内容:
S421:在接近区段表中查询到接近区段的列号;
S422:提取进信号机的接近区段列表,进行基础处理,即分拆道岔位置的前缀条件以及删除其中的换行回车字符;
S423:对接近区段列表按照信号机反向排序进行检查,若顺序有误,则进行校正。
7.如权利要求1所述的联锁表的检查及修正方法,其特征在于,所述S5步骤中包含以下内容:
S51:对自动折返表的单元格格式和内容进行检查和修正,
S52:对进路信号机表信号机开放的其他条件进行检查,若有错误则改正。
8.如权利要求7所述的联锁表的检查及修正方法,其特征在于,所述S51步骤包含以下内容:
S511:查询自动折返表的合并单元格信息,对于列表中的纵向合并单元格进行提取,然后进行拆分,填写信息与第一个单元格相同;
S512:查询自动折返表的进路类型列号、全自动折返标识列号、全自动折返中的优先进路标识列、折返区段列号、备注列号;
S513:如果未找到全自动折返标识列号和/或全自动折返中的优先进路标识列号,则根据标识列排序插入新列,并在新列中填入相应的标题以及初始化新列中的单元格格式;
S514:如果存在插入的新列全自动折返标识列和/或全自动折返中的优先进路标识列的情况,根据自动折返表的名称和相关进路来判断全自动折返标识列和/或全自动折返中的优先进路标识列的值,并填入,并检查进路类型是否正确,若有错误则改正;
S515:如果没有插入新的全自动折返标识列和/或全自动折返中的优先进路标识列的情况,那么仅需要检查进路类型类、全自动折返标识列和全自动折返中的优先进路标识列的值是否正确,若有错误则改正。
9.如权利要求7所述的联锁表的检查及修正方法,其特征在于,所述S52步骤包含以下内容:
S521:在进路信号机表查询Non CBTC的OtherConditions列号;
S522:在进路信号机表根据信号机得到Non CBTC的OtherConditions值,首先对其进行基础处理,删除回车换行符,然后检查其中的“ESP”、“ESB”、“PSD”、“KC”等字符前是否有横线,若有则替换为下划线,检查这些字符后是否有英文的逗号,若没有则加上,最后检查Overlap条件“O_”,检查字符前是否有英文的逗号,若没有则加上。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111319678.2A CN114021530A (zh) | 2021-11-09 | 2021-11-09 | 一种联锁表的检查及修正的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111319678.2A CN114021530A (zh) | 2021-11-09 | 2021-11-09 | 一种联锁表的检查及修正的方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN114021530A true CN114021530A (zh) | 2022-02-08 |
Family
ID=80062869
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202111319678.2A Pending CN114021530A (zh) | 2021-11-09 | 2021-11-09 | 一种联锁表的检查及修正的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN114021530A (zh) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114954578A (zh) * | 2022-05-31 | 2022-08-30 | 通号城市轨道交通技术有限公司 | 折返进路表自动生成方法及系统 |
CN115092215A (zh) * | 2022-05-24 | 2022-09-23 | 卡斯柯信号有限公司 | 一种基于连接关系的交路检查方法 |
-
2021
- 2021-11-09 CN CN202111319678.2A patent/CN114021530A/zh active Pending
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115092215A (zh) * | 2022-05-24 | 2022-09-23 | 卡斯柯信号有限公司 | 一种基于连接关系的交路检查方法 |
CN114954578A (zh) * | 2022-05-31 | 2022-08-30 | 通号城市轨道交通技术有限公司 | 折返进路表自动生成方法及系统 |
CN114954578B (zh) * | 2022-05-31 | 2024-04-19 | 通号城市轨道交通技术有限公司 | 折返进路表自动生成方法及系统 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN114021530A (zh) | 一种联锁表的检查及修正的方法 | |
EP4095676A1 (en) | Safe interlocking data conversion method for formal verification and translator | |
US20200175211A1 (en) | Method of automatically recognizing and classifying design information in imaged pid drawing and method of automatically creating intelligent pid drawing using design information stored in database | |
CN105653517A (zh) | 一种识别率确定方法及装置 | |
JP2007073044A (ja) | Pdf変換器用テキスト修正 | |
CN101876965A (zh) | 用于对文本进行处理的方法和系统 | |
CN106355673B (zh) | 一种机载防撞系统故障记录系统及故障记录解码系统 | |
CN103049458A (zh) | 一种修正用户词库的方法和系统 | |
CN110674876A (zh) | 一种字符检测方法、装置、电子设备及计算机可读介质 | |
CN110688243A (zh) | 一种列控中心工程数据表自动检查工具的检查方法 | |
CN115481396A (zh) | Nc代码异常检测方法、装置、设备及存储介质 | |
CN110929309A (zh) | 城轨信号系统中保护区段列表文档的自动验证方法 | |
CN103679140A (zh) | 列车车号修正算法 | |
CN103793734A (zh) | 一种二维码分段校验方法 | |
CN113682351A (zh) | 联锁数据测试方法及系统 | |
CN106095663B (zh) | 基于切片模型的程序回归错误定位方法 | |
CN107577482A (zh) | 软件语种的自动转换方法和装置 | |
CN104615510A (zh) | 基于可编程器件的双模冗余容错方法 | |
US20240220392A1 (en) | Interlocking data safe conversion method for formal verification and translator | |
CN113895484A (zh) | 一种用于车站联锁表校准核对的方法、系统及工具 | |
CN111585664A (zh) | 应答器有源报文校核系统 | |
CN114802368B (zh) | 联锁系统的设备控制方法、系统、装置、设备和存储介质 | |
CN116142253B (zh) | 一种码位表生成方法及装置 | |
CN109933049B (zh) | 一种电力调度日志故障分类方法及系统 | |
CN110228508A (zh) | 列车过车报文异常检测方法及检测装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination |