XMLによるブール代数論理の検証と踏切制御への適用

カテゴリ: 研究会(論文単位)

論文No: TER05013

グループ名: 【D】産業応用部門　交通・電気鉄道研究会

発行日: 2005/02/07

タイトル(英語): Validation of Boolean Algebra Logic by XML and Its Application to Level Crossing System

著者名: 野木 達彌(日本大学),望月 寛(日本大学),高橋 聖(日本大学),中村 英夫(日本大学),島添敏之 (京三製作所),畑 好之(京三製作所)

著者名(英語): Tatsuya Nogi(Nihon University),Hiroshi Mochizuki(Nihon University),Sei Takahashi(Nihon University),Hideo Nakamura(Nihon University),Toshiyuki Shimazoe(Kyosan Electric Mfg Co,Ltd.),Yoshiyuki Hata(Kyosan Electric Mfg Co,Ltd.)

キーワード: プログラム検証|鉄道信号|制御論理|XMLスキーマ

原稿種別: 日本語

PDFファイルサイズ: 871 Kバイト