中文
相关论文

相关论文: Unfolding-based Partial Order Reduction

200 篇论文

The remarkable success of reinforcement learning (RL) heavily relies on observing the reward of every visited state-action pair. In many real world applications, however, an agent can observe only a score that represents the quality of the…

机器学习 · 计算机科学 2023-04-20 Tengyu Xu , Yue Wang , Shaofeng Zou , Yingbin Liang

In this work we propose tailored model order reduction for varying boundary optimal control problems governed by parametric partial differential equations. With varying boundary control, we mean that a specific parameter changes where the…

数值分析 · 数学 2024-01-22 Maria Strazzullo , Fabio Vicini

We propose in this paper an adaptive reduced order modelling technique based on domain partitioning for parametric problems of fracture. We show that coupling domain decomposition and projection-based model order reduction permits to focus…

经典物理 · 物理学 2015-06-11 Pierre Kerfriden , Olivier Goury , Timon Rabczuk , Stephane Pierre-Alain Bordas

Unfolding is an important procedure in particle physics experiments which corrects for detector effects and provides differential cross section measurements that can be used for a number of downstream tasks, such as extracting fundamental…

高能物理 - 唯象学 · 物理学 2023-07-19 Jay Chan , Benjamin Nachman

A systematic approach to nonlinear model order reduction (NMOR) of coupled fluid-structureflight dynamics systems of arbitrary fidelity is presented. The technique employs a Taylor series expansion of the nonlinear residual around…

计算工程、金融与科学 · 计算机科学 2026-04-16 Nikolaos D. Tantaroudas , Ilias Karachalios

Event-driven multi-threaded programming is an important idiom for structuring concurrent computations. Stateless Model Checking (SMC) is an effective verification technique for multi-threaded programs, especially when coupled with Dynamic…

Reduced order modeling (ROM) provides an efficient framework to compute solutions of parametric problems. Basically, it exploits a set of precomputed high-fidelity solutions --- computed for properly chosen parameters, using a full-order…

数值分析 · 数学 2019-11-19 Nicola Demo , Marco Tezzele , Gianluigi Rozza

In this work, a new hybrid predictive Reduced Order Model (ROM) is proposed to solve reacting flow problems. This algorithm is based on a dimensionality reduction using Proper Orthogonal Decomposition (POD) combined with deep learning…

机器学习 · 计算机科学 2023-01-25 Adrián Corrochano , Rodolfo S. M. Freitas , Alessandro Parente , Soledad Le Clainche

Computationally cheap yet accurate dynamical models are a key requirement for real-time capable nonlinear optimization and model-based control. When given a computationally expensive high-order prediction model, a reduction to a lower-order…

系统与控制 · 电气工程与系统科学 2026-02-20 Jan C. Schulze , Alexander Mitsos

State estimation is key to both analyzing physical mechanisms and enabling real-time control of fluid flows. A common estimation approach is to relate sensor measurements to a reduced state governed by a reduced-order model (ROM). (When…

流体动力学 · 物理学 2020-06-10 Nirmal J. Nair , Andres Goza

Numerical simulations of complex multiphysics systems, such as char combustion considered herein, yield numerous state variables that inherently exhibit physical constraints. This paper presents a new approach to augment Operator Inference…

计算物理 · 物理学 2026-05-15 Hyeonghun Kim , Boris Kramer

We present a methodology that extends invariant manifold theory to a class of autonomous piecewise linear systems with nonsmoothness at the equilibrium, providing a framework for model order reduction in mechanical structures with compliant…

动力系统 · 数学 2026-01-16 A. Yassine Karoui , Remco I. Leine

State abstraction has been an essential tool for dramatically improving the sample efficiency of reinforcement-learning algorithms. Indeed, by exposing and accentuating various types of latent structure within the environment, different…

机器学习 · 计算机科学 2021-06-18 Dilip Arumugam , Benjamin Van Roy

In the development of operational semantics of concurrent systems, a key decision concerns the adoption of a suitable notion of execution model, which basically amounts to choosing a class of partial orders according to which events are…

形式语言与自动机理论 · 计算机科学 2024-07-19 Maciej Koutny , Lukasz Mikulski

Partial-order plans in AI planning facilitate execution flexibility and several other tasks, such as plan reuse, modification, and decomposition, due to their less constrained nature. A \acrfull*{pop} specifies partial-order over actions,…

人工智能 · 计算机科学 2026-04-01 Sabah Binte Noor , Fazlul Hasan Siddiqui

In many areas of engineering, nonlinear numerical analysis is playing an increasingly important role in supporting the design and monitoring of structures. Whilst increasing computer resources have made such formerly prohibitive analyses…

数值分析 · 数学 2020-07-02 Thomas Simpson , Nikolaos Dervilis , Eleni Chatzi

In this paper we utilize the Proper Orthogonal Decomposition (POD) method for model order reduction in application to Smoluchowski aggregation equations with source and sink terms. In particular, we show in practice that there exists a…

The emergence of collective dynamics in neural networks is a mechanism of the animal and human brain for information processing. In this paper, we develop a computational technique using distributed processing elements in a complex network,…

人工智能 · 计算机科学 2018-02-20 Filipe Alves Neto Verri , Paulo Roberto Urio , Liang Zhao

Deep unrolling, or unfolding, is an emerging learning-to-optimize method that unrolls a truncated iterative algorithm in the layers of a trainable neural network. However, the convergence guarantees and generalizability of the unrolled…

机器学习 · 计算机科学 2024-12-02 Samar Hadou , Navid NaderiAlizadeh , Alejandro Ribeiro

This contribution proposes novel data-driven surrogate modeling approaches for parameterized parabolic PDEs, where the parameter dependence can be split into two parts with different decay behavior of the Kolmogorov $N$-width. Such problems…

数值分析 · 数学 2026-04-27 Dawid Kotowski , Mario Ohlberger