Results 81 to 90 of about 5,000 (262)
Formalization of Matrix Theory in HOL4
Matrix theory plays an important role in modeling linear systems in engineering and science. To model and analyze the intricate behavior of complex systems, it is imperative to formalize matrix theory in a metalogic setting.
Zhiping Shi +6 more
doaj +1 more source
Lucas polynomials semi-analytic solution for fractional multi-term initial value problems
Herein, we use the generalized Lucas polynomials to find an approximate numerical solution for fractional initial value problems (FIVPs). The method depends on the operational matrices for fractional differentiation and integration of generalized Lucas ...
Mahmoud M. Mokhtar, Amany S. Mohamed
doaj +1 more source
ABSTRACT Global imperatives, such as climate change, environmental concerns, and carbon emissions, make green transformation an inevitability in the logistics sector. Green logistics strategy formulation is an economic choice problem, but it also turns out to be a multicriteria decision‐making (MCDM) process that encompasses the triple bottom line (TBL)
Ömer Faruk Görçün +2 more
wiley +1 more source
Abstract We propose a hierarchical energy management scheme for aggregating Distributed Energy Resources (DERs) for grid flexibility services. To prevent a direct participation of numerous prosumers in the wholesale electricity market, aggregators, as self‐interest agents in our scheme, incentivize prosumers to provide flexibility. We firstly model the
Xiupeng Chen +3 more
wiley +1 more source
Event-Triggered Control for the Stabilization of Probabilistic Boolean Control Networks
This paper realizes global stabilization for probabilistic Boolean control networks (PBCNs) with event-triggered state feedback control (ETSFC). Via the semitensor product (STP) of matrices, PBCNs with ETSFC are converted into discrete-time algebraic ...
Shiyong Zhu +4 more
doaj +1 more source
Application of High-Performance Techniques for Solving Linear Systems of Algebraic Equations
Solving many problems in mechanics, engineering, medicine and other (e.g., diffusion tensor magnetic resonance imaging or finite element modeling) requires the efficient solving of algebraic equations. In many cases, such systems are very complex with a
Daniel Grzonka
doaj +1 more source
Review of CFD modelling techniques for single‐phase and multiphase flow in static mixers
This review synthesizes computational fluid dynamics (CFD) approaches for static mixers, linking hydrodynamics to pressure drop, particle/droplet distributions, mixing metrics, and heat‐transfer performance to guide modelling choices and design decisions. Abstract Static mixers enable compact and low‐energy intensification.
Jussan Jaeger +7 more
wiley +1 more source
Evolutionary dynamics on a regular networked structured and unstructured multi‐population
Abstract In this paper, we study collective decision‐making in a multi‐population framework, where groups of individuals represent whole populations that interact by means of a regular network. Each group consists of a number of players and every player can choose between two options.
Wouter Baar +2 more
wiley +1 more source
A linear two - point boundary value problem for a system of loaded differential equations with impulse effect is investigated. The parameterization method is used to solve the problem.
E.A. Bakirova +2 more
doaj +1 more source
The SIR Model in a Moving Population: Propagation of Infection and Herd Immunity
ABSTRACT In a collection of particles performing independent random walks on Zd$\mathbb {Z}^d$ we study the spread of an infection with SIR dynamics. Susceptible particles become infected when they meet an infected particle. Infected particles heal and are removed at rate ν$\nu$.
Duncan Dauvergne, Allan Sly
wiley +1 more source

