Search
Now showing items 161-170 of 200
Diseño del sistema de medición y control de un prototipo de STATCOM basado en un DSC
(Universidad Michoacana de San Nicolás de Hidalgo, 2009-08)
This project is focused on the measurement and control system of a STATCOM, and the prototype construction. For achieving that, it was necessary to analyze the mathematical model of a STATCOM. This model was helpful for ...
Análise do conversor DAB utilizando modulação triple phase shift com algoritmo de otimização e circuito de auxílio à comutação
(Universidade Federal de Santa MariaBrasilEngenharia ElétricaUFSMPrograma de Pós-Graduação em Engenharia ElétricaCentro de Tecnologia, 2022-02-18)
With the growth of the use of renewable sources for the generation of electric energy, the
systems of distribution and transmission of energy have been going through significant
changes. As the photovoltaic and wind ...
Análisis tiempo-frecuencia de supra-armónicos en redes de baja tensión basado en transformada Wavelet
(Universidad Michoacana de San Nicolás de Hidalgo, 2022-12)
Modern power systems are undergoing an intelligent transition toward a more efficient and sustainable operation. This process involves the widespread installation of distributed- renewable generation systems, energy storage ...
Infraestructura como paisaje artificial
(Universidad de los AndesArquitecturaFacultad de Arquitectura y DiseñoDepartamento de Arquitectura, 2017)
"El proyecto se encuentra ubicado en la ciudad de Bogotá, localidad de Usaquén. La intervención se localiza entre la calle 113-110, y la avenida 9na- la Carrera 11. Se eligió esta zona de la ciudad debido a que se ha ...
Simulación clásica de interacción radiación materia
(Instituto Nacional de Astrofísica, Óptica y Electrónica, 2014)
Simulación clásica de interacción radiación materia
(Instituto Nacional de Astrofísica, Óptica y Electrónica, 2014)
Theorem Proving Modulo Based on Boolean Equational Procedures
(Springer, 2008)
Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...