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.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
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 ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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