CN103473705A - Access-road logic generating system and method for automatic train supervision system - Google Patents
Access-road logic generating system and method for automatic train supervision system Download PDFInfo
- Publication number
- CN103473705A CN103473705A CN2013103919564A CN201310391956A CN103473705A CN 103473705 A CN103473705 A CN 103473705A CN 2013103919564 A CN2013103919564 A CN 2013103919564A CN 201310391956 A CN201310391956 A CN 201310391956A CN 103473705 A CN103473705 A CN 103473705A
- Authority
- CN
- China
- Prior art keywords
- route
- value
- logic
- state
- true
- 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
Landscapes
- Train Traffic Observation, Control, And Security (AREA)
Abstract
The invention discloses an access-road logic generating system and method for an automatic train supervision system. The system comprises a client, a database, a maintenance assembly and a viewing assembly. The method comprises the following steps: (1) carrying out unified definition on equipment value and state and logical relation thereof; (2) generating a logic relation expression by the client; (3) converting the logic relation expression into an expression in disjunctive normal form; (4) generating really designated and falsely designated data logic values by the logic relation in disjunctive normal form. According to the invention, the complexity of access-road supervision of the automatic train supervision system can be reduced, and the safety and reliability of the system can be improved.
Description
Technical field
The invention belongs to track traffic signal controlling field, relate generally to a kind of route logic generation system and method thereof of train automatic monitoring system.
Background technology
Rail transit train automatic monitoring system is one of track traffic automatic field core specialty, is the assurance train operating safety, realizes train traffic control and train operation modernization, improves the critical system of conevying efficiency.Along with train automatic monitoring system constantly moves towards networking and integrated, during train operation, handled route logic becomes increasingly complex, therefore be badly in need of a kind of method the real time execution route is judged, reduce the complexity of monitoring and security and the reliability of raising system.
Summary of the invention
Goal of the invention: the objective of the invention is to disclose for the deficiencies in the prior art a kind of route logic generation system and method thereof of train automatic monitoring system, thereby can reduce the complexity of monitoring and security and the reliability of raising system.
Technical scheme: in order to realize the purpose of invention, the invention discloses a kind of route logic generation system of train automatic monitoring system, comprising: client, database servers group, safeguard assembly and view assembly; Client, comprise receiver module, logic module; Wherein, receiver module is used for to the database servers group request and receives data; Logic module is defined as a binary number VALUE by the device value in route and state thereof, and by all logical relations in route abstract be three state, be respectively OP_NOT, OP_AND and OP_OR; OP_AND means that each device value and state are all true, and output action is just true; As long as OP_OR means each device value and state, have one to be true, output action is very; OP_NOT is by device value in route and state negate; The logical relation expression formula that logic module will receive from database servers group is converted to disjunctive normal form by degree of depth ergodic algorithm, and is enumerated and generate true the appointment and false mathematical logic value of assigning by the VALUE value in disjunctive normal form; Database servers group is comprised of some servers, and each server comprises memory module, sending module; Wherein, memory module is for storing facility information and the state of route; Sending module is used for the request of data of customer in response end, and sends data to client; Safeguard assembly, the true appointment generated for the logic module of storing client and false mathematical logic value of assigning; View assembly, the true appointment generated for the logic module of display client and false mathematical logic value of assigning.
The invention discloses the route logic generation method of a kind of train automatic monitoring system of described system, comprise the following steps: (1) is defined as a binary number VALUE by the device value in route and state thereof, and by all logical relations in route abstract be three state, be respectively OP_NOT, OP_AND and OP_OR; Wherein, OP_AND means that each device value and state are all true, and output action is just true; As long as OP_OR means each device value and state, have one to be true, output action is very; OP_NOT is by device value in route and state negate; (2) client reads out the equipment connecting relation in each equipment list from the database of control center, according to its topological relation, and the logical relation expression formula between generation equipment; (3) using degree of depth ergodic algorithm, is disjunctive normal form by the logical relation expression parsing in step (2); (4) VALUE of step (3) disjunctive normal form is enumerated, it is " 0 " or " 1 ", and the logical relation of the disjunctive normal form generated according to step (3), generates true the appointment and false mathematical logic value of assigning.
Wherein, the equipment described in step (2) comprises initial endpoint signal machine, terminal signaling machine, section, track switch and conflicting route.While carrying out the degree of depth ergodic algorithm in step (3), using VALUE as leaf node, logical relation OP_NOT, OP_AND and OP_OR are as intermediate node.Client is carried out verification to the logical relation expression formula generated in step (2).Client is carried out the truth table checking to the disjunctive normal form generated in step (3).
Beneficial effect: the present invention compared with prior art, has adopted unified route logical definition, complicated route judgement is converted to simple logical problem, so reduce the complexity of monitoring; Device value and the state thereof of securely reading data storehouse server, and the logical expression generated is carried out to verification, improve security and the reliability of system; In system, the view assembly has shown the relation of each equipment room in the route logic intuitively, make the staff can Real Time Observation to the variation of route information, improve staff's work efficiency.
The accompanying drawing explanation
The route logic that Fig. 1 is train automatic monitoring system of the present invention generates method flow diagram.
Embodiment
The route logic generation system of a kind of train automatic monitoring system disclosed by the invention comprises: client, database servers group, safeguard assembly and view assembly; Client, comprise receiver module, logic module; Wherein, receiver module is used for to the database servers group request and receives data; Logic module is defined as a binary number VALUE by the device value in route and state thereof, and by all logical relations in route abstract be three state, be respectively OP_NOT, OP_AND and OP_OR; OP_AND means that each device value and state are all true, and output action is just true; As long as OP_OR means each device value and state, have one to be true, output action is very; OP_NOT is by device value in route and state negate; The logical relation expression formula that logic module will receive from database servers group is converted to disjunctive normal form by degree of depth ergodic algorithm, and is enumerated and generate true the appointment and false mathematical logic value of assigning by the VALUE value in disjunctive normal form; Database servers group is comprised of some servers, and each server comprises memory module, sending module; Wherein, memory module is for storing facility information and the state of route; Sending module is used for the request of data of customer in response end, and sends data to client; Safeguard assembly, the true appointment generated for the logic module of storing client and false mathematical logic value of assigning; View assembly, the true appointment generated for the logic module of display client and false mathematical logic value of assigning.
Below in conjunction with accompanying drawing, the present invention is further described.
As shown in Figure 1, client is carried out data access request, and load and state according to the seeervice cycle property judgement server detected, be mapped to client by server state and IP address; Client finds out that load is lower, the normal server ip address of state, and the request to create agent object, connect with server; The data that client will contain route top and terminal signaling machine send to server; Server receives request, find top and the terminal signaling machine of route, exist this route using the device value such as the teleseme of this route, section, track switch, conflicting route and state thereof as VALUE, and the logical relation with OP_NOT, OP_AND, OP_OR couples together and forms the logical relation expression formula and send to client by it, unified like this logical definition is converted to simple logical problem by complicated route judgement, so reduce the complexity of monitoring, otherwise do not exist, do not enter abnormality processing; Client carries out verification to the logical relation expression formula and to it, decomposing the logical relation expression formula is the TERM string connected with OP_OR, use left subtree TERM and the right subtree TERM of nested mode structure OP_OR connection, the verification of logical relation expression formula is improved to security and the reliability of system; Extract a TERM string, decompose the TERM string for the VAR string that OP_AND connects, the left subtree VAR and the right subtree VAR that use nested mode structure OP_AND to connect; Check in the ATOM string whether comprise the OP_NOT operational symbol, ATOM is gone here and there to negate if having; Constantly carry out above action until be decomposed into a binary tree structure, then carry out degree of depth traversal, the expression formula that has traveled through generation is carried out to verification, judge whether it is disjunctive normal form, if not enter abnormality processing, if continue, the expression formula verification that has traveled through generation is improved to security and the reliability of system; Be that the route disjunctive normal form is carried out to the truth table checking, enumerating comes true assigns and false mathematical logic value of assigning, and extracts the method for effective output action.Finally by the route disjunctive normal form and effectively record be saved in and safeguarded in assembly with the form of XML file, and the pass of each equipment room in the route logic is tied up in the view assembly and shown, in system, the view assembly has shown the relation of each equipment room in the route logic intuitively, make the staff can Real Time Observation to the variation of route information, improve staff's work efficiency.
Claims (6)
1. the route logic generation system of a train automatic monitoring system, is characterized in that, comprising: client, database servers group, safeguard assembly and view assembly;
Client, comprise receiver module, logic module;
Wherein, receiver module is used for to the database servers group request and receives data;
Logic module is defined as a binary number VALUE by the device value in route and state thereof, and by all logical relations in route abstract be three state, be respectively OP_NOT, OP_AND and OP_OR; OP_AND means that each device value and state are all true, and output action is just true; As long as OP_OR means each device value and state, have one to be true, output action is very; OP_NOT is by device value in route and state negate; The logical relation expression formula that logic module will receive from database servers group is converted to disjunctive normal form by degree of depth ergodic algorithm, and is enumerated and generate true the appointment and false mathematical logic value of assigning by the VALUE value in disjunctive normal form;
Database servers group is comprised of some servers, and each server comprises memory module, sending module;
Wherein, memory module is for storing facility information and the state of route;
Sending module, for the request of data of customer in response end, is sent to client by the logical relation expression formula of facility information, state and annexation thereof;
Safeguard assembly, the true appointment generated for the logic module of storing client and false mathematical logic value of assigning;
View assembly, the true appointment generated for the logic module of display client and false mathematical logic value of assigning.
2. the route logic generation method of a train automatic monitoring system, is characterized in that, comprises the following steps:
(1) device value in route and state thereof are defined as to a binary number VALUE, and by all logical relations in route abstract be three state, be respectively OP_NOT, OP_AND and OP_OR;
Wherein, OP_AND means that each device value and state are all true, and output action is just true; As long as OP_OR means each device value and state, have one to be true, output action is very; OP_NOT is by device value in route and state negate;
(2) client reads out the equipment connecting relation in each equipment list from the database of control center, according to its topological relation, and the logical relation expression formula between generation equipment;
(3) using degree of depth ergodic algorithm, is disjunctive normal form by the logical relation expression parsing in step (2);
(4) VALUE of step (3) disjunctive normal form is enumerated, it is " 0 " or " 1 ", and the logical relation of the disjunctive normal form generated according to step (3), generates true the appointment and false mathematical logic value of assigning.
3. the route logic generation method of a kind of train automatic monitoring system as claimed in claim 2, is characterized in that, the equipment described in step (2) comprises initial endpoint signal machine, terminal signaling machine, section, track switch and conflicting route.
4. the route logic generation method of a kind of train automatic monitoring system as claimed in claim 2, it is characterized in that, while carrying out the degree of depth ergodic algorithm in step (3), using VALUE as leaf node, logical relation OP_NOT, OP_AND and OP_OR are as intermediate node.
5. the route logic generation method of a kind of train automatic monitoring system as claimed in claim 2, is characterized in that, client is carried out verification to the logical relation expression formula generated in step (2).
6. the route logic generation method of a kind of train automatic monitoring system as claimed in claim 2, is characterized in that, client is carried out the truth table checking to the disjunctive normal form generated in step (3).
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2013103919564A CN103473705A (en) | 2013-09-02 | 2013-09-02 | Access-road logic generating system and method for automatic train supervision system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2013103919564A CN103473705A (en) | 2013-09-02 | 2013-09-02 | Access-road logic generating system and method for automatic train supervision system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN103473705A true CN103473705A (en) | 2013-12-25 |
Family
ID=49798542
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2013103919564A Pending CN103473705A (en) | 2013-09-02 | 2013-09-02 | Access-road logic generating system and method for automatic train supervision system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN103473705A (en) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104375425B (en) * | 2014-09-22 | 2017-01-04 | 歌尔股份有限公司 | The logic collocation method of manufacturing execution system operation based on expression formula and device |
| CN106503207A (en) * | 2016-10-27 | 2017-03-15 | 上海自仪泰雷兹交通自动化系统有限公司 | A kind of ATS routes generation method |
| CN109960186A (en) * | 2017-12-25 | 2019-07-02 | 北京创昱科技有限公司 | Processing method, device, electronic equipment and the storage medium of control flow |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102358337A (en) * | 2011-08-10 | 2012-02-22 | 北京和利时系统工程有限公司 | Rail transit train monitoring system and method |
| CN102381342A (en) * | 2011-08-31 | 2012-03-21 | 北京和利时系统工程有限公司 | Computer interlock system and method for controlling urban rail transit signals thereof |
| CN102556125A (en) * | 2011-12-26 | 2012-07-11 | 北京交控科技有限公司 | Maintenance support system of automatic train control system |
| EP2572955A1 (en) * | 2011-09-23 | 2013-03-27 | Siemens SAS | Method and system for managing an interlocking |
-
2013
- 2013-09-02 CN CN2013103919564A patent/CN103473705A/en active Pending
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102358337A (en) * | 2011-08-10 | 2012-02-22 | 北京和利时系统工程有限公司 | Rail transit train monitoring system and method |
| CN102381342A (en) * | 2011-08-31 | 2012-03-21 | 北京和利时系统工程有限公司 | Computer interlock system and method for controlling urban rail transit signals thereof |
| EP2572955A1 (en) * | 2011-09-23 | 2013-03-27 | Siemens SAS | Method and system for managing an interlocking |
| CN102556125A (en) * | 2011-12-26 | 2012-07-11 | 北京交控科技有限公司 | Maintenance support system of automatic train control system |
Non-Patent Citations (3)
| Title |
|---|
| 丘庆球等: "地铁列车进路控制及实现", 《铁道通信信号》, vol. 37, no. 12, 17 December 2001 (2001-12-17) * |
| 吴江等: "上海地铁ATS仿真系统进路自动排列的设计与实现", 《微型机与应用》, no. 17, 10 September 2012 (2012-09-10) * |
| 王晓玲: "城市轨道交通联锁系统软件研究和实现", 《中国优秀硕士学位论文全文数据库信息科技辑》, no. 7, 15 July 2011 (2011-07-15) * |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104375425B (en) * | 2014-09-22 | 2017-01-04 | 歌尔股份有限公司 | The logic collocation method of manufacturing execution system operation based on expression formula and device |
| CN106503207A (en) * | 2016-10-27 | 2017-03-15 | 上海自仪泰雷兹交通自动化系统有限公司 | A kind of ATS routes generation method |
| CN106503207B (en) * | 2016-10-27 | 2019-11-08 | 上海电气泰雷兹交通自动化系统有限公司 | A kind of ATS route generation method |
| CN109960186A (en) * | 2017-12-25 | 2019-07-02 | 北京创昱科技有限公司 | Processing method, device, electronic equipment and the storage medium of control flow |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102932195B (en) | A kind of business diagnosis method for supervising of protocal analysis Network Based and system | |
| WO2015176389A1 (en) | Method, apparatus and system for collecting device information | |
| CN105471656A (en) | Abstraction method specific to operation and maintenance information model of intelligent substation automation system | |
| CN202193505U (en) | Interface protocols-based elevator long-distance monitoring system with internet of things | |
| CN106740801A (en) | A kind of monitoring method of track train braking control system | |
| CN109842649A (en) | A kind of urban rail transit equipment health control method and device | |
| CN102231760A (en) | Interface protocol-based remote elevator monitoring system and method of internet of things | |
| CN111327468A (en) | Operation method and system for edge computing platform of power system | |
| CN103096038B (en) | The method for supervising of the fusion video monitoring system of multi-protocol video watch-dog access | |
| Chen et al. | Performance analysis and verification of safety communication protocol in train control system | |
| CN103473705A (en) | Access-road logic generating system and method for automatic train supervision system | |
| CN106302485A (en) | OPC standard and the bi-directional conversion system of power remote agreement | |
| CN103545933A (en) | Instation I/O interface protocol of intelligent substation online monitoring system | |
| CN203306857U (en) | Remote monitoring system for multiple elevators | |
| CN105425785A (en) | Method and system for platform fault recording | |
| CN109803030A (en) | A kind of anonymity intermediate proxy server and its communication means | |
| CN103633736B (en) | From the on-line monitoring communication means of power transformation substation to main website | |
| CN103973530A (en) | Catching technology based information interaction bus data reliable-transmission method | |
| CN103957119A (en) | Method for managing network devices through MIB file and browser | |
| CN115905652A (en) | Visual management system for buildings | |
| CN110071987A (en) | Gateway address mapping method, gateway and train network system | |
| CN104318394A (en) | Communication management machine intelligent warning system and method based on multi-motion warning mode | |
| CN109525471B (en) | IO driving and mining module compatible with network and CAN communication | |
| CN104574795A (en) | Alarm system for power distribution station and alarm method of alarm system for power distribution station | |
| CN104933106A (en) | Database device for IFC informatization model |
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: 20131225 |
|
| RJ01 | Rejection of invention patent application after publication |