Buscar
Mostrando ítems 1-10 de 30
A Binary Integer Linear Programming Model for Fault Section Estimation in Electric Power Systems
(Ieee, 2019-01-01)
A new method, based on binary integer programming, to solve the problem of fault section estimation in power systems is developed in this work. This optimization model is formulated based on a set of minimum covers, subject ...
Study Of Hardware Transactional Memory Characteristics And Serialization Policies On Haswell
(Elsevier Science BVAmsterdam, 2016)
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark
(Ieee, 2016-01-01)
Symbolic execution has made great strides in the last two decades. However, some characteristics of programs still pose significant challenges to test data generation techniques that use symbolic execution and constraint ...
Development Of Data Reconciliation For Dynamic Nonlinear System: Application The Polymerization Reactor
(Elsevier Science Ltd, Exeter, United Kingdom, 2000)
On how characteristics that hinder test data generation using symbolic execution combine: An analysis of the SF100 benchmark
(2017-01-27)
Symbolic execution has made great strides in the last two decades. However, some characteristics of programs still pose significant challenges to test data generation techniques that use symbolic execution and constraint ...
Optimal Short-Term Operation of a DisCo Including Voltage-Sensitive Loads
(Ieee, 2016-01-01)
This paper presents a probabilistic approach for the short-term operation of a distribution company (DisCo) considering voltage-sensitive loads. The DisCo's operational decisions are optimized in a day-ahead operation ...
Optimal Restoration of Distribution Networks through Reconfiguration and Microgrid Formation
(Ieee, 2020-01-01)
This paper presents a new mixed-integer second-order cone programming model for the problem of optimal restoration of distribution networks that, besides network reconfiguration, also considers microgrid formation. General ...