Zobrazeno 1 - 10 of 10 pro vyhledávání: '"Natsuki Terada"'
4
Application of Verification Methods to Specifications of Signalling Equipment
Autor: Takashi Toyama, Natsuki Terada
Publikováno v: Quarterly Report of RTRI. 54:202-207
Formal methods have been expected to increase the reliability of software, including that of signalling systems. In order to further the use of formal methods in the railway signalling domain, it is beneficial to show examples of models of various si
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::534ab6e0f7aaaecdbf919488f963b5ce
https://doi.org/10.2219/rtriqr.54.202
Zobrazit plný text záznamu
6
Study on Quantifying and Reducing Electrical Resistance between Wheels and Rails
Autor: Mitsuyoshi Fukuda, Takumi Ban, Natsuki Terada
Publikováno v: Quarterly Report of RTRI. 49:158-162
The train-detecting track circuit currently used is dependable and has the characteristics required of a railway signalling system in terms of economy, continuous detection, etc. However, when rails become rusty, the shunt resistance becomes higher,
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9b565c0b1227e0869d53060c242ae00c
https://doi.org/10.2219/rtriqr.49.158
Zobrazit plný text záznamu
9
Application of Formal Methods to the Railway Signalling Systems
Autor: Mitsuyoshi Fukuda, Natsuki Terada
Publikováno v: Quarterly Report of RTRI. 43:169-174
To better analyze the reliability of software used in automated train operations, formal methods need to be developed and applied by which specifications for the software can be described in a way that makes it possible to use automatic proofs to ver
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8fcefe6a6f228de4dc9adb2b2864855e
https://doi.org/10.2219/rtriqr.43.169
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje