文献

J-GLOBAL ID：202202288483306252   整理番号：22A0652544

Ariadne:信頼できない部品を持つ空気モビリティシステムにおける証明可能な安全性を可能にする共通センススレッド【JST・京大機械翻訳】

Ariadne: A common-sense thread for enabling provable safety in air mobility systems with unreliable components

著者 (7件)： Feron Eric M. (King Abdullah University of Science and Technology Computer Electrical and Mathematical Science and Engineering Division) ,  Sanni Olatunde (Georgia Institute of Technology) ,  Mote Mark (Georgia Institute of Technology) ,  Delahaye Daniel (Ecole Nationale de l’Aviation Civile) ,  Khamvilai Thanakorn (Georgia Institute of Technology) ,  Gariel Maxime (Xwing) ,  Saber Safa I. (King Abdullah University of Science and Technology Computer Electrical and Mathematical Science and Engineering Division)
資料名： AIAA Conference Proceedings / Meeting Papers  (AIAA Conference Proceedings / Meeting Papers)
巻： 2022  号： AIAA SCITECH 2022 Forum  ページ： 0057  発行年： 2022年 
JST資料番号： H0236B  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 商用の航空旅行は,今日,人類に利用可能な最も安全な輸送様式である。それは,パイロット,キャビン乗員,機械,ディスパッチ,および航空交通制御装置を含む数千の専門家を配備することによって,航空機を運転し,彼らを運転し,危険な天候,他の交通およびシステム故障を何十年も管理しながら,それらの乗客を安全に運転する。航空輸送は,その開始以来,不便で連続的な進展と近代化を受けている。地球周辺の航空交通サービスプロバイダにより達成された生産性利得を加速するスレッドであるAriadneを導入した。Ariadneは,「Plan B」を常に維持する一般的な意味実践の工学版であり,また,どのような決定がパイロット,航空交通制御装置,ディスパッチ,および航空輸送システムの他の安全クリティカルアクターによってなされたとき,予期せぬ事象に対して,おそらく「計画C,D,E,およびF」を,予期せぬ事象に対して,おそらく「計画C,D,E,およびF」である。「Ariadne」の名称は,ミノタールを殺す後,Daealus Labyrinthを脱出するのを可能にする「Plan B」機構を想像する「Plan B」メカニズムを考案する, myicalの characterの daughterであるAriadneをホーニングするのに選んだ。「Plan B工学」としてのAriadneとその非公式定義は,未証明のコンポーネントによる証明可能な操作安全性だけでなく,本質的にスケールアップでき,また,自由飛行への移行と無人航空の順応を含む新しい航空交通シナリオに迅速に適応できるスレッドを含む,驚くべき機会と特性を提供する。また,それは既存の操作を支持し,従って現在の航空交通制御実践とは衝突しない。現代の計算能力と強力なAIアルゴリズムは,航空交通管理のより多くの側面に取り組むために,その実用化をますます実行可能にする。Ariadneはロボティックスや安全クリティカルサイバー物理システムのような他のコンテキストに容易に一般化できる。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *安全性 ,  航空輸送 ,  航空機 ,  交通制御 ,  航空交通管制 ,  地球 ,  旅行 ,  タール ,  ヒト ,  スケールアップ ,  乗務員 ,  利得 ,  乗客 ,  *スレッド

分類 (2件)： 航空交通管制・航法施設  (TE01030T) ,  航空輸送・サービス一般  (TE01010X)

タイトルに関連する用語 (5件)： 信頼 ,  モビリティ ,  証明 ,  安全性 ,  スレッド