IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 8 of 8  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SSS 2018-06-20
Tokyo   Development of Train Control System for Secondary Lines
Natsuki Terada, Yuto Ono, Hideki Arai, Kazuki Nakamura (RTRI), Satoru Kishimoto, Muneyuki Harada, Masako Hisanaga (JR Kyushu), Kazuhiro Tanaka, Osamu Watanabe (Nippon Signal) SSS2018-8
We developed a new train control system for secondary line, based on position recognition function of ATS(Automatic Trai... [more] SSS2018-8
SSS 2017-06-20
Tokyo   A study of train control system for local railways
Yoichi Sugiyama, Natsuki Terada, Kazuki Nakamura (R.T.R.I.), Satoru Kishimoto, Muneyuki Harada, Masako Hisanaga (JR Kyushu), Kazutoshi Sato, Keisuke Yoshinari (Nippon Signal) SSS2017-10
It is necessary to suppress the cost by making the train control system simple at the local railway lines of a little tr... [more] SSS2017-10
EMD 2014-10-17
Tokyo   Influence of Current Waveforms on Electrical Contact Resistance between Rail and Wheel
Takashi Toyama, Natsuki Terada, Takeshi Shibi, Junichi Niwa, Yu Miyashita (RTRI) EMD2014-60
The Track circuit is railway signalling equipment used to detect the presence of a train, which is based on the electric... [more] EMD2014-60
DC 2012-12-14
Fukui Aossa (Fukui) Verification of Automatic Block System for Single Line Using SMT Solver
Natsuki Terada (RTRI) DC2012-79
Formal methods are expected to increase reliability of software, including that of signaling systems. We modeled the sp... [more] DC2012-79
EMD, R 2012-02-17
Kyoto   A Study of Electric Resistances between Rail and Wheel
Mitsuyoshi Fukuda, Takumi Ban, Eiichi Maebashi, Natsuki Terada, Hiroyuki Fujita, Takashi Toyama, Kosuke Owada, Yoshitaka Hatada (RTRI) R2011-47 EMD2011-121
When rails become rusty, the shunt resistance becomes higher to make it difficult for the track circuit to detect a trai... [more] R2011-47 EMD2011-121
DC 2010-12-10
Tottori International Family Plaza (Yonago) Verification of Automatic Block System for Single Line by Model Checking
Natsuki Terada (RTRI) DC2010-57
 [more] DC2010-57
DC 2009-12-11
Shimane   Verification of Automatic Block System for Single Line by B-method
Natsuki Terada (Railway Technical Research Inst.) DC2009-61
 [more] DC2009-61
R 2008-10-17
Fukuoka Kyusyu Institute of Technology Application of Formal Methods to Signalling System based on Stepwise Refinement
Natsuki Terada (RTRI) R2008-32
It is expected that formal methods enhance reliability of software.
When the target system is large and complicated, st... [more]
 Results 1 - 8 of 8  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

[Return to Top Page]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan