論文の概要: veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection
System
- arxiv url: http://arxiv.org/abs/2212.03287v1
- Date: Tue, 6 Dec 2022 19:41:08 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-08 17:29:09.240542
- Title: veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection
System
- Title(参考訳): veriFIRE: 産業用学習型山火事検知システム検証
- Authors: Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
- Abstract要約: 我々は,実世界の安全クリティカルシステムの信頼性向上を目的とした,産業と学界のコラボレーションであるVeriFIREプロジェクトについて紹介する。
本稿では,システムとその特性について述べるとともに,システムの一貫性を検証する試みについて述べる。
我々は,本研究を,学術指向の検証ツールを実世界の興味あるシステムに組み込むための一歩とみなしている。
- 参考スコア(独自算出の注目度): 0.14680035572775532
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this short paper, we present our ongoing work on the veriFIRE project -- a
collaboration between industry and academia, aimed at using verification for
increasing the reliability of a real-world, safety-critical system. The system
we target is an airborne platform for wildfire detection, which incorporates
two deep neural networks. We describe the system and its properties of
interest, and discuss our attempts to verify the system's consistency, i.e.,
its ability to continue and correctly classify a given input, even if the
wildfire it describes increases in intensity. We regard this work as a step
towards the incorporation of academic-oriented verification tools into
real-world systems of interest.
- Abstract(参考訳): 本稿では,産業とアカデミアのコラボレーションであるverifireプロジェクトについて,実世界の安全クリティカルシステムの信頼性向上のための検証を目標とした,現在進行中の課題について述べる。
対象とするシステムは,2つのディープニューラルネットワークを組み込んだ,山火事検出のための空中プラットフォームである。
本稿では,システムとその興味特性について述べるとともに,ワイルドファイアが強度の増大を表現していても,システムの一貫性,すなわち,入力を継続し,正しく分類する能力を検証する試みについて述べる。
我々は,本研究を,学術指向の検証ツールを実世界の興味あるシステムに組み込むための一歩と考えている。
関連論文リスト
- Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study [4.2751988244805466]
本稿では,ネットワークトラヒックデータから状態マシンを抽出するために,オートマチック学習を用いる。
我々は,産業パートナーのRabbitRun Technologiesが開発した商用ネットワーク侵入検知システムに適用する。
我々の手法は、学習された状態マシンの状態数と遷移を平均67.5%削減する。
論文 参考訳(メタデータ) (2024-05-18T02:10:41Z) - A comprehensive survey of research towards AI-enabled unmanned aerial
systems in pre-, active-, and post-wildfire management [6.043705525669726]
森林火災は世界でも最も破壊的な自然災害の1つであり、人命と森林の野生生物に壊滅的な被害をもたらしている。
近年、無人航空機(UAV)とディープラーニングモデルの統合によって推進される山火事における人工知能(AI)の使用は、より効果的な山火事管理を実装し、開発するための前例のない勢いを生み出している。
論文 参考訳(メタデータ) (2024-01-04T05:09:35Z) - Image-Based Fire Detection in Industrial Environments with YOLOv4 [53.180678723280145]
この研究は、AIが火災を検出し、認識し、画像ストリーム上のオブジェクト検出を使用して検出時間を短縮する可能性を検討する。
そこで我々は, YOLOv4オブジェクト検出器をベースとした複数のモデルのトレーニングと評価に使用されてきた複数の公開情報源から, 適切なデータを収集, ラベル付けした。
論文 参考訳(メタデータ) (2022-12-09T11:32:36Z) - Distinctive Self-Similar Object Detection [0.8488455943441636]
火と煙の自己相似性の特徴的なフラクタル特性は, 様々な形状に苦しむのを緩和できる可能性が示唆された。
ケース間の類似性を記述するためにハウスドルフ距離を用いた半教師付き手法を設計する。
本実験は, 一般公開された火災・煙検知データセットを用いて実施した。
論文 参考訳(メタデータ) (2022-11-20T15:15:57Z) - GowFed -- A novel Federated Network Intrusion Detection System [0.15469452301122172]
本研究は,Gower Dissimilarity行列とFederated Averagingを併用したネットワーク脅威検出システムであるGowFedを紹介する。
GowFedのアプローチは,(1)バニラバージョン,(2)アテンション機構を備えたバージョンなど,最先端の知識に基づいて開発されている。
全体として、GowFedは、産業レベルのネットワークにおけるネットワーク脅威を検出するためのフェデレートラーニングとガウワーの相違行列の併用に向けた最初の一歩となる。
論文 参考訳(メタデータ) (2022-10-28T23:53:37Z) - Federated Stochastic Gradient Descent Begets Self-Induced Momentum [151.4322255230084]
Federated Learning(FL)は、モバイルエッジシステムに適用可能な、新興の機械学習手法である。
このような条件下での勾配降下(SGD)への走行は,大域的な集約プロセスに運動量的な項を加えるとみなすことができる。
論文 参考訳(メタデータ) (2022-02-17T02:01:37Z) - Triggering Failures: Out-Of-Distribution detection by learning from
local adversarial attacks in Semantic Segmentation [76.2621758731288]
セグメンテーションにおけるアウト・オブ・ディストリビューション(OOD)オブジェクトの検出に取り組む。
私たちの主な貢献は、ObsNetと呼ばれる新しいOOD検出アーキテクチャであり、ローカル・アタック(LAA)に基づく専用トレーニングスキームと関連付けられています。
3つの異なるデータセットの文献の最近の10つの手法と比較して,速度と精度の両面で最高の性能が得られることを示す。
論文 参考訳(メタデータ) (2021-08-03T17:09:56Z) - Machine Learning Based Early Fire Detection System using a Low-Cost
Drone [0.5161531917413706]
本稿では,森林火災の早期検出を低コストかつ高精度に行う機械学習システムを提案する。
システム内のマイクロコントローラは、ディープラーニングメソッドによるトレーニングによってプログラムされている。
無人航空機は、火災検知の最も初期の兆候である煙を認識する能力が与えられた。
論文 参考訳(メタデータ) (2021-01-21T16:18:42Z) - No Need to Know Physics: Resilience of Process-based Model-free Anomaly
Detection for Industrial Control Systems [95.54151664013011]
本稿では,システムの物理的特性に反する逆スプーフ信号を生成するための新しい枠組みを提案する。
トップセキュリティカンファレンスで公表された4つの異常検知器を分析した。
論文 参考訳(メタデータ) (2020-12-07T11:02:44Z) - Dynamic Community Detection into Analyzing of Wildfires Events [55.72431452586636]
本研究では,山火事の動態について,動的コミュニティ構造が明らかにする情報について検討する。
アマゾン盆地の火災イベントのMODISデータセットを用いた実験を行った。
以上の結果から,年間を通じて観測される山火事のパターンを明らかにすることが可能であることが示唆された。
論文 参考訳(メタデータ) (2020-11-02T17:31:47Z) - Survey of Network Intrusion Detection Methods from the Perspective of
the Knowledge Discovery in Databases Process [63.75363908696257]
本稿では,侵入検知器の開発を目的として,ネットワークデータに適用された手法について概説する。
本稿では,データのキャプチャ,準備,変換,データマイニング,評価などの手法について論じる。
この文献レビューの結果、ネットワークセキュリティ分野のさらなる研究のために考慮すべきいくつかのオープンな問題について検討する。
論文 参考訳(メタデータ) (2020-01-27T11:21:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。