CN114818326A - 城市轨道交通电子地图的验证方法及装置 - Google Patents

城市轨道交通电子地图的验证方法及装置 Download PDF

Info

Publication number
CN114818326A
CN114818326A CN202210449058.9A CN202210449058A CN114818326A CN 114818326 A CN114818326 A CN 114818326A CN 202210449058 A CN202210449058 A CN 202210449058A CN 114818326 A CN114818326 A CN 114818326A
Authority
CN
China
Prior art keywords
data
electronic map
verification
target
target electronic
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
Application number
CN202210449058.9A
Other languages
English (en)
Inventor
丁奕
熊玉姣
朱海霞
毛新德
谷宇
麻吉泉
张强
熊伟
申思
牛莹
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shandong Traffic Control Technology Co ltd
Original Assignee
Shandong Traffic Control Technology Co ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Shandong Traffic Control Technology Co ltd filed Critical Shandong Traffic Control Technology Co ltd
Priority to CN202210449058.9A priority Critical patent/CN114818326A/zh
Publication of CN114818326A publication Critical patent/CN114818326A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/20—Design optimisation, verification or simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/29—Geographical information databases
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/18—Complex mathematical operations for evaluating statistical data, e.g. average values, frequency distributions, probability functions, regression analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
    • G06F2119/02—Reliability analysis or reliability optimisation; Failure analysis, e.g. worst case scenario performance, failure mode and effects analysis [FMEA]

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • General Engineering & Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Mathematical Physics (AREA)
  • Pure & Applied Mathematics (AREA)
  • Mathematical Optimization (AREA)
  • Mathematical Analysis (AREA)
  • Computational Mathematics (AREA)
  • Bioinformatics & Cheminformatics (AREA)
  • Bioinformatics & Computational Biology (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Evolutionary Biology (AREA)
  • Remote Sensing (AREA)
  • Geometry (AREA)
  • Operations Research (AREA)
  • Probability & Statistics with Applications (AREA)
  • Evolutionary Computation (AREA)
  • Algebra (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

本发明提供一种城市轨道交通电子地图的验证方法及装置，该方法包括：获取目标电子地图，从目标电子地图中抽取出各类数据；对各类数据进行合法性验证，得到目标电子地图的合法性验证结果；在目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，根据数据模型中的参数，计算各类数据中各目标数据的理论值；根据各目标数据的理论值，对目标电子地图中的各目标数据进行准确性验证，得到目标电子地图的准确性验证结果；根据合法性验证结果和准确性验证结果，输出目标电子地图的最终验证结果。本发明实现减少人工验证带来的额外工作量，降低验证的错误率和漏检率，以对电子地图数据进行快速准确地验证。

Description

城市轨道交通电子地图的验证方法及装置
技术领域
本发明涉及城市轨道交通技术领域，尤其涉及一种城市轨道交通电子地图的验证方法及装置。
背景技术
城市轨道交通各子系统间传输的信息量巨大，而数据与系统功能的实现是息息相关的，关系到功能的安全实现，因此系统中的数据安全是保证行车安全的一个重要环节。
现有的技术，通常采用人工测试的方式，对城市轨道交通电子地图数据中的产品配置数据以及产品配置数据与线路数据之间的依赖关系等数据进行验证。
但是，通常这部分数据量较大，人工测试很容易出现疏漏或者覆盖不完全的情况，而此部分数据验证人员也只能通过人工验证的方法对数据以及测试结果检查，验证效率低，容易出现疏漏，而这部分数据往往关系到城市轨道交通系统的安全。因此，此部分数据验证不准确，很难保障城市轨道交通系统的安全。
综上所述，现有的人工验证电子地图中的产品配置数据以及产品配置数据与线路数据之间的依赖关系等数据时，存在验证效率低，且容易出现验证疏漏，导致验证结果不准确的问题。
发明内容
本发明提供一种城市轨道交通电子地图的验证方法及装置，用以解决现有技术中人工验证电子地图数据的验证效率低，且验证结果不准确的缺陷，实现对电子地图数据进行快速准确地验证。
本发明提供一种城市轨道交通电子地图的验证方法，包括：
获取目标电子地图，并从所述目标电子地图中抽取出各类数据；
对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；
在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；
根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；
根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述数据模型包括车载动力学模型、通信模型和取值模型；
其中，所述车载动力学模型的参数是，根据所述目标电子地图中的车辆参数、坡度数据和限速数据构建生成的；
所述通信模型的参数是，根据所述目标电子地图中各产品的通信时间构建生成的；
所述取值模型的参数是预先设定的。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述车辆参数包括牵引切断延时、旋转质量系数、紧急制动建立等效时间、最大加速度、最大紧急制动率、最小紧急制动率、紧急制动最大速度、最大退行速度、紧急制动加速度和列车第一轮对到车尖的距离；
所述坡度数据包括最大坡度、最小坡度、正线坡度和车辆段坡度；
所述限速数据包括静态限速和道岔限速；
所述产品包括车载控制器、区域控制器、计算机联锁系统、列车自动监控系统；
所述取值模型包括第一取值模型和第二取值模型；
所述第一取值模型包括道岔到警冲标的距离、牵引切断速度与紧急制动速度间隔、最大逻辑区段数量、紧急制动最高触发速度；
所述第二取值模型包括司机反应时间、地面电子单元的处理周期、地面电子单元和应答器之间的传输时延、应答器和车载控制器之间的传输时延和应答器信息接收单元的处理周期。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述目标数据包括退行距离；
所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：
根据所述数据模型中的牵引切断延时、紧急制动建立等效时间、最大加速度、最大坡度、旋转质量系数和紧急制动加速度，计算所述退行距离对应的第一系数；
根据所述数据模型中的最大加速度、最大坡度、旋转质量系数、牵引切断延时、紧急制动建立等效时间和紧急制动加速度，计算所述退行距离对应的第二系数；
根据所述数据模型中的最大退行速度、紧急制动加速度、最大坡度和旋转质量系数，以及所述退行距离对应的第一系数和第二系数，计算所述退行距离的理论值。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述目标数据包括移动授权余量；
所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：
根据所述退行距离的理论值和所述数据模型中的列车第一轮对到车尖的距离，计算所述移动授权余量的理论值。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述目标数据包括延时解锁时间；
所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：
根据所述数据模型中的紧急制动最高触发速度、紧急制动加速度、最大坡度、旋转质量系数以及各产品的通信时间，计算得到各产品的延时解锁时间的理论值。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果，包括：
在各类数据对应的数据验证单元中，查找各类数据对应的参考信息，并将各类数据与所述参考信息进行比较；
根据比较结果，获取所述目标电子地图的合法性验证结果。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述目标电子地图包括产品配置类数据；
所述在各类数据对应的数据验证单元中，查找各类数据对应的参考信息，并将各类数据与所述参考信息进行比较，包括：
对于所述产品配置类数据中的枚举型数据，在所述产品配置类数据对应的数据验证单元中查找所述枚举型数据对应的第一参考信息；
将所述枚举型数据的属性信息与所述第一参考信息中的属性信息进行比较，以及将所述枚举型数据的真实值与所述第一参考信息中参考取值范围内的每一参考值进行比较；
对于所述产品配置类数据中的数值型数据，在所述产品配置类数据对应的数据验证单元中查找所述数值型数据对应的第二参考信息；
将所述数值型数据的属性信息与所述第二参考信息中的属性信息进行比较，以及将所述数值型数据的真实值与所述第二参考信息中参考取值范围内的最小值和最大值进行比较。
根据本发明提供的一种城市轨道交通电子地图的验证方法，所述根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果，包括：
根据所述合法性验证结果和准确性验证结果，确定未通过所述合法性验证和/或准确性验证的异常数据，并对所述异常数据进行标记；
根据所述异常数据的相关信息，输出所述目标电子地图的最终验证结果；其中，所述相关信息包括标记信息、真实值、理论值、所属数据类型和数据名称中的一种或多种组合。
本发明还提供一种城市轨道交通电子地图的验证装置，包括：
数据提取模块，用于：获取目标电子地图，并从所述目标电子地图中抽取出各类数据；
结构验证模块，用于：对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；
计算模块，用于：在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；
功能验证模块，用于：根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；
输出模块，用于：根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
本发明还提供一种电子设备，包括存储器、处理器及存储在存储器上并可在处理器上运行的计算机程序，所述处理器执行所述程序时实现如上述任一种所述城市轨道交通电子地图的验证方法。
本发明还提供一种非暂态计算机可读存储介质，其上存储有计算机程序，该计算机程序被处理器执行时实现如上述任一种所述城市轨道交通电子地图的验证方法。
本发明还提供一种计算机程序产品，包括计算机程序，所述计算机程序被处理器执行时实现如上述任一种所述城市轨道交通电子地图的验证方法。
本发明提供的城市轨道交通电子地图的验证方法及装置，通过首先对目标电子地图中各类数据的合法性进行验证，得到目标电子地图的合法性验证结果，以对目标电子地图进行初步筛选，提高验证效率；然后，在目标电子地图通过合法性验证的情况下，对各类数据对应的依赖关系构建数据模型，通过数据模型的参数，计算目标电子地图中各目标数据的理论值，以对目标电子地图的各目标数据的取值的准确性进行验证；最终，联合目标电子地图的合法性验证结果和准确性验证结果，自动准确地得到目标电子地图的最终验证结果，一方面整个验证过程均在线上自动完成，且可覆盖到电子地图中的各类数据，有效减少人工验证带来的额外工作量，降低验证的错误率和漏检率；另一方面，联合目标电子地图的合法性验证结果和准确性验证结果，可提高验证结果的准确性，便于快速定位错误数据，而且能够提供各数据的理论值，以便验证人员快速定位错误数据，进一步提高电子地图数据的验证效率。
附图说明
为了更清楚地说明本发明或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作一简单地介绍，显而易见地，下面描述中的附图是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
图1是本发明提供的城市轨道交通电子地图的验证方法的流程示意图之一；
图2是本发明提供的城市轨道交通电子地图的验证方法的流程示意图之二；
图3是本发明提供的城市轨道交通电子地图的验证方法的流程示意图之三；
图4是本发明提供的城市轨道交通电子地图的验证方法的流程示意图之四；
图5是本发明提供的城市轨道交通电子地图的验证方法的流程示意图之五；
图6是本发明提供的城市轨道交通电子地图的验证方法的流程示意图之六；
图7是本发明提供的城市轨道交通电子地图的验证装置的结构示意图；
图8是本发明提供的电子设备的结构示意图。
具体实施方式
为使本发明的目的、技术方案和优点更加清楚，下面将结合本发明中的附图，对本发明中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
对于像城市轨道交通这类数据驱动的系统，其安全性依赖于数据的安全性，数据是影响系统安全的一个重要环节。现有技术仅能采用工具验证线路数据，而对电子地图中没有具体依赖关系的数据，如产品配置数据、以及产品配置数据与线路数据之间的关系数据，通常采用人工测试的方式对其进行验证。这类数据在城市轨道交通电子地图数据中所占的比例很大。若通过人工对其进行一一验证测试，则验证效率很低，且很容易出现疏漏或者覆盖不完全的情况；另外，现有技术中仅能对电子地图数据中的有效性进行验证，即验证数据是否在有效范围内，无法对数据的取值的正确性进行验证。无法针对数据在有效范围内，而取值出现错误的数据进行验证，导致验证结果不准确。
为了提高电子地图数据验证的完整性、高效性和准确性，本实施例提出一种城市轨道交通电子地图的验证方法，根据目标电子地图中各数据之间的依赖关系，从电子地图中抽取出各类数据，并对各类数据的合法性进行验证，得到目标电子地图的合法性验证结果；并计算目标电子地图中各目标数据的理论值，并将目标电子地图中获取的各目标数据的真实值与理论值进行比较和验证，得到目标电子地图的准确性验证结果；最终，根据合法性验证结果和准确性验证结果，自动输出目标电子地图的最终验证结果。整个验证过程均在线上自动完成，不仅能够减少人工验证的工作量，降低验证的错误率，快速定位错误数据，而且能够提供各数据的理论值，方便验证人员定位错误数据，并为参数处理错误数据提供参考。
需要说明的是，该方法的执行主体可以是城市轨道交通系统中的电子设备、电子设备中的部件、集成电路、或芯片等。该电子设备可以是移动电子设备，也可以为非移动电子设备，本申请对此不做具体限定。
下面结合图1描述本申请的城市轨道交通电子地图的验证方法，该方法包括：
步骤101，获取目标电子地图，并从所述目标电子地图中抽取出各类数据；
其中，目标电子地图为需要进行数据验证的电子地图。
目标电子地图中的数据类型包括但不限于产品配置类数据和工程线路类数据等，本实施例对此不做具体地限定。
可选地，可以根据目标电子地图中各数据之间的依赖关系，将数据按照不同的类型抽取出来，得到各类数据；并将各类数据按照不同的方式分别进行存储。
步骤102，对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；
其中，参考范围用于为数据的合法性验证提供参考，包括但不限于数据的名称、标识、取值的参考范围等，本实施例对此不做具体地限定。
合法性验证是电子地图的验证方法中较为基础的部分，用于对各类数据的合法性进行优先检查，以提高电子地图整体验证的效率。
可选地，将各类数据中的每一数据与其对应的参考范围进行比较，验证每一数据是否在参考范围内。
若任一数据在参考范围内，则表征该数据通过合法性验证；若该数据不在参考范围内，则表征该数据未通过合法性验证。
步骤103，在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；
其中，目标数据为各类数据中需要进行理论值计算的数据，包括但不限于产品配置类数据中的移动授权余量、退行距离和延时解锁时间等，本实施例对此不作具体地限定。
如图2所述，在得到目标电子地图的合法性验证结果之后，确认各类数据是否均通过合法性验证，若任一类数据未通过合法性验证，则根据合法性验证结果，直接输出目标电子地图的最终验证结果。
若所有类数据均通过合法性验证的情况下，继续对目标电子地图的准确性进行验证，以确保验证结果的准确性和可靠性。
其中，数据模型用于表征目标电子地图中各类数据之间的依赖关系。
可选地，根据各类数据之间的依赖关系，构建数据模型，并从目标电子地图中抽取数据模型所需的参数。
例如，根据产品配置类数据之间、产品配置类数据与工程线路类数据之间的依赖关系，构建数据模型；并从目标电子地图中抽取出数据模型所需的产品配置类数据和工程线路类数据作为数据模型的参数。
然后，根据数据模型的参数，以及各参数之间的依赖关系，对各类数据中的各目标数据的取值进行推导，得到各目标数据的理论值。
步骤104，根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；
其中，各目标数据的真实值是从目标电子地图中抽取的；各目标数据的理论值是根据数据模型的参数推导获取的。
可选地，在得到各目标数据的理论值后，可以将各目标数据的理论值与目标电子地图中各目标数据的真实值进行比较，判断各目标数据的理论值是否与真实值一致，以对目标电子地图中各目标数据进行准确性验证，得到目标电子地图的准确性验证结果。
可选地，对于目标电子地图中的每一目标数据，在该目标数据的理论值与真实值一致的情况下，表征该目标数据在目标电子地图中的取值正确，通过验证；在该目标数据的理论值与真实值不一致的情况下，表征该目标数据在目标电子地图中的取值错误，未通过验证。
最后，综合目标电子地图中所有目标数据的准确性验证结果，得到目标电子地图的准确性验证结果。
可选地，在目标电子地图中所有目标数据均通过准确性验证的情况下，确定目标电子地图通过准确性验证；在目标电子地图中任一目标数据未通过准确性验证的情况下，确定目标电子地图未通过准确性验证。
步骤105，根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
可选地，在获取到目标电子地图的合法性验证结果和准确性验证结果之后，联合目标电子地图的合法性验证结果和准确性验证结果对目标电子地图的数据进行综合评价，得到最终验证结果。
可选地，在目标电子地图既通过合法性验证，又通过准确性验证的情况下，确定目标电子地图的最终验证结果为通过验证；
在目标电子地图未通过合法性验证，和/或未通过准确性验证的情况下，确定目标电子地图的最终验证结果为未通过验证。
然后，输出目标电子地图的最终验证结果，最终验证结果包括合法性验证结果、准确性验证结果，以及未通过验证的数据的名称、参考范围和理论值等，本实施例对此不做具体地限定。
本实施例首先对目标电子地图中各类数据的合法性进行验证，得到目标电子地图的合法性验证结果，以对目标电子地图进行初步筛选，提高验证效率；然后，在目标电子地图通过合法性验证的情况下，对各类数据对应的依赖关系构建数据模型，通过数据模型的参数，计算目标电子地图中各目标数据的理论值，以对目标电子地图的各目标数据的取值的准确性进行验证；最终，联合目标电子地图的合法性验证结果和准确性验证结果，自动准确地得到目标电子地图的最终验证结果，一方面整个验证过程均在线上自动完成，且可覆盖到电子地图中的各类数据，有效减少人工验证带来的额外工作量，降低验证的错误率和漏检率；另一方面，联合目标电子地图的合法性验证结果和准确性验证结果，可提高验证结果的准确性，便于快速定位错误数据，而且能够提供各数据的理论值，以便验证人员快速定位错误数据，进一步提高电子地图数据的验证效率。
在上述实施例的基础上，本实施例中所述数据模型包括车载动力学模型、通信模型和取值模型；
其中，所述车载动力学模型的参数是，根据所述目标电子地图中的车辆参数、坡度数据和限速数据构建生成的；所述通信模型的参数是，根据所述目标电子地图中各产品的通信时间构建生成的；所述取值模型的参数是预先设定的。
其中，车载动力学模型是基于目标电子地图中的车辆参数、坡度数据和限速数据构建生成的，具体可表示为VM＝{Pv，Pg，Ps，EM}；其中，Pv表示目标电子地图中产品配置类数据中的车辆参数；Pg表示目标电子地图中工程线路类数据中的坡度数据；Ps表示目标电子地图中工程线路类数据中的限速数据；EM表示城市轨道交通中预先构建的取值模型，包括但不限于可根据经验进行取值的参数和可根据行业标准进行取值的参数。
车辆参数为车辆运行过程中的参数，包括但不限于牵引参数、制动参数、速度参数和距离参数；
本实施例中各数据模型可以准确地表征各类数据之间的依赖关系，在考虑各类数据之间的依赖关系的基础上，利用数据模型对目标电子地图进行验证，使得验证结果更加可靠和准确。
在上述实施例的基础上，本实施例中所述车辆参数包括牵引切断延时、旋转质量系数、紧急制动建立等效时间、最大加速度、最大紧急制动率、最小紧急制动率、紧急制动最大速度、最大退行速度、紧急制动加速度和列车第一轮对到车尖的距离；所述坡度数据包括最大坡度、最小坡度、正线坡度和车辆段坡度；所述限速数据包括静态限速和道岔限速；所述产品包括车载控制器、区域控制器、计算机联锁系统、列车自动监控系统；所述取值模型包括第一取值模型和第二取值模型；所述第一取值模型包括道岔到警冲标的距离、牵引切断速度与紧急制动速度间隔、最大逻辑区段数量、紧急制动最高触发速度；所述第二取值模型包括司机反应时间、地面电子单元的处理周期、地面电子单元和应答器之间的传输时延、应答器和车载控制器之间的传输时延和应答器信息接收单元的处理周期。
其中，通信模型可表征为CV＝{TVOBC，TZC，TCI，TATS}；其中，TVOBC为车载控制器VOBC的通信时间、TZC为区域控制器ZC的通信时间，TCI为计算机联锁系统CI的通信时间，TATS为列车自动监控系统ATS的通信时间。
其中，第一取值模型的参数为可根据经验进行取值的参数；第二取值模型的参数为可根据行业标准进行取值的参数。
取值模型可表征为EM＝{Pt，Pe}；其中，Pt代表根据行业标准进行取值的参数，即特定限制要求的数据，包括不限于：道岔到警冲标的距离、牵引切断速度与紧急制动(简称，EBI)速度间隔、最大逻辑区段数量、紧急制动最高触发速度，Pe代表可根据经验进行取值的参数，包括不限于：司机反应时间、地面电子单元LEU的处理周期、地面电子单元和应答器之间的传输时延(简称，LEU-IB传输时延)、应答器和车载控制器之间的传输时延(简称，IB-VOBC传输时延)和应答器信息接收单元BTM的处理周期。
本实施中各数据模型中包含目标电子地图数据中各类数据之间的依赖关系，并以模型的形式表征出来，只需要查看到相应的数据模型即可简单便捷地获取各类数据之间的依赖关系。
在上述实施例的基础上，本实施例中所述目标数据包括退行距离；所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：根据所述数据模型中的牵引切断延时、紧急制动建立等效时间、最大加速度、最大坡度、旋转质量系数，计算所述退行距离对应的第一系数；根据所述数据模型中的最大加速度、最大坡度、旋转质量系数、牵引切断延时、紧急制动建立等效时间和紧急制动加速度，计算所述退行距离对应的第二系数；根据所述数据模型中的最大退行速度、紧急制动加速度、最大坡度和旋转质量系数，以及所述退行距离对应的第一系数和第二系数，计算所述退行距离的理论值。
如图3所述，在目标数据包括退行距离的情况下，可根据数据模型中来自于目标电子地图的产品配置类数据中的车辆参数Pv和目标电子地图中工程线路类数据中的坡度数据Pg进行计算获取。
其中，第一系数a的计算公式为：
a＝牵引切断延时+紧急制动建立等效时间+((最大加速度-最大坡度/旋转质量系数)*牵引切断延时-最大坡度/旋转质量系数*紧急制动建立等效时间)/(紧急制动加速度+最大坡度/旋转质量系数)；
第二系数b的计算公式为：
b＝0.5*(最大加速度-最大坡度/旋转质量系数)*牵引切断延时的平方值+(最大加速度-最大坡度/旋转质量系数)*牵引切断延时*紧急制动建立等效时间-0.5*最大坡度/旋转质量系数*紧急制动建立等效时间的平方值+((最大加速度-最大坡度/旋转质量系数)2*牵引切断延时的平方值+(最大坡度/旋转质量系数)2*紧急制动建立等效时间的平方值-2*(最大加速度-最大坡度/旋转质量系数)*(最大坡度/旋转质量系数)*牵引切断延时*紧急制动建立等效时间)/(2*(紧急制动加速度+最大坡度/旋转质量系数))；
列车紧急制动距离Se(v)的计算公式为：
Se(v)＝0.5*v2/(紧急制动加速度+最大坡度/旋转质量系数)+a*v+b；
其中，v为列车当前速度。
退行距离的理论值St的计算公式为：
St＝Se(vt)；
其中，vt为列车的最大退行速度。
列车紧急制动距离的计算公式的具体推导过程如下：
第一阶段，牵引切断时间延迟，牵引加速度和坡度加速度下的加速过程，设此阶段的初速度为v0，末速度为v1，运行距离为L1，加速度为a1；
第二阶段，牵引切断，紧急制动建立等效时间，为坡度加速度下的减速过程，设此阶段的初速度为v1，末速度为v2，运行距离为L2，加速度为a2；
第三阶段：紧急制动加速度和坡度加速度下的制动过程，设此阶段的初速度为v2，末速度为0，运行距离为L3，加速度为a3。
根据上述三个阶段可建立如下方程：
Figure BDA0003616583080000151
Figure BDA0003616583080000152
Figure BDA0003616583080000161
Figure BDA0003616583080000162
Figure BDA0003616583080000163
其中，a0为最大加速度，r＝最差坡度/旋转质量系数；Be为紧急制动加速度；t0为牵引切断延时；t1为紧急制动建立等效时间；v0为列车当前速度；L＝Se(v)为列车紧急制动距离。
本实施例从目标电子地图中抽取出车辆参数Pv和坡度数据Pg作为数据模型中的参数，并根据数据模型中的参数和各参数之间的依赖关系，即可快速准确地得到退行距离的理论值，进而为目标电子地图中的退行距离验证提供参考数据，以快速准确地获取退行距离的准确性验证结果，提高验证结果的可靠性和准确性。
在上述实施例的基础上，本实施例中所述目标数据包括移动授权余量；所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：根据所述退行距离的理论值和所述数据模型中的列车第一轮对到车尖的距离，计算所述移动授权余量的理论值。
可选地，在目标数据包括移动授权余量的情况下，可根据数据模型中来自于目标电子地图的产品配置类数据中的车辆参数Pv和工程线路类数据中的坡度数据Pg，计算获取移动授权余量的理论值。
其中，移动授权余量的理论值Sma的计算公式为：
Sma＝St+列车第一轮对到车尖的距离；
本实施例从目标电子地图中抽取出车辆参数Pv和坡度数据Pg作为数据模型中的参数，并根据数据模型中的参数和各参数之间的依赖关系，即可快速准确地得到移动授权余量的理论值，进而为目标电子地图中的移动授权余量验证提供参考数据，以快速准确地获取移动授权余量的准确性验证结果，提高验证结果的可靠性和准确性。
在上述实施例的基础上，本实施例中所述目标数据包括延时解锁时间；所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：根据所述数据模型中的紧急制动最高触发速度、紧急制动加速度、最大坡度、旋转质量系数以及各产品的通信时间，计算得到各产品的延时解锁时间的理论值。
可选地，在目标数据包括延时解锁时间的情况下，可根据数据模型中的通信模型CV中来自于目标电子地图中各产品的通信时间和取值模型EM中的参数计算获取。
其中，各产品的延时解锁时间的理论值Td的计算公式为：
Td＝紧急制动最高触发速度/(紧急制动加速度+最差坡度/旋转质量系数)+CV；
其中，CV为通信模型中各产品的通信时间；
本实施例从目标电子地图中抽取出各产品的通信时间作为数据模型中通信模型的参数，并根据数据模型中通信模型和取值模型的参数，以及各参数之间的依赖关系，即可快速准确地得到延时解锁时间的理论值，进而为目标电子地图中的延时解锁时间验证提供参考数据，以快速准确地获取延时解锁时间的准确性验证结果，提高验证结果的可靠性和准确性。
在上述各实施例的基础上，本实施例中所述对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果，包括：在各类数据对应的数据验证单元中，查找各类数据对应的参考信息，并将各类数据与所述参考信息进行比较；根据比较结果，获取所述目标电子地图的合法性验证结果。
其中，参考信息中包含但不限于各数据的名称、取值范围和编号等，本实施例对此不做具体地限定。
可选地，对于产品配置类数据，产品配置类数据对应的数据验证单元为产品配置数据验证单元；
产品配置数据验证单元VVM1包含产品功能数据的参考信息Vf和产品参数数据的参考信息Vp，具体表示为VVM1＝{Vf，Vp}；其中，Vf＝{vf1，vf2…vfx…vfX}，vfx代表第x个产品功能数据，X代表产品功能数据数量，包括不限于：VOBC产品功能、ZC产品功能、CI产品功能和ATS产品功能；Vp＝{vp1，vp2…vpy…vpY}，vpy代表第y个产品参数数据，Y代表产品参数数据数量，包括不限于：VOBC产品参数、ZC产品参数、CI产品参数、ATS产品参数。
可以将目标电子地图中的产品配置类数据中的各产品功能数据与产品配置数据验证单元中的Vf的名称、取值范围和编号中的一种或多种组合进行比较，得到各产品功能数据的合法性验证结果；
同时，可将目标电子地图中的产品配置类数据中的各产品参数数据与产品配置数据验证单元中的Vp的名称、取值范围和编号中的一种或多种组合进行比较，得到各产品参数数据的合法性验证结果。
对于工程线路类数据，工程线路类数据对应的数据验证单元为工程线路数据验证单元；
工程线路数据验证单元VVM2包含各个工程线路的参考信息，具体表示为VVM2＝{Vx}，Vx代表第x个工程线路数据，包括不限于：道岔编号、信号机编号和应答器编号。
如图4所示，将目标电子地图中的各工程线路的数据与产品配置数据验证单元中的Vx的名称、取值范围和编号中的一种或多种组合进行比较，得到工程线路类数据的合法性验证结果。
本实施例只需将各类数据与相应的参考信息进行比较，即可快速准确地得到各类数据的合法性验证结果，以对目标电子地图进行优先验证，优先排除不满足合法性验证的目标电子地图，提高电子地图数据验证的效率。
在上述实施例的基础上，本实施例中所述目标电子地图包括产品配置类数据；所述在各类数据对应的数据验证单元中，查找各类数据对应的参考信息，并将各类数据与所述参考信息进行比较，包括：对于所述产品配置类数据中的枚举型数据，在所述产品配置类数据对应的数据验证单元中查找所述枚举型数据对应的第一参考信息；将所述枚举型数据的属性信息与所述第一参考信息中的属性信息进行比较，以及将所述枚举型数据的真实值与所述第一参考信息中参考取值范围内的每一参考值进行比较；对于所述产品配置类数据中的数值型数据，在所述产品配置类数据对应的数据验证单元中查找所述数值型数据对应的第二参考信息；将所述数值型数据的属性信息与所述第二参考信息中的属性信息进行比较，以及将所述数值型数据的真实值与所述第二参考信息中参考取值范围内的最小值和最大值进行比较。
其中，属性信息包括名称和编号等，本实施例对此不做具体地限定。
其中，产品配置类数据中包含两种数据类型，一种为枚举型数据，如产品功能数据的取值包含打开或关闭；另一种为数据值型数据，如产品参数数据的取值。
如图5所示，对于产品功能数据，在产品配置数据验证单元中查找产品功能数据对应的第一参考信息；将产品功能数据的名称与第一参考信息中的名称进行比较，确定产品功能数据的名称与第一参考信息中的名称是否一致；同时将目标电子地图中的产品功能数据的真实值与第一参考信息中参考取值范围中的每一参考值进行一一比较，判断产品功能数据的真实值是否属于参考取值范围中的任一参考值。
例如，在产品功能数据的参考值包括0x55和0xAA的情况下，判断产品功能数据的真实值是否属于0x55或0xAA，0x55代表打开，0xAA代表关闭。
在产品功能数据的名称与第一参考信息中的名称一致，且产品功能数据的真实值属于参考取值范围中的任一参考值的情况下，确定产品功能数据通过合法性验证。
如图6所示，对于产品参数数据，在产品配置数据验证单元中查找产品参数数据对应的第二参考信息；将产品参数数据的名称与第二参考信息中的名称进行比较，确定产品参数数据的名称与第二参考信息中的名称是否一致；同时将目标电子地图中的产品参数数据的真实值与第二参考信息中参考取值范围中最大值和最小值进行一一比较，判断产品参数数据的真实值是否大于最小值，且大于最大值。
在产品参数数据的名称与第二参考信息中的名称一致，且产品参数数据的真实值大于最小值，且大于最大值的情况下，确定产品参数数据通过合法性验证。
本实施例通过对不同类型的数据设置不同的合法性验证方式，可进一步提高验证的准确性和可靠性。
在上述各实施例的基础上，本实施例中所述根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果，包括：根据所述合法性验证结果和准确性验证结果，对未通过所述合法性验证和/或准确性验证的异常数据进行标记；并根据所述异常数据的相关信息，生成所述目标电子地图的最终验证结果；所述相关信息包括标记信息、真实值、理论值、所属数据类型和数据名称中的一种或多种组合。
可选地，在获取到目标电子地图的合法性验证结果和准确性验证结果后，判断目标电子地图是否通过合法性验证和准确性验证，在目标电子地图未通过合法性验证和/或准确性验证的情况下，确定目标电子地图的最终验证结果为未通过验证；在目标电子地图通过合法性验证，且通过准确性验证的情况下，确定目标电子地图的最终验证结果为通过验证。
此外，在目标电子地图的最终验证结果为未通过验证的情况下，还可以对未通过合法性验证和/或准确性验证的异常数据进行标记，并根据异常数据的标记信息、真实值、理论值、所属数据类型和数据名称中的一种或多种组合，生成最终验证结果，以使最终验证结果不仅包含异常数据的理论值的提示信息，还可包含异常数据的相关说明以及标记信息，便于维护人员快速准确地定位到异常数据，并快速做出异常数据相应的处理决策。
下面对本发明提供的城市轨道交通电子地图的验证装置进行描述，下文描述的城市轨道交通电子地图的验证装置与上文描述的城市轨道交通电子地图的验证方法可相互对应参照。
如图7所示，本实施例提供一种城市轨道交通电子地图的验证装置，该装置包括：数据提取模块701、结构验证模块702、计算模块703、功能验证模块704和输出模块705，其中：
数据提取模块701用于：获取目标电子地图，并从所述目标电子地图中抽取出各类数据；
可选地，可以根据目标电子地图中各数据之间的依赖关系，将数据按照不同的类型抽取出来，得到各类数据；并将各类数据按照不同的方式分别进行存储。
结构验证模块702用于：对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；
可选地，将各类数据中的每一数据与其对应的参考范围进行比较，验证每一数据是否在参考范围内。
若任一数据在参考范围内，则表征该数据通过合法性验证；若该数据不在参考范围内，则表征该数据未通过合法性验证。
计算模块703用于：在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；
可选地，在得到目标电子地图的合法性验证结果之后，确认各类数据是否均通过合法性验证，若任一类数据未通过合法性验证，则根据合法性验证结果，直接输出目标电子地图的最终验证结果。
若所有类数据均通过合法性验证的情况下，继续对目标电子地图的准确性进行验证，以确保验证结果的准确性和可靠性。
其中，数据模型用于表征目标电子地图中各类数据之间的依赖关系。
可选地，根据各类数据之间的依赖关系，构建数据模型，并从目标电子地图中抽取数据模型所需的参数。
然后，根据数据模型的参数，以及各参数之间的依赖关系，对各类数据中的各目标数据的取值进行推导，得到各目标数据的理论值。
功能验证模块704用于：根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；
可选地，在得到各目标数据的理论值后，可以将各目标数据的理论值与目标电子地图中各目标数据的真实值进行比较，判断各目标数据的理论值是否与真实值一致，以对目标电子地图中各目标数据进行准确性验证，得到目标电子地图的准确性验证结果。
可选地，对于目标电子地图中的每一目标数据，在该目标数据的理论值与真实值一致的情况下，表征该目标数据在目标电子地图中的取值正确，通过验证；在该目标数据的理论值与真实值不一致的情况下，表征该目标数据在目标电子地图中的取值错误，未通过验证。
最后，综合目标电子地图中所有目标数据的准确性验证结果，得到目标电子地图的准确性验证结果。
输出模块705用于：根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
可选地，在获取到目标电子地图的合法性验证结果和准确性验证结果之后，联合目标电子地图的合法性验证结果和准确性验证结果对目标电子地图的数据进行综合评价，得到最终验证结果。
可选地，在目标电子地图既通过合法性验证，又通过准确性验证的情况下，确定目标电子地图的最终验证结果为通过验证；
在目标电子地图未通过合法性验证，和/或未通过准确性验证的情况下，确定目标电子地图的最终验证结果为未通过验证。
然后，输出目标电子地图的最终验证结果，最终验证结果包括合法性验证结果、准确性验证结果，以及未通过验证的数据的名称、参考范围和理论值等，本实施例对此不做具体地限定。
本实施例首先对目标电子地图中各类数据的合法性进行验证，得到目标电子地图的合法性验证结果，以对目标电子地图进行初步筛选，提高验证效率；然后，在目标电子地图通过合法性验证的情况下，对各类数据对应的依赖关系构建数据模型，通过数据模型的参数，计算目标电子地图中各目标数据的理论值，以对目标电子地图的各目标数据的取值的准确性进行验证；最终，联合目标电子地图的合法性验证结果和准确性验证结果，自动准确地得到目标电子地图的最终验证结果，一方面整个验证过程均在线上自动完成，且可覆盖到电子地图中的各类数据，有效减少人工验证带来的额外工作量，降低验证的错误率和漏检率；另一方面，联合目标电子地图的合法性验证结果和准确性验证结果，可提高验证结果的准确性，便于快速定位错误数据，而且能够提供各数据的理论值，以便验证人员快速定位错误数据，进一步提高电子地图数据的验证效率。
图8示例了一种电子设备的实体结构示意图，如图8所示，该电子设备可以包括：处理器(processor)801、通信接口(Communications Interface)802、存储器(memory)803和通信总线804，其中，处理器801，通信接口802，存储器803通过通信总线804完成相互间的通信。处理器801可以调用存储器803中的逻辑指令，以执行城市轨道交通电子地图的验证方法，该方法包括：获取目标电子地图，并从所述目标电子地图中抽取出各类数据；对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
此外，上述的存储器803中的逻辑指令可以通过软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读取存储介质中。基于这样的理解，本发明的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来，该计算机软件产品存储在一个存储介质中，包括若干指令用以使得一台计算机设备(可以是个人计算机，服务器，或者网络设备等)执行本发明各个实施例所述方法的全部或部分步骤。而前述的存储介质包括：U盘、移动硬盘、只读存储器(ROM，Read-Only Memory)、随机存取存储器(RAM，Random Access Memory)、磁碟或者光盘等各种可以存储程序代码的介质。
另一方面，本发明还提供一种计算机程序产品，所述计算机程序产品包括计算机程序，计算机程序可存储在非暂态计算机可读存储介质上，所述计算机程序被处理器执行时，计算机能够执行上述各方法所提供的城市轨道交通电子地图的验证方法，该方法包括：获取目标电子地图，并从所述目标电子地图中抽取出各类数据；对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
又一方面，本发明还提供一种非暂态计算机可读存储介质，其上存储有计算机程序，该计算机程序被处理器执行时实现以执行上述各方法提供的城市轨道交通电子地图的验证方法，该方法包括：获取目标电子地图，并从所述目标电子地图中抽取出各类数据；对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
以上所描述的装置实施例仅仅是示意性的，其中所述作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部模块来实现本实施例方案的目的。本领域普通技术人员在不付出创造性的劳动的情况下，即可以理解并实施。
通过以上的实施方式的描述，本领域的技术人员可以清楚地了解到各实施方式可借助软件加必需的通用硬件平台的方式来实现，当然也可以通过硬件。基于这样的理解，上述技术方案本质上或者说对现有技术做出贡献的部分可以以软件产品的形式体现出来，该计算机软件产品可以存储在计算机可读存储介质中，如ROM/RAM、磁碟、光盘等，包括若干指令用以使得一台计算机设备(可以是个人计算机，服务器，或者网络设备等)执行各个实施例或者实施例的某些部分所述的方法。
最后应说明的是：以上实施例仅用以说明本发明的技术方案，而非对其限制；尽管参照前述实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围。

Claims (10)

1.一种城市轨道交通电子地图的验证方法，其特征在于，包括：
获取目标电子地图，并从所述目标电子地图中抽取出各类数据；
对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；
在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；
根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；
根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
2.根据权利要求1所述的城市轨道交通电子地图的验证方法，其特征在于，所述数据模型包括车载动力学模型、通信模型和取值模型；
其中，所述车载动力学模型的参数是，根据所述目标电子地图中的车辆参数、坡度数据和限速数据构建生成的；
所述通信模型的参数是，根据所述目标电子地图中各产品的通信时间构建生成的；
所述取值模型的参数是预先设定的。
3.根据权利要求2所述的城市轨道交通电子地图的验证方法，其特征在于，所述车辆参数包括牵引切断延时、旋转质量系数、紧急制动建立等效时间、最大加速度、最大紧急制动率、最小紧急制动率、紧急制动最大速度、最大退行速度、紧急制动加速度和列车第一轮对到车尖的距离；
所述坡度数据包括最大坡度、最小坡度、正线坡度和车辆段坡度；
所述限速数据包括静态限速和道岔限速；
所述产品包括车载控制器、区域控制器、计算机联锁系统、列车自动监控系统；
所述取值模型包括第一取值模型和第二取值模型；
所述第一取值模型包括道岔到警冲标的距离、牵引切断速度与紧急制动速度间隔、最大逻辑区段数量、紧急制动最高触发速度；
所述第二取值模型包括司机反应时间、地面电子单元的处理周期、地面电子单元和应答器之间的传输时延、应答器和车载控制器之间的传输时延和应答器信息接收单元的处理周期。
4.根据权利要求3所述的城市轨道交通电子地图的验证方法，其特征在于，所述目标数据包括退行距离；
所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：
根据所述数据模型中的牵引切断延时、紧急制动建立等效时间、最大加速度、最大坡度、旋转质量系数和紧急制动加速度，计算所述退行距离对应的第一系数；
根据所述数据模型中的最大加速度、最大坡度、旋转质量系数、牵引切断延时、紧急制动建立等效时间和紧急制动加速度，计算所述退行距离对应的第二系数；
根据所述数据模型中的最大退行速度、紧急制动加速度、最大坡度和旋转质量系数，以及所述退行距离对应的第一系数和第二系数，计算所述退行距离的理论值。
5.根据权利要求4所述的城市轨道交通电子地图的验证方法，其特征在于，所述目标数据包括移动授权余量；
所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：
根据所述退行距离的理论值和所述数据模型中的列车第一轮对到车尖的距离，计算所述移动授权余量的理论值。
6.根据权利要求3所述的城市轨道交通电子地图的验证方法，其特征在于，所述目标数据包括延时解锁时间；
所述根据所述数据模型中的参数，计算各类数据中各目标数据的理论值，包括：
根据所述数据模型中的紧急制动最高触发速度、紧急制动加速度、最大坡度、旋转质量系数以及各产品的通信时间，计算得到各产品的延时解锁时间的理论值。
7.根据权利要求1-6任一所述的城市轨道交通电子地图的验证方法，其特征在于，所述对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果，包括：
在各类数据对应的数据验证单元中，查找各类数据对应的参考信息，并将各类数据与所述参考信息进行比较；
根据比较结果，获取所述目标电子地图的合法性验证结果。
8.根据权利要求7所述的城市轨道交通电子地图的验证方法，其特征在于，所述目标电子地图包括产品配置类数据；
所述在各类数据对应的数据验证单元中，查找各类数据对应的参考信息，并将各类数据与所述参考信息进行比较，包括：
对于所述产品配置类数据中的枚举型数据，在所述产品配置类数据对应的数据验证单元中查找所述枚举型数据对应的第一参考信息；
将所述枚举型数据的属性信息与所述第一参考信息中的属性信息进行比较，以及将所述枚举型数据的真实值与所述第一参考信息中参考取值范围内的每一参考值进行比较；
对于所述产品配置类数据中的数值型数据，在所述产品配置类数据对应的数据验证单元中查找所述数值型数据对应的第二参考信息；
将所述数值型数据的属性信息与所述第二参考信息中的属性信息进行比较，以及将所述数值型数据的真实值与所述第二参考信息中参考取值范围内的最小值和最大值进行比较。
9.根据权利要求1-6任一所述的城市轨道交通电子地图的验证方法，其特征在于，所述根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果，包括：
根据所述合法性验证结果和准确性验证结果，确定未通过所述合法性验证和/或准确性验证的异常数据，并对所述异常数据进行标记；
根据所述异常数据的相关信息，输出所述目标电子地图的最终验证结果；其中，所述相关信息包括标记信息、真实值、理论值、所属数据类型和数据名称中的一种或多种组合。
10.一种城市轨道交通电子地图的验证装置，其特征在于，包括：
数据提取模块，用于：获取目标电子地图，并从所述目标电子地图中抽取出各类数据；
结构验证模块，用于：对各类数据进行合法性验证，得到所述目标电子地图的合法性验证结果；所述合法性验证用于验证各类数据是否在参考范围内；
计算模块，用于：在所述目标电子地图中的各类数据均通过合法性验证的情况下，根据各类数据之间的依赖关系，构建数据模型，并根据所述数据模型中的参数，计算各类数据中各目标数据的理论值；
功能验证模块，用于：根据各目标数据的理论值，对所述目标电子地图中的各目标数据进行准确性验证，得到所述目标电子地图的准确性验证结果；所述准确性验证用于验证从所述目标电子地图中获取的各目标数据的真实值与所述理论值是否一致；
输出模块，用于：根据所述合法性验证结果和准确性验证结果，输出所述目标电子地图的最终验证结果。
CN202210449058.9A 2022-04-26 2022-04-26 城市轨道交通电子地图的验证方法及装置 Pending CN114818326A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202210449058.9A CN114818326A (zh) 2022-04-26 2022-04-26 城市轨道交通电子地图的验证方法及装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202210449058.9A CN114818326A (zh) 2022-04-26 2022-04-26 城市轨道交通电子地图的验证方法及装置

Publications (1)

Publication Number Publication Date
CN114818326A true CN114818326A (zh) 2022-07-29

Family

ID=82506981

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202210449058.9A Pending CN114818326A (zh) 2022-04-26 2022-04-26 城市轨道交通电子地图的验证方法及装置

Country Status (1)

Country Link
CN (1) CN114818326A (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115416733A (zh) * 2022-09-15 2022-12-02 交控科技股份有限公司 轨道交通区段参数生成方法及装置
CN117131145A (zh) * 2023-08-03 2023-11-28 卡斯柯信号(北京)有限公司 一种轨道地图数据验证方法及装置

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115416733A (zh) * 2022-09-15 2022-12-02 交控科技股份有限公司 轨道交通区段参数生成方法及装置
CN115416733B (zh) * 2022-09-15 2024-04-26 交控科技股份有限公司 轨道交通区段参数生成方法及装置
CN117131145A (zh) * 2023-08-03 2023-11-28 卡斯柯信号(北京)有限公司 一种轨道地图数据验证方法及装置
CN117131145B (zh) * 2023-08-03 2024-03-26 卡斯柯信号(北京)有限公司 一种轨道地图数据验证方法及装置

Similar Documents

Publication Publication Date Title
CN114818326A (zh) 城市轨道交通电子地图的验证方法及装置
CN105976449A (zh) 车辆远程自动定损碰撞检测方法及系统
CN111426486B (zh) 辅助驾驶系统的测试方法、装置、设备及存储介质
CN108614539A (zh) 机载设备故障诊断与预测模型验证方法
CN113065195A (zh) 一种车辆信息安全威胁评估方法、装置、介质及电子设备
CN112327806B (zh) 自动驾驶的测试方法、装置、电子设备和存储介质
CN113111003B (zh) 一种场景无关的无人驾驶仿真测试评估方法及装置
CN115165398A (zh) 车辆的行驶功能测试方法、装置、计算设备及介质
CN115146491B (zh) 自动驾驶系统的测试方法和装置、存储介质及电子装置
Wang et al. Hybrid online model-based testing for communication-based train control systems
CN114212124A (zh) 列车正线追踪方法、装置、电子设备及存储介质
CN116303069A (zh) 一种车载终端的测试方法、装置、上位机、系统及介质
CN115129027A (zh) 一种用于智能驾驶的自动化评估方法及装置
CN111767630A (zh) 一种应用于智能驾驶的虚拟仿真测试方法及装置
CN104615008A (zh) 一种自动紧急刹车aeb系统的测试结果分析方法和系统
CN111782499B (zh) 测试用例生成方法及系统
CN113987751A (zh) 一种方案筛选方法、装置、电子设备及存储介质
CN111157018B (zh) 一种检测方法、检测装置及自动驾驶车辆
KR20210023722A (ko) 요구 사항에 대한 시스템의 테스트 방법
CN117227799A (zh) 列车虚拟编组的防护功能测试方法、装置、设备及介质
CN116062007B (zh) 特定引导功能下的列车运行控制方法、装置、设备及介质
Liang et al. Algorithms Development for Automating the Execution of Safety Guided Test Scenarios in Automated Vehicles Based on STPA
CN117246384A (zh) 虚拟编组下全局优化曲线的测试方法、装置、设备及介质
CN117227798A (zh) 虚拟编组下超速防护测试方法、装置、设备及介质
CN117227795A (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