論文名 ペトリネットを用いた仕様検証と実稼働時の合理性検証 : 無線利用単線区間列車制御システムへの適用(平成12年度高木賞講評)

スポンサーリンク

概要

• 論文の詳細を見る
• 2001-07-25

著者

• 高橋 聖

  日本大学大学院

• 中村 英夫

  日本大学大学院

• 増田 直弘

  日本大学大学院理工学研究科

関連論文

• 7036 居住実態に基づく都心居住機能回復策に関する基礎的研究 : 東京都心3区の新規賃貸住宅を対象として
• 軌道回路を用いたスペクトラム拡散通信式多情報伝送システムの開発
• CDMA-QAM方式の鉄道信号システムへの適用に関する一検討
• レールを用いたスペクトル拡散通信式多情報伝送システムの開発
• A-3-7 FPGAによる鉄道信号システム用CDMA受信機の開発(A-3.VLSI設計技術,一般講演)
• 列車制御システム再構築における安全性検証の実践事例
• 40374 景観圏域に関する実証的研究 V : 環境認知にもとづく木場・深川地区における景観圏域の形成
• 錫ウィスカの解析手法
• A-18-2 ADS縦方向位置予測誤差分布のモデル(A-18.安全性,一般セッション)
• B-2-40 自動従属監視の縦方向位置予測誤差の推定方法 : 球面での解析(B-2.宇宙・航行エレクトロニクス,一般講演)
• 自動位置情報伝送・監視機能の縦方向位置予測誤差分布(測位・航法,及び一般)
• 遺伝的アルゴリズムを用いた列車運転時隔準最小化パターンに関する一考察
• 地域住民の環境認知にもとづく景観圏域について-江東区木場地域における認知領域と3D画像データの相関-
• 40377 景観圏域に関する実証的研究VI : 3D画像データを用いた画像相関について
• 40379 景観圏域に関する実証的研究 IV : 地域住民の環境認知にもとづく横浜の沿岸地域の景観圏域について その3(地域景観2)
• 40378 景観圏域に関する実証的研究 IV : 地域住民の環境認知にもとづく横浜の沿岸地域の景観圏域について その2(地域景観2)
• 40377 景観圏域に関する実証的研究 IV : 地域住民の環境認知にもとづく横浜の沿岸地域の景観圏域について その1(地域景観2)
• 単一系コンピュータの高安全化手法(第7回信頼性研究発表会)
• 2-3 ATS地上子の状態監視技術の改善(システムの信頼性, 保全性, 日本信頼性学会 第18回秋季信頼性シンポジウム報告)
• 2-3 ATS地上子の状態監視技術の改善(セッション2「システムの信頼性、保全性」)
• A-18-1 運航者別ADS縦方向予測誤差分布の裾部形状(A-18. 安全性)
• B-2-11 ADS 縦方向予測誤差分布のモデル
• 自動従属監視による横方向予測誤差に関する一検討(リモートセンシング及び一般)
• ATS地上子の状態監視技術の開発
• 4-3 フレキシブルな系再構成機能を持つシステムに関する一検討(理論・安全性・システム信頼性,セッション4,第13回春季信頼性シンポジウム)
• DoG画像を用いたひび検出手法におけるノイズ削除処理の改良(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
• DoG画像を用いたひび検出手法におけるノイズ削除処理の改良(五感メディアの品質,コミュニケーションデザイン,画像符号化,食メディア,一般)
• セルフチェッキング回路実用における問題の検討
• ディペンダブルな生産管理情報蓄積装置に関する一検討(安全性及び一般)
• 論文名 ペトリネットを用いた仕様検証と実稼働時の合理性検証 : 無線利用単線区間列車制御システムへの適用(平成12年度高木賞講評)
• ペトリネットを用いた仕様検証と実稼働時の合理性検証 : 無線利用単線区間列車制御システムへの適用
• システムの安全性評価とソフトウエア高信頼化への応用
• オブジェクト指向技術を用した分散化システムに関する検討
• ディペンダブルな生産管理情報蓄積装置の開発(安全性及び一般)
• A-18-1 SS 通信を用いたデジタル ATC システムにおける安全性向上策
• ディペンダブルな生産管理情報蓄積装置の開発
• 5-2 分散制御システムのための系再構成機能の適用と評価(セッション5「システムの信頼性,保全性,ライフサイクルおよびソフトウェア面(2)」)
• A-5-13 マルチチャネル処理可能なCDMA受信器の開発(A-5.ワイドバンドシステム,一般セッション)
• 2次元ネットワーク構造をもつ複合交通シミュレータの概要

もっと見る 閉じる

スポンサーリンク