Verification method and device for urban rail transit electronic map

Abstract

The present invention provides a verification method and device for an urban rail transit electronic map, the method comprising: obtaining a target electronic map, extracting various types of data from the target electronic map; performing legality verification on various types of data, and obtaining legality verification results of the target electronic map; when various types of data in the target electronic map pass the legality verification, constructing a data model according to the dependency relationship between various types of data, and calculating theoretical values ​​of various target data in various types of data according to parameters in the data model; performing accuracy verification on various target data in the target electronic map according to the theoretical values ​​of various target data, and obtaining accuracy verification results of the target electronic map; and outputting a final verification result of the target electronic map according to the legality verification results and the accuracy verification results. The present invention reduces the extra workload caused by manual verification, reduces the error rate and missed detection rate of verification, and verifies electronic map data quickly and accurately.

Description

Technical Field

[0001] The present invention relates to the technical field of urban rail transit, and in particular to a verification method and device for an urban rail transit electronic map. Background Art

[0002] The amount of information transmitted between the subsystems of urban rail transit is huge, and data is closely related to the realization of system functions and is related to the safe realization of functions. Therefore, data security in the system is an important link in ensuring driving safety.

[0003] Existing technologies usually use manual testing to verify product configuration data in urban rail transit electronic map data and the dependency relationship between product configuration data and line data.

[0004] However, this part of data is usually large in volume, and manual testing is prone to omissions or incomplete coverage. The data verification personnel can only check the data and test results through manual verification, which is inefficient and prone to omissions. This part of data is often related to the safety of urban rail transit systems. Therefore, if this part of data is not verified accurately, it is difficult to ensure the safety of urban rail transit systems.

[0005] In summary, the existing manual verification of product configuration data in electronic maps and the dependency relationship between product configuration data and route data has the problems of low verification efficiency and easy verification omissions, resulting in inaccurate verification results. Summary of the invention

[0006] The present invention provides a verification method and device for an urban rail transit electronic map, which are used to solve the defects of low verification efficiency and inaccurate verification results of manual verification of electronic map data in the prior art, and realize rapid and accurate verification of electronic map data.

[0007] The present invention provides a method for verifying an urban rail transit electronic map, comprising:

[0008] Obtaining a target electronic map, and extracting various types of data from the target electronic map;

[0009] Performing legality verification on various types of data to obtain legality verification results of the target electronic map; the legality verification is used to verify whether various types of data are within the reference range;

[0010] When all types of data in the target electronic map have passed the legality verification, a data model is constructed according to the dependency relationship between the various types of data, and the theoretical value of each target data in each type of data is calculated according to the parameters in the data model;

[0011] According to the theoretical value of each target data, the accuracy of each target data in the target electronic map is verified to obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value;

[0012] According to the validity verification result and the accuracy verification result, a final verification result of the target electronic map is output.

[0013] According to a verification method for an urban rail transit electronic map provided by the present invention, the data model includes a vehicle dynamics model, a communication model and a value model;

[0014] The parameters of the vehicle dynamics model are generated based on the vehicle parameters, slope data and speed limit data in the target electronic map;

[0015] The parameters of the communication model are constructed and generated according to the communication time of each product in the target electronic map;

[0016] The parameters of the value model are preset.

[0017] According to a verification method for an urban rail transit electronic map provided by the present invention, the vehicle parameters include traction cut-off delay, rotational mass coefficient, emergency braking equivalent time, maximum acceleration, maximum emergency braking rate, minimum emergency braking rate, emergency braking maximum speed, maximum retreat speed, emergency braking acceleration and the distance from the first wheel pair of the train to the tip of the vehicle;

[0018] The slope data includes the maximum slope, the minimum slope, the mainline slope and the vehicle segment slope;

[0019] The speed limit data includes static speed limit and turnout speed limit;

[0020] The products include on-board controllers, zone controllers, computer interlocking systems, and automatic train monitoring systems;

[0021] The value model includes a first value model and a second value model;

[0022] The first value model includes the distance from the turnout to the warning mark, the interval between the traction cut-off speed and the emergency braking speed, the maximum number of logical sections, and the maximum triggering speed of the emergency brake;

[0023] The second value model includes driver reaction time, processing cycle of ground electronic unit, transmission delay between ground electronic unit and transponder, transmission delay between transponder and onboard controller and processing cycle of transponder information receiving unit.

[0024] According to a verification method for an urban rail transit electronic map provided by the present invention, the target data includes a retreat distance;

[0025] The step of calculating the theoretical value of each target data in each type of data according to the parameters in the data model includes:

[0026] Calculate a first coefficient corresponding to the retreat distance according to the traction cut-off delay, the emergency brake establishment equivalent time, the maximum acceleration, the maximum slope, the rotational mass coefficient and the emergency brake acceleration in the data model;

[0027] Calculate a second coefficient corresponding to the retreat distance according to the maximum acceleration, maximum slope, rotational mass coefficient, traction cut-off delay, emergency brake establishment equivalent time and emergency brake acceleration in the data model;

[0028] The theoretical value of the retreat distance is calculated according to the maximum retreat speed, emergency braking acceleration, maximum slope and rotational mass coefficient in the data model, and the first coefficient and the second coefficient corresponding to the retreat distance.

[0029] According to a verification method of an urban rail transit electronic map provided by the present invention, the target data includes a mobile authorization margin;

[0030] The step of calculating the theoretical value of each target data in each type of data according to the parameters in the data model includes:

[0031] The theoretical value of the movement authorization margin is calculated according to the theoretical value of the retreat distance and the distance from the first wheelset to the vehicle tip in the data model.

[0032] According to a verification method of an urban rail transit electronic map provided by the present invention, the target data includes a delayed unlocking time;

[0033] The step of calculating the theoretical value of each target data in each type of data according to the parameters in the data model includes:

[0034] According to the emergency braking maximum trigger speed, emergency braking acceleration, maximum slope, rotational mass coefficient and communication time of each product in the data model, the theoretical value of the delayed unlocking time of each product is calculated.

[0035] According to a method for verifying an urban rail transit electronic map provided by the present invention, the legitimacy of various types of data is verified to obtain a legitimacy verification result of the target electronic map, including:

[0036] In the data verification unit corresponding to each type of data, searching for reference information corresponding to each type of data, and comparing each type of data with the reference information;

[0037] According to the comparison result, the legitimacy verification result of the target electronic map is obtained.

[0038] According to a method for verifying an urban rail transit electronic map provided by the present invention, the target electronic map includes product configuration data;

[0039] The step of searching, in the data verification unit corresponding to each type of data, reference information corresponding to each type of data and comparing each type of data with the reference information includes:

[0040] For the enumerated data in the product configuration data, searching for first reference information corresponding to the enumerated data in a data verification unit corresponding to the product configuration data;

[0041] Compare the attribute information of the enumerated data with the attribute information in the first reference information, and compare the true value of the enumerated data with each reference value within the reference value range in the first reference information;

