Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100642507> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2100642507 abstract "This paper presents a formal specification of an Automatic Train Protection and Block (ATPB) model for local line railway system in Japan proposed by the author [12], and validates the model by internal consistency proving and systematic testing. The system consists of two parts, the on-board subsystem and ground subsystem. The former is to detect the basic state of train, such as position, speed and integrity, monitor the speed, communicate with ground equipment and record the relative events. And the latter is responsible for communicating with train, controlling the route and interlocking, and decision-making for train operation adjustment. The main purpose of this project is to improve the efficiency and guarantee that there is no collision, no derailment and no over speeding at the same. The formal language used in this project is VDM++. And the state and specification of operation are all checked and validated using VDMTools. The results confirm the correctness of this system and the model throws new light on practical system design." @default.
- W2100642507 created "2016-06-24" @default.
- W2100642507 creator A5000799818 @default.
- W2100642507 creator A5008319972 @default.
- W2100642507 creator A5050917634 @default.
- W2100642507 creator A5064612688 @default.
- W2100642507 date "2011-06-01" @default.
- W2100642507 modified "2023-10-09" @default.
- W2100642507 title "Study on Formal Specification of Automatic Train Protection and Block System for Local Line" @default.
- W2100642507 cites W1515197172 @default.
- W2100642507 cites W1550474873 @default.
- W2100642507 cites W1554863622 @default.
- W2100642507 cites W1582439588 @default.
- W2100642507 cites W1604322069 @default.
- W2100642507 cites W1820816404 @default.
- W2100642507 cites W1832935029 @default.
- W2100642507 cites W1976635569 @default.
- W2100642507 cites W2014257834 @default.
- W2100642507 cites W2109206353 @default.
- W2100642507 cites W2114754412 @default.
- W2100642507 cites W2126195491 @default.
- W2100642507 cites W2127159302 @default.
- W2100642507 cites W2207269789 @default.
- W2100642507 cites W309155172 @default.
- W2100642507 doi "https://doi.org/10.1109/ssiri-c.2011.16" @default.
- W2100642507 hasPublicationYear "2011" @default.
- W2100642507 type Work @default.
- W2100642507 sameAs 2100642507 @default.
- W2100642507 citedByCount "3" @default.
- W2100642507 countsByYear W21006425072013 @default.
- W2100642507 countsByYear W21006425072016 @default.
- W2100642507 crossrefType "proceedings-article" @default.
- W2100642507 hasAuthorship W2100642507A5000799818 @default.
- W2100642507 hasAuthorship W2100642507A5008319972 @default.
- W2100642507 hasAuthorship W2100642507A5050917634 @default.
- W2100642507 hasAuthorship W2100642507A5064612688 @default.
- W2100642507 hasConcept C111498074 @default.
- W2100642507 hasConcept C116253237 @default.
- W2100642507 hasConcept C127413603 @default.
- W2100642507 hasConcept C149635348 @default.
- W2100642507 hasConcept C154945302 @default.
- W2100642507 hasConcept C198352243 @default.
- W2100642507 hasConcept C199360897 @default.
- W2100642507 hasConcept C200601418 @default.
- W2100642507 hasConcept C2524010 @default.
- W2100642507 hasConcept C2776436953 @default.
- W2100642507 hasConcept C2777210771 @default.
- W2100642507 hasConcept C2778844933 @default.
- W2100642507 hasConcept C33923547 @default.
- W2100642507 hasConcept C41008148 @default.
- W2100642507 hasConcept C48103436 @default.
- W2100642507 hasConcept C55439883 @default.
- W2100642507 hasConcept C75606506 @default.
- W2100642507 hasConcept C79403827 @default.
- W2100642507 hasConceptScore W2100642507C111498074 @default.
- W2100642507 hasConceptScore W2100642507C116253237 @default.
- W2100642507 hasConceptScore W2100642507C127413603 @default.
- W2100642507 hasConceptScore W2100642507C149635348 @default.
- W2100642507 hasConceptScore W2100642507C154945302 @default.
- W2100642507 hasConceptScore W2100642507C198352243 @default.
- W2100642507 hasConceptScore W2100642507C199360897 @default.
- W2100642507 hasConceptScore W2100642507C200601418 @default.
- W2100642507 hasConceptScore W2100642507C2524010 @default.
- W2100642507 hasConceptScore W2100642507C2776436953 @default.
- W2100642507 hasConceptScore W2100642507C2777210771 @default.
- W2100642507 hasConceptScore W2100642507C2778844933 @default.
- W2100642507 hasConceptScore W2100642507C33923547 @default.
- W2100642507 hasConceptScore W2100642507C41008148 @default.
- W2100642507 hasConceptScore W2100642507C48103436 @default.
- W2100642507 hasConceptScore W2100642507C55439883 @default.
- W2100642507 hasConceptScore W2100642507C75606506 @default.
- W2100642507 hasConceptScore W2100642507C79403827 @default.
- W2100642507 hasLocation W21006425071 @default.
- W2100642507 hasOpenAccess W2100642507 @default.
- W2100642507 hasPrimaryLocation W21006425071 @default.
- W2100642507 hasRelatedWork W1498133566 @default.
- W2100642507 hasRelatedWork W1977100790 @default.
- W2100642507 hasRelatedWork W2003047724 @default.
- W2100642507 hasRelatedWork W2015951270 @default.
- W2100642507 hasRelatedWork W2045661552 @default.
- W2100642507 hasRelatedWork W2047002789 @default.
- W2100642507 hasRelatedWork W2085454873 @default.
- W2100642507 hasRelatedWork W2096512862 @default.
- W2100642507 hasRelatedWork W2096605107 @default.
- W2100642507 hasRelatedWork W2113446260 @default.
- W2100642507 hasRelatedWork W2121304555 @default.
- W2100642507 hasRelatedWork W2142629326 @default.
- W2100642507 hasRelatedWork W2293318150 @default.
- W2100642507 hasRelatedWork W2356162944 @default.
- W2100642507 hasRelatedWork W2381937919 @default.
- W2100642507 hasRelatedWork W2386649253 @default.
- W2100642507 hasRelatedWork W2391771781 @default.
- W2100642507 hasRelatedWork W2499777644 @default.
- W2100642507 hasRelatedWork W2990720214 @default.
- W2100642507 hasRelatedWork W2113853214 @default.
- W2100642507 isParatext "false" @default.
- W2100642507 isRetracted "false" @default.
- W2100642507 magId "2100642507" @default.
- W2100642507 workType "article" @default.