中文
相关论文

相关论文: How to find all connections in the Pantelides algo…

200 篇论文

We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of the relationships between variables in a system of equations,…

数值分析 · 数学 2024-02-01 Luke Morris , Andrew Baas , Jesus Arias , Maia Gatlin , Evan Patterson , James P. Fairbanks

Automated analysis of complex systems based on multiple readouts remains a challenge. Change point detection algorithms are aimed to locating abrupt changes in the time series behaviour of a process. In this paper, we present a novel change…

机器学习 · 计算机科学 2023-10-05 Artem Ryzhikov , Mikhail Hushchyn , Denis Derkach

Differential algebraic equations (DAEs) describe the temporal evolution of systems that obey both differential and algebraic constraints. Of particular interest are systems that contain implicit relationships between their components, such…

机器学习 · 计算机科学 2025-07-23 James Koch , Madelyn Shapiro , Himanshu Sharma , Draguna Vrabie , Jan Drgona

Delay differential equations (DDEs) with large delays play a pivotal role in understanding stability and bifurcations in systems ranging from neural networks to laser dynamics. While prior work has extensively studied DDEs with discrete…

动力系统 · 数学 2025-09-09 Isam Al-Darabsah , Sue Ann Campbell , Bootan Rahman

The interpretation of numerical methods, such as finite difference methods for differential equations, as point estimators suggests that formal uncertainty quantification can also be performed in this context. Competing statistical…

其他统计学 · 统计学 2019-09-24 Junyang Wang , Jon Cockayne , Chris J. Oates

This paper presents a generalised symbolic algorithm for solving systems of linear algebraic equations with multi-diagonal coefficient matrices. The algorithm is given in a pseudocode. A theorem which gives the condition for correctness of…

符号计算 · 计算机科学 2026-05-22 Milena Veneva

Here we present a new approach to compute symmetries of rational second order ordinary differential equations (rational 2ODEs). This method can compute Lie symmetries (point symmetries, dynamical symmetries and non-local symmetries)…

经典分析与常微分方程 · 数学 2023-11-14 L. G. S. Duarte , L. A. C. P. da Mota , A. F. Rocha

This paper is the first of a series in which we develop exact and approximate algorithms for mappings of systems of differential equations. Here we introduce the MapDE algorithm and its implementation in Maple, for mappings relating…

偏微分方程分析 · 数学 2019-03-07 Zahra. Mohammadi , Gregory J. Reid , S. -L. Tracy Huang

A distributed algorithm is described for solving a linear algebraic equation of the form $Ax=b$ assuming the equation has at least one solution. The equation is simultaneously solved by $m$ agents assuming each agent knows only a subset of…

系统与控制 · 计算机科学 2015-03-04 Shaoshuai Mou , Ji Liu , A. Stephen Morse

Delayed neural field models can be viewed as a dynamical system in an appropriate functional analytic setting. On two dimensional rectangular space domains, and for a special class of connectivity and delay functions, we describe the…

动力系统 · 数学 2022-07-01 L. Spek , M. Polner , K. Dijkstra , S. A. van Gils

There exist excellent codes for an efficient numerical treatment of stiff and differential-algebraic problems. Let us mention {\sc Radau5} which is based on the $3$-stage Radau IIA collocation method, and its extension to problems with…

数值分析 · 数学 2024-01-23 Nicola Guglielmi , Ernst Hairer

Tomography is important for network design and routing optimization. Prior approaches require either precise time synchronization or complex cooperation. Furthermore, active tomography consumes explicit probeing resulting in limited…

网络与互联网体系结构 · 计算机科学 2013-07-22 Peng Qin , Bin Dai , Kui Wu , Benxiong Huang , Guan Xu

An efficient algorithm is developed that identifies all independencies implied by the topology of a Bayesian network. Its correctness and maximality stems from the soundness and completeness of d-separation with respect to probability…

人工智能 · 计算机科学 2013-04-08 Dan Geiger , Tom S. Verma , Judea Pearl

Complex, multi-objective missions require the coordination of heterogeneous robots at multiple inter-connected levels, such as coalition formation, scheduling, and motion planning. This challenge is exacerbated by dynamic changes, such as…

机器人学 · 计算机科学 2022-12-06 Glen Neville , Sonia Chernova , Harish Ravichandar

In this work, we present a result on the local existence and uniqueness of solutions to nonlinear Partial Differential-Algebraic Equations (PDAEs). By applying established theoretical results, we identify the conditions that guarantee the…

偏微分方程分析 · 数学 2025-02-11 Seyyid Ali Benabdallah

A state-of-the-art deep domain decomposition method (D3M) based on the variational principle is proposed for partial differential equations (PDEs). The solution of PDEs can be formulated as the solution of a constrained optimization…

机器学习 · 计算机科学 2020-04-03 Ke Li , Kejun Tang , Tianfan Wu , Qifeng Liao

We propose a new deep learning algorithm for solving high-dimensional parabolic integro-differential equations (PIDEs) and forward-backward stochastic differential equations with jumps (FBSDEJs). This novel algorithm can be viewed as an…

数值分析 · 数学 2025-10-28 Wansheng Wang , Jiangtao Pan , Jie Wang , Zaijun Ye

The measured spatiotemporal response of various physical processes is utilized to infer the governing partial differential equations (PDEs). We propose SimultaNeous Basis Function Approximation and Parameter Estimation (SNAPE), a technique…

机器学习 · 计算机科学 2021-09-17 Sutanu Bhowmick , Satish Nagarajaiah

Solving systems of ordinary differential equations (ODEs) is essential when it comes to understanding the behavior of dynamical systems. Yet, automated solving remains challenging, in particular for nonlinear systems. Computer algebra…

机器学习 · 计算机科学 2025-06-25 Paul Kahlmeyer , Niklas Merk , Joachim Giesen

Connectivity query processing is a fundamental problem in graph processing. Given an undirected graph and two query vertices, the problem aims to identify whether they are connected via a path. Given frequent edge updates in real graph…

数据库 · 计算机科学 2026-01-27 Lantian Xu , Junhua Zhang , Dong Wen , Lu Qin , Ying Zhang , Xuemin Lin