[0042] For the numerical data in the product configuration data, searching for second reference information corresponding to the numerical data in a data verification unit corresponding to the product configuration data;

[0043] The attribute information of the numerical data is compared with the attribute information in the second reference information, and the true value of the numerical data is compared with the minimum value and the maximum value within the reference value range in the second reference information.

[0044] According to a method for verifying an urban rail transit electronic map provided by the present invention, outputting a final verification result of the target electronic map according to the legitimacy verification result and the accuracy verification result includes:

[0045] According to the legitimacy verification result and the accuracy verification result, determining abnormal data that has not passed the legitimacy verification and / or the accuracy verification, and marking the abnormal data;

[0046] According to the relevant information of the abnormal data, the final verification result of the target electronic map is output; wherein the relevant information includes one or more combinations of tag information, real value, theoretical value, data type and data name.

[0047] The present invention also provides a verification device for an urban rail transit electronic map, comprising:

[0048] The data extraction module is used to: obtain a target electronic map and extract various types of data from the target electronic map;

[0049] The structure verification module is used to: verify the legitimacy of various types of data to obtain the legitimacy verification result of the target electronic map; the legitimacy verification is used to verify whether the various types of data are within the reference range;

[0050] A calculation module, used to: construct a data model according to the dependency relationship between the various types of data when all types of data in the target electronic map have passed the legality verification, and calculate the theoretical value of each target data in the various types of data according to the parameters in the data model;

[0051] A function verification module is used to: verify the accuracy of each target data in the target electronic map according to the theoretical value of each target data, and obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value;

[0052] The output module is used to output the final verification result of the target electronic map according to the legality verification result and the accuracy verification result.

[0053] The present invention also provides an electronic device, comprising a memory, a processor, and a computer program stored in the memory and executable on the processor, wherein when the processor executes the program, the verification method of the urban rail transit electronic map as described in any one of the above is implemented.

[0054] The present invention also provides a non-transitory computer-readable storage medium on which a computer program is stored. When the computer program is executed by a processor, the verification method of the urban rail transit electronic map as described in any one of the above is implemented.

[0055] The present invention also provides a computer program product, including a computer program, wherein when the computer program is executed by a processor, the computer program implements any of the above-mentioned methods for verifying an electronic map of urban rail transit.

[0056] The urban rail transit electronic map verification method and device provided by the present invention firstly verifies the legality of various types of data in the target electronic map to obtain the legality verification result of the target electronic map, so as to preliminarily screen the target electronic map and improve the verification efficiency; then, when the target electronic map passes the legality verification, a data model is constructed for the dependency relationship corresponding to various types of data, and the theoretical value of each target data in the target electronic map is calculated through the parameters of the data model to verify the accuracy of the value of each target data in the target electronic map; finally, the legality verification result and the accuracy verification result of the target electronic map are combined to automatically and accurately obtain the final verification result of the target electronic map. On the one hand, the entire verification process is automatically completed online, and various types of data in the electronic map can be covered, effectively reducing the extra workload brought by manual verification, and reducing the error rate and missed detection rate of verification; on the other hand, the legality verification result and the accuracy verification result of the target electronic map are combined to improve the accuracy of the verification result, facilitate rapid positioning of erroneous data, and provide the theoretical value of each data so that the verification personnel can quickly locate the erroneous data, further improving the verification efficiency of the electronic map data. BRIEF DESCRIPTION OF THE DRAWINGS

[0057] In order to more clearly illustrate the technical solutions in the present invention or the prior art, the following briefly introduces the drawings required for use in the embodiments or the description of the prior art. Obviously, the drawings described below are some embodiments of the present invention. For ordinary technicians in this field, other drawings can be obtained based on these drawings without paying creative work.

[0058] Figure 1 This is one of the flow charts of the verification method of the urban rail transit electronic map provided by the present invention;

[0059] Figure 2 This is the second flow chart of the verification method of the urban rail transit electronic map provided by the present invention;

[0060] Figure 3 This is the third flow chart of the verification method of the urban rail transit electronic map provided by the present invention;

[0061] Figure 4 This is the fourth flow chart of the verification method of the urban rail transit electronic map provided by the present invention;

[0062] Figure 5 This is the fifth flow chart of the verification method of the urban rail transit electronic map provided by the present invention;

[0063] Figure 6 This is the sixth flow chart of the verification method of the urban rail transit electronic map provided by the present invention;

[0064] Figure 7 It is a structural schematic diagram of a verification device for an urban rail transit electronic map provided by the present invention;

[0065] Figure 8 It is a structural schematic diagram of the electronic device provided by the present invention. DETAILED DESCRIPTION

[0066] In order to make the purpose, technical solution and advantages of the present invention clearer, the technical solution of the present invention will be clearly and completely described below in conjunction with the drawings of the present invention. Obviously, the described embodiments are part of the embodiments of the present invention, not all of the embodiments. Based on the embodiments of the present invention, all other embodiments obtained by ordinary technicians in this field without creative work are within the scope of protection of the present invention.

[0067] For data-driven systems such as urban rail transit, its security depends on the security of data, and data is an important link that affects system security. The existing technology can only use tools to verify line data, and for data that has no specific dependency in the electronic map, such as product configuration data, and the relationship data between product configuration data and line data, it is usually verified by manual testing. This type of data accounts for a large proportion of urban rail transit electronic map data. If it is manually verified and tested one by one, the verification efficiency is very low, and it is easy to have omissions or incomplete coverage; in addition, the existing technology can only verify the validity of the electronic map data, that is, verify whether the data is within the valid range, and cannot verify the correctness of the data value. It is impossible to verify data that is within the valid range but has an incorrect value, resulting in inaccurate verification results.

[0068] In order to improve the integrity, efficiency and accuracy of electronic map data verification, this embodiment proposes a verification method for an urban rail transit electronic map. According to the dependency relationship between the data in the target electronic map, various types of data are extracted from the electronic map, and the legitimacy of the various types of data is verified to obtain the legitimacy verification result of the target electronic map; and the theoretical value of each target data in the target electronic map is calculated, and the real value of each target data obtained in the target electronic map is compared and verified with the theoretical value to obtain the accuracy verification result of the target electronic map; finally, according to the legitimacy verification result and the accuracy verification result, the final verification result of the target electronic map is automatically output. The entire verification process is completed automatically online, which can not only reduce the workload of manual verification, reduce the error rate of verification, and quickly locate erroneous data, but also provide the theoretical value of each data, which is convenient for the verification personnel to locate the erroneous data, and provide a reference for parameter processing of erroneous data.

[0069] It should be noted that the execution subject of the method may be an electronic device in an urban rail transit system, a component in an electronic device, an integrated circuit, or a chip, etc. The electronic device may be a mobile electronic device or a non-mobile electronic device, and this application does not make specific limitations on this.

