A field-programmable gate array (FPGA)-based digital solver for real-time electromechanical transient simulation is designed in this paper. The solving process for a device or sub-network in an electromechanical transient simulation is packaged into...
The current state of science does not offer any remedy to stop a hurricane from occurring. Therefore, accurate storm surge models capable of predicting water velocity and elevation are indispensable. In this paper, the implementation of an implicit s...
Machine learning approaches have recently been applied to the study of various problems in physics. Most of these studies are focused on interpreting the data generated by conventional numerical methods or the data on an existing experimental databas...
We present and analyze a parallel solver for the solution of fluid structure interaction problems described by a fictitious domain approach. In particular, the fluid is modeled by the non-stationary incompressible Navier–Stokes equations, while...
We develop a hybrid classical–quantum method for solving the Lorenz system. We use the forward Euler method to discretize the system in time, transforming it into a system of equations. This set of equations is solved by using the Variational Q...
Inference of the interactive network structure of the physical world that is captured by nonlinear dynamic systems is a long-standing goal for machine learning. Existing inference methods have shown limited incorporation of physical system informatio...
Large sparse linear algebraic systems can be found in a variety of scientific and engineering fields and many scientists strive to solve them in an efficient and robust manner. In this paper, we propose an interpretable neural solver, the Fourier neu...
To estimate the state of health, charge, power, and safety (SoX) of lithium-ion batteries (LiBs) in real time, battery management systems (BMSs) need accurate and efficient battery models. The full-order partial two-dimensional (P2D) model is a commo...
Based on the lattice Boltzmann method (LBM), the lattice Boltzmann flux solver (LBFS), which combines the advantages of conventional Navier–Stokes solvers and lattice Boltzmann solvers, was proposed recently. Specifically, LBFS applies the finite vol...
Multi-revolution Lambert solvers are intended to find the elliptic transfer orbits that are traveled multiple times and connect two specified positions in prescribed time, under the assumption of considering natural (Keplerian) orbital motion in the...
For problems with very fine surface meshes, typically the most time-consuming step of a boundary element method (BEM, also called a panel method) is solving the final linear system of equations. Many have already studied how to efficiently solve the...
We consider the finite element approximation of the solution to elliptic partial differential equations such as the ones encountered in (quasi)-static mechanics, in transient mechanics with implicit time integration, or in thermal diffusion. We propo...
A safety instrument function (SIF) averts hazardous incidents that may arise due to diverse anomalies within a system. The SIF prevents potential dangers by comprising three integral components—the sensing element, the logic solver, and the fin...
In this study, we developed a new reacting flow solver based on OpenFOAM (OF) and Cantera, with the capabilities of (i) dealing with detailed species transport and chemistry, (ii) integration using a well-balanced splitting scheme, and (iii) two adva...
An approach based on the OpenFOAM library has been developed to solve a high-speed, multicomponent mixture of a reacting, compressible flow. This work presents comprehensive validation of the newly developed solver, called compressibleCentralReacting...
In this paper, the hybrid Lagrangian–Eulerian solver HoPFlow is presented and evaluated against wind tunnel measurements from the New MEXICO experiment. In the paper, the distinct solvers that assemble the HoPFlow solver are presented, alongsid...
We propose a coupled gas–particle two-phase model for particle transport in a compressible carrier gas with interphase momentum and energy exchange, and we incorporate a diffusion-based mechanism to represent gas–particle reactions. The g...
Analog optical computing (AOC) has attracted great attention over the past few years, because of its ultra-high speed (potential for real-time processing), ultra-low power consumption, and parallel processing capabilities. In this article, we design...
Developing high-quality and reliable solver code for the job shop scheduling problem (JSSP) remains a challenging and expertise-intensive task because generated code must stay executable, produce feasible schedules, and achieve strong scheduling resu...
A proper selection of materials, especially biomaterials, ensures a reliable and long-lasting working life of the component, i.e., implant. The selection of materials for the manufacture of dental implants represents a significant challenge when it c...
In this work, the explicit boundary-condition-enforced immersed boundary method (EIBM) and the lattice Boltzmann flux solver (LBFS) are integrated into OpenFOAM to efficiently solve incompressible flows with complex geometries and moving boundaries....
Geometric problem solving (GPS) has always been a long-standing challenge in the fields of automated reasoning. Its problem representation and solution process embody rich symmetry. This paper is the second in a series of our works. Based on the Geom...
In the research field of rotorcraft aerodynamics, there are two fundamental challenges: resolving the complex vortex structures in rotor wakes and representing the moving rotor blades in the ambient airflow. In this paper, we address the first challe...
Air cooling systems are currently the most popular and least expensive solutions to maintain a safe temperature in electronic devices. Heat sinks have been widely used in this area, allowing for an increase in the effective heat transfer surface area...
A semi–implicit numerical model with a linear solver is proposed for the free-surface and pressurized mixed flows in hydraulic systems. It solves the two flow regimes within a unified formulation, and is much simpler than existing similar model...
Although single exponential smoothing is a popular forecasting method for a wide range of applications involving stationary time series data, consistent rules about choosing the initial value and determining the value for the smoothing constant (&alp...
High-resolution global ocean general circulation models (OGCMs) play a key role in accurate ocean forecasting. However, the models of the operational forecasting systems are still not in high resolution due to the subsequent high demand for large com...
A safety instrumented system (SIS) is a complex unit composed of a set of hardware and software controls which are expressly used in critical process systems. A SIS should be specifically designed to obtain the failsafe state of the monitored plant o...
30 August 2023
A hybrid two-phase flow solver is proposed, based on an Euler–Euler two-fluid model with continuous blending of a Volume-of-Fluid method when phase interfaces of coherent gas pockets are to be resolved. In a preceding study on a two-dimensional...
In this work, an improved and scalable implementation of Cuppen’s algorithm for diagonalizing symmetric tridiagonal matrices is presented. This approach uses a hybrid-heterogeneous parallelization technique, taking advantage of GPU and CPU in a...
This paper introduces an innovative artificial neural networks-based analytical solver for fractional partial differential equations (fPDEs), combining neural networks (NNs) with symbolic computation. Leveraging the powerful function approximation ab...
Considering the rational use of field programmable gate array (FPGA) resources, this paper proposes a new FPGA-based real-time digital solver (FRTDS) for power system simulation. Based on the relationship between the number of computing components, t...
In the present study, mathematical modeling was performed to simulate natural convection of a nanofluid in a square enclosure using the thermal lattice Boltzmann flux solver (TLBFS). Firstly, natural convection in a square enclosure, filled with pure...
This research proposes a genetic algorithm that provides a solution to the problem of deficient distribution of drinking water via the current hydraulic network in the neighborhood “Fraccionamiento Real Montecasino” (FRM), in Huitzilac, M...
Advancing the modeling of evaporation and salt precipitation is essential in CO2 storage processes in aquifers. OpenFOAM provides a platform for computational fluid dynamics (CFD) modeling with its open-source C++ object-oriented architecture that ca...
This paper presents a simulation-based proof of concept for integrating an existing Variational Quantum Linear Solver (VQLS) with a Newton-type AC power flow procedure for smart grids with vehicle-to-grid (V2G) participation. The novelty of the work...
For a sodium-cooled fast reactor, the capability for stable cooling and avoiding re-criticality on the debris bed is essential for achieving in-vessel retention when severe accidents occur. However, an unexploited uncertainty still existed regarding...
In this article, we introduce a novel approach to numerical integration based on a modified composite diagonal (CD) method, which is a variation of the semi-implicit Euler–Cromer method. This approach enables the finite-difference scheme to mai...
This paper presents the parallelization of two widely used implicit numerical solvers for the solution of partial differential equations on structured meshes, namely, the ADI (Alternating-Direction Implicit) solver for tridiagonal linear systems and...
During a severe accident in a nuclear power plant, hydrogen can be generated, leading to risks of possible deflagration and containment integrity failure. To manage severe accidents, great experimental, analytical, and benchmarking efforts are being...
We implement the Direction-Splitting solver originally proposed by Keating and Minev in 2013 and allow complex geometries to be described by a triangulation defined in STL files. We develop an algorithm that computes intersections and distances betwe...
In this paper, we propose a novel attack on image encryption for privacy-preserving deep neural networks (DNNs). Although several encryption schemes have been proposed for privacy-preserving DNNs, existing cipher-text-only attacks (COAs) have succeed...
12 October 2022
Solver participation plays a critical role in the sustained development of knowledge-intensive crowdsourcing (KI-C) systems. Extant theory has highlighted numerous factors that influence solvers’ participation behaviors in KI-C. However, a stru...
This paper introduces an iterative method with a remarkable level of accuracy, namely fourth-order convergence. The method is specifically tailored to meet the optimality condition under the Kung–Traub conjecture by linear combination. This met...
Urban last-mile routes must adapt when demand and network conditions change after dispatch. This study proposes a solver-independent multi-agent proximal policy optimization (MAPPO) framework that combines a shared fleet policy, dynamically ranked ca...
This paper focuses on the channel state estimation (CSE) problem in parametrized Hierarchical MAC (H-MAC) stage in Wireless Physical Layer Network Coding (WPNC) networks with Hierarchical Decode and Forward (HDF) relay strategy. We derive a non-pilot...
15 April 2021
Solvers’ wide and continuous participation is imperative for the sustainable development of online crowdsourcing platforms (OCPs). Prior studies have deeply investigated what and how solvers’ motives and demographics, task attributes, requester attri...
In particular, the problem of approximating a solution of an equation is of extreme importance in many disciplines, since numerous problems from diverse disciplines reduce to solving such equations. The solutions are found using iterative schemes sin...
It has been proven that extended resolution (ER) has more powerful reasoning than general resolution for the pigeonhole principle in Cook’s paper. This fact indicates the possibility that a solver based on extended resolution can exceed Boolean...
At the heart of many computations in science and engineering lies the need to efficiently and accurately solve large sparse linear systems of equations. Direct methods are frequently the method of choice because of their robustness, accuracy and pote...
of 76