Results 21 to 30 of about 1,379 (241)
A Solution of Optimal Power Flow Incorporating Wind Generation and Power Grid Uncertainties
IEEE Access, 2018 This paper proposes a novel approach for the solution of optimal power flow with consideration of uncertainties caused by wind generation and various factors in the power grid.
Jinqing Luo, Libao Shi, Yixin Ni
doaj +1 more source
Masta: An HE-Friendly Cipher Using Modular Arithmetic
IEEE Access, 2020 The Rasta cipher, proposed by Dobraunig et al. (CRYPTO 2018), is an HE-friendly cipher enjoying the fewest ANDs per bit and the lowest ANDdepth among the existing ciphers.
Jincheol Ha +6 more
doaj +1 more source
Energies, 2018 The medium-voltage direct-current (MVDC) ship power system has been extensively investigated and discussed in recent years. This paper presents an alternating current/direct-current (AC/DC) power flow algorithm based on complex affine arithmetic for the ...
Fang Lu +3 more
doaj +1 more source
Modeling, Simulation and Uncertain Optimization of the Gun Engraving System
Mathematics, 2021 The system designed to accomplish the engraving process of a rotating band projectile is called the gun engraving system. To obtain higher performance, the optimal design of the size parameters of the gun engraving system was carried out.
Tong Xin +4 more
doaj +1 more source
Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?
Numerical Algorithms, 2004 The authors consider \(N\)-dimensional families of functions of the type \[ \{C_1F_1(x_1,\dots,x_n)+\dots+C_NF_N(x_1,\dots,x_n) \mid C_1,\dots,C_N\in \mathbb{R}\}, \] where \(F_1,\dots,F_N\) are analytic functions. Assuming that a transitive relation \(\succeq\) on the set of all \(N\)-dimensional families is given, they call the relation final if ...
Nedialkov, Nedialko S. +2 more
openaire +3 more sources
Arithmetic exponents in piecewise-affine planar maps [PDF]
Physica D: Nonlinear Phenomena, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roberts, JAG, Vivaldi, F
openaire +3 more sources
Algorithms, 2022 Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications.
Bernd Finkbeiner +3 more
doaj +1 more source
Energies, 2017 With consideration of the intermittency of renewable generation and uncertain load, a regional control strategy is presented to smooth the unscheduled power fluctuation in this letter.
Lizi Luo +3 more
doaj +1 more source
Deciding Conditional Termination [PDF]
Logical Methods in Computer Science, 2014 We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates.
Radu Iosif, Filip Konecny, Marius Bozga
doaj +1 more source
Robust Optimization of Energy Hubs Operation Based on Extended Affine Arithmetic
Energies, 2019 Traditional energy systems were planned and operated independently, but the diffusion of distributed and renewable energy systems led to the development of new modeling concepts, such as the energy hub.
Antonio Pepiciello +2 more
doaj +1 more source