EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3)(ITS情報処理・一般)
スポンサーリンク
概要
- 論文の詳細を見る
鉄道連動装置の故障は深刻な問題となるので、できるだけ速く復旧させる必要がある。そのため故障をできるだけ速く検知するためにEVALPSN(拡張ベクトル真理値付き論理プログラム)と呼ばれるパラコンシステント論理プログラムを使い、鉄道連動装置の安全性検証を行い、列車の安全性を保障させる方法を紹介する。また、この方法を拡張し、乱れた列車のダイヤグラムを早急に直すために、時相区間論理を加えたEVAPSNに基づく鉄道ダイヤの復旧支援システムの提案を計画している。このシステムは、鉄道連動装置安全性検証システムとダイヤグラムをシミュレーションするシステムからなる。本論文では、EVALPSNに基づいた鉄道連動装置の安全性検証システムと、それに信号制御を加えたシミュレーションシステムのプロトタイプを紹介する。
- 社団法人電子情報通信学会の論文
- 2004-02-24
著者
関連論文
- 姫路工業大学環境人間学部における情報リテラシー教育
- テキストからの数学知識の獲得
- エキスパートシステムの開発のための再利用可能メソッドライブラリの設計と実装 (「オントロジーの基礎と応用」)
- エキスパートシステム開発支援のための再利用可能部品ライブラリの構築
- エキスパートシステムの性能向上のための仕様変更方法 (テーマ:「スケジューリングとAI」および一般)
- 再利用可能なメソッドライブラリを利用したES開発支援環境
- エキスパ-トシステムのための仕様と実装の相互運用環境
- モーバイルコンピューティングシステムモデルの提案
- 定義階層構造に基づく問題解決階層の決定
- EVALPに基づく交通信号制御
- EVALPに基づく交通信号制御(セッション6,ITS情報処理・一般)
- EVALPに基づく交通信号制御(セッション6)(ITS情報処理・一般)
- 仮定にもとづく知識管理システムの関連論理による形式化
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3,ITS情報処理・一般)
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ(セッション3)(ITS情報処理・一般)
- EVALPに基づく交通信号制御
- EVALPSNに基づく鉄道連動装置安全性検証及びシミュレータ
- ディフィージブル義務論理のベクトル真理値付き論理プログラムへの変換
- Annotated Semantics for Nonmonotonic ATMS
- Paraconsistent Formalism for the Closed World Assumption
- Automatic Theorem Proving for Many-Sorted Free Description Theory with Equality
- 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)
- 内包の外延への還元可能性について (計算機構の数学的研究)