Results 21 to 30 of about 1,402 (212)
Energies, 2018 Wind power belongs to sustainable and clean energy sources which play a vital role of reducing environment pollution and addressing energy crisis. However, wind power outputs are quite difficult to predict because they are derived from wind speeds, which
Weijie Cheng +5 more
doaj +1 more source
Towards Verification of Uncertain Cyber-Physical Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity and scalability.
Carna Radojicic +3 more
doaj +1 more source
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
Approximate vertex enumeration
Journal of Computational Geometry, 2023 The problem to compute the vertices of a polytope given by affine inequalities is called vertex enumeration. The inverse problem, which is equivalent by polarity, is called the convex hull problem.
Andreas Löhne
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
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
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
IEEE Access, 2020 An interval power flow (IPF) method that considers the interval correlations of input random variables is proposed to improve the calculation accuracy of IPF, i.e., as correlated distributed generations (DGs) and some correlated DGs-loads are integrated ...
Shipeng Leng +4 more
doaj +1 more source