Results 51 to 60 of about 2,824 (289)

Accelerating High‐Fidelity Airfoil Design via Physics‐Informed Video Diffusion Model

Advanced Science, EarlyView.
Physics‐informed video diffusion enables rapid inverse aerodynamic design by mapping target lift‐to‐drag response to airfoil geometries and full‐field flow distributions. Trained on 53 400 DNS samples, the model achieves over 90% fidelity with ∼30 s inference, while experimentally realized propeller designs demonstrate a practical pathway from ...
Yifeng Ai, Yijia Guo, Hongfu Zhang, Lei Zhou, Tiejun Huang, Weiqiu Chen, Xuhui He, Peng Guo, C. W. Lim, Lei Ma   +9 more
wiley   +1 more source

Nonlinear Waveforms for Ion-Acoustic Waves in Weakly Relativistic Plasma of Warm Ion-Fluid and Isothermal Electrons

Advances in Mathematical Physics, 2012
The reductive perturbation method has been employed to derive the Korteweg-de Vries (KdV) equation for small- but finite-amplitude electrostatic ion-acoustic waves in weakly relativistic plasma consisting of warm ions and isothermal electrons.
S. A. El-Wakil, Essam M. Abulwafa, E. K. El-Shewy, H. G. Abdelwahed, Hamdi M. Abd-El-Hamid   +4 more
doaj   +1 more source

Object oriented institutions to specify symbolic computation systems [PDF]

, 2007
The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras.
Julio Rubio, Domínguez, C. [0000-0002-2081-7523], Rubio, J. [0000-0002-4282-3692], Lambán, Laureano, Lambán, L. [0000-0003-2383-2689], César Domínguez, Rubio, Julio, Domínguez, César, Laureano Lambán, Domínguez, C., Rubio, J., Lambán, L.   +11 more
core   +1 more source

Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors

Advanced Electronic Materials, EarlyView.
Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko, Alon Ascoli, Fernando Corinto, Yuriy V. Pershin   +3 more
wiley   +1 more source

A Computational Approach to the Perimeter-Area Inequality in a Triangle

Axioms
This paper explores the application of automated reasoning tools, specifically those implemented in GeoGebra Discovery, to the perimeter-area inequality in triangles.
Tomás Recio, Carlos Ueno, María Pilar Vélez   +2 more
doaj   +1 more source

Nonlinear Dynamics and Invariants of Motion in ReRAM Cells

Advanced Electronic Materials, EarlyView.
A second‐order cell, hosting one capacitor and two back‐to‐back ReRAMs, admits Invariants of Motion: its states lie on one‐dimensional manifolds at all times. The cell shows quiescent monostability or bistability, depending on the manifold index. At equilibrium, the capacitor voltage vanishes.
Mauro Di Marco, Mauro Forti, Luca Pancioni, Giacomo Innocenti, Alberto Tesi, Alon Ascoli   +5 more
wiley   +1 more source

Computer Aided Symbolic Linear Algebra [PDF]

, 2003
The aim of this communication is to present a Symbolic Linear Algebra package, written in MAPLE V.5 and working also in the release 7, with general but especially educational purpose. Its goal is to run over MAPLE the different Linear Algebra algorithms developped in [OJ].
openaire   +2 more sources

Predictable and Scalable Analog Matrix–Vector Multiplication in Memristor Crossbars via Closed‐Form Wire‐Resistance Compensation

Advanced Electronic Materials, EarlyView.
Wire resistance and sneak paths severely compromise the performance of large memristor crossbars. A predictive closed‐form distributed line‐resistance model, combined with a fourmatrix geometry‐averaging algorithm, eliminates these parasitic limitations.
Davide Rossetti, Yichun Xu, Ludovica Asselta, J. Joshua Yang, R. Stanley Williams, Fernando Corinto   +5 more
wiley   +1 more source

Automatic Synthesis of Linear Program Ranking Functions

工程科学与技术, 2009
:Due to determining the classical ranking functions of program verification, a new approach was proposed based on the theory of semi-algebraic systems.
Li Jun, LI Yl, Feng Yong, Qin Xiao-lin
doaj  

A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws

Advanced Intelligent Discovery, EarlyView.
The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows, G. Zhang, S. Anand, Z. Chen, J. Lin, A. Desai, S. Martiniani, F. Caravelli   +7 more
wiley   +1 more source