Results 71 to 80 of about 751,600 (289)
Aerodynamic optimisation of Formula student vehicle using computational fluid dynamics
This work aims to improve the external aerodynamic characteristics of the 2017 University of Huddersfield Formula SAE vehicle. To improve dynamic performance in the SAE events, a multiple-element rear wing was developed, which incorporated adjustable ...
doaj +2 more sources
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
This paper presents a fully automated procedure for controller synthesis for multi-agent systems under the presence of uncertainties. We model the motion of each of the $N$ agents in the environment as a Markov Decision Process (MDP) and we assign to ...
Dimarogonas, Dimos V. +2 more
core +1 more source
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Current Tracking Adaptive Control of Brushless DC Motors
In this paper, the current tracking for Brushless Direct Current motors is approached considering uncertainty in the parameters of the motor's model. An adaptive control scheme to compensate electrical parameters uncertainty is proposed without requiring any knowledge of the mechanical parameters.
Fernanda Ramos‐García +3 more
wiley +1 more source
Exponential formula for computing effective viscosity [PDF]
Abstract An exponential model is proposed for evaluating the effective viscosity of a particle–fluid mixture. First, theoretical consideration is restricted to the dilute condition without effects of dynamic particle interactions and fluid turbulence. This leads to a power series expressed in terms of particle concentration, which can be viewed as an
Cheng, Nian-Sheng +1 more
openaire +2 more sources
Checking Interval Properties of Computations
Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the ...
Molinari, A. +4 more
core +1 more source
What Do Large Language Models Know About Materials?
If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
On the 2k-th power mean of the quadratic character sums of the polynomials
The main aim of this paper is using the already know results on the elliptic curve over a fixed prime field and the elementary methods to study the calculating problem of one kind 2k-th power mean of the quadratic character sums of the polynomials, and ...
Zhang Wenpeng, Wang Li
doaj +1 more source
Reliable leather defect detection is essential for industrial quality control, yet many deep learning solutions demand substantial computational resources and extensive training.
Luiz Fernando Ramos Lemos +4 more
doaj +1 more source
Black Holes and Complexity via Constructible Universe
The relation of randomness and classical algorithmic computational complexity is a vast and deep subject by itself. However, already, 1-randomness sequences call for quantum mechanics in their realization.
Jerzy Król, Paweł Klimasara
doaj +1 more source

