Buscar
Mostrando ítems 1-10 de 1643
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 ...
Investigation Into Air Distribution Systems And Thermal Environment Control In Chilled Food Processing FacilitiesEnquête Sur Les Systèmes De Distribution D'air Et La Régulation De L'environnement Thermique Dans Les Installations De Traitement Des Aliments Réfrigérés
(International Journal Of Refrigeration, 2018)
Voltage sensitivity analysis to determine the optimal integration of distributed generation in distribution systems
(International Journal of Electrical and Computer Engineering, 2020)