論文の概要: Correctness Verification of Neural Networks Approximating Differential
Equations
- arxiv url: http://arxiv.org/abs/2402.07621v1
- Date: Mon, 12 Feb 2024 12:55:35 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-13 14:16:20.544006
- Title: Correctness Verification of Neural Networks Approximating Differential
Equations
- Title(参考訳): 微分方程式近似ニューラルネットワークの正確性検証
- Authors: Petros Ellinas, Rahul Nellikath, Ignasi Ventura, Jochen Stiasny,
Spyros Chatzivasileiadis
- Abstract要約: ニューラルネットワーク(NN)は部分微分方程式(PDE)の解を近似する
NNはシミュレーションソフトウェアツールの不可欠な部分となり、複雑な動的システムのシミュレーションを100回以上加速することができる。
この研究は、NN微分を有限差分近似として定義することにより、これらの関数の検証に対処する。
初めて、出力領域の事前知識のないNN関数のバウンダリング問題に取り組む。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Verification of Neural Networks (NNs) that approximate the solution of
Partial Differential Equations (PDEs) is a major milestone towards enhancing
their trustworthiness and accelerating their deployment, especially for
safety-critical systems. If successful, such NNs can become integral parts of
simulation software tools which can accelerate the simulation of complex
dynamic systems more than 100 times. However, the verification of these
functions poses major challenges; it is not straightforward how to efficiently
bound them or how to represent the derivative of the NN. This work addresses
both these problems. First, we define the NN derivative as a finite difference
approximation. Then, we formulate the PDE residual bounding problem alongside
the Initial Value Problem's error propagation. Finally, for the first time, we
tackle the problem of bounding an NN function without a priori knowledge of the
output domain. For this, we build a parallel branching algorithm that combines
the incomplete CROWN solver and Gradient Attack for termination and domain
rejection conditions. We demonstrate the strengths and weaknesses of the
proposed framework, and we suggest further work to enhance its efficiency.
- Abstract(参考訳): 部分微分方程式(PDE)の解を近似するニューラルネットワーク(NN)の検証は、信頼性を高め、特に安全クリティカルなシステムにおいてデプロイメントを加速するための大きなマイルストーンである。
もし成功すれば、そのようなnnは複雑な動的システムのシミュレーションを100回以上加速するシミュレーションソフトウェアツールの不可欠な部分となる。
しかし、これらの関数の検証には大きな課題があり、効率的に結合する方法やNNの微分を表現する方法が簡単ではない。
この仕事はどちらの問題にも対処する。
まず、NN微分を有限差分近似として定義する。
次に,PDE残差境界問題を初期値問題の誤差伝播とともに定式化する。
最後に、まず、出力領域の事前知識を使わずにnn関数にバウンドする問題に取り組む。
そこで我々は,不完全なCROWNソルバと,終了条件とドメイン拒否条件のグラディエントアタックを組み合わせた並列分岐アルゴリズムを構築した。
我々は,提案フレームワークの強みと弱みを実証し,その効率を高めるためのさらなる取り組みを提案する。
関連論文リスト
- A Stable and Scalable Method for Solving Initial Value PDEs with Neural
Networks [52.5899851000193]
我々は,ネットワークの条件が悪くなるのを防止し,パラメータ数で時間線形に動作するODEベースのIPPソルバを開発した。
このアプローチに基づく現在の手法は2つの重要な問題に悩まされていることを示す。
まず、ODEに従うと、問題の条件付けにおいて制御不能な成長が生じ、最終的に許容できないほど大きな数値誤差が生じる。
論文 参考訳(メタデータ) (2023-04-28T17:28:18Z) - Mixed formulation of physics-informed neural networks for
thermo-mechanically coupled systems and heterogeneous domains [0.0]
物理インフォームドニューラルネットワーク(PINN)は境界値問題を解決するための新しいツールである。
近年の研究では、多くの工学的問題に対して損失関数を設計する際には、一階微分を使い、強い形式と弱い形式の方程式を組み合わせることにより、はるかに精度が向上することが示されている。
本研究では,多物理問題,特に定常熱力学的に結合した方程式系を解くために混合定式化を適用することを提案する。
論文 参考訳(メタデータ) (2023-02-09T21:56:59Z) - Reduced-PINN: An Integration-Based Physics-Informed Neural Networks for
Stiff ODEs [0.0]
物理インフォームドニューラルネットワーク(PINN)は、最近、前方および逆問題の両方を解決する能力により、多くの注目を集めている。
そこで我々は, PINN の高次積分法を用いて, 硬質化学動力学を解ける新しい PINN アーキテクチャ, Reduced-PINN を提案する。
論文 参考訳(メタデータ) (2022-08-23T09:20:42Z) - Neural Basis Functions for Accelerating Solutions to High Mach Euler
Equations [63.8376359764052]
ニューラルネットワークを用いた偏微分方程式(PDE)の解法を提案する。
ニューラルネットワークの集合を縮小順序 Proper Orthogonal Decomposition (POD) に回帰する。
これらのネットワークは、所定のPDEのパラメータを取り込み、PDEに還元順序近似を計算する分岐ネットワークと組み合わせて使用される。
論文 参考訳(メタデータ) (2022-08-02T18:27:13Z) - LordNet: Learning to Solve Parametric Partial Differential Equations
without Simulated Data [63.55861160124684]
本稿では,離散化されたPDEによって構築された平均2乗残差(MSR)損失から,ニューラルネットワークが直接物理を学習する一般データ自由パラダイムを提案する。
具体的には,低ランク分解ネットワーク(LordNet)を提案する。
Poisson方程式とNavier-Stokes方程式を解く実験は、MSR損失による物理的制約がニューラルネットワークの精度と能力を向上させることを実証している。
論文 参考訳(メタデータ) (2022-06-19T14:41:08Z) - Learning to Solve PDE-constrained Inverse Problems with Graph Networks [51.89325993156204]
科学と工学にまたがる多くの応用分野において、偏微分方程式(PDE)によって定義される制約で逆問題を解決することに興味がある。
ここでは、これらのPDE制約された逆問題を解決するために、GNNを探索する。
GNNを用いて計算速度を最大90倍に向上させる。
論文 参考訳(メタデータ) (2022-06-01T18:48:01Z) - Message Passing Neural PDE Solvers [60.77761603258397]
我々は、バックプロップ最適化されたニューラル関数近似器で、グラフのアリーデザインのコンポーネントを置き換えるニューラルメッセージパッシング解決器を構築した。
本稿では, 有限差分, 有限体積, WENOスキームなどの古典的手法を表現的に含んでいることを示す。
本研究では, 異なる領域のトポロジ, 方程式パラメータ, 離散化などにおける高速, 安定, 高精度な性能を, 1次元, 2次元で検証する。
論文 参考訳(メタデータ) (2022-02-07T17:47:46Z) - Contracting Neural-Newton Solver [0.0]
我々は、CoNNS(Contracting Neural-Newton Solver)と呼ばれる繰り返しNNシミュレーションツールを開発した。
本稿では、暗黙のルンゲ・クッタ積分器の中心にあるニュートン解法を、この固定点を求める反復写像としてモデル化する。
NNを通した連続したパスが、一意の定点に収束することが保証されていることを証明します。
論文 参考訳(メタデータ) (2021-06-04T15:14:12Z) - dNNsolve: an efficient NN-based PDE solver [62.997667081978825]
ODE/PDEを解決するためにデュアルニューラルネットワークを利用するdNNsolveを紹介します。
我々は,dNNsolveが1,2,3次元の幅広いODE/PDEを解くことができることを示す。
論文 参考訳(メタデータ) (2021-03-15T19:14:41Z) - PFNN: A Penalty-Free Neural Network Method for Solving a Class of
Second-Order Boundary-Value Problems on Complex Geometries [4.620110353542715]
本稿では,2次境界値問題のクラスを解くために,ペナルティのないニューラルネットワーク手法であるPFNNを提案する。
PFNNは、精度、柔軟性、堅牢性の点で、既存のいくつかのアプローチよりも優れている。
論文 参考訳(メタデータ) (2020-04-14T13:36:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。