[0070] Combine the following Figure 1 The present invention describes a method for verifying an urban rail transit electronic map, the method comprising:

[0071] Step 101, obtaining a target electronic map, and extracting various types of data from the target electronic map;

[0072] The target electronic map is an electronic map that needs to be verified.

[0073] The data types in the target electronic map include, but are not limited to, product configuration data and engineering route data, etc., which are not specifically limited in this embodiment.

[0074] Optionally, data may be extracted according to different types based on the dependency relationship between data in the target electronic map to obtain various types of data; and the various types of data may be stored in different ways.

[0075] Step 102, performing a validity verification on various types of data to obtain a validity verification result of the target electronic map; the validity verification is used to verify whether various types of data are within a reference range;

[0076] The reference range is used to provide a reference for the legality verification of the data, including but not limited to the name, identifier, reference range of the value of the data, etc., which is not specifically limited in this embodiment.

[0077] Legality verification is a relatively basic part of the electronic map verification method, which is used to prioritize the legality of various types of data to improve the efficiency of the overall electronic map verification.

[0078] Optionally, each data in each category of data is compared with its corresponding reference range to verify whether each data is within the reference range.

[0079] If any data is within the reference range, it means that the data has passed the legality verification; if the data is not within the reference range, it means that the data has not passed the legality verification.

[0080] Step 103, when all types of data in the target electronic map have passed the legality verification, a data model is constructed according to the dependency relationship between the various types of data, and a theoretical value of each target data in each type of data is calculated according to the parameters in the data model;

[0081] Among them, the target data is the data in various types of data that need to be calculated for theoretical values, including but not limited to the mobile authorization margin, retreat distance and delayed unlocking time in the product configuration data, etc. This embodiment does not make specific limitations on this.

[0082] like Figure 2 After obtaining the validity verification result of the target electronic map, it is confirmed whether all types of data have passed the validity verification. If any type of data has not passed the validity verification, the final verification result of the target electronic map is directly output according to the validity verification result.

[0083] If all types of data pass the legality verification, continue to verify the accuracy of the target electronic map to ensure the accuracy and reliability of the verification results.

[0084] The data model is used to characterize the dependency relationship between various types of data in the target electronic map.

[0085] Optionally, a data model is constructed according to the dependency relationship between various types of data, and parameters required by the data model are extracted from the target electronic map.

[0086] For example, a data model is constructed based on the dependency between product configuration data and between product configuration data and engineering line data; and the product configuration data and engineering line data required for the data model are extracted from the target electronic map as parameters of the data model.

[0087] Then, according to the parameters of the data model and the dependencies between the parameters, the values ​​of the target data in each type of data are deduced to obtain the theoretical values ​​of the target data.

[0088] Step 104, verifying the accuracy of each target data in the target electronic map according to the theoretical value of each target data, and obtaining the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value;

[0089] The real value of each target data is extracted from the target electronic map; the theoretical value of each target data is obtained by deducing the parameters of the data model.

[0090] Optionally, after obtaining the theoretical value of each target data, the theoretical value of each target data can be compared with the actual value of each target data in the target electronic map to determine whether the theoretical value of each target data is consistent with the actual value, so as to verify the accuracy of each target data in the target electronic map and obtain the accuracy verification result of the target electronic map.

[0091] Optionally, for each target data in the target electronic map, when the theoretical value of the target data is consistent with the actual value, it indicates that the value of the target data in the target electronic map is correct and has passed the verification; when the theoretical value of the target data is inconsistent with the actual value, it indicates that the value of the target data in the target electronic map is incorrect and has failed the verification.

[0092] Finally, the accuracy verification results of all target data in the target electronic map are integrated to obtain the accuracy verification result of the target electronic map.

[0093] Optionally, when all target data in the target electronic map pass the accuracy verification, it is determined that the target electronic map passes the accuracy verification; when any target data in the target electronic map fails to pass the accuracy verification, it is determined that the target electronic map fails to pass the accuracy verification.

[0094] Step 105: outputting a final verification result of the target electronic map according to the legitimacy verification result and the accuracy verification result.

[0095] Optionally, after obtaining the validity verification result and the accuracy verification result of the target electronic map, the data of the target electronic map is comprehensively evaluated in conjunction with the validity verification result and the accuracy verification result of the target electronic map to obtain a final verification result.

[0096] Optionally, when the target electronic map passes both the legality verification and the accuracy verification, determining the final verification result of the target electronic map as passed verification;

[0097] When the target electronic map fails to pass the legality verification and / or fails to pass the accuracy verification, the final verification result of the target electronic map is determined to be failure to pass the verification.

[0098] Then, the final verification result of the target electronic map is output, and the final verification result includes a legality verification result, an accuracy verification result, and the name, reference range and theoretical value of the data that failed the verification, etc. This embodiment does not specifically limit this.

[0099] In this embodiment, the validity of various types of data in the target electronic map is first verified to obtain the validity verification result of the target electronic map, so as to preliminarily screen the target electronic map and improve the verification efficiency. Then, when the target electronic map passes the validity verification, a data model is constructed for the dependency relationship corresponding to various types of data, and the theoretical value of each target data in the target electronic map is calculated through the parameters of the data model to verify the accuracy of the value of each target data in the target electronic map. Finally, the validity verification result and the accuracy verification result of the target electronic map are combined to automatically and accurately obtain the final verification result of the target electronic map. On the one hand, the entire verification process is automatically completed online and can cover various types of data in the electronic map, effectively reducing the extra workload caused by manual verification and reducing the error rate and missed detection rate of verification. On the other hand, the validity verification result and the accuracy verification result of the target electronic map are combined to improve the accuracy of the verification result, facilitate rapid positioning of erroneous data, and provide the theoretical value of each data so that the verification personnel can quickly locate the erroneous data, further improving the verification efficiency of the electronic map data.

[0100] Based on the above embodiment, the data model in this embodiment includes a vehicle dynamics model, a communication model and a value model;

[0101] Among them, the parameters of the vehicle dynamics model are constructed and generated based on the vehicle parameters, slope data and speed limit data in the target electronic map; the parameters of the communication model are constructed and generated based on the communication time of each product in the target electronic map; and the parameters of the value model are pre-set.

[0102] Among them, the vehicle dynamics model is constructed and generated based on the vehicle parameters, slope data and speed limit data in the target electronic map, and can be specifically expressed as VM={Pv, Pg, Ps, EM}; wherein Pv represents the vehicle parameters in the product configuration data in the target electronic map; Pg represents the slope data in the engineering line data in the target electronic map; Ps represents the speed limit data in the engineering line data in the target electronic map; EM represents a pre-constructed value model in urban rail transit, including but not limited to parameters that can be valued based on experience and parameters that can be valued based on industry standards.

[0103] Vehicle parameters are parameters during vehicle operation, including but not limited to traction parameters, braking parameters, speed parameters and distance parameters;

