Method for CBTC interlock system access state modeling

A technology of interlocking system and modeling method, which is applied in the field of CBTC interlocking system approach state modeling, which can solve the problem that the CBTC interlocking system approach state cannot be accurately and completely described.

Inactive Publication Date: 2014-04-23
TRAFFIC CONTROL TECH CO LTD
View PDF2 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] However, in the modeling process of the CBTC interlocking system, neither the data flow graph modeling method nor the safety state machine modeling method can accurately and completely describe the access state of the CBTC interlocking system

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for CBTC interlock system access state modeling
  • Method for CBTC interlock system access state modeling
  • Method for CBTC interlock system access state modeling

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0030] Such as figure 1 As shown, the embodiment of the present invention provides a CBTC interlocking system approach state modeling method, including:

[0031] S1. Formulate the route state according to the restriction relationship of the route control of the CBTC interlocking system, and establish a route state transition diagram according to the route state;

[0032] S2. According to the behavior of the route control of the CBTC interlocking system, the route state transition diagram is abstracted to obtain the route state transition model;

[0033] S3. Perform logical and sequential operations on the states in the route state transition model according to the data flow graph modeling method to drive transitions between different states, and then obtain the route state model of the CBTC interlocking system.

[0034] In this embodiment, on the basis of analyzing the interlocking subsystem architecture, interface and functional requirements in the CBTC system, the two model...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides a method for CBTC interlock system access state modeling and relates to the technical field of train operation control. The method comprises a first step of formulating access states according to CBTC interlock system access control restriction relations, and establishing an access state transition diagram according to the access states; a second step of abstracting the access state transition diagram according to CBTC interlock system access control behaviors, and obtaining an access state transition model; a third step of performing logic and time sequence operation on the states in the access state transition model according to a data flow diagram modeling method, driving conversion of different states, and obtaining a CBTC interlock system access state model. Two modeling methods including a data flow diagram and a state machine in an SCADE are effectively integrated together, mutual nesting and seamless connection of two models are achieved, and the access states of a CBTC interlock system can be described accurately and completely.

Description

technical field [0001] The invention relates to the technical field of train operation control, in particular to a method for modeling the route state of a CBTC interlocking system. Background technique [0002] With the development of the national economy, the passenger volume of my country's big cities is expanding rapidly, and the phenomenon of traffic congestion, congestion and chaos is becoming more and more serious. The development of urban rail transit is an effective means to alleviate traffic congestion. The communication-based train operation control CBTC (Communication Based Train Control) system is recognized as the best solution for urban rail transit due to its safety, punctuality, large capacity, high efficiency and many other advantages. Computer interlocking is the basic security equipment in the CBTC system. When the CBTC system is working normally, the train runs in a moving block mode, and the interlocking system provides a continuous train route for th...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
Inventor 高国栋
Owner TRAFFIC CONTROL TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap