Results 41 to 50 of about 83,900 (102)

Nonlinear Control of Inertial Response for HVDC‐Connected Offshore Wind Farms

IET Renewable Power Generation, Volume 19, Issue 1, January/December 2025.
This article proposes a nonlinear control strategy specifically designed to enable robust inertial support under the grid frequency events. A detailed nonlinear model is developed for the entire system, including the wind turbine, DFIG converters, HVDC transmission system, and grid interface.
Mahdi Jafari Harandi, Mohammad Tavakoli Bina, Masoud Aliakbar Golkar   +2 more
wiley   +1 more source

Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi [PDF]

, 2017
In this paper we give an arithmetical proof of the strong normalization of lambda-Sym-Prop of Berardi and Barbanera [1], which can be considered as a formulae-as-types translation of classical propositional logic in natural deduction style.
Battyanyi, Peter, Nour, Karim
core   +3 more sources

Stabilization of Chaotic Systems using Hardware‐in‐the‐Loop Validation for Sliding Mode Control and Input State Linearization

The Journal of Engineering, Volume 2025, Issue 1, January/December 2025.
This study explores the stabilization of chaotic systems by comparing sliding mode control and input state linearization applied to the Lorenz system. Both methods achieve system stability, but sliding mode control offers enhanced robustness and reduced chattering, making it more effective for controlling chaos under uncertainties.
A. Bilal Ozcan, Ismail Bayezit, Mert Tekyurt   +2 more
wiley   +1 more source

Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency [PDF]

, 2016
Paradefinite (`beyond the definite\u27) logics are logics that can be used for handling contradictory or partial information. As such, paradefinite logics should be both paraconsistent and paracomplete.
Arieli, Ofer, Avron, Arnon
core   +1 more source

Equivariant algebraic concordance of strongly invertible knots

Journal of Topology, Volume 17, Issue 4, December 2024.
Abstract By considering a particular type of invariant Seifert surfaces we define a homomorphism Φ$\Phi$ from the (topological) equivariant concordance group of directed strongly invertible knots C∼$\widetilde{\mathcal {C}}$ to a new equivariant algebraic concordance group G∼Z$\widetilde{\mathcal {G}}^\mathbb {Z}$.
Alessio Di Prisa
wiley   +1 more source

On the incompatibility between two AIFS [PDF]

, 2008
The purpose of this paper is to commence studying the incompatibility in the Atanassov's intuitionistic fuzzy sets framework. In order to do this, firstly we deal with the concept of T -incompatible sets, where T is an intuitionistic t- norm, relating it
Castiñeira Holgado, Elena, Cubillo Villanueva, Susana, Montilla, Wilmer   +2 more
core   +1 more source

Rank‐expanding satellites, Whitehead doubles, and Heegaard Floer homology

Journal of Topology, Volume 17, Issue 4, December 2024.
Abstract We show that a large class of satellite operators are rank‐expanding; that is, they map some rank‐one subgroup of the concordance group onto an infinite linearly independent set. Our work constitutes the first systematic study of this property in the literature and partially affirms a conjecture of the second author and Pinzón‐Caicedo.
Irving Dai, Matthew Hedden, Abhishek Mallick, Matthew Stoffregen   +3 more
wiley   +1 more source

Classification conjectures for Leavitt path algebras

Bulletin of the London Mathematical Society, Volume 56, Issue 10, Page 3011-3060, October 2024.
Abstract The theory of Leavitt path algebras is intrinsically related, via graphs, to the theory of symbolic dynamics and C∗$C^*$‐algebras where the major classification programs have been a domain of intense research in the last 50 years. In this article, we gather together current lines of research in the classification of Leavitt path algebras ...
Guillermo Cortiñas, Roozbeh Hazrat
wiley   +1 more source

An algebraic generalization of Kripke structures

, 2007
The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales.
Emerson, Harel, Hughes, Hughes, Johnstone, Mulvey, PEDRO RESENDE, Rosenthal, SÉRGIO MARCELINO   +8 more
core   +1 more source

Evaluating Docking Site Local Hematoma Formation and Blood Flow on its Healing Using the Accordion Technique at the End of Tibial Bone Transport

Orthopaedic Surgery, Volume 16, Issue 9, Page 2264-2272, September 2024.
Hematoma formation is crucial for the successful treatment of non‐union at the docking site using the ‘accordion’ technique. Objective At present, due to the lack of early observation methods, the effect of the ‘accordion’ technique on the treatment of nonunion of the docking site varies greatly.
Dong Wang, Shao‐Huang Liu, Guo‐Yu He, Ze Zhang, Juan Li, Ru‐Qi Zhang, Jun‐Jun Shi, Ying‐Wei Jia, Hu‐Yun Qiao, Hong Liu, Bao‐Na Wang, Si‐He Qin, Yong‐Hong Zhang   +12 more
wiley   +1 more source