[0104] In this embodiment, each data model can accurately represent the dependency relationship between various types of data. On the basis of considering the dependency relationship between various types of data, the target electronic map is verified using the data model, making the verification result more reliable and accurate.

[0105] On the basis of the above embodiments, the vehicle parameters in this embodiment include traction cut-off delay, rotational mass coefficient, emergency braking establishment equivalent time, maximum acceleration, maximum emergency braking rate, minimum emergency braking rate, emergency braking maximum speed, maximum retreat speed, emergency braking acceleration and the distance from the first wheel pair of the train to the tip of the vehicle; the slope data includes the maximum slope, the minimum slope, the main line slope and the vehicle segment slope; the speed limit data includes static speed limit and turnout speed limit; the products include on-board controller, area controller, computer interlocking system, and train automatic monitoring system; the value model includes a first value model and a second value model; the first value model includes the distance from the turnout to the warning mark, the interval between the traction cut-off speed and the emergency braking speed, the maximum number of logical sections, and the maximum trigger speed of emergency braking; the second value model includes the driver's reaction time, the processing cycle of the ground electronic unit, the transmission delay between the ground electronic unit and the transponder, the transmission delay between the transponder and the on-board controller, and the processing cycle of the transponder information receiving unit.

[0106] The communication model can be represented as CV = {T VOBC , T ZC , T CI , T ATS}; where T VOBC is the communication time of the vehicle controller VOBC, T ZC is the communication time of the zone controller ZC, T CI is the communication time of the computer interlocking system CI, T ATS It is the communication time of the automatic train monitoring system ATS.

[0107] The parameters of the first value model are parameters that can be determined based on experience; the parameters of the second value model are parameters that can be determined based on industry standards.

[0108] The value model can be represented as EM = {P t , P e}; Among them, P t Represents parameters that are taken according to industry standards, that is, data with specific restrictions, including but not limited to: the distance from the turnout to the warning mark, the interval between the traction cut-off speed and the emergency braking (EBI) speed, the maximum number of logical sections, and the maximum triggering speed of the emergency brake. Pe represents parameters that can be taken based on experience, including but not limited to: driver reaction time, processing cycle of the ground electronic unit LEU, transmission delay between the ground electronic unit and the transponder (LEU-IB transmission delay), transmission delay between the transponder and the on-board controller (IB-VOBC transmission delay) and processing cycle of the transponder information receiving unit BTM.

[0109] In this implementation, each data model contains the dependency relationship between various types of data in the target electronic map data and is represented in the form of a model. The dependency relationship between various types of data can be easily and conveniently obtained by simply looking up the corresponding data model.

[0110] On the basis of the above embodiments, the target data in this embodiment includes the retreat distance; the theoretical value of each target data in each type of data is calculated according to the parameters in the data model, including: calculating the first coefficient corresponding to the retreat distance according to the traction cut-off delay, emergency braking establishment equivalent time, maximum acceleration, maximum slope, and rotational mass coefficient in the data model; calculating the second coefficient corresponding to the retreat distance according to the maximum acceleration, maximum slope, rotational mass coefficient, traction cut-off delay, emergency braking establishment equivalent time and emergency braking acceleration in the data model; calculating the theoretical value of the retreat distance according to the maximum retreat speed, emergency braking acceleration, maximum slope and rotational mass coefficient in the data model, as well as the first coefficient and second coefficient corresponding to the retreat distance.

[0111] like Figure 3 As described above, when the target data includes the retreat distance, it can be calculated and obtained based on the vehicle parameter Pv in the product configuration data from the target electronic map in the data model and the slope data Pg in the engineering route data in the target electronic map.

[0112] Among them, the calculation formula of the first coefficient a is:

[0113] a = traction cut-off delay + emergency brake establishment equivalent time + ((maximum acceleration - maximum slope / rotation mass coefficient) * traction cut-off delay - maximum slope / rotation mass coefficient * emergency brake establishment equivalent time) / (emergency brake acceleration + maximum slope / rotation mass coefficient);

[0114] The calculation formula of the second coefficient b is:

[0115] b = 0.5*(maximum acceleration - maximum slope / rotational mass coefficient)*the square value of the traction cut-off delay + (maximum acceleration - maximum slope / rotational mass coefficient)*the traction cut-off delay*the equivalent time of emergency brake establishment-0.5*maximum slope / rotational mass coefficient*the square value of the equivalent time of emergency brake establishment+((maximum acceleration - maximum slope / rotational mass coefficient) 2 *Square value of traction cut-off delay + (maximum slope / rotational mass coefficient) 2 * The square value of the emergency brake establishment equivalent time - 2 * (maximum acceleration - maximum slope / rotational mass coefficient) * (maximum slope / rotational mass coefficient) * traction cut-off delay * emergency brake establishment equivalent time) / (2 * (emergency brake acceleration + maximum slope / rotational mass coefficient));

[0116] The calculation formula of train emergency braking distance Se(v) is:

[0117] Se(v)=0.5*v 2 / (emergency braking acceleration + maximum slope / rotational mass coefficient) + a*v + b;

[0118] Where v is the current speed of the train.

[0119] The calculation formula of the theoretical value of the retreat distance St is:

[0120] St=Se(v t );

[0121] Among them, v t is the maximum retreat speed of the train.

[0122] The specific derivation process of the calculation formula for the train emergency braking distance is as follows:

[0123] In the first stage, there is a delay in the traction cut-off time, and an acceleration process under traction acceleration and slope acceleration. The initial velocity of this stage is v0, the final velocity is v1, the running distance is L1, and the acceleration is a1.

[0124] In the second stage, traction is cut off and the emergency brake is established. It is the deceleration process under the slope acceleration. Let the initial speed of this stage be v1, the final speed be v2, the running distance be L2, and the acceleration be a2.

[0125] The third stage: the braking process under emergency braking acceleration and slope acceleration. Assume that the initial velocity of this stage is v2, the final velocity is 0, the running distance is L3, and the acceleration is a3.

[0126] According to the above three stages, the following equation can be established:

[0127]

[0128]

[0129]

[0130]

[0131]

[0132] Among them, a0 is the maximum acceleration, r = worst slope / rotational mass coefficient; Be is the emergency braking acceleration; t0 is the traction cut-off delay; t1 is the emergency braking establishment equivalent time; v0 is the current speed of the train; L = Se(v) is the emergency braking distance of the train.

[0133] This embodiment extracts vehicle parameters Pv and slope data Pg from the target electronic map as parameters in the data model, and based on the parameters in the data model and the dependencies between the parameters, the theoretical value of the retreat distance can be quickly and accurately obtained, thereby providing reference data for the verification of the retreat distance in the target electronic map, so as to quickly and accurately obtain the accuracy verification result of the retreat distance, thereby improving the reliability and accuracy of the verification result.

