Tecnología eléctrica y de la información

Este libro está dedicado a escribir pseudocódigos que han sido probados usando el lenguaje de programación matlab. Estos pseudocódigos son universales y se implementarán en otros lenguajes de programación. El libro comienza con la presentación de algoritmos elementales, cubre álgebra lineal y algoritmos de optimización lineal basados ​​en matrices. El objetivo de este libro es enseñar algoritmos dando su descripción estándar y proporcionando una medida matemática en el campo de investigación de la reconfiguración parcial dinámica (DPR) y la implementación...

Este libro presenta nuevas técnicas que permiten la verificación automática y la generación de pruebas abstractas al estilo humano. El núcleo de este enfoque construye un cálculo eficiente que funciona directamente mediante la aplicación de definiciones, teoremas y axiomas, lo que reduce el tamaño del objeto de prueba subyacente en un factor de 10. El cálculo se amplía mediante el paradigma de inferencia profunda que permite la aplicación de reglas de inferencia a profundidad arbitraria dentro de expresiones lógicas y...

Este trabajo considera la simulación de combustión premezclada con respecto a la aplicación en turbinas de gas estacionarias y futuros motores aeronáuticos. Con respecto a la reducción de contaminantes de los dispositivos actuales, así como de las tecnologías complementarias en el contexto de las energías renovables, las llamas premezcladas tienen una importancia creciente pero presentan propiedades de estabilidad reducidas en comparación con los sistemas convencionales sin premezcla. Con respecto a esto, la simulación puede proporcionar una visión detallada de los...

Hoy en día, las baterías sirven como fuente de alimentación para casi todos los dispositivos electrónicos que las personas llevan consigo o instalan en lugares que no tienen acceso a la red eléctrica. Cuanto más tiempo pueda funcionar un sistema alimentado por batería sin necesidad de recargar o reemplazar la batería, mayor será el costo de mantenimiento y disminuirá el número de fallas debido a una fuente de alimentación insuficiente. Este trabajo considera varias tareas de software independientes que se...

Este libro estudia métodos para mejorar tanto las tasas de datos como la eficiencia energética de las interfaces analógicas para sistemas de comunicación óptica de alta velocidad. Se evalúan medidas de rendimiento para circuitos de banda ancha de alta velocidad y la eficiencia de los métodos de compensación de frecuencia. Se analiza en detalle la mejora de la velocidad con eficiencia energética, como el pico inductivo, la retroalimentación y las capacitancias negativas de Miller, así como el método de coincidencia...