CN103440349A - Urban rail traffic station data validation method - Google Patents
Urban rail traffic station data validation method Download PDFInfo
- Publication number
- CN103440349A CN103440349A CN2013104201931A CN201310420193A CN103440349A CN 103440349 A CN103440349 A CN 103440349A CN 2013104201931 A CN2013104201931 A CN 2013104201931A CN 201310420193 A CN201310420193 A CN 201310420193A CN 103440349 A CN103440349 A CN 103440349A
- Authority
- CN
- China
- Prior art keywords
- data
- station data
- model
- route
- rule
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Abstract
The invention discloses an urban rail traffic station data validation method which comprises the following steps of: (1) creating station data models by using a data modeling tool according to the station data model design principle; (2) compiling rule bases corresponding to the station data models by using scripting language according to the characteristics of the station data models and loading the station data models into a station data model validation tool; (3) selecting corresponding rules for the different models and validating the station data so as to generate a validation report; and (4) performing iterative validation on the data according to the validation report until the data is completely accurate. According to the whole method, the data is validated more strictly and efficiently from the syntax to the semantics, so that the data validity is effectively ensured; the working efficiency is improved; and the working progress is accelerated. Thus, the usability, the security and the reliability of the system data level are ensured.
Description
Technical field
The invention belongs to the urban track traffic field, relate generally to a kind of track traffic station data verification method.
Background technology
Train automatic monitoring system and interlocking system need to be used a large amount of station static datas, development along with technology, the desired data amount is also in continuous increase, automatic technology also has been applied in the data generating procedure of station, but there is wrong probability in the inconsistent data that increased too of the increase of data volume and circuit.Especially, formula, route interlocking table in the data of station have the characteristics that data volume is large, logic is complicated, manually investigate mistake and become difficult all the more, therefore are badly in need of the completeness and efficiency that a kind of method is verified the station data.
Summary of the invention
Goal of the invention: the objective of the invention is provides a kind of track traffic station data verification method for the deficiencies in the prior art, thereby can farthest expose data downright bad in the data of station, reach and improve system debug speed, shorten construction period, improve availability, the safety and reliability of system from data plane.
Technical scheme: in order to realize the purpose of invention, the invention discloses a kind of track traffic station data verification method, comprise the following steps:
(1) adopt data modeling tool to generate the station data model libraries, the station data model libraries comprises Directed Graph Model, topological structure model, equipment proprietary attribute, route interlocking table and route formula;
(2) according to the station data model libraries generated in step (1), adopt script to write the corresponding rule base of station data model, the station data model libraries is loaded into station data model verification tool;
(3) different model in station data model libraries step (1) generated, in the rule base of selecting step (2) to generate, corresponding rule, verified the station data model, generates the checking report;
(4) according to the checking report, data are carried out to the iteration checking, until data are entirely true.
Wherein, in step (1), the structure of Directed Graph Model is: starting point kilometer post, terminal kilometer post, beginning end-point data, end point data, sector data, teleseme data; The topological structure model is usingd teleseme, track switch and section as the node in network, with line, to each node in network, realizes interconnected; The structure of route interlocking table model comprises: type, all the time end signal machine, conflicting signal machine, determine antiposition track switch, route section, invade the limit section, approach section, the protection section; The route formula be take the route interlocking table model as basis, and the point that relevant device in the route interlocking table is monitored connects with logical operator.Described station data comprise the station data of train automatic monitoring system and interlocking system.The data type of described station data model support comprises, integer, Boolean type and character string type.Employing script in described step (2) is write the corresponding rule base of station data model and is comprised, common syntax rule, Directed Graph Model are regular, topological structure model rule, route interlocking table rule and route formula rule.The Directed Graph Model rule comprises: the terminal kilometer post is greater than the top kilometer post, the end data type is necessary for track switch all the time, the track switch trend is necessary for one of its inherent type, sector data is arranged and is occurred according to fixed form, in sector data, the terminal kilometer post is greater than the top kilometer post, arrange according to fixed form and occur in the teleseme data, device type must be consistent with topological model; Topological structure model rule comprises: node type comprises teleseme, section, track switch, and the connection up and down of each node all exists, and for the track switch equipment side, connects and must exist, and the interconnected of the node on parallel lines can only be track switch-track switch; Route interlocking table look-up rule dependency is in making the traditional rule of route interlocking table; Route formula rule comprises: AND and OR can not appear in the point of two neighbouring device supervision simultaneously, cluster tool in the route formula must be under the jurisdiction of the cluster tool in the route in corresponding route interlocking table, the route formula should meet the rule for its setting, timing etc.The data layout of described the method support comprises CSV, TXT, XML and EXCEL.The route formula adopts the bi-directional verification method of data and figure, and figure adopts the expression mode of T-shaped figure, and data adopt propositional logic to resolve boolean calculation to the conversion of figure, and the mode with ladder type figure transforms by analysis result.
Beneficial effect: the present invention compared with prior art, technology, the different pieces of information model of formulation and the Different Rule that for different models adopt of employing based on the script rule base, make whole method to data more strict checking efficiently from the grammer to the semanteme, effectively guaranteed the validity of data, improved work efficiency, accelerate work progress, thereby guaranteed availability, the safety and reliability of system data aspect.
The accompanying drawing explanation
Fig. 1 is that verification method of the present invention is carried out the applicating flow chart of checking to the station data.
Embodiment
Below in conjunction with accompanying drawing, the present invention is further described.
As shown in Figure 1, whole verification method can be divided into three layers: data Layer, checking layer and resultant layer.At data Layer, take plane layout of signals as basis, generate the station data with data modeling tool, comprise Directed Graph Model, topological structure model, route interlocking table and route formula etc.; At the checking layer, the station data importing that will write the corresponding rule base of station data model and data modeling tool generation based on script, in data validation tool, is carried out checking; In resultant layer, generative grammar audit report, validity report and figure checking report, at this moment can feed back to data modeling tool again by the checking report, revises the station data model; Repeat above step, until the data of data verification report are errorless.
Above data model comprises Directed Graph Model, topological structure model, route interlocking table and route formula.
Wherein, Directed Graph Model is a kind of data model that plane layout of signals is generated in conjunction with the digraph relative theory.The structure of Directed Graph Model is: the starting point kilometer post, the terminal kilometer post, beginning end-point data (title, type, track switch trend etc.), end point data (title, type, track switch trend etc.), sector data ((title, the starting point kilometer post, the terminal kilometer post), (title, the starting point kilometer post, the terminal kilometer post) ...), teleseme data ((title, the place kilometer post), (title, the place kilometer post) ...), its rule description mainly comprises: the terminal kilometer post is greater than the top kilometer post, all the time hold type to be necessary for track switch, the track switch trend is necessary for one of its inherent type, sector data is arranged and is occurred according to fixed form, in sector data, the terminal kilometer post is greater than the top kilometer post, arrange and occur according to fixed form in the teleseme data, device type must be consistent etc. with topological model, with script by above-mentioned rule format.
The topological structure model is by the plane layout of signals networking, usings teleseme, track switch and section as the node in network, with line, to each node in network, realizes interconnected.The topological structure model is a model independently not generally, but and device data as a global existence, but this does not affect the checking to the topological structure model.The rule description of topological structure model is as follows: node type (teleseme, section, track switch) is meaned with A, B, C respectively, the connection up and down of each node all exists, the circuit terminal replaces with DESTINATION, connect and must exist for the track switch equipment side, the interconnected of node on parallel lines can only be CC, CA (AC)/CB (BC)/AB (BA)/AA/BB can not occur.With script by above-mentioned rule format.
The structure of route interlocking table model comprises: type, all the time end signal machine, conflicting signal machine, determine antiposition track switch, route section, invade the limit section, approach section, protection section etc.Route interlocking table look-up rule dependency is in traditional making route interlocking table rule.
The route formula be take the route interlocking table model as basis, and the point that relevant device in the route interlocking table is monitored connects with logical operator.Rule description is as follows: AND and OR can not appear in the point of two neighbouring device supervision simultaneously, cluster tool in the route formula must be under the jurisdiction of the cluster tool in the route in corresponding route interlocking table, the route formula should meet the rule for its setting, timing etc.With script by rule format.
The technology of employing based on the script rule base makes whole method to data more strict checking efficiently from the grammer to the semanteme, effectively guaranteed the validity of data, improved work efficiency; The unified different pieces of information model of formulating and the Different Rule adopted for different models, can meet the checking requirement without making too large change for the data between different stations, improved work efficiency; Whole verification method has guaranteed availability, the safety and reliability of data plane.
Claims (8)
1. a track traffic station data verification method, is characterized in that, comprises the following steps:
(1) adopt data modeling tool to generate the station data model libraries, the station data model libraries comprises Directed Graph Model, topological structure model, equipment proprietary attribute, route interlocking table and route formula;
(2) according to the station data model libraries generated in step (1), adopt script to write the corresponding rule base of station data model, the station data model libraries is loaded into station data model verification tool;
(3) different model in station data model libraries step (1) generated, in the rule base of selecting step (2) to generate, corresponding rule, verified the station data model, generates the checking report;
(4) according to the checking report, data are carried out to the iteration checking, until data are entirely true.
2. a kind of track traffic station data verification method as claimed in claim 1, it is characterized in that, in step (1), the structure of Directed Graph Model is: starting point kilometer post, terminal kilometer post, beginning end-point data, end point data, sector data, teleseme data; The topological structure model is usingd teleseme, track switch and section as the node in network, with line, to each node in network, realizes interconnected; The structure of route interlocking table model comprises: type, all the time end signal machine, conflicting signal machine, determine antiposition track switch, route section, invade the limit section, approach section, the protection section; The route formula be take the route interlocking table model as basis, and the point that relevant device in the route interlocking table is monitored connects with logical operator.
3. a kind of track traffic station data verification method as claimed in claim 1, is characterized in that, described station data comprise the station data of train automatic monitoring system and interlocking system.
4. a kind of track traffic station data verification method as claimed in claim 1, is characterized in that, the data type of described station data model support comprises, integer, Boolean type and character string type.
5. a kind of track traffic station data verification method as described as claim 1 or 3, it is characterized in that, employing script in described step (2) is write the corresponding rule base of station data model and is comprised, common syntax rule, Directed Graph Model are regular, topological structure model rule, route interlocking table rule and route formula rule.
6. a kind of track traffic station data verification method as described as claim 1 or 5, it is characterized in that, the Directed Graph Model rule comprises: the terminal kilometer post is greater than the top kilometer post, the end data type is necessary for track switch all the time, the track switch trend is necessary for one of its inherent type, sector data is arranged and is occurred according to fixed form, in sector data, the terminal kilometer post is greater than the top kilometer post, in the teleseme data, arranges according to fixed form and occurs, device type must be consistent with topological model; Topological structure model rule comprises: node type comprises teleseme, section, track switch, and the connection up and down of each node all exists, and for the track switch equipment side, connects and must exist, and the interconnected of the node on parallel lines can only be track switch-track switch; Route interlocking table look-up rule dependency is in making the traditional rule of route interlocking table; Route formula rule comprises: AND and OR can not appear in the point of two neighbouring device supervision simultaneously, cluster tool in the route formula must be under the jurisdiction of the cluster tool in the route in corresponding route interlocking table, the route formula should meet the rule for its setting, timing.
7. a kind of track traffic station data verification method as claimed in claim 1, is characterized in that, the data layout of described the method support comprises CSV, TXT, XML and EXCEL.
8. a kind of track traffic station data verification method as claimed in claim 1, it is characterized in that, the route formula adopts the bi-directional verification method of data and figure, figure adopts the expression mode of T-shaped figure, data adopt propositional logic to resolve boolean calculation to the conversion of figure, and the mode with ladder type figure transforms by analysis result.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2013104201931A CN103440349A (en) | 2013-09-16 | 2013-09-16 | Urban rail traffic station data validation method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2013104201931A CN103440349A (en) | 2013-09-16 | 2013-09-16 | Urban rail traffic station data validation method |
Publications (1)
Publication Number | Publication Date |
---|---|
CN103440349A true CN103440349A (en) | 2013-12-11 |
Family
ID=49694042
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2013104201931A Pending CN103440349A (en) | 2013-09-16 | 2013-09-16 | Urban rail traffic station data validation method |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103440349A (en) |
Cited By (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103838976A (en) * | 2014-03-21 | 2014-06-04 | 上海富欣智能交通控制有限公司 | Safety critical data consistency validation method of signal system |
CN105302933A (en) * | 2014-07-28 | 2016-02-03 | 株洲南车时代电气股份有限公司 | Signal system line data compilation method |
CN105404704A (en) * | 2014-09-12 | 2016-03-16 | 株洲南车时代电气股份有限公司 | Railway station chart data structure and organization method |
CN105678861A (en) * | 2015-12-19 | 2016-06-15 | 潘小胜 | Intelligent-computing railway switch logic distribution data analytic apparatus |
CN105678022A (en) * | 2016-02-24 | 2016-06-15 | 卡斯柯信号有限公司 | Aspect-oriented interlock system security demand formalized modeling and verification method |
CN106476856A (en) * | 2016-10-13 | 2017-03-08 | 交控科技股份有限公司 | A kind of CBTC system signal trackside equipment plane drawing generating method and device |
CN106612278A (en) * | 2016-12-16 | 2017-05-03 | 深圳市计通智能技术有限公司 | Data legality verification method and system |
CN107451342A (en) * | 2017-07-18 | 2017-12-08 | 交控科技股份有限公司 | A kind of rule verification method and device of rail traffic signal system basic data |
CN109558634A (en) * | 2018-10-29 | 2019-04-02 | 国电南瑞科技股份有限公司 | Boolean logic dynamic generating system and dynamic creation method are interlocked based on LL (K) |
CN109582943A (en) * | 2018-12-06 | 2019-04-05 | 中国铁道科学研究院集团有限公司通信信号研究所 | A method of automatically generating engineering data sheet |
CN111144082A (en) * | 2019-12-23 | 2020-05-12 | 中国建设银行股份有限公司 | Multi-table iterative calculation method and device, electronic equipment and storage medium |
CN113031934A (en) * | 2021-04-06 | 2021-06-25 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040064803A1 (en) * | 2002-09-27 | 2004-04-01 | Graves David A. | Validation system and method |
CN102427445A (en) * | 2011-08-29 | 2012-04-25 | 吴伟湘 | Safe auditing method of IT simulation infrastructure offline compliance |
CN103257650A (en) * | 2013-04-17 | 2013-08-21 | 北京全路通信信号研究设计院有限公司 | Check system used for function test of train control system |
-
2013
- 2013-09-16 CN CN2013104201931A patent/CN103440349A/en active Pending
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040064803A1 (en) * | 2002-09-27 | 2004-04-01 | Graves David A. | Validation system and method |
CN102427445A (en) * | 2011-08-29 | 2012-04-25 | 吴伟湘 | Safe auditing method of IT simulation infrastructure offline compliance |
CN103257650A (en) * | 2013-04-17 | 2013-08-21 | 北京全路通信信号研究设计院有限公司 | Check system used for function test of train control system |
Non-Patent Citations (2)
Title |
---|
周亮: "基于Jess引擎的面向域规则的通用合规系统设计", 《中国优秀硕士学位论文全文数据库 信息科技辑》 * |
董秋丽: "基于规则的CBTC系统数据分析与验证的研究", 《中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑》 * |
Cited By (19)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103838976A (en) * | 2014-03-21 | 2014-06-04 | 上海富欣智能交通控制有限公司 | Safety critical data consistency validation method of signal system |
CN105302933A (en) * | 2014-07-28 | 2016-02-03 | 株洲南车时代电气股份有限公司 | Signal system line data compilation method |
CN105302933B (en) * | 2014-07-28 | 2019-01-18 | 株洲南车时代电气股份有限公司 | A kind of preparation method of signal system track data |
CN105404704A (en) * | 2014-09-12 | 2016-03-16 | 株洲南车时代电气股份有限公司 | Railway station chart data structure and organization method |
CN105404704B (en) * | 2014-09-12 | 2018-12-11 | 株洲南车时代电气股份有限公司 | A kind of yard graph data structure and its method for organizing |
CN105678861A (en) * | 2015-12-19 | 2016-06-15 | 潘小胜 | Intelligent-computing railway switch logic distribution data analytic apparatus |
CN105678022A (en) * | 2016-02-24 | 2016-06-15 | 卡斯柯信号有限公司 | Aspect-oriented interlock system security demand formalized modeling and verification method |
CN105678022B (en) * | 2016-02-24 | 2019-01-08 | 卡斯柯信号有限公司 | The interlock system demand for security Formal Modeling and verification method of aspect-oriented |
CN106476856B (en) * | 2016-10-13 | 2018-03-27 | 交控科技股份有限公司 | A kind of CBTC system signals trackside equipment plane drawing generating method and device |
CN106476856A (en) * | 2016-10-13 | 2017-03-08 | 交控科技股份有限公司 | A kind of CBTC system signal trackside equipment plane drawing generating method and device |
CN106612278A (en) * | 2016-12-16 | 2017-05-03 | 深圳市计通智能技术有限公司 | Data legality verification method and system |
CN107451342A (en) * | 2017-07-18 | 2017-12-08 | 交控科技股份有限公司 | A kind of rule verification method and device of rail traffic signal system basic data |
CN109558634A (en) * | 2018-10-29 | 2019-04-02 | 国电南瑞科技股份有限公司 | Boolean logic dynamic generating system and dynamic creation method are interlocked based on LL (K) |
CN109582943A (en) * | 2018-12-06 | 2019-04-05 | 中国铁道科学研究院集团有限公司通信信号研究所 | A method of automatically generating engineering data sheet |
CN109582943B (en) * | 2018-12-06 | 2023-01-10 | 中国铁道科学研究院集团有限公司通信信号研究所 | Method for automatically generating engineering data table |
CN111144082A (en) * | 2019-12-23 | 2020-05-12 | 中国建设银行股份有限公司 | Multi-table iterative calculation method and device, electronic equipment and storage medium |
CN111144082B (en) * | 2019-12-23 | 2023-05-12 | 中国建设银行股份有限公司 | Multi-table iterative calculation method, device, electronic equipment and storage medium |
CN113031934A (en) * | 2021-04-06 | 2021-06-25 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
CN113031934B (en) * | 2021-04-06 | 2022-07-26 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103440349A (en) | Urban rail traffic station data validation method | |
CN104361095B (en) | A kind of power distribution network artwork data management method based on dual system | |
CN104820635B (en) | A kind of self-closing ring gauge about robustness testing method based on the semantic parsing of dynamic script | |
CN106026087B (en) | Fault scenes analogy method containing distributed power distribution network | |
CN103838675B (en) | The method of the automatic generating test use case of computer interlock system | |
CN103268380A (en) | Analogue integrated circuit layout designing method capable of improving layout efficiency | |
CN105069256B (en) | A kind of realization and direct fault location emulation platform and emulation mode based on TMR | |
CN102117449B (en) | Dynamic verification and soft handover method for online state entering of power grid model | |
CN103092755A (en) | Automatic generation method of train control system test sequence | |
CN110011837A (en) | One kind being based on CBTC grid data intelligent failure analysis methods | |
CN109558649B (en) | Register single event effect simulation method for aerospace chip | |
CN103955571B (en) | A kind of soft error injection and verification method for Flouride-resistani acid phesphatase chip | |
CN104065536A (en) | Ethernet switch FPGA verification method based on UVM verification method | |
CN104935936A (en) | Entropy decoder authentication method based on UVM and device | |
CN104657245A (en) | Automatic generating device for module-level UVM (unified voltage modulation) verification platform based on AMBA bus | |
CN104317995A (en) | PSpice (P simulation program with integrated circuit emphasis) AD (analogue/digital) circuit simulation-based single-failure automatic injection method | |
CN103020357A (en) | Checking method and device for circuit network topology matching | |
Qian et al. | Modeling and verification of zone controller: The SCADE experience in china's railway systems | |
CN106294294B (en) | Rail traffic signal system unifies the consistency desired result method of formatted data file | |
CN102968515A (en) | Method and equipment for calculating verification coverage of integrated computer circuit model | |
CN105573881B (en) | Method and system based on the large-scale interconnection die address of BFM fast verifications | |
CN108984945A (en) | The simulation and verification platform of design is verified based on multi-core associative simulation | |
CN109165131B (en) | Prototype verification platform automation realization method based on Perl | |
CN114357939A (en) | Chip IP access verification method and device, electronic equipment and storage medium | |
CN103729496B (en) | Power system simulation model verification method |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20131211 |
|
RJ01 | Rejection of invention patent application after publication |