[0134] On the basis of the above embodiments, the target data in this embodiment includes a movement authorization margin; the theoretical value of each target data in each type of data is calculated according to the parameters in the data model, including: calculating the theoretical value of the movement authorization margin according to the theoretical value of the retreat distance and the distance from the first wheelset to the tip of the train in the data model.

[0135] Optionally, when the target data includes the mobile authorization margin, the theoretical value of the mobile authorization margin can be calculated based on the vehicle parameters Pv in the product configuration data and the slope data Pg in the engineering route data from the target electronic map in the data model.

[0136] The theoretical value of mobile authorization margin is S ma The calculation formula is:

[0137] S ma =S t + The distance from the first wheel pair to the tip of the train;

[0138] This embodiment extracts vehicle parameters Pv and slope data Pg from the target electronic map as parameters in the data model, and based on the parameters in the data model and the dependencies between the parameters, the theoretical value of the mobile authorization margin can be quickly and accurately obtained, thereby providing reference data for the mobile authorization margin verification in the target electronic map, so as to quickly and accurately obtain the accuracy verification result of the mobile authorization margin, and improve the reliability and accuracy of the verification result.

[0139] On the basis of the above embodiments, the target data in this embodiment includes delayed unlocking time; the theoretical value of each target data in each type of data is calculated according to the parameters in the data model, including: according to the emergency braking maximum trigger speed, emergency braking acceleration, maximum slope, rotational mass coefficient and communication time of each product in the data model, the theoretical value of the delayed unlocking time of each product is calculated.

[0140] Optionally, in the case where the target data includes the delayed unlocking time, it can be obtained by calculation based on the communication time of each product in the target electronic map in the communication model CV in the data model and the parameters in the value model EM.

[0141] Among them, the theoretical value of the delayed unlocking time of each product is Td The calculation formula is:

[0142] T d = Maximum trigger speed of emergency braking / (emergency braking acceleration+worst slope / rotational mass coefficient)+CV;

[0143] Among them, CV is the communication time of each product in the communication model;

[0144] This embodiment extracts the communication time of each product from the target electronic map as a parameter of the communication model in the data model, and according to the parameters of the communication model and the value model in the data model, as well as the dependency relationship between the parameters, the theoretical value of the delayed unlocking time can be quickly and accurately obtained, thereby providing reference data for the delayed unlocking time verification in the target electronic map, so as to quickly and accurately obtain the accuracy verification result of the delayed unlocking time, and improve the reliability and accuracy of the verification result.

[0145] On the basis of the above-mentioned embodiments, the legitimacy verification of various types of data in this embodiment is performed to obtain the legitimacy verification result of the target electronic map, including: searching for reference information corresponding to various types of data in the data verification unit corresponding to each type of data, and comparing each type of data with the reference information; and obtaining the legitimacy verification result of the target electronic map based on the comparison result.

[0146] The reference information includes but is not limited to the name, value range and number of each data, and this embodiment does not make any specific limitation on this.

[0147] Optionally, for product configuration data, the data verification unit corresponding to the product configuration data is a product configuration data verification unit;

[0148] The product configuration data verification unit VVM1 contains the reference information V of the product function data f and product parameter data reference information V p , specifically expressed as VVM1 = {V f , V p}; where V f = {v f1 , v f2 …v fx …v fX},v fx represents the xth product function data, X represents the number of product function data, including but not limited to: VOBC product function, ZC product function, CI product function and ATS product function; V p = {v p1 , v p2 …v py …v pY},v pyRepresents the yth product parameter data, where Y represents the number of product parameter data, including but not limited to: VOBC product parameters, ZC product parameters, CI product parameters, and ATS product parameters.

[0149] The product function data in the product configuration data in the target electronic map can be compared with the V in the product configuration data verification unit. f Compare one or more combinations of the name, value range and number to obtain the legality verification result of each product function data;

[0150] At the same time, the product parameter data in the product configuration data in the target electronic map can be compared with the V p The product parameter data is compared with one or more combinations of name, value range and number to obtain the legality verification result of each product parameter data.

[0151] For engineering line data, the data verification unit corresponding to the engineering line data is the engineering line data verification unit;

[0152] The engineering line data verification unit VVM2 contains reference information of each engineering line, which is specifically expressed as VVM2={V x},V x Represents the x-th engineering line data, including but not limited to: turnout number, signal number and transponder number.

[0153] like Figure 4 As shown, the data of each engineering route in the target electronic map is compared with the V x The data is compared with one or more combinations of the name, value range and number to obtain the legality verification result of the engineering line data.

[0154] This embodiment only needs to compare various types of data with corresponding reference information to quickly and accurately obtain the legality verification results of various types of data, so as to give priority to verifying the target electronic map, and give priority to excluding the target electronic map that does not meet the legality verification, thereby improving the efficiency of electronic map data verification.

[0155] On the basis of the above embodiments, the target electronic map in this embodiment includes product configuration data; in the data verification unit corresponding to each type of data, reference information corresponding to each type of data is searched, and each type of data is compared with the reference information, including: for enumerated data in the product configuration data, first reference information corresponding to the enumerated data is searched in the data verification unit corresponding to the product configuration data; attribute information of the enumerated data is compared with attribute information in the first reference information, and the true value of the enumerated data is compared with each reference value within the reference value range of the first reference information; for numerical data in the product configuration data, second reference information corresponding to the numerical data is searched in the data verification unit corresponding to the product configuration data; attribute information of the numerical data is compared with attribute information in the second reference information, and the true value of the numerical data is compared with the minimum value and the maximum value within the reference value range of the second reference information.

[0156] The attribute information includes name and number, etc., which are not specifically limited in this embodiment.

[0157] Among them, the product configuration data contains two data types, one is enumeration data, such as the value of product function data including open or close; the other is data value data, such as the value of product parameter data.

[0158] like Figure 5 As shown, for product function data, the first reference information corresponding to the product function data is searched in the product configuration data verification unit; the name of the product function data is compared with the name in the first reference information to determine whether the name of the product function data is consistent with the name in the first reference information; at the same time, the true value of the product function data in the target electronic map is compared one by one with each reference value in the reference value range in the first reference information to determine whether the true value of the product function data belongs to any reference value in the reference value range.

[0159] For example, when the reference value of the product function data includes 0x55 and 0xAA, it is determined whether the actual value of the product function data belongs to 0x55 or 0xAA, 0x55 represents on, and 0xAA represents off.

[0160] When the name of the product function data is consistent with the name in the first reference information, and the real value of the product function data belongs to any reference value in the reference value range, it is determined that the product function data passes the legality verification.

[0161] like Figure 6As shown, for product parameter data, the second reference information corresponding to the product parameter data is searched in the product configuration data verification unit; the name of the product parameter data is compared with the name in the second reference information to determine whether the name of the product parameter data is consistent with the name in the second reference information; at the same time, the true value of the product parameter data in the target electronic map is compared one by one with the maximum value and the minimum value in the reference value range in the second reference information to determine whether the true value of the product parameter data is greater than the minimum value and greater than the maximum value.

