EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ

• Item type: SIG Technical Reports(1)
• 公開日: 2004-03-02
• タイトル: EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
• タイトル / 言語: en
• タイトル: Railway Interlocking Safety Verification and its Simulator Based on EVALPSN
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 姫路工業大学
• 著者所属: 静岡大学
• 著者所属: 静岡大学
• 著者所属(英): en
• 著者所属(英): School of H.E.P.T. Himeji Inst. Of Tech
• 著者所属(英): en
• 著者所属(英): School of Information Shizuoka Univ.
• 著者所属(英): en
• 著者所属(英): School of Information Shizuoka Univ.
• 著者名: 中松, 和己; 木内, 洋介; 鈴木, 淳之
• 著者名(英): Kazumi, Nakamatsu; Yosuke, Kiuchi; Atsuyuki, Suzuki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 鉄道運動装置の故障は深刻な問題となるので、できるだけ早く復旧させる必要がある。そのため故障をできるだけ早く検知するためにEVALPSN(拡張ベクトル心理値付き論理プログラム)と呼ばれるパラコンシステント論理プログラムを使い、鉄道連動装置の安全性検証を行い、列車の安全性を保証させる方法を紹介する。また、この方法を拡張し、乱れた列車のダイヤグラムを早急に直すために、時相区間論理を加えたEVALPSNに基づく鉄道ダイヤの復旧支援システムの提案を計画している。このシステムは、鉄道連動装置安全性検証システムとダイヤグラムをシミュレーションするシステムからなる。本論文では、EVALPSNに基づいた鉄道連動装置の安全性検証システムと、それに信号制御を加えたシミュレーションシステムのプロトタイプを紹介する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Railway operation disorder is a serious problem and expected to be recovered as soon as possible. we introduce an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) based rail way interlocking safety verification. We are planning to provide a railway diagram recovery system based EVALPSN with interval temporal reasoning. The system consists of a railway interlocking safety verification system and a railway diagram simulation system. In this paper, we introduce the ideas of the railway interlocking safety verification system based on EVALPSN and its prototype simulation system with signal control.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11515904
• 書誌情報: 情報処理学会研究報告高度交通システム（ITS）; 巻 2004, 号 19(2003-ITS-016), p. 77-84, 発行日 2004-03-02
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会