Search
Now showing items 1-10 of 807
Formal Verification of Distributed System Using an Executable C Model
(2016)
Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...
Developing Distributed Collaborative Applications with HTML5 under the Coupled Objects Paradigm
(Universal Journal Series, 2014)
One of the main tasks in developing distributed collaborative systems is to support synchronization processes. The Coupled Objects paradigm has emerged as a way to easily support these processes by dynamically coupling ...
A simplified Space-Vector modulation algorithm for four-leg NPC converters
(IEEE Inst Electrical and Electronic Engineering Inc., 2017)
To interface generation sources and loads to fourwire distribution networks it is important to use power converters and modulation methods, which provide high performance, flexibility, and reliability. To achieve these ...
Non-Strategic capacity withholding from distributed energy storage within microgrids providing energy and reserve services
(MDPI, 2020)
Microgrids have the potential to provide security and flexibility to power systems through the integration of a wide range of resources, including distributed energy storage, usually in the form of batteries. An aggregation ...
Risk analysis in low-voltage distribution systems
(SAGE Publications Ltd, 2019)
© IMechE 2018. Electric power distribution is a complex network involving technical challenges from a wide range of sources, a considerable degree of risk and substantial financial resources. Design and maintenance strategies ...
Allowing Each Node to Communicate Only Once in a Distributed System: Shared Whiteboard Models
(Springer, 2015)
In this paper we study distributed algorithms on massive
graphs where links represent a particular relationship between
nodes (for instance, nodes may represent phone numbers
and links may indicate telephone calls). ...
Spatial and sectoral benefit distribution in water-energy system design
(Elsevier, 2020)
The design of water and energy systems has traditionally been done independently or considering simplified interdependencies between the two systems. This potentially misses valuable synergies between them and does not ...
A pipelined architecture for distributed text query evaluation
(2007)
Two principal query-evaluation methodologies have been described for cluster-based implementation of distributed information retrieval systems: document partitioning and term partitioning. In a document-partitioned system, ...
Locating distributed generation units in radial systems
(Hikari, 2017)
A brief context on distributed generation (DG) is given as well as the methodologies employed in solving problems regarding their optimal location and dimensioning in electrical power systems that sets the theoretical ...
Adaptive protection system for microgrids based on a robust optimization strategy
(MDPI, 2018)
The development of a proper protection system is essential for the secure and reliable operation of microgrids. In this paper, a novel adaptive protection system for microgrids is presented. The protection scheme is based ...