[0162] When the name of the product parameter data is consistent with the name in the second reference information, and the actual value of the product parameter data is greater than the minimum value and greater than the maximum value, it is determined that the product parameter data passes the legality verification.

[0163] This embodiment can further improve the accuracy and reliability of verification by setting different validity verification methods for different types of data.

[0164] On the basis of the above-mentioned embodiments, the outputting of the final verification result of the target electronic map according to the legality verification result and the accuracy verification result in this embodiment includes: marking the abnormal data that fails the legality verification and / or the accuracy verification according to the legality verification result and the accuracy verification result; and generating the final verification result of the target electronic map according to the relevant information of the abnormal data; the relevant information includes one or more combinations of marking information, true value, theoretical value, data type and data name.

[0165] Optionally, after obtaining the legality verification result and the accuracy verification result of the target electronic map, determine whether the target electronic map has passed the legality verification and the accuracy verification. If the target electronic map fails the legality verification and / or the accuracy verification, determine that the final verification result of the target electronic map is failed verification; if the target electronic map passes the legality verification and the accuracy verification, determine that the final verification result of the target electronic map is passed verification.

[0166] In addition, when the final verification result of the target electronic map is failure to pass the verification, the abnormal data that failed the legality verification and / or accuracy verification can also be marked, and the final verification result can be generated based on one or more combinations of the marking information, true value, theoretical value, data type and data name of the abnormal data, so that the final verification result not only includes prompt information of the theoretical value of the abnormal data, but also includes relevant descriptions and marking information of the abnormal data, which is convenient for maintenance personnel to quickly and accurately locate the abnormal data and quickly make corresponding processing decisions for the abnormal data.

[0167] The verification device for the urban rail transit electronic map provided by the present invention is described below. The verification device for the urban rail transit electronic map described below and the verification method for the urban rail transit electronic map described above can be referred to each other.

[0168] like Figure 7 As shown, this embodiment provides a verification device for an urban rail transit electronic map, the device comprising: a data extraction module 701, a structure verification module 702, a calculation module 703, a function verification module 704 and an output module 705, wherein:

[0169] The data extraction module 701 is used to: obtain a target electronic map and extract various types of data from the target electronic map;

[0170] Optionally, data may be extracted according to different types based on the dependency relationship between data in the target electronic map to obtain various types of data; and the various types of data may be stored in different ways.

[0171] The structure verification module 702 is used to: perform legality verification on various types of data to obtain legality verification results of the target electronic map; the legality verification is used to verify whether various types of data are within the reference range;

[0172] Optionally, each data in each category of data is compared with its corresponding reference range to verify whether each data is within the reference range.

[0173] If any data is within the reference range, it means that the data has passed the legality verification; if the data is not within the reference range, it means that the data has not passed the legality verification.

[0174] The calculation module 703 is used to: construct a data model according to the dependency relationship between the various types of data when all types of data in the target electronic map have passed the legality verification, and calculate the theoretical value of each target data in each type of data according to the parameters in the data model;

[0175] Optionally, after obtaining the legality verification result of the target electronic map, confirm whether all types of data have passed the legality verification. If any type of data has not passed the legality verification, directly output the final verification result of the target electronic map according to the legality verification result.

[0176] If all types of data pass the legality verification, continue to verify the accuracy of the target electronic map to ensure the accuracy and reliability of the verification results.

[0177] The data model is used to characterize the dependency relationship between various types of data in the target electronic map.

[0178] Optionally, a data model is constructed according to the dependency relationship between various types of data, and parameters required by the data model are extracted from the target electronic map.

[0179] Then, according to the parameters of the data model and the dependencies between the parameters, the values ​​of the target data in each type of data are deduced to obtain the theoretical values ​​of the target data.

[0180] The function verification module 704 is used to: verify the accuracy of each target data in the target electronic map according to the theoretical value of each target data, and obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value;

[0181] Optionally, after obtaining the theoretical value of each target data, the theoretical value of each target data can be compared with the actual value of each target data in the target electronic map to determine whether the theoretical value of each target data is consistent with the actual value, so as to verify the accuracy of each target data in the target electronic map and obtain the accuracy verification result of the target electronic map.

[0182] Optionally, for each target data in the target electronic map, when the theoretical value of the target data is consistent with the actual value, it indicates that the value of the target data in the target electronic map is correct and has passed the verification; when the theoretical value of the target data is inconsistent with the actual value, it indicates that the value of the target data in the target electronic map is incorrect and has failed the verification.

[0183] Finally, the accuracy verification results of all target data in the target electronic map are integrated to obtain the accuracy verification result of the target electronic map.

[0184] The output module 705 is used to output the final verification result of the target electronic map according to the legality verification result and the accuracy verification result.

[0185] Optionally, after obtaining the validity verification result and the accuracy verification result of the target electronic map, the data of the target electronic map is comprehensively evaluated in conjunction with the validity verification result and the accuracy verification result of the target electronic map to obtain a final verification result.

[0186] Optionally, when the target electronic map passes both the legality verification and the accuracy verification, determining the final verification result of the target electronic map as passed verification;

[0187] When the target electronic map fails to pass the legality verification and / or fails to pass the accuracy verification, the final verification result of the target electronic map is determined to be failure to pass the verification.

[0188] Then, the final verification result of the target electronic map is output, and the final verification result includes a legality verification result, an accuracy verification result, and the name, reference range and theoretical value of the data that failed the verification, etc. This embodiment does not specifically limit this.

[0189] In this embodiment, the validity of various types of data in the target electronic map is first verified to obtain the validity verification result of the target electronic map, so as to preliminarily screen the target electronic map and improve the verification efficiency. Then, when the target electronic map passes the validity verification, a data model is constructed for the dependency relationship corresponding to various types of data, and the theoretical value of each target data in the target electronic map is calculated through the parameters of the data model to verify the accuracy of the value of each target data in the target electronic map. Finally, the validity verification result and the accuracy verification result of the target electronic map are combined to automatically and accurately obtain the final verification result of the target electronic map. On the one hand, the entire verification process is automatically completed online and can cover various types of data in the electronic map, effectively reducing the extra workload caused by manual verification and reducing the error rate and missed detection rate of verification. On the other hand, the validity verification result and the accuracy verification result of the target electronic map are combined to improve the accuracy of the verification result, facilitate rapid positioning of erroneous data, and provide the theoretical value of each data so that the verification personnel can quickly locate the erroneous data, further improving the verification efficiency of the electronic map data.

