A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises....
Tenemos en nuestra manos un compendio clasificado de los medios instrumentales y de los procesos o técnicas de la medición de parámetros eléctricos y magnéticos, acompañados de sus justificaciones teóricas, y expuesto ...
Las máquinas síncronas, como cualquier otro convertidor electromecánico de la energía, están sometidas al principio de reciprocidad electromagnética, pudiendo funcionar tanto en régimen generador como en régimen motor...
El método de Epstein es un procedimiento que se utiliza en los Laboratorios de Electrometría para medir las pérdidas en el hierro de muestras de chapas magnéticas y que fue inventado por el físico alemán Josef Epstein (...
Se trata de una publicación necesaria ante la carencia de textos que sinteticen los aspectos fundamentales del desarrollo de parques e instalaciones eólicas,pero sobre todo por su carácter eminentemente práctico....
El presente manual tiene como objetivo facilitar al lector la comprensión de los diferentes tipos de biomasas existentes y tecnologías aplicables, todo ello enfocado a la producción de energía por medio de fuentes renovab...
En este libro se desgranan para su correcto estudio y comprensión los contenidos necesarios para realizar proyectos de instalaciones eléctricas de baja tensión: su concepción, dimensionado, documentación (Proyecto Técni...
En el ámbito de las enseñanzas técnicas es indudable la capacidad formativa de las actividades de resolución de problemas, ya que no se conocerá bien una teoría mientras no se aplique a resolver problemas concretos. ...
El DVD de animaciones permite realizar una visita virtual en 3D por cada una de las centrales, mientras que el CD de contenidos expone la historia, el funcionamiento, los componentes, las aplicaciones, las ventajas e inconve...
Los sistemas de potencia débiles y radiales son susceptibles a presentar problemas por la presencia de cargas no lineales. Este tipo de cargas son alimentadas con tensiones sinusoidales, pero la corriente que inyecta es no s...
El objetivo de este libro es la presentación de los tres ensayos fundamentales necesarios en la obtención de las variables que determinan los circuitos equivalentes de las máquinas más utilizadas en la industria, tal como...