Train fire linkage and modeling verification method

A fire and linkage technology, used in fire alarms, electrical fire alarms, and fire alarms that rely on radiation to achieve the effect of ensuring the safety of trains and improving reliability.

Active Publication Date: 2021-11-12
CHINA RAILWAY ERYUAN ENG GRP CO LTD
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The purpose of the present invention is to solve the problem that various systems cannot be linked reliably in the event of a fire, and to provide a train fire linkage method, so tha

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
  • Train fire linkage and modeling verification method
  • Train fire linkage and modeling verification method
  • Train fire linkage and modeling verification method

Examples

Experimental program
Comparison scheme
Effect test

Example Embodiment

[0037] Example 1

[0038] figure 1 ISCS is a schematic structural diagram of the system, see figure 1 , ISCS including: FAS, BAS, ACS, PA (public address), PIS (Passenger Information System) and CCTV (closed circuit television) and other subsystems, ISCS integrated automation control system, a high degree of integration with the Internet, etc., ISCS will separate weak monitoring capabilities of each system of deep integration is conducive to coordinated interaction when critical events occur. In addition, ISCS also with the railway signaling systems, mainly for the ATS (Automatic Train Supervision) with a communication interface. ISCS system deployed in the OCC (Operations Control Center), OOC achieve the full range of monitoring and control of trains and equipment by the dispatcher through the ISCS.

[0039] Specifically, BAS responsible for the HVAC system equipment, to conduct a comprehensive water supply and drainage system equipment, elevator systems, low voltage power distr...

Example Embodiment

[0055] Example 2

[0056] Compared with the traditional timed automata automaton, a mechanism to increase the time constraints, but also have joined the state transition diagram Notes, the expression of a real-time constraints of the system features that will have very good results. Using finite variables representing time, and annotated with a constraint state transition diagram. Constraints based on transition conditions of the system, wherein, if the time-related constraints, time variables to determine the timing of the state transition occurs, is called the time limit. A real-time system, typically constituted by a plurality of network time automata automata work time.

[0057] UPPAAL by Aalborg University and the University of Uppsala in Sweden, Denmark jointly developed automaton model of time formal tool built on time automata theory. UPPAAL use professional grammar, state space model of the system for safety search, verification system, accessibility and limited activity ...

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 discloses a train fire linkage and modeling verification method. The train fire linkage and modeling verification method comprises the steps that a fire detection device of an FAS detects a fire of a train, a fire alarm host of the FAS determines a fire position, the FAS uploads fire information to a TCMS, the TCMS transmits the alarm information to an ISCS of an OCC through a train-ground wireless communication system, meanwhile, the TCMS analyzes the fire position information contained in the fire information and controls the camera of the CCTV at the corresponding position, the picture of the camera is synchronized to the ISCS, and the OCC judges whether the fire occurs in combination with the alarm information and the picture of the camera and correspondingly executes the reset of a fire false alarm system or starts fire evacuation. According to the train fire linkage and modeling verification method, a timed automaton network is established based on a UPPAAL tool, and a train fire linkage method is described and verified. The subsystems of the TCMS and the ISCS can be linked reliably, system paralysis caused by errors of processes and linkage logic is avoided, and train running safety is guaranteed.

Description

technical field [0001] The invention relates to the technical field of train safety monitoring, in particular to a train fire linkage and modeling verification method. Background technique [0002] The automation of urban rail transit lines is getting higher and higher, especially the fully automatic driving trains, which have high operating efficiency and can effectively reduce the costs of the entire life cycle, which is an important direction for the development of urban rail transit in my country. There is a big difference between highly automated train operation scenarios and non-automatic operating lines, which put forward higher requirements for traffic organization and emergency response under abnormal conditions, and the execution efficiency of dispatching operations must be further improved to ensure that the operating lines driving safety. For example, in a fully automatic driving line, since there are no personnel on the train, once a dangerous situation such as...

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
IPC IPC(8): G08B17/12G08B17/10G08B17/06G08B25/10H04N7/18G06F30/20
CPCG08B17/125G08B17/10G08B17/06H04N7/18G08B25/10G06F30/20
Inventor 王梓丞易立富杨捷杨岗王光前戴宏虞凯董松王孔明刘孜学庞雪春唐斌谭冠华王富斌谢联莲
Owner CHINA RAILWAY ERYUAN ENG GRP 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