[0190] Figure 8 An example of a physical structure diagram of an electronic device is shown in FIG. Figure 8As shown, the electronic device may include: a processor (processor) 801, a communication interface (Communications Interface) 802, a memory (memory) 803 and a communication bus 804, wherein the processor 801, the communication interface 802, and the memory 803 communicate with each other through the communication bus 804. The processor 801 can call the logic instructions in the memory 803 to execute the verification method of the urban rail transit electronic map, which includes: obtaining a target electronic map and extracting various types of data from the target electronic map; performing legitimacy verification on various types of data to obtain legitimacy verification results of the target electronic map; the legitimacy verification is used to verify whether various types of data are within a reference range; when various types of data in the target electronic map pass the legitimacy verification, a data model is constructed according to the dependency relationship between various types of data, and the theoretical value of each target data in each type of data is calculated according to the parameters in the data model; according to the theoretical value of each target data, the accuracy of each target data in the target electronic map is verified to obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value; according to the legitimacy verification result and the accuracy verification result, the final verification result of the target electronic map is output.

[0191] In addition, the logic instructions in the above-mentioned memory 803 can be implemented in the form of a software functional unit and can be stored in a computer-readable storage medium when it is sold or used as an independent product. Based on such an understanding, the technical solution of the present invention, in essence, or the part that contributes to the prior art or the part of the technical solution, can be embodied in the form of a software product, and the computer software product is stored in a storage medium, including several instructions for a computer device (which can be a personal computer, a server, or a network device, etc.) to perform all or part of the steps of the method described in each embodiment of the present invention. The aforementioned storage medium includes: U disk, mobile hard disk, read-only memory (ROM, Read-Only Memory), random access memory (RAM, Random Access Memory), disk or optical disk and other media that can store program codes.

[0192] On the other hand, the present invention also provides a computer program product, which includes a computer program, which can be stored on a non-transitory computer-readable storage medium. When the computer program is executed by a processor, the computer can execute the verification method of the urban rail transit electronic map provided by the above methods, which method includes: obtaining a target electronic map and extracting various types of data from the target electronic map; performing legitimacy verification on various types of data to obtain legitimacy verification results of the target electronic map; the legitimacy verification is used to verify whether various types of data are within a reference range; when various types of data in the target electronic map pass the legitimacy verification, a data model is constructed according to the dependency relationship between various types of data, and the theoretical value of each target data in each type of data is calculated according to the parameters in the data model; according to the theoretical value of each target data, the accuracy of each target data in the target electronic map is verified to obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value; according to the legitimacy verification result and the accuracy verification result, the final verification result of the target electronic map is output.

[0193] On the other hand, the present invention also provides a non-transitory computer-readable storage medium having a computer program stored thereon, which, when executed by a processor, is implemented to execute the verification method of the urban rail transit electronic map provided by the above-mentioned methods, the method comprising: obtaining a target electronic map and extracting various types of data from the target electronic map; performing legitimacy verification on various types of data to obtain legitimacy verification results of the target electronic map; the legitimacy verification is used to verify whether various types of data are within a reference range; when various types of data in the target electronic map pass the legitimacy verification, a data model is constructed according to the dependency relationship between various types of data, and the theoretical value of each target data in each type of data is calculated according to the parameters in the data model; based on the theoretical value of each target data, accuracy verification is performed on each target data in the target electronic map to obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value; based on the legitimacy verification result and the accuracy verification result, a final verification result of the target electronic map is output.

[0194] The device embodiments described above are merely illustrative, wherein the units described as separate components may or may not be physically separated, and the components displayed as units may or may not be physical units, that is, they may be located in one place, or they may be distributed on multiple network units. Some or all of the modules may be selected according to actual needs to achieve the purpose of the scheme of this embodiment. Those of ordinary skill in the art may understand and implement it without creative effort.

[0195] Through the description of the above implementation methods, those skilled in the art can clearly understand that each implementation method can be implemented by means of software plus a necessary general hardware platform, and of course, it can also be implemented by hardware. Based on this understanding, the above technical solution is essentially or the part that contributes to the prior art can be embodied in the form of a software product, and the computer software product can be stored in a computer-readable storage medium, such as ROM / RAM, a disk, an optical disk, etc., including a number of instructions for a computer device (which can be a personal computer, a server, or a network device, etc.) to execute the methods described in each embodiment or some parts of the embodiments.

[0196] Finally, it should be noted that the above embodiments are only used to illustrate the technical solutions of the present invention, rather than to limit it. Although the present invention has been described in detail with reference to the aforementioned embodiments, those skilled in the art should understand that they can still modify the technical solutions described in the aforementioned embodiments, or make equivalent replacements for some of the technical features therein. However, these modifications or replacements do not deviate the essence of the corresponding technical solutions from the spirit and scope of the technical solutions of the embodiments of the present invention.

Claims

1. A method for verifying an urban rail transit electronic map, characterized in that: include: Obtaining a target electronic map, and extracting various types of data from the target electronic map; Performing legality verification on various types of data to obtain legality verification results of the target electronic map; the legality verification is used to verify whether various types of data are within the reference range; When all types of data in the target electronic map have passed the legality verification, a data model is constructed according to the dependency relationship between the various types of data, and the theoretical value of each target data in each type of data is calculated according to the parameters in the data model; According to the theoretical value of each target data, the accuracy of each target data in the target electronic map is verified to obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value; Outputting a final verification result of the target electronic map according to the legitimacy verification result and the accuracy verification result; The target data includes a retreat distance; The step of calculating the theoretical value of each target data in each type of data according to the parameters in the data model includes: Calculate a first coefficient corresponding to the retreat distance according to the traction cut-off delay, the emergency brake establishment equivalent time, the maximum acceleration, the maximum slope, the rotational mass coefficient and the emergency brake acceleration in the data model; Among them, the calculation formula of the first coefficient a is: a = traction cut-off delay + emergency brake establishment equivalent time + ((maximum acceleration - maximum slope / rotation mass coefficient) * traction cut-off delay - maximum slope / rotation mass coefficient * emergency brake establishment equivalent time) / (emergency brake acceleration + maximum slope / rotation mass coefficient); Calculate a second coefficient corresponding to the retreat distance according to the maximum acceleration, maximum slope, rotational mass coefficient, traction cut-off delay, emergency brake establishment equivalent time and emergency brake acceleration in the data model; The calculation formula of the second coefficient b is: b = 0.5*(maximum acceleration - maximum slope / rotational mass coefficient)*the square value of the traction cut-off delay + (maximum acceleration - maximum slope / rotational mass coefficient)*the traction cut-off delay*the equivalent time of emergency brake establishment-0.5*maximum slope / rotational mass coefficient*the square value of the equivalent time of emergency brake establishment+((maximum acceleration - maximum slope / rotational mass coefficient) 2 *Square value of traction cut-off delay + (maximum slope / rotational mass coefficient) 2 * The square value of the emergency brake establishment equivalent time - 2 * (maximum acceleration - maximum slope / rotational mass coefficient) * (maximum slope / rotational mass coefficient) * traction cut-off delay * emergency brake establishment equivalent time) / (2 * (emergency brake acceleration + maximum slope / rotational mass coefficient)); The theoretical value of the retreat distance is calculated according to the maximum retreat speed, emergency braking acceleration, maximum slope and rotational mass coefficient in the data model, and the first coefficient and the second coefficient corresponding to the retreat distance.

