CN106672024B - Train control system mobile authorization safety protecting method based on spatial alternation - Google Patents
Train control system mobile authorization safety protecting method based on spatial alternation Download PDFInfo
- Publication number
- CN106672024B CN106672024B CN201611247682.1A CN201611247682A CN106672024B CN 106672024 B CN106672024 B CN 106672024B CN 201611247682 A CN201611247682 A CN 201611247682A CN 106672024 B CN106672024 B CN 106672024B
- Authority
- CN
- China
- Prior art keywords
- train
- algorithm
- track
- mobile authorization
- space
- 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.)
- Active
Links
- 238000013475 authorization Methods 0.000 title claims abstract description 71
- 238000000034 method Methods 0.000 title claims abstract description 39
- 230000004224 protection Effects 0.000 claims abstract description 55
- 238000004364 calculation method Methods 0.000 claims abstract description 15
- 238000012795 verification Methods 0.000 claims abstract description 9
- 238000001514 detection method Methods 0.000 claims description 7
- 230000001133 acceleration Effects 0.000 claims description 3
- 230000002776 aggregation Effects 0.000 claims description 3
- 238000004220 aggregation Methods 0.000 claims description 3
- 230000035484 reaction time Effects 0.000 claims description 3
- 230000015572 biosynthetic process Effects 0.000 claims description 2
- 230000009466 transformation Effects 0.000 claims description 2
- 230000006870 function Effects 0.000 description 9
- 230000008569 process Effects 0.000 description 8
- 238000010586 diagram Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 238000002474 experimental method Methods 0.000 description 3
- 238000004880 explosion Methods 0.000 description 3
- 230000008878 coupling Effects 0.000 description 2
- 238000010168 coupling process Methods 0.000 description 2
- 238000005859 coupling reaction Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000012360 testing method Methods 0.000 description 2
- 241000208340 Araliaceae Species 0.000 description 1
- 235000005035 Panax pseudoginseng ssp. pseudoginseng Nutrition 0.000 description 1
- 235000003140 Panax quinquefolius Nutrition 0.000 description 1
- 238000013459 approach Methods 0.000 description 1
- 230000004888 barrier function Effects 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 235000008434 ginseng Nutrition 0.000 description 1
- 239000002245 particle Substances 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
- 230000001681 protective effect Effects 0.000 description 1
- 230000009993 protective function Effects 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L23/00—Control, warning or like safety means along the route or between vehicles or trains
- B61L23/08—Control, warning or like safety means along the route or between vehicles or trains for controlling traffic in one direction only
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
- B61L27/20—Trackside control of safe travel of vehicle or train, e.g. braking curve calculation
Landscapes
- Engineering & Computer Science (AREA)
- Mechanical Engineering (AREA)
- Train Traffic Observation, Control, And Security (AREA)
- Electric Propulsion And Braking For Vehicles (AREA)
Abstract
The present invention provides a kind of train control system mobile authorization safety protecting method based on spatial alternation.This method specifically include that establish train control system track section and it includes each element spatial alternation expression, the spatial alternation algorithm of mobile authorization security protection is established based on the spatial alternation expression；Train security protection curve is generated based on the target endpoint distance in train mobile authorization, the calculation method of train track is established according to the train security protection curve；Protection verifying is carried out to the train track and train mobile authorization according to the spatial alternation algorithm of the mobile authorization security protection, the safety of the train track and train mobile authorization is determined according to verification result.Method of the invention effectively can carry out safety verification to the MA information of generation and train track, guarantee the safety of train MA, ensure the safety of train operation.
Description
Technical field
The present invention relates to Train Operation Control Technology field more particularly to a kind of train control system based on spatial alternation are mobile
Authorizing secure means of defence.
Background technique
Train operation control system is a set of control system for guaranteeing safe train operation, is worked as by collecting train on route
Preceding operating status and route objective condition, exercises supervision to train running speed, controls, transport train safely on the line
Row.MA (Movement Authority, mobile authorization) is a series of routes that particular train is able to enter in given directions
Track section.The correctness of MA is related to the key whether train can be safely operated on the line, therefore MA is calculated
Function is the core function of train operation control system.
In existing Train Detection and Identification mobile authorization calculating process, MA calculates equipment and (sets at present for ZC equipment or RBC
It is standby) by counting local train position, traversal calculates the barrier that corresponding train operation ahead is likely to occur, such as front train
Route information, front train MA etc., and it is (generally vehicle-mounted that the MA information of generation is sent to the equipment with overspeed protection function
Equipment), excessive speed protective equipment calculates the velocity protection curve of train according to MA information, and guarantees train according to set curve in MA
It stops before terminal.
However current MA calculation still remains following defect:
MA, which is calculated, does not ensure that its function is realized safe and punctual, cannot carry out safety verification to its result；
Current MA computing function is not related to the velocity information and on-position information of train, therefore in the process of running
It cannot stop before the MA terminal that traditional approach generates in view of may cause train in the worst cases and in failure scene.
Summary of the invention
The embodiment provides a kind of train control system mobile authorization safety protecting method based on spatial alternation, with
It realizes and safety verification effectively is carried out to the MA information of generation and train track.
To achieve the goals above, this invention takes following technical solutions.
A kind of train control system mobile authorization safety protecting method based on spatial alternation, comprising:
Establish train control system track section and it includes each element spatial alternation expression, based on the space become
Change the spatial alternation algorithm that expression establishes mobile authorization security protection；
Train security protection curve is generated based on the target endpoint distance in train mobile authorization, according to the train safety
Protection curve establishes the calculation method of train track；
According to the spatial alternation algorithm of the mobile authorization security protection to the calculation method and train of the train track
Mobile authorization is verified, and the safety of the train track and train mobile authorization is determined according to verification result.
Further, it is described establish train control system track section and it includes each element spatial alternation expression side
Method, comprising:
Using a 6 tuples<a, b, id, ty, s, l>indicate the track section in rail track, wherein a and b indicates rail
The starting of road section, final position, id indicate the infrastructure number that track section is included, and ty indicates that track section is included
The type of infrastructure, s indicate that the included frastructure state of track section, l indicate the included infrastructure of track section
Locking states；
It is metric space (X, a d by rail track net definitionsX), for arbitrary x, y ∈ X, function dX(x's, y)
Value are as follows:
WhereinIt is than the big value of any distance, x are connected expression with y when one specific between x and y in space
Between, the track section in rail track can be from y to x；
V1, V2 two spaces are defined, are defined as follows:
Define 1: if being <u by the calculated mobile authorization MA of Train Detection and Identification algorithm0,u1,u2,……,un> track
Sector sequence, X1 are the set comprising track section units all in MA,For X1 a subset race, ifMeet
Following condition is then called the space V1
1.1) empty set belongs toStarting elemental { the u in space0Belong toAnd X1 belongs to
If 1.2)And ui∈ τ 1, then
Defining 2: α is current location of the train in rail track metric space, and dir indicates the direction of advance of train, X2
For all track section units for including in train track,For X2 a subset race, ifMeet following item
Part is then called the space V2；
2.1) empty set belongs to X2
If 2.2) d (α, u0·a)+d(α,u0B)=d (u0·a,u0B), then It is referred to as empty
Between start unit；
2.3)For eachIf d (α, uj·a)<Lg,dir×[d(u0·b,uj·a)-d
(u0·a,uj] > 0 and d (α, u a)jA)=min { d (α, ukA): k ∈ I }, then
Further, the value of each parameter sees below table 1 in the track section unit:
Table 1.
Further, the spatial alternation that mobile authorization security protection is established based on the spatial alternation expression
Algorithm, comprising:
The spatial alternation algorithm of four kinds of following mobile authorization security protections is established based on the spatial alternation expression:
Algorithm 1: ifFor the space V1, u0∈ X is the start unit in space, then there are rows of vehicles, and position alpha is full
Sufficient d (α, u0·a)+d(α,u0B)=d (u0·a,u0·b)；
Algorithm 2: ifFor the space V1,For the space V2, thenWithIt is safe then
It must satisfyAnd
Algorithm 3: ifFor the space V1,It is needed full for the relevant space V2 if V1, V2 space safety
Sufficient ZTOnIt is set ZTThe aggregation of ∩ U, wherein
Algorithm 4: if (X, τ1) and (Y, τ2) be different trains the space V1, then non-intersecting and if only if the two spaces
When whole rail track safety.
Further, the target endpoint distance based in train mobile authorization generates train security protection curve,
The calculation method of train track is established according to the train security protection curve, comprising:
It is generated by target endpoint away from control mode according to the maximum distance that train can travel in train mobile authorization MA
Velocity protection curve, calculation formula are as follows:
Wherein LmaIt is the target endpoint distance in MA, TS is target velocity, BeIt is emergency braking deceleration, t1For system peace
Full application of brake reaction time, t2To brake settling time, a is peak acceleration；
Target velocity TS in above-mentioned formula 1 is changed to the speed of service TV, L of current trainmaIt is changed to train most
Short distance travelled Lg, then LgCalculation formula it is as follows:
By the most short distance travelled L of the traingAs train track.
Further, the spatial alternation algorithm according to the mobile authorization security protection to the train track and
Train mobile authorization is verified, and the safety of the train track and train mobile authorization is determined according to verification result, comprising:
Train mobile authorization and the calculated train track of above-mentioned formula 2 are separately input to the movement as parameter and awarded
It weighs in spatial alternation algorithm 1, algorithm 2, algorithm 3 and the algorithm 4 of security protection, when the space of the mobile authorization security protection becomes
Scaling method 1, algorithm 2, algorithm 3 and algorithm 4 are all set up, it is determined that the train track and train mobile authorization safety；
When the spatial alternation algorithm 1 of the mobile authorization security protection, algorithm 2, algorithm 3 and algorithm 4 are not all to set up, then
Determine that the train track and train mobile authorization are dangerous.
As can be seen from the technical scheme provided by the above-mentioned embodiment of the present invention, the embodiment of the present invention propose based on space
The train control system mobile authorization safety protecting method of transformation effectively can carry out safety to the MA information of generation and train track
Verifying guarantees the safety of train MA, shows that the algorithm can be applied in actual system by relevant experimental data, show
The practicability of the algorithm, solving traditional MA calculation method can not preferably carry out for the protection of train control system MA functional safety
The problem of modeling, verifying.
The additional aspect of the present invention and advantage will be set forth in part in the description, these will become from the following description
Obviously, or practice through the invention is recognized.
Detailed description of the invention
In order to illustrate the technical solution of the embodiments of the present invention more clearly, required use in being described below to embodiment
Attached drawing be briefly described, it should be apparent that, drawings in the following description are only some embodiments of the invention, for this
For the those of ordinary skill of field, without any creative labor, it can also be obtained according to these attached drawings other
Attached drawing.
Fig. 1 is a kind of train operation control system mobile authorization safety based on spatial alternation that the embodiment of the present invention proposes
Protect the realization principle schematic diagram of algorithm；
Fig. 2 is the schematic illustration of a kind of train track that the embodiment of the present invention proposes and mobile authorization；
Fig. 3 is a kind of experiment real-time status statistical result that the embodiment of the present invention proposes.
Specific embodiment
Embodiments of the present invention are described below in detail, the example of the embodiment is shown in the accompanying drawings, wherein from beginning
Same or similar element or element with the same or similar functions are indicated to same or similar label eventually.Below by ginseng
The embodiment for examining attached drawing description is exemplary, and for explaining only the invention, and is not construed as limiting the claims.
Those skilled in the art of the present technique are appreciated that unless expressly stated, singular " one " used herein, " one
It is a ", " described " and "the" may also comprise plural form.It is to be further understood that being arranged used in specification of the invention
Diction " comprising " refer to that there are the feature, integer, step, operation, element and/or component, but it is not excluded that in the presence of or addition
Other one or more features, integer, step, operation, element, component and/or their group.It should be understood that when we claim member
Part is " connected " or when " coupled " to another element, it can be directly connected or coupled to other elements, or there may also be
Intermediary element.In addition, " connection " used herein or " coupling " may include being wirelessly connected or coupling.Wording used herein
"and/or" includes one or more associated any cells for listing item and all combinations.
Those skilled in the art of the present technique are appreciated that unless otherwise defined, all terms used herein (including technology art
Language and scientific term) there is meaning identical with the general understanding of those of ordinary skill in fields of the present invention.Should also
Understand, those terms such as defined in the general dictionary, which should be understood that, to be had and the meaning in the context of the prior art
The consistent meaning of justice, and unless defined as here, it will not be explained in an idealized or overly formal meaning.
In order to facilitate understanding of embodiments of the present invention, it is done by taking several specific embodiments as an example below in conjunction with attached drawing further
Explanation, and each embodiment does not constitute the restriction to the embodiment of the present invention.
Embodiment one
The train control system mobile authorization safety protecting method that the embodiment of the present invention proposes is retouched by spatial alternation correlation theory
Essential track section information description in MA calculating process is stated, and anti-by the safety that security protection algorithm realizes MA
Protective function.
The embodiment of the present invention proposes a kind of mobile authorization security protection algorithm based on spatial alternation.Security protection algorithm
Realization principle schematic diagram is as shown in Figure 1, the present invention is realized in ZC (Zone Comtroller, zone controller) internal system
MA security protection algoritic module, the input data of ZC system include carrying out MA to calculate the bases such as train data, the track data needed
This information, the original MA that column control algorithm generates, the speed of train and braking instruction etc..According to the correlation reason based on spatial alternation
By railway network being described as a metric space, the original MA information of train is conceptualized as a manifold, will be according to column
The possible track of the train that vehicle speed and braking instruction are derived is expressed as a manifold.Train security protection is by some
It is realized based on the execution of the security protection algorithm of spatial alternation.The output of security protection algoritic module is the MA letter an of safety
Breath either one is sent to the fail-safe of VOBC (vehicle on-board controller, Vehicle Controller) equipment
Information.
The 1 mobile authorization security protection algorithm based on spatial alternation
The spatial alternation representation method of 1.1 rail track track sections
Defined below Train Detection and Identification process described firstly, it is necessary to introduce.
Metric space: metric space is a set X and a real-valued function d () being defined on X × X, is met:
D (x, y) >=0 and (x, x)=0 1.1a) are met for x, y ∈ X；
If 1.1b) d (x, y)=0, x=y；
1.2) there is d (x, y)=d (y, x) for every group of x, y ∈ X；
1.3) there is d (x, y)+d (y, z) >=d (x, z) for every group of x, y, z ∈ X.
Manifold: if the race O that the subset of a set U and set U is constituted, meet:
2.1) empty set and U belong to O；
2.2) in O any number of elements and still fall within O；
2.3) friendship of each and every one limited element still falls within O in O.
At this point, the element in O is known as opener, claiming (U, O) is a manifold.
In this patent, train is considered as a particle, from the point of view of Train Detection and Identification logic, entire railway by us
Network is made of a series of track sections, and each track section may include different infrastructure, such as track switch, semaphore
Deng.We use a 6 tuples<a, b, id, ty, s, l>indicate the track section in rail track.Wherein a and b indicates rail
The starting of road section, final position, id indicate included infrastructure number, and ty indicates the type of included infrastructure, s
Indicate that included frastructure state, l indicate the locking states of included infrastructure.The value of each parameter is shown in section unit
Table 1.
The value of parameter in 1. track section of table
Using above-mentioned basic conception we illustrate the definition of the spatial alternation of railway network, rail track network can be determined
Justice is metric space (X, a dX), for arbitrary x, y ∈ X, function dXThe value of (x, y) are as follows:
WhereinIt is than all big value of any distance between x and y in space.X is connected expression with y when one specific
Between, the track section in rail track can be from y to x.It can be seen that description rail track according to the definition of above-mentioned metric space
(X, the d of sectionX) it is a metric space.
The schematic illustration of a kind of train track and mobile authorization that the embodiment of the present invention proposes is as shown in Fig. 2, tradition column
Velocity protection curve is that the maximum distance that can be travelled according to train in MA passes through " target endpoint distance " controlling party in control system
Formula formation speed protects curve, and calculation formula is as follows:
Wherein LmaIt is the target endpoint distance in MA, TS is target velocity, BeIt is emergency braking deceleration, t1For system peace
Full application of brake reaction time, t2To brake settling time, a is peak acceleration.If target velocity (TS) is become in calculation formula
The more speed of service (TV) of current train, LmaIt is changed to train " most short distance travelled " Lg, then LgIt can be by following formula
It is calculated:
The wherein most short distance travelled track for being referred to as train of train, as shown in Figure 2.
For the correctness for verifying Train Control logic, invention defines V1, V2 two spaces, are defined as follows:
Define 1: if being <u by the calculated mobile authorization MA of Train Detection and Identification algorithm0,u1,u2,……,un> track
Sector sequence, X1 are the set comprising track section units all in MA,For X1 a subset race, ifMeet
Following condition is then called the space V1
1.1) empty set belongs toStarting elemental { the u in space0Belong toAnd X1 belongs to
If 1.2)And ui∈ τ 1, then
Defining 2: α is current location of the train in rail track metric space, and dir indicates the direction of advance of train, X2
For all track section units for including in train track,For X2 a subset race, ifMeet following item
Part is then called the space V2；
2.1) empty set belongs to X2
If 2.2) d (α, u0·a)+d(α,u0B)=d (u0·a,u0B), then It is referred to as empty
Between start unit；
2.3)For eachIf d (α, uj·a)<Lg,dir×[d(u0·b,uj·a)-d
(u0·a,uj] > 0 and d (α, u a)jA)=min { d (α, ukA): k ∈ I }, then
According to definition 2, we can calculate train trajectory range.
1.2 train mobile authorization security protection algorithms
Algorithm 1: ifFor the space V1, u0∈ X is the start unit in space, then a train is certainly existed,
Position alpha meets d (α, u0·a)+d(α,u0B)=d (u0·a,u0·b)。
The algorithm shows that train must be run in the limitation of MA, therefore the MA in system is necessarily directed to a certain column
What specific train generated.This theorem is used to examine the reasonability of original MA.
Algorithm 2: ifFor the space V1,For the space V2, thenWithIt is safe then
It must satisfyIt is better thanI.e.and
Show train in the process of running without departing from the region MA.
Algorithm 3: ifFor the space V1,For the relevant space V2, needed if V1, V2 space safety full
Sufficient ZTOnIt is set ZTThe aggregation (collection set) of ∩ U, wherein
The algorithm can ensure all to follow MA during train operation and train trajectory range is not at any time
Include unsafe point.
Algorithm 4: if (X, τ1) and (Y, τ2) be different trains the space V1, then non-intersecting and if only if the two spaces
When whole rail track safety.
The algorithm is checked for train control system MA and calculates in equipment control range middle different trains with the presence or absence of potential
Risk of collision.
Train mobile authorization and the calculated train track of above-mentioned formula 2 are separately input to the movement as parameter and awarded
It weighs in spatial alternation algorithm 1, algorithm 2, algorithm 3 and the algorithm 4 of security protection, when the space of the mobile authorization security protection becomes
Scaling method 1, algorithm 2, algorithm 3 and algorithm 4 are all set up, it is determined that the train track and train mobile authorization safety；
When the spatial alternation algorithm 1 of the mobile authorization security protection, algorithm 2, algorithm 3 and algorithm 4 are not all to set up, then
Determine that the train track and train mobile authorization are dangerous.
Embodiment two
It is tested according to the practical yard of Yi Zhuang line layout, effect proves that the means of defence can award train movement
Power carries out security protection, and state explosion does not occur in experiment effect, the calculating time can satisfy the use of real system.
5000 failures are filled at random by way of direct fault location on the basis of line original station yard data in Yi Zhuang
In 5000 infrastructure, original MA and Train Parameters, these failures cover the various situations being likely to occur in train control system.
Security protection can be carried out to mobile authorization using above-mentioned algorithm by being shown experimentally that.
It considers two-way totally 48 main routes during the experiment to be tested, table 2, which lists in each route, includes
Infrastructure element.The peace proposed is proved by number of states in the case of the different number train of statistics and runing time
Full protection algorithm can effectively be protected aiming at the problem that mobile authorization is likely to occur.The experimental results showed that this method is not
There is the state explosion problem in traditional form method, and average time needed for processing is fully able to meet real system
Demand.
Route list in 2. case study of table
Test result
It is directed to track switch element in experimentation and considers 5 states, respectively positioning, antiposition, positioning and locking, antiposition
And locking and down state；It is directed to track section, it is contemplated that occupy, idle and wrong three kinds of states；Semaphore is directed to,
Consider green, yellow, red and wrong four kinds of states；For train, it is contemplated that normal, braking and wrong three kinds of states.Fig. 3
Illustrate the number of states of the different time in system operation under different train quantity (1-14 column train), it can be seen that shape
State quantity number it is directly related with the number of element in MA, and do not occur in the whole process number of states explosion ask
Topic.
In conclusion the train control system mobile authorization safety protecting method based on spatial alternation that the embodiment of the present invention proposes
Safety verification effectively can be carried out to the MA information of generation and train track, guarantee the safety of train MA, by related real
It tests statistics indicate that the algorithm can be applied in actual system, shows the practicability of the algorithm, solve traditional MA and calculate
Method can not be preferably aiming at the problem that protection of train control system MA functional safety be modeled, is verified.
The embodiment of the present invention passes through the spatial alternation to train mobile authorization, train track and train " most short range ability "
Expression and Train Detection and Identification logic give 4 train mobile authorization security protection algorithms, can effectively protect column
The mobile authorization of vehicle is in unreasonable state, train exceeds mobile authorization area operation, does not follow MA in train travelling process
Or train trajectory range calculates the collision situation that different trains may occur in device control area domain comprising dangerous point, entire MA,
So as to effectively ensure the safety of train operation.
Those of ordinary skill in the art will appreciate that: attached drawing is the schematic diagram of one embodiment, module in attached drawing or
Process is not necessarily implemented necessary to the present invention.
As seen through the above description of the embodiments, those skilled in the art can be understood that the present invention can
It realizes by means of software and necessary general hardware platform.Based on this understanding, technical solution of the present invention essence
On in other words the part that contributes to existing technology can be embodied in the form of software products, the computer software product
It can store in storage medium, such as ROM/RAM, magnetic disk, CD, including some instructions are used so that a computer equipment
(can be personal computer, server or the network equipment etc.) executes the certain of each embodiment or embodiment of the invention
Method described in part.
All the embodiments in this specification are described in a progressive manner, same and similar portion between each embodiment
Dividing may refer to each other, and each embodiment focuses on the differences from other embodiments.Especially for device or
For system embodiment, since it is substantially similar to the method embodiment, so describing fairly simple, related place is referring to method
The part of embodiment illustrates.Apparatus and system embodiment described above is only schematical, wherein the conduct
The unit of separate part description may or may not be physically separated, component shown as a unit can be or
Person may not be physical unit, it can and it is in one place, or may be distributed over multiple network units.It can root
According to actual need that some or all of the modules therein is selected to achieve the purpose of the solution of this embodiment.Ordinary skill
Personnel can understand and implement without creative efforts.
The foregoing is only a preferred embodiment of the present invention, but scope of protection of the present invention is not limited thereto,
In the technical scope disclosed by the present invention, any changes or substitutions that can be easily thought of by anyone skilled in the art,
It should be covered by the protection scope of the present invention.Therefore, protection scope of the present invention should be with scope of protection of the claims
Subject to.
Claims (6)
1. a kind of train control system mobile authorization safety protecting method based on spatial alternation characterized by comprising
Establish train control system track section and it includes each element spatial alternation expression, be based on the spatial alternation table
The spatial alternation algorithm of mobile authorization security protection is established up to method；
Train security protection curve is generated based on the target endpoint distance in train mobile authorization, according to the train security protection
Curve establishes the calculation method of train track；
It is mobile according to calculation method and train of the spatial alternation algorithm of the mobile authorization security protection to the train track
Authorization is verified, and the safety of the train track and train mobile authorization is determined according to verification result.
2. the method according to claim 1, wherein it is described establish train control system track section and it includes
The spatial alternation expression of each element, comprising:
Using a 6 tuples<a, b, id, ty, s, l>indicate the track section in rail track, wherein a and b indicates track regions
The starting of section, final position, id indicate the infrastructure number that track section is included, and ty indicates that track section includes basis
The type of facility, s indicate that the included frastructure state of track section, l indicate the locking of the included infrastructure of track section
State；
It is metric space (X, a d by rail track net definitionsX), value are as follows:
WhereinIt is than all big value of any distance between x and y in space, x is connected expression with y in a specific time,
Track section in rail track can be from y to x；
V1, V2 two spaces are defined, are defined as follows:
Define 1: if by the calculated mobile authorization of Train Detection and Identification algorithm
MA is <u0,u1,u2,……,un> track section sequence, i.e., each track section uiIt is all satisfied above-mentioned 6 tuples < a, b,
Id, ty, s, l > definition, and 0≤i≤n, X1 are the set comprising track section units all in MA,For X1 a subset
Race, ifMeet following condition, is then called the space V1
1.1) empty set belongs toStarting elemental { the u in space0Belong toAnd X1 belongs to
If 1.2)And ui∈ τ 1, then
Defining 2: α is current location of the train in rail track metric space, and dir indicates the direction of advance of train, and X2 is column
In wheel paths include all track section units set,For X2 a subset race, ifMeet following item
Part is then called the space V2；
2.1) empty set belongs to X2
If 2.2) d (α, u0×a)+d(α,u0× b)=d (u0×a,u0× b), thenu0Referred to as in space
Beginning unit；
2.3)For eachIf d (α, uj×a)<Lg, LgFor most short distance travelled, the dir of train
×[d(u0×b,uj×a)-d(u0×a,uj× a)] > 0 and d (α, uj× a)=min { d (α, uk× a): k ∈ I }, then
3. according to the method described in claim 2, it is characterized in that, the value of each parameter is seen below in the track section unit
State table 1:
Table 1.
4. according to the method in claim 2 or 3, which is characterized in that described to be built based on the spatial alternation expression
The spatial alternation algorithm of vertical mobile authorization security protection, comprising:
The spatial alternation algorithm of four kinds of following mobile authorization security protections is established based on the spatial alternation expression:
Algorithm 1: ifFor the space V1, i.e.,Meet the space pair V1 of above-mentioned definition 1Requirement, u0∈ X is empty
Between start unit, then there are rows of vehicles, position alpha meets
d(α,u0×a)+d(α,u0× b)=d (u0×a,u0×b)；
Algorithm 2: ifFor the space V1, i.e.,Meet the space pair V1 of above-mentioned definition 1Requirement,For the space V2, i.e.,Meet the space pair V2 of above-mentioned definition 2Requirement, thenWithIt is safe then must satisfyAnd
Algorithm 3: ifFor the space V1,It needs to meet Z if V1, V2 space safety for the relevant space V2T
OnIt is set ZTThe aggregation of ∩ U, wherein
Algorithm 4: if (X, τ1) and (Y, τ2) be different trains the space V1, i.e. (X, τ1), (Y, τ2) be all satisfied the space V1 for (X,
τ1), (Y, τ2) space requirement, then whole rail track safety when the two spaces are non-intersecting.
5. according to the method described in claim 4, it is characterized in that, the target endpoint based in train mobile authorization away from
From train security protection curve is generated, the calculation method of train track is established according to the train security protection curve, comprising:
According to the maximum distance that train can travel in train mobile authorization MA by target endpoint away from control mode formation speed
Curve is protected, calculation formula is as follows:
Wherein LmaIt is the target endpoint distance in MA, TS is target velocity, BeIt is emergency braking deceleration, t1It is made safely for system
Dynamic reaction time, t2To brake settling time, a is peak acceleration；
Target velocity TS in above-mentioned formula 1 is changed to the speed of service TV, L of current trainmaBe changed to train it is most short walk
Row distance Lg, then LgCalculation formula it is as follows:
By the most short distance travelled L of the traingAs train track.
6. according to the method described in claim 5, it is characterized in that, the space according to the mobile authorization security protection
Transformation algorithm verifies the train track and train mobile authorization, determines the train track and column according to verification result
The safety of vehicle mobile authorization, comprising:
The mobile authorization peace is separately input to using train mobile authorization and the calculated train track of above-mentioned formula 2 as parameter
In the spatial alternation algorithm 1 of full protection, algorithm 2, algorithm 3 and algorithm 4, when the spatial alternation of the mobile authorization security protection is calculated
Method 1, algorithm 2, algorithm 3 and algorithm 4 are all set up, it is determined that the train track and train mobile authorization safety；
When the spatial alternation algorithm 1 of the mobile authorization security protection, algorithm 2, algorithm 3 and algorithm 4 are not all to set up, it is determined that
The train track and train mobile authorization are dangerous.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201611247682.1A CN106672024B (en) | 2016-12-29 | 2016-12-29 | Train control system mobile authorization safety protecting method based on spatial alternation |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201611247682.1A CN106672024B (en) | 2016-12-29 | 2016-12-29 | Train control system mobile authorization safety protecting method based on spatial alternation |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN106672024A CN106672024A (en) | 2017-05-17 |
| CN106672024B true CN106672024B (en) | 2019-03-05 |
Family
ID=58873506
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201611247682.1A Active CN106672024B (en) | 2016-12-29 | 2016-12-29 | Train control system mobile authorization safety protecting method based on spatial alternation |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN106672024B (en) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN111098892B (en) * | 2018-10-26 | 2022-03-11 | 通号城市轨道交通技术有限公司 | Space position information positioning method and device of automatic train monitoring system |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CA2677348A1 (en) * | 2007-02-07 | 2008-08-14 | Siemens Transportation Systems S.A.S. | Anti-collision control system for a vehicle |
| CN101927775A (en) * | 2010-08-18 | 2010-12-29 | 北京交通大学 | Safety protection method of CBTC (Communication Based Train Control) system during crossing control area |
| CN103029723A (en) * | 2012-12-24 | 2013-04-10 | 北京交控科技有限公司 | Mixing method of movement authorities during zone switching |
| US9139210B2 (en) * | 2010-08-24 | 2015-09-22 | Beijing Jiaotong University | Method of movement authority calculation for communications-based train control system |
| CA2858802A1 (en) * | 2014-06-09 | 2015-12-09 | Westinghouse Air Brake Technologies Corporation | Computer-implemented method and system for managing conditional authorities in a vehicle network |
| CN105391724A (en) * | 2015-11-25 | 2016-03-09 | 用友网络科技股份有限公司 | Authorization management method and authorization management device used for information system |
| CN106043351A (en) * | 2016-08-18 | 2016-10-26 | 上海自仪泰雷兹交通自动化系统有限公司 | Novel safety braking model and method for parking in movement authority limit distance |
-
2016
- 2016-12-29 CN CN201611247682.1A patent/CN106672024B/en active Active
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CA2677348A1 (en) * | 2007-02-07 | 2008-08-14 | Siemens Transportation Systems S.A.S. | Anti-collision control system for a vehicle |
| CN101927775A (en) * | 2010-08-18 | 2010-12-29 | 北京交通大学 | Safety protection method of CBTC (Communication Based Train Control) system during crossing control area |
| US9139210B2 (en) * | 2010-08-24 | 2015-09-22 | Beijing Jiaotong University | Method of movement authority calculation for communications-based train control system |
| CN103029723A (en) * | 2012-12-24 | 2013-04-10 | 北京交控科技有限公司 | Mixing method of movement authorities during zone switching |
| CA2858802A1 (en) * | 2014-06-09 | 2015-12-09 | Westinghouse Air Brake Technologies Corporation | Computer-implemented method and system for managing conditional authorities in a vehicle network |
| CN105391724A (en) * | 2015-11-25 | 2016-03-09 | 用友网络科技股份有限公司 | Authorization management method and authorization management device used for information system |
| CN106043351A (en) * | 2016-08-18 | 2016-10-26 | 上海自仪泰雷兹交通自动化系统有限公司 | Novel safety braking model and method for parking in movement authority limit distance |
Non-Patent Citations (1)
| Title |
|---|
| 基于移动闭塞的移动授权生成机制研究;丛亚闻;《中国优秀硕士学位论文全文数据库 工程科技II辑》;20120415;全文 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN106672024A (en) | 2017-05-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Peng et al. | Risk assessment of railway transportation systems using timed fault trees | |
| Liu et al. | Fault tree analysis combined with quantitative analysis for high-speed railway accidents | |
| Chen et al. | Driver’s intention identification and risk evaluation at intersections in the Internet of vehicles | |
| Wang et al. | Parallel monitoring for the next generation of train control systems | |
| CN109358591A (en) | Vehicle trouble processing method, device, equipment and storage medium | |
| Wang et al. | A topology-based model for railway train control systems | |
| CN106672024B (en) | Train control system mobile authorization safety protecting method based on spatial alternation | |
| Wang et al. | Safety monitor for train‐centric CBTC system | |
| Liu et al. | A functional co-design towards safe and secure vehicle platooning | |
| Zhang et al. | Topological manifold‐based monitoring method for train‐centric virtual coupling control systems | |
| CN106528970A (en) | CPS modeling and property verification method based on possibility space-time hybrid automaton | |
| Leifer et al. | Comparative analysis of automated control and information systems for the technical operation of railway crossings | |
| CN110281987A (en) | Train speed tracking and controlling method based on state constraint | |
| Szmagliński et al. | Identification of safety hazards and their sources in tram transport | |
| Forghani et al. | Design of driver-assist systems under probabilistic safety specifications near stop signs | |
| Zamouche et al. | Ultra-safe and reliable enhanced train-centric communication-based train control system | |
| Cheh et al. | Determining tolerable attack surfaces that preserves safety of cyber-physical systems | |
| CN107878514A (en) | A kind of safe processing method and system of train automatic Pilot ATO equipment faults | |
| CN107963093B (en) | Train operation overspeed protection blendes together monitoring method | |
| Fakhereldine et al. | Detecting intrusions in communication-based train control systems | |
| Wang et al. | Research on parallel control mechanism and its implementation in ATP | |
| da Costa et al. | Use of Systematic Approach in Accident Risk Analysis for Motorcyclists: A Conceptual Idea. | |
| Leifer et al. | Development of automated control and information systems for the technical operation of level crossings | |
| Kandula et al. | Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective | |
| Meyers et al. | Risk assessment of positive train control by using simulation of rare events |
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 | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |