CN107273236A - A kind of locking sheet data security validation method modeled based on track digitization - Google Patents
A kind of locking sheet data security validation method modeled based on track digitization Download PDFInfo
- Publication number
- CN107273236A CN107273236A CN201710439894.8A CN201710439894A CN107273236A CN 107273236 A CN107273236 A CN 107273236A CN 201710439894 A CN201710439894 A CN 201710439894A CN 107273236 A CN107273236 A CN 107273236A
- Authority
- CN
- China
- Prior art keywords
- track
- section
- switch
- route
- search
- 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.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
- G06F11/0736—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
- G06F11/0739—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function in a data processing system embedded in automotive or aircraft systems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0751—Error or fault detection not based on redundancy
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Train Traffic Observation, Control, And Security (AREA)
Abstract
The invention discloses a kind of locking sheet data security validation method modeled based on track digitization, including:Step one, it is respectively calculated and checks by the method based on Object--oriented method and based on procedure-oriented;Step 2, the inspection result to the method based on Object--oriented method and based on procedure-oriented carries out cross validation.Solve locking sheet data hand inspection efficiency low error-prone, overcome the problem of prior art is difficult to systematization modeling and safety verification.
Description
Technical field
The present invention relates to track traffic data verification field.
Background technology
Locking sheet data correctness is one of key influence factor of signal system security, therefore checking locking sheet data
Security be develop interlock system mission critical.Existing hand inspection technology rely on criterion and to track plan paper and
The identification of route drawing, it is less efficient, and may cause to be unable to correct verification locking sheet due to artificial mistake.Meanwhile, by
In the diversity and the complexity of logical relation of interlocking data class, and data safety, without ripe theoretical system, this makes
Systematization modeling must be carried out to data safety and verifies extremely difficult, and the completeness of data safety difficult of proof checking.It is existing
Some automatic checking methods are main from typical track site type, entered based on track data connectedness and cross-over constraint relation
Row demonstration, unpromising its sets up complete model trajectory.And conventional method carries out single inspection using single method, does not have
By cross validation, the correctness of inspection result is not ensured that.
The content of the invention
It is low error-prone it is an object of the invention to solve locking sheet data hand inspection efficiency, overcome prior art be difficult into
The problem of row systematization modeling and safety verification, there is provided the locking sheet data security validation method modeled based on track digitization.
Realizing the technical scheme of above-mentioned purpose is:
A kind of locking sheet data security validation method modeled based on track digitization, including:
Step one, it is respectively calculated and checks by the method based on Object--oriented method and based on procedure-oriented;
Step 2, the inspection result progress intersection to the method based on Object--oriented method and based on procedure-oriented is tested
Card.
In the above-mentioned locking sheet data security validation method modeled based on track digitization, checked in the step one
Content include:Route pass through track switch and state, the anti-track switch in the side of route and state, the anti-condition subsequent in side, route pass through
Fixed blocking is interval, direction conflict route, track switch conflict route.
It is described based on towards right in the above-mentioned locking sheet data security validation method modeled based on track digitization
The method of elephant, including:
Step A1, is built with the data of unified form form (Unified Format Table, abbreviation UFT) as digitlization
The source of mould, sets up track digitization model;
Interlocked switch in step A2, identification track digitization model;
Route path in step A3, search locking sheet.
In the above-mentioned locking sheet data security validation method modeled based on track digitization, in described step A1,
The data of three class track elements are contained in unified form form:Line segment element, point element and connection element, line segment element refer to
It is that section and fixed blocking are interval;Point element refers to semaphore and axle-counting points;Connection element refers to track switch;In modeling process
In, by all track element object-instantiateds, selection section object forms topology connection and closed as the skeleton of digital model
System, and according to other elements and the corresponding relation of section, other track element objects are associated with section object;
In described step A2, using each track switch as analysis object, respectively to increase direction along mileage and reduce along mileage
Direction, from all qualified upstream track switches of the positioning rail or the upward outbound search of antiposition rail of track switch, when with it is eligible
Upstream track switch antiposition rail connection when, then search finish;It is all from present analysis track switch to what is passed through the upstream track switch
Track switch is classified as the anti-interlocked switch in side of present analysis track switch;When double crossover, all sections are analyzed successively, when
When certain section has intersection section, the track switch for intersecting section two ends is the anti-interlocked switch in side of the section two ends track switch;
In described step A3, using the non-check item in locking sheet or hand inspection, the start-stop of each bar route is determined
Point semaphore, the beginning and end section according to where track digital model determines beginning and end semaphore, using section it
Between syntople and entry direction searched for from starting point section to terminal section, after the completion of search, the track element that route is included
In each section object that as route passed through, all track element objects for being included in the range of terminal mileage and derivative
Track element object is interlocked, the attribute extracted in the track element object that route is included is corresponding with check item in locking sheet
Attribute is contrasted, and obtains comparing result.
In the above-mentioned locking sheet data security validation method modeled based on track digitization, the step A1 includes:
Step A1-1, according to unified form form, track element object is instantiated by class, using the data in form as right
The attribute of elephant;
Step A1-2, according to the data in unified form form, determines semaphore, axle-counting points that each section is included, and
These track element objects are associated with corresponding section object;
Step A1-3, according to the data in unified form form, determines the track switch element at each section two ends, and by track switch
Object is associated with respective segments object;
Step A1-4, according to the axle-counting points that section is associated in step A1-2, is determined with two connected axle-counting points successively
One fixed blocking interval, so that it is determined that the fixed blocking that is included on each section is interval, and by fixed blocking interval plants with
Corresponding section object association;
Step A1-5, determines that each section increases direction and the adjacent area along mileage reduction direction along mileage according to head and the tail node
Section, and section object is adjacent the association of section object;
Step A1-6, extracts the transverse and longitudinal coordinate of section start-stop node, to all sections two-by-two from unified form form
Crossing instances inspection is carried out, the intersection section of each section is determined, with the double crossover in identification model.
It is described based on towards mistake in the above-mentioned locking sheet data security validation method modeled based on track digitization
The method of journey, including:
Step B1, sets up two-dimensional digital model trajectory:Each track element in unified form form is separately converted to two
Dimension group, switchs to two-dimensional array by locking sheet route information;
Step B2, sets up into line structure:Route title is extracted from locking sheet, then according to route title and orbital elements
Plain two-dimensional array determines start-stop signal machine, sets up into line structure;Search obtains the mileage of start-stop signal machine, is sentenced according to mileage size
Disconnected entry direction;
Step B3, sets up switch structure:All track switches included according to different entry direction search routes, to originate letter
Number corresponding node of machine as current node, according to binary tree search plain algorithm search for respectively it is straight to lateral node, if search
Then stop the search of the direction, iteration to repetition node or transregional node until searching goal node, pass through track switch two-dimemsional number
Group searching obtains switch structure;
Step B4, sets up interval structure:All intervals included according to different entry direction search routes, to originate letter
Number machine it is corresponding it is interval be starting point, whether the switch structure obtained with reference to step B3, search current interval contains track switch, if will
The direction of track switch as the next step direction of search, search it is straight to or lateral interval, until it is interval to find terminal;
Step B5, the anti-switch structure of establishment side:Switch structure according to obtained by step B3, according to track switch it is straight to and side
To, search for respectively it is lateral and it is straight to track switch, determine a need for being protected according to lateral protection condition, can until searching
With the track switch protected completely or semaphore in the same direction or tail track are searched, the interval structure according to obtained by step B4 judges
The unblock of protective turnout is interval;
Step B6, sets up conflict route model:Switch structure, interval structure and Ce Fang roads according to obtained by step B3-B5
Trouble structure, sets up the route of switch location conflict and the route of direction conflict respectively, to be checked with locking sheet after being fully completed
Item contrast obtains comparing result.
The beneficial effects of the invention are as follows:The present invention is simultaneously based on two kinds of different pieces of information structures and verification method, and one kind is utilized
Object--oriented method, is to set up class formation with the route in the track element and locking sheet in unified form form, and according to
The class of each track element is instantiated as object by project, and modeling and follow-up knowledge are realized by the Attribute Association object entity of object
Do not search for.The method of another utilization procedure-oriented, the relevance of track element is realized by setting up two-dimensional array, by progressively
The structural model for building track element completes the search of route attribute.Model and calculate with difference that different pieces of information structure is realized
The characteristic of property, this ensure that drawing the correctness of identical result.Data are extracted with this and check that the check item in locking sheet can
To reach the purpose of cross validation.Compared with the hand inspection technology so that check that efficiency is greatly improved, it is to avoid hand inspection can
The mistake that can occur, improves the security of interlocking data.Compared with other automatic verification methods, the present invention establishes complete
Track digitization model calculate route, and can be used in the scene and track site type of complexity.The present invention is based on different
Data (object and array) propose different algorithms to calculate the circuit-switched data of entering in locking sheet, due to the difference of algorithm
Property and data structure difference, the result of calculation that algorithms of different is obtained mutually has independence, can cross-check each other,
It ensure that the correctness of the identical result of gained.
Brief description of the drawings
Fig. 1 is the flow chart of the locking sheet data security validation method modeled based on track digitization of the present invention;
Fig. 2 is the schematic diagram of double crossover in the present invention;
Fig. 3 a are vectors in the present inventionWithIntersecting schematic diagram;
Fig. 3 b are vectors in the present inventionWithDisjoint schematic diagram;
Fig. 4 a are the schematic diagrames of antiposition-antiposition track switch adjoining in the present invention;
Fig. 4 b are the schematic diagrames of positioning-antiposition track switch adjoining in the present invention;
Fig. 5 is the track arrangement schematic diagram by node of section in the present invention.
Embodiment
Below in conjunction with accompanying drawing, the invention will be further described.
The locking sheet data security validation method modeled based on track digitization of the present invention, the content of inspection is included:Enter
Fixed blocking that track switch that road is passed through and state, the anti-track switch in the side of route and state, the anti-condition subsequent in side, route pass through is interval,
Direction conflict route, track switch conflict route.
Referring to Fig. 1, specifically including the following steps:
Step one, it is respectively calculated and examines by the method B based on Object--oriented method A and based on procedure-oriented
Look into.
Based on Object--oriented method (i.e. method A), including:
Step A1, the data using unified form form set up track digitization model as the source of digitization modeling.System
The data of three class track elements are contained in one form form:Line segment element, point element and connection element, line segment element are referred to
Section and fixed blocking are interval;Point element refers to semaphore and axle-counting points;Connection element refers to track switch;In modeling process
In, selection section as digital model skeleton, according to other elements and the corresponding relation of section, by other track elements with
Section is associated.After the completion of the associating of other elements and section, in addition it is also necessary to complete the association between section, determine each section along inner
Journey augment direction and the abutting sections for reducing direction along mileage, so that it is determined that the topological relation of section.In track arrangement, also deposit
In the situation of double crossover, simple section topological relation can not recognize double crossover.In the present invention, carried from UFT tables
The head and the tail node coordinate of section is taken, by section vectorization, judges whether section intersects by vector multiplication, so as to recognize that intersection is crossed
Line.Specifically include:
Step A1-1, according to unified form form, track element object is instantiated by class, using the data in form as right
The attribute of elephant;
The corresponding relation of step A1-2, the point element such as semaphore, axle-counting points and section is many-to-one relation, i.e., multiple points
Element can associate some section.According to the data in unified form form, semaphore, axle-counting points that each section is included are determined.
Step A1-3, this connection element of track switch can connect different sections, and a section can at most include two
Individual track switch, forms a kind of relation of multi-to-multi.According to the data in unified form form, the track switch member at each section two ends is determined
Element.
Step A1-4, fixed blocking interval is can to contain multiple block sections on a kind of line segment element, a section, and one
Individual block section can also form a kind of many-to-many relationship across multiple sections.One fixed blocking interval is enclosed by axle-counting points
Into, so according to the axle-counting points that section is associated in step A1-1, determining a fixation successively with two adjacent axle-counting points
Block section, so that it is determined that the interval element included on each section.
Step A1-5, in track arrangement, section is that head and the tail are connected.One section can connect a number of other in head and the tail
Adjacent sections, so determining that section increases direction and the abutting sections along mileage reduction direction along mileage according to head and the tail node.
Step A1-6, checks double crossover situation.Double crossover is intersected to form by section.From unified form form
The transverse and longitudinal coordinate of section start-stop node is extracted, all sections two-by-two are checked, the intersection section of each section is determined, with
Double crossover in identification model.
In the present embodiment, such as accompanying drawing 2 implements step as follows:
1) in order to improve traversal efficiency, first determine whether whether two sections to be compared meet the condition of double crossover.I.e.
Whether the main orbit numbering (Primary Track ID) of the head and the tail node of two sections is identical.When main orbit numbering is differed
When, then the situation for directly excluding double crossover is not compared.
2), will when two section head and the tail nodes to be compared are identical with primary trace numbering (Primary Track ID)
Section vectorization to be compared.As shown in Figure 2, using section node mileage as abscissa, using node main orbit numbering as
Ordinate, by section seg1 and seg2, vector is turned to respectivelyWithEach vector is respectively:
3) judge whether section intersects using vector multiplication, whenAndWhen, vectorWithIt is intersecting, it is as depicted in figure 3 a, when the conditions are not met, then vectorialWithIt is non-intersect, as shown in fig. 3b.
4) according to the condition in 3), section seg1 and seg2 intersecting situation are judged:
Judge that section seg1 and seg2 intersect, seg1 intersects section each other with seg2.
Step A2, the method that track switch is abutted using iterative search, according to the principle of parallel route, determines the interlocking side of track switch
Anti- track switch, it is therefore an objective to which the anti-protection in side is carried out to the track switch in route.When using certain direction as updrift side, if certain track switch is upper
Roam all around the would upward track switch can constitute parallel route when being in positioning with the track switch, then the track switch of upstream should be classified as the side of the track switch
Anti- interlocked switch.When exist between upstream and downstream track switch towards be the semaphore in downstream when, side shield can be by semaphore and nothing
Need track switch to ensure, it is ineligible upstream track switch now to think upstream track switch, the side that present analysis track switch is not included in is prevented
Interlocked switch.The present invention is using each track switch as analysis object, respectively to increase direction along mileage and reduce direction along mileage, from road
The positioning rail or antiposition rail of trouble set out all qualified upstream track switches of upward outbound search, when with qualified upstream track switch
Antiposition rail connection when, then search finish.It is classified as from present analysis track switch to all track switches passed through the upstream track switch
The interlocked switch of present analysis track switch.When double crossover, all sections are analyzed successively.Intersect when certain section is present
During section, the track switch for intersecting section two ends is the anti-interlocked switch in side of the section two ends track switch.Comprise the following steps that:
1) in track arrangement, connected between track switch by section, the syntople of track switch can be from track number type matrix
Obtained in type.
2) present invention in interlocked switch searching method, be from certain track switch, positioned rail or antiposition rail direction
Search adjoining track switch as deep as possible, if current search is when searching adjacent track switch by the antiposition rail of adjacent track switch,
As shown in accompanying drawing 4a and Fig. 4 b.Then constitute the anti-condition in side, it is believed that all track switches in the searching route are the interlocking sides of the track switch
Anti- track switch.Search will trace back to a branch node, continue search for other adjoining track switches having not visited.
3) according to actual conditions, when being run into searching route towards the semaphore of starting point track switch, the principle prevented according to side
Track switch after semaphore does not consider further that side is prevented, then current search branch terminates, and search will trace back to a branch node, after
The continuous other adjoining track switches having not visited of search.Whole process is accessed to all adjoining track switches that can be searched repeatedly
Only.
4) implementation:
1. track switch list, switch_list=[] are initialized
2. starting point track switch, visted [start_sw.id]=1 are accessed
3. starting point track switch is added into track switch list:switch_list.append(start_sw)
4. iterative search
5. cross-check, travels through all sections, and when the section, which exists, intersects section, the track switch for intersecting section two ends is
The anti-interlocking section in side of the section two ends track switch.
Route path in step A3, search locking sheet, to check whether the route attribute in locking sheet is correct.Utilize interlocking
Non- check item or hand inspection in table, determine the terminal (start-stop signal machine) of each bar route, according to track digital model
The section where semaphore is determined, is searched using the syntople and entry direction between section from starting point section to terminal section
Rope.A kind of searching method of record path is employed in the present invention, and this method is based on Depth Priority Algorithm, utilizes stack knot
The principle of structure, records the searching route of route section during deep search with stack architecture.And in the present invention in order to true
Search efficiency is protected, checks that the section whether there is the signal with entry direction when searching new section (non-terminal section) every time
Machine, then current branch search terminates when it is present, and search efficiency is improved with this.After the completion of search, the orbital elements that route is included
During element is each section that route passed through, all track elements for being included in the range of terminal mileage (axle-counting points, track switch,
Fixed blocking is interval) and derivative interlocking track element (the anti-interlocked switch in side determined by the track switch passed through).It can extract
Coherent element attribute corresponding with check item in locking sheet is contrasted, and obtains comparing result A.Comprise the following steps that:
1) as shown in Figure 5, after model trajectory is established, the syntople of section has determined that.Original track arrangement
Structure can be converted into the figure using section as node.
2) according to the direction of route, since the section (starting point section) where the starting point of route, the figure constituted to section
Structure carries out depth-first traversal.It is adjacent from this i.e. when there are the adjacent sections that have not visited in figure and when not being terminal section
Section, which sets out, to be continued search for, and is continued search for when then tracing back to a upper node for branch occur without adjacent sections, until search is extremely
Terminal section then terminates search.
3) in the present invention, in order to improve the efficiency of depth-first search, prune approach is employed.Due to entering in locking sheet
The principle on road is " semaphore-semaphore " route, when search is run into the equidirectional semaphore of route (non-home signal machine),
The path of route needed for can not possibly obtaining is then continued search for down, then traces back to a node for branch occur and continues to search
Rope.
4) implementation:
1. entry direction and starting point section start_seg and terminal section end_seg are determined
2. stack architecture is set up for deep search, initializes stack architecture, stack=[]
3. starting point section, visited [start_seg.id]=1 are accessed
4. by starting point section stacking, stack.push (start_seg)
5. depth-first search
5) it is on these sections and in the range of route beginning and end after the section path that route passes through is clear and definite
All elements be route association track element, including track switch, section, the inspection in need of the institute such as the anti-track switch in side and conflict route
The element looked into, can extract attribute corresponding with check item in locking sheet and be contrasted, obtain comparing result A.
Method (i.e. method B) based on procedure-oriented, including:
Step B1, sets up two-dimensional digital model trajectory:For the section in unified form list data table, interval, signal
The track element of the needs such as machine, axle-counting points, track switch, node sets up two-dimensional array, the track element information needed for deposit respectively;And
Two-dimensional array is set up for locking sheet, route title, route numbering, route type, entry direction, track switch, section, Ce Fang roads is stored in
The route information such as trouble.Wherein route title, route numbering, route type is the basic data for carrying out automation inspection, it is necessary to protect
Demonstrate,prove its correctness.
Step B2, sets up into line structure Route:Route title, Ran Hougen are extracted from the two-dimensional array of locking sheet route
" initial signal machine " and " endpoint signal machine " is extracted according to route title, is set up into line structure.Semaphore two-dimensional array is searched for, is obtained
The mileage of " initial signal machine " and " endpoint signal machine ", entry direction is judged according to mileage size.
Step B3, sets up switch structure Switch:Semaphore two-dimensional array is searched for, " initial signal machine " and " terminal is obtained
Semaphore " corresponding " preliminary sectors " and " terminal section ".Search for section two-dimensional array, obtain " preliminary sectors " it is corresponding "
The start node of beginning semaphore " and " goal node of initial signal machine ", and " terminal section " it is corresponding " endpoint signal machine
Start node " and " goal node of endpoint signal machine ".GD0 and GD1 directions are divided to search for all nodes that route is included respectively.With
Exemplified by GD0 directions, using the start node of initial signal machine as current node, according to binary tree search plain algorithm search for respectively it is straight to
With lateral node, stop the search of the direction if repetition node or transregional node is searched, until searching endpoint signal
The goal node of machine.Switch structure is obtained by the search of track switch two-dimensional array.The search procedure in GD1 directions is similar.
Step B4, sets up interval structure Block:All intervals included according to different entry direction search routes.Search
Rope semaphore two-dimensional array, obtains " initial signal machine " and " endpoint signal machine " corresponding " starting axle-counting points " and " terminal meter shaft
Point ".Region of search two-dimensional array, obtains " starting axle-counting points " and " terminal axle-counting points " corresponding " starting is interval " and " terminal area
Between ".Interval as current interval to originate, default search direction is to be straight to the switch structure obtained with reference to step (B3), search
Whether current interval contains track switch, if using the direction of track switch as the next step direction of search, search it is straight to or lateral area
Between, if without track switch, searched for according to default direction, until it is interval to find terminal.
Step B5, the anti-switch structure of establishment side:Switch structure according to obtained by step B3, according to track switch it is straight to it is lateral
Attribute, search for respectively it is lateral and it is straight to track switch, determine a need for being protected according to lateral protection condition, until searching
The track switch that can protect completely searches semaphore in the same direction or tail track, and the interval structure according to obtained by step B4 is sentenced
The unblock for determining protective turnout is interval.It is specific as follows:
1. switch structure list Switch is obtained;
2. interval structure list Block is obtained;
3. set the anti-track switch unblock in side interval, if meter shaft encroachment line, unlock interval and be set to switch locking in entry direction
Interval next interval, it is otherwise interval for switch locking;
4. iterative search
Step B6, sets up conflict route model:Switch structure, interval structure and Ce Fang roads according to obtained by step B3-B5
Trouble structure, sets up the route of switch location conflict and the route of direction conflict, according to corresponding road between different routes respectively
The switch location of trouble structure and interlocked switch structure, it is determined whether have the switch location conflict of identical track switch, if so, being then included in
In switch location conflict route, if it is not, according to interval structure and entry direction, it is determined whether there is identical interval route
Direction conflicts, if being then included in direction conflict route.This process is circulated, until route has all been searched for two-by-two.It is all complete
Cheng Hou, comparing result B is obtained with the contrast of locking sheet item to be checked.
Step 2, the inspection result progress intersection to the method based on Object--oriented method and based on procedure-oriented is tested
Card.I.e.:By the way that the comparing result A based on Object--oriented method A and the method B based on procedure-oriented comparing result B are done
Compare, if unanimously, showing that method A and method B the result are effective.If unanimously judging that locking sheet data are correct,
The security of locking sheet data is then demonstrated, otherwise proves that locking sheet data are dangerous.
Above example is used for illustrative purposes only, rather than limitation of the present invention, about the technology people of technical field
Member, without departing from the spirit and scope of the present invention, can also make various conversion or modification, therefore all equivalent
Technical scheme should also belong to scope of the invention, should be limited by each claim.
Claims (6)
1. a kind of locking sheet data security validation method modeled based on track digitization, it is characterised in that including:
Step one, it is respectively calculated and checks by the method based on Object--oriented method and based on procedure-oriented;
Step 2, the inspection result to the method based on Object--oriented method and based on procedure-oriented carries out cross validation.
2. the locking sheet data security validation method according to claim 1 modeled based on track digitization, its feature is existed
In the content checked in the step one includes:The track switch and state, the anti-track switch in the side of route and state, side that route passes through are prevented
Condition subsequent, the fixed blocking interval of route process, direction conflict route, track switch conflict route.
3. the locking sheet data security validation method according to claim 1 modeled based on track digitization, its feature is existed
In, it is described based on Object--oriented method, including:
Step A1, the data using unified form form set up track digitization model as the source of digitization modeling;
Interlocked switch in step A2, identification track digitization model;
Route path in step A3, search locking sheet.
4. the locking sheet data security validation method according to claim 3 modeled based on track digitization, its feature is existed
In,
In described step A1, the data of three class track elements are contained in unified form form:Line segment element, point element and company
Element is connect, line segment element refers to that section and fixed blocking are interval;Point element refers to semaphore and axle-counting points;Connection element refers to
Be track switch;In modeling process, by all track element object-instantiateds, section object is selected as the bone of digital model
Frame, forms topological connecting relation, and according to other elements and the corresponding relation of section, by other track element objects and section pair
As association;
In described step A2, using each track switch as analysis object, respectively to increase direction along mileage and reduce direction along mileage,
From all qualified upstream track switches of the positioning rail or the upward outbound search of antiposition rail of track switch, when with qualified upstream
During the antiposition rail connection of track switch, then search is finished;It is equal from present analysis track switch to all track switches passed through the upstream track switch
It is classified as the anti-interlocked switch in side of present analysis track switch;When double crossover, all sections are analyzed successively, when certain section
During in the presence of intersecting section, the track switch for intersecting section two ends is the anti-interlocked switch in side of the section two ends track switch;
In described step A3, using the non-check item in locking sheet or hand inspection, the terminal letter of each bar route is determined
Number machine, the beginning and end section according to where track digital model determines beginning and end semaphore, using between section
Syntople and entry direction are searched for from starting point section to terminal section, after the completion of search, and the track element that route is included is
All track element objects included in each section object that route passed through in the range of terminal mileage and derivative interlocking
Track element object, extracts the attribute attribute corresponding with check item in locking sheet in the track element object that route is included
Contrasted, obtain comparing result.
5. the locking sheet data security validation method according to claim 4 modeled based on track digitization, its feature is existed
In the step A1 includes:
Step A1-1, according to unified form form, instantiates track element object by class, object is used as using the data in form
Attribute;
Step A1-2, according to the data in unified form form, determines semaphore, axle-counting points that each section is included, and by this
A little element objects are associated with corresponding section object;
Step A1-3, according to the data in unified form form, determines the track switch at each section two ends, and by track switch object with it is right
Section object is answered to associate;
Step A1-4, according to the axle-counting points that section is associated in step A1-2, determines one with two adjacent axle-counting points successively
Fixed blocking is interval, so that it is determined that the fixed blocking included on each section is interval, and by fixed blocking interval plants with it is corresponding
Section object association;
Step A1-5, determines that each section increases direction and the abutting sections along mileage reduction direction along mileage according to head and the tail node,
And section object is adjacent the association of section object;
Step A1-6, the transverse and longitudinal coordinate of section start-stop node is extracted from unified form form, all sections two-by-two are carried out
Crossing instances are checked, the intersection section of each section are determined, with the double crossover in identification model.
6. the locking sheet data security validation method according to claim 2 modeled based on track digitization, its feature is existed
In, the method based on procedure-oriented, including:
Step B1, sets up two-dimensional digital model trajectory:Each track element in unified form form is separately converted to two-dimemsional number
Group, switchs to two-dimensional array by locking sheet route information;
Step B2, sets up into line structure:Route title is extracted from locking sheet, then according to route title and track element two
Dimension group determines start-stop signal machine, sets up into line structure;Search obtains the mileage of start-stop signal machine, according to mileage size judge into
Road direction;
Step B3, sets up switch structure:All track switches included according to different entry direction search routes, with initial signal machine
Corresponding node as current node, according to binary tree search plain algorithm search for respectively it is straight to lateral node, if searching weight
Multiple junction point or transregional node then stop the search of the direction, iteration until searching goal node, are searched by track switch two-dimensional array
Rope obtains switch structure;
Step B4, sets up interval structure:All intervals included according to different entry direction search routes, with initial signal machine
It is corresponding it is interval be starting point, whether the switch structure obtained with reference to step B3, search current interval contains track switch, if by track switch
Direction as the next step direction of search, search it is straight to or lateral interval, until it is interval to find terminal;
Step B5, the anti-switch structure of establishment side:Switch structure according to obtained by step B3, according to track switch it is straight to it is lateral, point
Not Sou Suo laterally and it is straight to track switch, determine a need for being protected according to lateral protection condition, can be with complete until searching
The track switch of full protection searches semaphore in the same direction or tail track, and the interval structure according to obtained by step B4 judges protection
The unblock of track switch is interval;
Step B6, sets up conflict route model:The anti-track switch knot of switch structure, interval structure and side according to obtained by step B3-B5
Structure, sets up the route of switch location conflict and the route of direction conflict respectively, right with locking sheet item to be checked after being fully completed
Than obtaining comparing result.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710439894.8A CN107273236B (en) | 2017-06-12 | 2017-06-12 | Interlocking table data security verification method based on track digital modeling |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710439894.8A CN107273236B (en) | 2017-06-12 | 2017-06-12 | Interlocking table data security verification method based on track digital modeling |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107273236A true CN107273236A (en) | 2017-10-20 |
CN107273236B CN107273236B (en) | 2020-07-07 |
Family
ID=60066136
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710439894.8A Active CN107273236B (en) | 2017-06-12 | 2017-06-12 | Interlocking table data security verification method based on track digital modeling |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107273236B (en) |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108116450A (en) * | 2017-12-15 | 2018-06-05 | 湖南中车时代通信信号有限公司 | A kind of track switch laterally protects logic verification method and device |
CN108326824A (en) * | 2017-12-27 | 2018-07-27 | 北京动仿航泰科技有限公司 | Matrix form rail system, association loop-type production line and its production method |
CN109703604A (en) * | 2018-12-07 | 2019-05-03 | 天津津航计算技术研究所 | A kind of adjustable local optimum route method for fast searching |
CN110008486A (en) * | 2018-01-05 | 2019-07-12 | 上海申通地铁集团有限公司 | Rail traffic block equipment data extraction method |
CN110888873A (en) * | 2019-10-17 | 2020-03-17 | 北京全路通信信号研究设计院集团有限公司 | Interlocking equipment control method and system |
CN111121746A (en) * | 2019-11-27 | 2020-05-08 | 何秀华 | One-way two-split track network ground icon annotation method and device |
CN112613098A (en) * | 2020-12-17 | 2021-04-06 | 中铁第四勘察设计院集团有限公司 | Modeling method and system for shortening crossover, computer equipment and readable medium |
CN113177096A (en) * | 2021-03-25 | 2021-07-27 | 北京城建智控科技有限公司 | Electronic map data generation method and system based on forward sequence calculation and reverse sequence check |
CN114604292A (en) * | 2022-01-26 | 2022-06-10 | 上海电气泰雷兹交通自动化系统有限公司 | Interconnection CBTC system tie line turnout control method |
CN115092215A (en) * | 2022-05-24 | 2022-09-23 | 卡斯柯信号有限公司 | Connection relation-based intersection checking method |
CN115923884A (en) * | 2023-03-09 | 2023-04-07 | 卡斯柯信号(北京)有限公司 | Method and device for verifying route name in urban rail project |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104462133A (en) * | 2013-09-23 | 2015-03-25 | 北京南车时代信息技术有限公司 | Automatic generating method and device for interlocking data sheet |
CN105730476A (en) * | 2016-02-22 | 2016-07-06 | 上海自仪泰雷兹交通自动化系统有限公司 | Automatic interlocking table generation method |
US9663128B2 (en) * | 2015-04-28 | 2017-05-30 | Alstom Transport Technologies | Location and/or direction of travel detection system and method |
-
2017
- 2017-06-12 CN CN201710439894.8A patent/CN107273236B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN104462133A (en) * | 2013-09-23 | 2015-03-25 | 北京南车时代信息技术有限公司 | Automatic generating method and device for interlocking data sheet |
US9663128B2 (en) * | 2015-04-28 | 2017-05-30 | Alstom Transport Technologies | Location and/or direction of travel detection system and method |
CN105730476A (en) * | 2016-02-22 | 2016-07-06 | 上海自仪泰雷兹交通自动化系统有限公司 | Automatic interlocking table generation method |
Non-Patent Citations (5)
Title |
---|
YAN CAO, TIANHUA XU, TAO TANG, HAIFENG WANG, LIN ZHAO: "《Automatic Generation and Verification of Interlocking Tables Based on Domain Specific Language for Computer Based Interlocking Systems(DSL-CBI)》", 《2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND AUTOMATION ENGINEERING》 * |
周果,赵会兵: "《城轨计算机联锁的数据安全性验证》", 《铁道学报》 * |
彭建伟,殷人昆: "《基于邻接表结构的进路搜索算法研究》", 《计算机工程与设计》 * |
谢林,杨扬: "《基于二维坐标信息进路搜索算法研究》", 《铁路计算机应用》 * |
陈光,杨扬: "《计算机联锁系统进路表自动生成算法》", 《铁路计算机应用》 * |
Cited By (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108116450A (en) * | 2017-12-15 | 2018-06-05 | 湖南中车时代通信信号有限公司 | A kind of track switch laterally protects logic verification method and device |
CN108326824B (en) * | 2017-12-27 | 2024-01-02 | 北京动仿航泰科技有限公司 | Matrix type track system, associated loop type production line and production method thereof |
CN108326824A (en) * | 2017-12-27 | 2018-07-27 | 北京动仿航泰科技有限公司 | Matrix form rail system, association loop-type production line and its production method |
CN110008486A (en) * | 2018-01-05 | 2019-07-12 | 上海申通地铁集团有限公司 | Rail traffic block equipment data extraction method |
CN110008486B (en) * | 2018-01-05 | 2024-02-02 | 上海申通地铁集团有限公司 | Data extraction method for track traffic blocking equipment |
CN109703604A (en) * | 2018-12-07 | 2019-05-03 | 天津津航计算技术研究所 | A kind of adjustable local optimum route method for fast searching |
CN109703604B (en) * | 2018-12-07 | 2020-06-30 | 天津津航计算技术研究所 | Adjustable local optimal route quick searching method |
CN110888873A (en) * | 2019-10-17 | 2020-03-17 | 北京全路通信信号研究设计院集团有限公司 | Interlocking equipment control method and system |
CN111121746A (en) * | 2019-11-27 | 2020-05-08 | 何秀华 | One-way two-split track network ground icon annotation method and device |
CN112613098A (en) * | 2020-12-17 | 2021-04-06 | 中铁第四勘察设计院集团有限公司 | Modeling method and system for shortening crossover, computer equipment and readable medium |
CN113177096A (en) * | 2021-03-25 | 2021-07-27 | 北京城建智控科技有限公司 | Electronic map data generation method and system based on forward sequence calculation and reverse sequence check |
CN113177096B (en) * | 2021-03-25 | 2021-11-26 | 北京城建智控科技股份有限公司 | Electronic map data generation method and system based on forward sequence calculation and reverse sequence check |
CN114604292A (en) * | 2022-01-26 | 2022-06-10 | 上海电气泰雷兹交通自动化系统有限公司 | Interconnection CBTC system tie line turnout control method |
CN115092215A (en) * | 2022-05-24 | 2022-09-23 | 卡斯柯信号有限公司 | Connection relation-based intersection checking method |
CN115923884A (en) * | 2023-03-09 | 2023-04-07 | 卡斯柯信号(北京)有限公司 | Method and device for verifying route name in urban rail project |
CN115923884B (en) * | 2023-03-09 | 2023-05-30 | 卡斯柯信号(北京)有限公司 | Method and device for verifying route names in urban rail projects |
Also Published As
Publication number | Publication date |
---|---|
CN107273236B (en) | 2020-07-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107273236A (en) | A kind of locking sheet data security validation method modeled based on track digitization | |
CN105730476B (en) | A kind of locking sheet automatic generation method | |
CN107508297B (en) | A kind of verification of distribution topological structure and maintaining method | |
CN111845866B (en) | Automatic generation method and device of interlocking configuration file and electronic equipment | |
CN106067039B (en) | Method for mode matching based on decision tree beta pruning | |
CN110795868B (en) | Train operation simulation data processing method and device based on urban rail transit | |
CN103530694B (en) | The city underground dynamic bus traveler assignment method built based on time-space network | |
CN110555569B (en) | Path restoration method, device, equipment and storage medium | |
CN107672628A (en) | Locking sheet automatic generation method and locking sheet automatically generating device | |
CN104464379B (en) | Sailing plan and radar track correlating method and system based on sectional matching | |
CN107195180A (en) | A kind of traffic trip track extraction method and device based on the alert data of electricity | |
CN103488816B (en) | The multilamellar of analog circuit accurately mates wiring method | |
CN114495489B (en) | Intersection lane topology connection relation generation method | |
CN106205120A (en) | A kind of method and device extracting road cross traffic restriction | |
CN106600502A (en) | Topological modeling method of multi-airport terminal area course network | |
CN110008486A (en) | Rail traffic block equipment data extraction method | |
Hansen | Formalising railway interlocking systems | |
CN103218240A (en) | Abandoned road recognition method based on floating vehicle trajectories | |
CN106771853A (en) | A kind of intelligent power network method for diagnosing faults based on event origin | |
CN104766246A (en) | Power system fault diagnosis method based on timing order fuzzy Petri net | |
CN106878067A (en) | A kind of dynamic AdHoc network keys node recognition methods | |
CN105740395B (en) | A kind of public transport track extraction method based on fuzzy denoising with fuzzy splicing | |
CN109436035B (en) | Interlock data generation method | |
CN111553825B (en) | Regional rail transit key node identification method based on system elasticity | |
CN113836127A (en) | Data checking method applied to area controller |
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 | ||
CB02 | Change of applicant information | ||
CB02 | Change of applicant information |
Address after: 201206 Shanghai City, Pudong New Area Jinhai Road No. 1000 Building No. 28 Applicant after: Shanghai electric traffic automation system Co., Ltd. Address before: 201206 Shanghai City, Pudong New Area Jinhai Road No. 1000 Building No. 28 Applicant before: Shanghai is from instrument Tai Leizi traffic automation System Co., Ltd |
|
GR01 | Patent grant | ||
GR01 | Patent grant |