2. The verification method of the urban rail transit electronic map according to claim 1, characterized in that: The data model includes a vehicle dynamics model, a communication model and a value model; The parameters of the vehicle dynamics model are generated based on the vehicle parameters, slope data and speed limit data in the target electronic map; The parameters of the communication model are constructed and generated according to the communication time of each product in the target electronic map; The parameters of the value model are preset.

3. The verification method of the urban rail transit electronic map according to claim 2, characterized in that: The vehicle parameters include traction cut-off delay, rotational mass coefficient, emergency brake establishment equivalent time, maximum acceleration, maximum emergency brake rate, minimum emergency brake rate, emergency brake maximum speed, maximum retreat speed, emergency brake acceleration and the distance from the first wheel pair of the train to the tip of the train; The slope data includes the maximum slope, the minimum slope, the mainline slope and the vehicle segment slope; The speed limit data includes static speed limit and turnout speed limit; The products include on-board controllers, zone controllers, computer interlocking systems, and automatic train monitoring systems; The value model includes a first value model and a second value model; The first value model includes the distance from the turnout to the warning mark, the interval between the traction cut-off speed and the emergency braking speed, the maximum number of logical sections, and the maximum triggering speed of the emergency brake; The second value model includes driver reaction time, processing cycle of ground electronic unit, transmission delay between ground electronic unit and transponder, transmission delay between transponder and onboard controller and processing cycle of transponder information receiving unit.

4. The verification method of the urban rail transit electronic map according to claim 3 is characterized in that: The target data includes a mobile authorization balance; The step of calculating the theoretical value of each target data in each type of data according to the parameters in the data model includes: The theoretical value of the movement authorization margin is calculated according to the theoretical value of the retreat distance and the distance from the first wheelset to the vehicle tip in the data model.

5. The verification method of the urban rail transit electronic map according to claim 3 is characterized in that: The target data includes delayed unlocking time; The step of calculating the theoretical value of each target data in each type of data according to the parameters in the data model includes: According to the emergency braking maximum trigger speed, emergency braking acceleration, maximum slope, rotational mass coefficient and communication time of each product in the data model, the theoretical value of the delayed unlocking time of each product is calculated.

6. The method for verifying an urban rail transit electronic map according to any one of claims 1 to 5, characterized in that: The legitimacy verification of various types of data is performed to obtain the legitimacy verification result of the target electronic map, including: In the data verification unit corresponding to each type of data, searching for reference information corresponding to each type of data, and comparing each type of data with the reference information; According to the comparison result, the legitimacy verification result of the target electronic map is obtained.

7. The verification method of the urban rail transit electronic map according to claim 6, characterized in that: The target electronic map includes product configuration data; The step of searching, in the data verification unit corresponding to each type of data, reference information corresponding to each type of data and comparing each type of data with the reference information includes: For the enumerated data in the product configuration data, searching for first reference information corresponding to the enumerated data in a data verification unit corresponding to the product configuration data; Compare the attribute information of the enumerated data with the attribute information in the first reference information, and compare the true value of the enumerated data with each reference value within the reference value range in the first reference information; For the numerical data in the product configuration data, searching for second reference information corresponding to the numerical data in a data verification unit corresponding to the product configuration data; The attribute information of the numerical data is compared with the attribute information in the second reference information, and the true value of the numerical data is compared with the minimum value and the maximum value within the reference value range in the second reference information.

8. The method for verifying an urban rail transit electronic map according to any one of claims 1 to 5, characterized in that: The step of outputting a final verification result of the target electronic map according to the legitimacy verification result and the accuracy verification result includes: According to the legitimacy verification result and the accuracy verification result, determining abnormal data that has not passed the legitimacy verification and / or the accuracy verification, and marking the abnormal data; According to the relevant information of the abnormal data, the final verification result of the target electronic map is output; wherein the relevant information includes one or more combinations of tag information, real value, theoretical value, data type and data name.

9. A verification device for an urban rail transit electronic map, characterized in that: include: The data extraction module is used to: obtain a target electronic map and extract various types of data from the target electronic map; The structure verification module is used to: verify the legitimacy of various types of data to obtain the legitimacy verification result of the target electronic map; the legitimacy verification is used to verify whether the various types of data are within the reference range; A calculation module, used to: construct a data model according to the dependency relationship between the various types of data when all types of data in the target electronic map have passed the legality verification, and calculate the theoretical value of each target data in the various types of data according to the parameters in the data model; A function verification module is used to: verify the accuracy of each target data in the target electronic map according to the theoretical value of each target data, and obtain the accuracy verification result of the target electronic map; the accuracy verification is used to verify whether the real value of each target data obtained from the target electronic map is consistent with the theoretical value; An output module, used to: output a final verification result of the target electronic map according to the legality verification result and the accuracy verification result; The target data includes a retreat distance; The computing module is specifically used for: Calculate a first coefficient corresponding to the retreat distance according to the traction cut-off delay, the emergency brake establishment equivalent time, the maximum acceleration, the maximum slope, the rotational mass coefficient and the emergency brake acceleration in the data model; Among them, the calculation formula of the first coefficient a is: a = traction cut-off delay + emergency brake establishment equivalent time + ((maximum acceleration - maximum slope / rotation mass coefficient) * traction cut-off delay - maximum slope / rotation mass coefficient * emergency brake establishment equivalent time) / (emergency brake acceleration + maximum slope / rotation mass coefficient); Calculate a second coefficient corresponding to the retreat distance according to the maximum acceleration, maximum slope, rotational mass coefficient, traction cut-off delay, emergency brake establishment equivalent time and emergency brake acceleration in the data model; The calculation formula of the second coefficient b is: b = 0.5*(maximum acceleration - maximum slope / rotational mass coefficient)*the square value of the traction cut-off delay + (maximum acceleration - maximum slope / rotational mass coefficient)*the traction cut-off delay*the equivalent time of emergency brake establishment-0.5*maximum slope / rotational mass coefficient*the square value of the equivalent time of emergency brake establishment+((maximum acceleration - maximum slope / rotational mass coefficient) 2 *Square value of traction cut-off delay + (maximum slope / rotational mass coefficient) 2 * The square value of the emergency brake establishment equivalent time - 2 * (maximum acceleration - maximum slope / rotational mass coefficient) * (maximum slope / rotational mass coefficient) * traction cut-off delay * emergency brake establishment equivalent time) / (2 * (emergency brake acceleration + maximum slope / rotational mass coefficient)); The theoretical value of the retreat distance is calculated according to the maximum retreat speed, emergency braking acceleration, maximum slope and rotational mass coefficient in the data model, and the first coefficient and the second coefficient corresponding to the retreat distance.

Images