¿Cuál es exactamente el papel de la retención de orden cero en un sistema híbrido de datos muestreados analógico/digital?

Lo admito, estoy haciendo esta pregunta retóricamente. Tengo curiosidad por saber qué respuestas saldrán de esto.

Si elige responder esto, asegúrese de comprender bien el teorema de muestreo de Shannon-Nyquist. Particularmente la reconstrucción. También tenga cuidado con los "trampas" en los libros de texto. La noción de ingeniería de la función de impulso delta de dirac es suficiente. No necesita preocuparse por todas las cosas de "distribución", el impulso de dirac como una función delta naciente es lo suficientemente bueno:

d ( t ) = límite τ 0 1 τ rectificar ( t τ )

donde

r mi C t ( t ) { 0 si  | t | > 1 2 1 si  | t | < 1 2

Los problemas relacionados con la precisión, el ancho de bits de las palabras de muestra y la cuantificación realizada en la conversión no son relevantes para esta pregunta. Pero escalar de entrada a salida es relevante.

Eventualmente escribiré mi propia respuesta a menos que alguien más presente una respuesta precisa y pedagógicamente útil. Incluso podría poner una recompensa por esto (también podría gastar la poca reputación que tengo).

Tienen en él.

¿Está interesado en escuchar sobre el uso de alias principalmente?
no. asumo que se cumplen todas las reglas del teorema de muestreo. es decir, no hay contenido o energía en la entrada de tiempo continuo que se muestrea que está en o por encima F s 2 . ahora, recuerda que hay una diferencia entre "alias" e "imágenes".
por lo que recuerdo, la retención de orden cero es simplemente el retraso entre las muestras en el sistema digital, y obviamente puede afectar el lado analógico de las cosas entre una muestra y la siguiente.
@KyranF, es un poco más que eso.
@robertbristow-johnson de las respuestas dadas por Timo, de hecho, parece más complicado de lo que pensaba. ¡Buena suerte con eso!
@KyranF, espera a que finalice el período de recompensa. es bastante simple pero a menudo se malinterpreta.
Bien, descubrí lo que está haciendo @ScottSeidman. gracias Scott
Debe eliminar todo el texto que no sea parte de la pregunta. Dale me gusta a las partes que hablan sobre cómo quieres que se responda la pregunta. Son irrelevantes.
y, @user253751, el hecho es que no sabes un carajo sobre lo que estás escribiendo. el rigor no es irrelevante.
@ robertbristow-johnson "Escribiré mi propia respuesta eventualmente" es irrelevante. "Hazlo" es irrelevante. "Estoy preguntando esto retóricamente" es irrelevante. "Tenga cuidado con las trampas en los libros de texto" es irrelevante. "Necesitas saber [...]" es relevante pero no debe ser parte de una pregunta.

Respuestas (3)

Configuración

Consideramos un sistema con una señal de entrada X ( t ) , y para mayor claridad nos referimos a los valores de X ( t ) como voltajes, cuando sea necesario. Nuestro periodo de muestra es T , y la frecuencia de muestreo correspondiente es F s 1 / T .

Para la transformada de Fourier, elegimos las convenciones

X ( i 2 π F ) = F ( X ( t ) ) X ( t ) mi i 2 π F t d t ,
dando la transformada inversa de Fourier
X ( t ) = F 1 ( X ( i 2 π F ) ) X ( i 2 π F ) mi i 2 π F t d F .
Tenga en cuenta que con estas convenciones, X es una función de la variable de Laplace s = i ω = i 2 π F .

Muestreo y reconstrucción ideales

Partamos del muestreo ideal: según el teorema de muestreo de Nyquist-Shannon , dada una señal X ( t ) que está limitado en banda a F < 1 2 F s , es decir

X ( i 2 π F ) = 0 , w h mi norte | F | 1 2 F s ,
entonces la señal original se puede reconstruir perfectamente a partir de las muestras X [ norte ] X ( norte T ) , donde norte Z . En otras palabras, dada la condición sobre el ancho de banda de la señal (llamado criterio de Nyquist ), es suficiente conocer sus valores instantáneos en puntos discretos equidistantes en el tiempo.

El teorema de muestreo también da un método explícito para llevar a cabo la reconstrucción. Justifiquemos esto de una manera que será útil en lo que sigue: estimemos la transformada de Fourier X ( i 2 π F ) de una señal X ( t ) por su suma de Riemann con paso T :

X ( i 2 π F ) norte = X ( norte Δ t ) mi i 2 π F norte Δ t Δ t ,
donde Δ t = T . Reescribamos esto como una integral, para cuantificar el error que estamos cometiendo:
norte = X ( norte T ) mi i 2 π F norte T T = norte = X ( t ) mi i 2 π F t T d ( t norte T ) d t = X ( i 2 π F ) F ( T norte = d ( t norte T ) ) (1) = k = X ( F k / T ) ,
donde usamos el teorema de convolución en el producto de X ( t ) y la función de muestreo norte = T d ( t norte T ) , el hecho de que la transformada de Fourier de la función de muestreo sea norte = d ( F k / T ) , y realizó la integral sobre las funciones delta.

Tenga en cuenta que el lado izquierdo es exactamente T X 1 / T ( i 2 π F T ) , donde X 1 / T ( i 2 π F T ) es la transformada de Fourier en tiempo discreto de la señal muestreada correspondiente X [ norte ] X ( norte T ) , con F T la frecuencia de tiempo discreto adimensional.

Aquí vemos la razón esencial detrás del criterio de Nyquist: es exactamente lo que se requiere para garantizar que los términos de la suma no se superpongan. Con el criterio de Nyquist, la suma anterior se reduce a la extensión periódica del espectro desde el intervalo [ F s / 2 , F s / 2 ] a toda la línea real.

Desde la DTFT en (1) tiene la misma transformada de Fourier en el intervalo [ F s / 2 , F s / 2 ] como nuestra señal original, simplemente podemos multiplicarla por la función rectangular r mi C t ( F / F s ) y recuperar la señal original. A través del teorema de convolución , esto equivale a convolucionar el peine de Dirac con la transformada de Fourier de la función rectangular, que en nuestras convenciones es

F ( r mi C t ( F / F s ) ) = 1 / T s i norte C ( t / T ) ,
donde la función sinc normalizada es
s i norte C ( X ) pecado ( π X ) π X .
Luego, la convolución simplemente reemplaza cada delta de Dirac en el peine de Dirac con una función sinc desplazada a la posición del delta, dando
(2) X ( t ) = norte = X [ norte ] s i norte C ( t / T norte ) .
Esta es la fórmula de interpolación de Whittaker-Shannon .

Muestreo no ideal

Para traducir la teoría anterior al mundo real, la parte más difícil es garantizar la limitación de banda, que debe realizarse antes del muestreo. Para los propósitos de esta respuesta, asumimos que esto se ha hecho. La tarea restante es entonces tomar muestras de los valores instantáneos de la señal. Dado que un ADC real necesitará una cantidad finita de tiempo para formar la aproximación a la muestra, la implementación habitual almacenará el valor de la señal en un circuito de muestreo y retención, a partir del cual se forma la aproximación digital.

Aunque esto se parece mucho a una retención de orden cero, es un proceso distinto: el valor obtenido de la muestra y la retención es exactamente el valor instantáneo de la señal, hasta la aproximación de que la señal permanece constante para el duración que se tarda en cargar el condensador que contiene el valor de la muestra. Esto suele lograrse bien con los sistemas del mundo real.

Por lo tanto, podemos decir que un ADC del mundo real, ignorando el problema de la limitación de banda, es una muy buena aproximación al caso del muestreo ideal, y específicamente la "escalera" que proviene del muestreo y retención no provoca ningún error en el muestreo por sí mismo.

Reconstrucción no ideal

Para la reconstrucción, el objetivo es encontrar un circuito electrónico que cumpla con la suma de senos que aparece en (2) . Dado que el sinc tiene una extensión infinita en el tiempo, está bastante claro que esto no se puede realizar exactamente. Además, formar tal suma de señales incluso en una aproximación razonable requeriría múltiples subcircuitos y rápidamente se volvería muy complejo. Por lo tanto, generalmente se usa una aproximación mucho más simple: en cada instante de muestreo, se emite un voltaje correspondiente al valor de la muestra y se mantiene constante hasta el siguiente instante de muestreo (aunque vea la modulación Delta-sigma para ver un ejemplo de un método alternativo). Esta es la retención de orden cero y corresponde a reemplazar el sinc que usamos anteriormente con la función de rectángulo 1 / T r mi C t ( t / T 1 / 2 ) . Evaluación de la convolución

( 1 / T r mi C t ( t / T 1 / 2 ) ) ( norte = T X [ norte ] d ( t norte T ) ) ,
usando la propiedad definitoria de la función delta, vemos que esto da como resultado la clásica forma de onda de escalera de tiempo continuo. el factor de 1 / T entra para cancelar el T introducido en (1) . Que tal factor es necesario también queda claro por el hecho de que las unidades de una respuesta de impulso son 1/tiempo.

El cambio por 1 / 2 T es simplemente garantizar la causalidad . Esto solo equivale a un cambio de la salida en 1/2 muestra en relación con el uso 1 / T r mi C t ( 1 / T ) (lo que puede tener consecuencias en sistemas en tiempo real o cuando se necesita una sincronización muy precisa con eventos externos), que ignoraremos en lo que sigue.

Comparando de nuevo a (1) , hemos reemplazado la función rectangular en el dominio de la frecuencia, que dejó la banda base completamente intacta y eliminó todas las copias de frecuencias más altas del espectro, llamadas imágenes , con la transformada de Fourier de la función 1 / T r mi C t ( t / T ) . esto es por supuesto

s i norte C ( F / F s ) .

Tenga en cuenta que la lógica se invierte un poco del caso ideal: allí definimos nuestro objetivo, que era eliminar las imágenes, en el dominio de la frecuencia, y derivamos las consecuencias en el dominio del tiempo. Aquí definimos cómo reconstruir en el dominio del tiempo (ya que eso es lo que sabemos hacer), y derivamos las consecuencias en el dominio de la frecuencia.

Entonces, el resultado de la retención de orden cero es que, en lugar de la ventana rectangular en el dominio de la frecuencia, terminamos con el sinc como una función de ventana. Por lo tanto:

  • La respuesta de frecuencia ya no está limitada por banda. Más bien se descompone como 1 / F , siendo las frecuencias superiores imágenes de la señal original
  • en la banda base, la respuesta ya decae considerablemente, alcanzando unos -4 dB en 1 / 2 F s

En general, la retención de orden cero se usa para aproximar la función sinc en el dominio del tiempo que aparece en la fórmula de interpolación de Whittaker-Shannon . Al muestrear, el muestreo y retención de aspecto similar es una solución técnica al problema de estimar el valor instantáneo de la señal y no produce ningún error en sí mismo.

Tenga en cuenta que tampoco se pierde información en la reconstrucción, ya que siempre podemos filtrar las imágenes de alta frecuencia después de la retención inicial de orden cero. La pérdida de ganancia también se puede compensar con un filtro sinc inverso, ya sea antes o después del DAC. Entonces, desde un punto de vista más práctico, la retención de orden cero se usa para construir una aproximación implementable inicial a la reconstrucción ideal, que luego se puede mejorar aún más, si es necesario.

es interesante Timo. te estás encontrando con una consecuencia de la política de Wikipedia. consulte esta versión anterior del artículo de Wikipedia sobre el teorema de muestreo . en lugar de esconderse detrás de la fórmula de suma de Poisson, simplemente muestra cómo el muestreo genera las imágenes y explícitamente lo que se requiere para recuperar la señal de tiempo continuo original. y se puede ver por qué hay eso T factor en la función de muestreo.
Es interesante que la versión anterior del artículo de Wikipedia sea más clara, también en mi opinión. El cálculo es casi exactamente lo que escribo arriba, excepto que da un poco más de detalles.
De todos modos, no estoy muy seguro de por qué esto es necesario para entender por qué el factor de T se necesita: creo que lo que escribo en la respuesta es una condición suficiente para el T ser necesario (técnicamente, una condición de consistencia, pero ya asumimos que la reconstrucción es posible). Ahora, por supuesto, la comprensión siempre es algo subjetivo. Por ejemplo, aquí podría considerarse una razón más profunda para la aparición del factor T eso T se convierte esencialmente en la medida de integración d t cuando uno toma el limite T 0 .
Supongo que a lo que te refieres como el por qué es la aparición de 1/T en la representación del peine de Dirac como una suma de exponenciales complejas, en en.wikipedia.org/w/… ? Lo cual es, por supuesto, una forma de decirlo, y muy directamente relacionado con el papel de T como medida
..y arriba, por supuesto, debería haber escrito "...papel de d como una medida". Ver en.wikipedia.org/wiki/Dirac_delta_function#As_a_measure , y tenga en cuenta que si usáramos esta interpretación para construir un peine de Dirac para aproximar el continuo, entonces las unidades de d t tienen que coincidir con los de d { d t } , lo que significa que de todos modos tendremos que incluir algún factor con unidades de tiempo. T es el único factor tal que el límite de un peine de Dirac con un intervalo decreciente entre los "dientes" se convierte en la medida continua d t en funciones continuas.
la razón por la cual el T Es necesario en la función de muestreo que el filtro de reconstrucción de pared de ladrillo tenga una ganancia de 1 (y adimensional ) en la banda de paso. la mayoría de los libros de texto ponen una ganancia de T en la banda de paso del LPF de reconstrucción y luego tenemos estudiantes que vienen aquí (o al grupo de noticias USENET comp.dsp ) preguntando cómo diseñar un LPF con una ganancia de banda de paso de T .
Esto es, por supuesto, verdadero. Desde otro punto de vista, es una consecuencia de lo que escribí anteriormente, ya que en última instancia se deriva de requerir consistencia en el sentido de que la transformada de Fourier de banda base de la señal continua es la misma que la transformada de Fourier de tiempo discreto de las muestras x[n] . En general, esto significa que habrá un factor de T en uno de estos, donde quieras ponerlo. Esto queda claro también por el hecho de que d t tiene unidades de tiempo, mientras que la suma en la DTFT es adimensional. Entonces también el filtro brickwall de tiempo continuo tendrá una ganancia de banda de paso de 1.
bueno, no es donde nos gusta ponerlo, si queremos establecer claramente cuál es el efecto neto de la ZOH. no es
H ( s ) = 1 mi s T s
y recuerde que la dimensión del delta de dirac está en unidades de 1/tiempo, y para un filtro que tiene la misma especie de animal saliendo (como voltaje) que entrando, entonces la función de transferencia debe ser adimensional y la respuesta de impulso h ( t ) debe tener la misma dimensión que el impulso, 1/tiempo.
Por supuesto, cuando quise decir en cualquiera de los tres, el FT, DTFT o definición de x[n]. Con cualquiera de estos, FT y DTFT tienen las mismas unidades, lo cual es necesario para que tenga algún sentido compararlos en primer lugar.
no, no creo que FT y DTFT tengan las mismas unidades. los comparamos mediante el uso de factores de escala. el FT tiene dimensión de tiempo (por eso d t como usted anotó). y la variable de frecuencia (ya sea F o Ω ) tiene dimensión 1/tiempo. la variable de frecuencia para la DTFT, ω , es adimensional.
en realidad el FT de X ( t ) tiene dimensión de tiempo multiplicada por la dimensión de de X ( t ) . la respuesta al impulso, h ( t ) de algo con la misma especie de salida animal que la entrada tiene dimensión 1/tiempo. por lo que el FT de h ( t ) es adimensional, como debería ser una respuesta de frecuencia.
Bueno, eso es una cuestión de definición. Cuando la DTFT se define directamente para un sistema de tiempo discreto, naturalmente se obtiene una frecuencia adimensional (ciclos/muestra). Sin embargo, cuando el propósito es comparar un tiempo continuo y un sistema de tiempo discreto como aquí, es natural usar nT como la variable de tiempo, aún dando una frecuencia dimensional (esta convención se usa, por ejemplo, aquí: en.wikipedia.org /wiki/Discrete-time_Fourier_transform ). Entonces incluyendo el factor de T también en la definición, obtienes las mismas unidades, dimensión de X veces la dimensión del tiempo, por ejemplo V/Hz
es una cuestión de definición. DTFT:
X DTFT ( ω ) norte = + X [ norte ] mi j ω norte
PIE:
X PIE ( F ) + X ( t ) mi j 2 π F t   d t
y
X [ norte ] X ( norte T )
Entonces, creo que entonces
X DTFT ( ω ) = k = + 1 T X PIE ( F k T ) | F = ω 2 π T
, como digo en mi primera respuesta, por cierto. De todos modos, el factor de escala que mencionas es, por supuesto, exactamente T , que se reduce al mismo resultado final. Lo obtiene al requerir que el filtro de reconstrucción tenga una ganancia de CC adimensional 1, solo digo que también surge naturalmente simplemente al requerir las mismas unidades para FT y DTFT, y que son las mismas en la banda base. Una forma más de obtener el resultado: estime la integral en la FT mediante una suma de Riemann, elimine el límite y obtendrá exactamente la DTFT con frecuencia dimensional ( 2 π F norte T en la exp) y el factor necesario de T Al frente.
oh, si insiste en que la unidad de tiempo se define como el período de muestreo, T , entonces eso es lo mismo que decir T = 1 . entonces estoy de acuerdo. pero si medimos el tiempo en unidades físicas como "segundos" o "microsegundos", y medimos la frecuencia en "Hz" o "kHz", entonces T no es 1 porque T no es adimensional, y tampoco lo son t ni d t adimensional
¿Cuál es la dimensión de " 2 π F norte T "?
UH no. Estoy insistiendo específicamente en que T es el período de muestreo dimensional, en segundos por ejemplo. Entonces, si quiero realizar un seguimiento del tiempo también en el dominio discreto, todo lo demás será adimensional (como norte ), y factores de T realizar un seguimiento de las unidades de tiempo del mundo real dimensionales.
2 π F norte T es adimensional, ya que F es 1/vez, y T tiene unidades de tiempo. Entonces la frecuencia adimensional es la combinación F T , que es de hecho una fracción de la frecuencia de muestreo.
entonces, si insistes en eso (que yo también insisto), entonces X DTFT ( ω ) tiene la misma dimensión que X [ norte ] que tiene la misma dimensión que X ( t ) . y ω es adimensional. pero X PIE ( F ) tiene la dimensión de X ( t ) multiplicado por "tiempo" (como una dimensión) y el argumento F tiene una dimensión de 1/tiempo.
por supuesto, dentro del DSP o computadora que está haciendo la porción de tiempo discreto del procesamiento del sistema híbrido, hay X [ norte ] es adimensional porque X ( t ) es relativo a la V ÁRBITRO del ADC y el DAC, pero no quería que este problema estuviera jugando con eso. Supongo que el ADC y el DAC convierten el mismo tipo de cantidad (probablemente voltaje) y que el V ÁRBITRO porque ambos son iguales. así que solo llevo la dimensión y las unidades de X ( t ) para el paseo.
Bien, esto es una cuestión de convención, ¿verdad? Si desea mantener la DTFT sin dimensiones, entonces para comparar la FT y la DTFT, tiene la 1 / T delante cuando expresa la DTFT en términos de la FT, como escribe arriba. Esto está perfectamente bien. La otra opción es definir la DTFT con el factor de T Al frente:
X D T F T norte = T X [ norte ] mi i 2 π F norte T
, y el tercero es definir X [ norte ] T X ( norte T ) . Estas son las tres opciones que mencioné anteriormente, y con cualquiera de ellas obtienes unidades consistentes, ganancia de CC 1 y una respuesta de impulso con unidades 1/tiempo.
No conozco ninguna convención que defina el DTFT de manera diferente a como lo he mostrado. de hecho, toda la idea de definir señales de tiempo discreto como X [ norte ] y el DTFT únicamente en términos de X [ norte ] es deshacerse de la dimensión del tiempo. la señal en tiempo discreto, la Z -transformar, el DTFT, el DFT son todos agnósticos sobre la frecuencia de muestreo, el período de muestreo, el aliasing, la realidad física, lo que sea. son únicamente construcciones matemáticas.
Creo que la tercera opción es la más extraña de estas, y que la DTFT dimensional es la más natural, ya que ahí está explícito que el sistema de tiempo discreto representa un sistema del mundo real. Sin embargo, tampoco tengo ningún problema con su forma de decirlo, donde la DTFT vive en un dominio de tiempo discreto abstracto, y los factores de T se derivan para comparar con el FT cuando sea necesario. Solo digo que hay varias formas válidas de pensar en esto.
en.wikipedia.org/wiki/Discrete-time_Fourier_transform "definición alternativa", (ecuación 3). Tenga en cuenta la definición X [ norte ] T X ( norte T ) unas líneas más arriba, anulando el 1 / T del delta de Dirac, por lo que las unidades de la definición alternativa son las mismas que las del FT.
cualquier cosa es válida si la definimos como válida. No estoy "de acuerdo" con definir DTFT o Z-transform o DFT de manera diferente a como están en los libros de texto. (a veces podemos escalar el DFT de manera diferente con un 1 norte para hacerlo y su autosimilar inverso, pero normalmente no quiero hacer eso.) Lo único que quiero hacer de manera diferente a los libros de texto es poner el T factor en la función de muestreo, para que el filtro de reconstrucción no tenga factor de ganancia (solo elimina imágenes) y para que el escalado de la ZOH tenga sentido. los libros de texto fallan en esto.
Bueno, creo que estamos de acuerdo en el punto principal: para poder comparar la FT y la DTFT, y tener unidades consistentes a lo largo de la cadena de muestreo, hay un factor de T . Además, ciertamente no está en el filtro de reconstrucción, ya que entonces la salida sobre la que actúa el filtro no tendría las mismas unidades que X ( t ) , lo cual es claramente incorrecto.
la "definición alternativa" y similares es cómo un editor en particular (llamado "Bob K") ha estado arruinando Wikipedia durante años. esto es a lo que me refería con respecto a la política de Wikipedia. a veces, los artículos de Wikipedia empeoran cada vez más con el tiempo. no siempre mejoran con el tiempo. Estaba tratando de mantener la línea hace varios años y desde entonces me he dado por vencido. (o estoy editando ahora con objetivos diferentes y reducidos de mantener la precisión y la pedagogía).
"Además, ciertamente no está en el filtro de reconstrucción, ya que entonces la salida sobre la que actúa el filtro no tendría las mismas unidades que X ( t ) , lo cual es claramente incorrecto".
estamos de acuerdo unos con otros, pero los libros de texto no . cada libro de texto (con una excepción, Pohlmann, y es porque influí en el autor) pone el T factor como la ganancia de banda de paso en la reconstrucción LPF. eso lleva a dos errores con los estudiantes tratando de entender estas cosas. uno es "¿cómo puedo hacer un filtro de reconstrucción analógico con una ganancia de banda de paso de 0,022675 ms?" y el otro es el ZOH.
Entonces, de todos modos, su objetivo con esta pregunta era obtener una respuesta que demuestre claramente por qué el filtro de reconstrucción tiene ganancia 1, de una manera razonablemente pedagógica. Creo que el punto principal es simplemente asegurarse de ser coherente con las unidades y justificarlo de una manera que tenga sentido intuitivo. Creo que la DTFT con T delante es bastante intuitivo, pero tener la T en la función de muestreo tampoco está mal. En realidad, eso surge de forma bastante natural de la comparación de la suma de Riemann entre FT y DTFT.
"Entonces, de todos modos, su objetivo con esta pregunta era obtener una respuesta que demuestre claramente por qué el filtro de reconstrucción tiene ganancia 1, de una manera razonablemente pedagógica". eso es un subproducto. el objetivo se demostrará cuando finalice el período de recompensa.
Está bien. Edité la respuesta para usar la definición estándar de DTFT, ya que estoy de acuerdo en que es mejor ceñirse a las convenciones, cuando sea posible. También se agregó una observación adicional al final. De todos modos, estoy ansioso por escuchar qué información adicional tienes una vez que finalice el período de recompensas :)
si quiere arreglarlo un poco más, su filtro de reconstrucción no es del todo "implementable", ya que no es causal. no es gran cosa, pero debe ser corregido.
No puedo evitar pensar que deberías agregar la respuesta que buscas. Los comentarios no son para una discusión extensa.
entonces @David, hice exactamente eso. Estoy feliz de premiar a Timo con la recompensa.

La retención de orden cero tiene la función de aproximar el delta y s i norte C -funciones que aparecen en el teorema de muestreo, según corresponda.

En aras de la claridad, considero un sistema ADC/DAC con una señal de voltaje. Sin embargo, todo lo siguiente se aplica a cualquier sistema de muestreo con el cambio de unidades apropiado. También asumo que la señal de entrada ya ha sido mágicamente limitada en banda para cumplir con el criterio de Nyquist.

Comience con el muestreo: idealmente, uno muestrearía el valor de la señal de entrada en un solo instante. Dado que los ADC reales necesitan una cantidad finita de tiempo para formar su aproximación, el voltaje instantáneo se aproxima mediante el muestreo y retención (la instantánea se aproxima por el tiempo de conmutación utilizado para cargar el capacitor). Entonces, en esencia, la retención convierte el problema de aplicar un funcional delta a la señal en el problema de medir un voltaje constante.

Tenga en cuenta aquí que la diferencia entre la señal de entrada que se multiplica por un tren de impulsos o una retención de orden cero que se aplica en los mismos instantes es simplemente una cuestión de interpretación, ya que, sin embargo, el ADC almacenará solo los voltajes instantáneos que se mantienen. Uno puede reconstruirse a partir del otro. A los efectos de esta respuesta, adoptaré la interpretación de que la señal muestreada es la señal de tiempo continuo de la forma

X ( t ) = Δ t V r mi F 2 norte k X k d ( t k Δ t ) ,
donde V r mi F es el voltaje de referencia del ADC/DAC, norte es el número de bits, X k son las muestras representadas de la forma habitual como números enteros, y Δ t es el período de muestreo. Esta interpretación un tanto poco convencional tiene la ventaja de que estoy considerando, en todo momento, una señal de tiempo continuo, y el muestreo aquí simplemente significa representarlo en términos de los números X k , que son de hecho las muestras en el sentido habitual.

En esta interpretación, el espectro de la señal en la banda base es exactamente el mismo que el de la señal original, y la convolución efectiva del tren de impulsos tiene el efecto de replicar esa señal para hacer que el espectro sea periódico. Las réplicas se denominan imágenes del espectro. que el factor de normalización Δ t es necesario se puede ver, por ejemplo, considerando la compensación de CC de un pulso de 1 voltio de duración Δ t : su DC-offset definido como el F = 0 -componente de la transformada de Fourier es

X ^ ( 0 ) = 0 Δ t 1 V d t = 1 V Δ t .
Para obtener el mismo resultado de nuestra versión muestreada, debemos incluir el factor de Δ t .*

Entonces, la reconstrucción ideal significa construir una señal eléctrica que tenga el mismo espectro de banda base que esta señal, y sin componentes en frecuencias fuera de este rango. Esto es lo mismo que convolucionar el tren de impulsos con el s i norte C -función. Esto es bastante difícil de hacer electrónicamente, por lo que el s i norte C a menudo se aproxima mediante una función rectangular, también conocida como retención de orden cero. En esencia, en cada función delta, el valor de la muestra se mantiene durante el período de muestreo.

Para ver qué consecuencias tiene esto para la señal reconstruida, observo que la retención es exactamente equivalente a convolucionar el tren de impulsos con la función rectangular

r mi C t Δ t ( t ) = 1 Δ t r mi C t ( t Δ t ) .
La normalización de esta función rectangular se define al exigir que se reproduzca correctamente un voltaje constante, es decir, si un voltaje V 1 se midió durante el muestreo, se emite el mismo voltaje en la reconstrucción.

En el dominio de la frecuencia, esto equivale a multiplicar la respuesta de frecuencia con la transformada de Fourier de la función rectangular, que es

r mi C t ^ Δ t ( F ) = s i norte C ( π Δ t F ) .
Tenga en cuenta que la ganancia en DC es 1 . A altas frecuencias, la s i norte C se descompone como 1 / F , y por lo tanto atenúa las imágenes del espectro.

Al final, el s i norte C La función resultante de la retención de orden cero se comporta como un filtro de paso bajo en la señal. Nótese que en la fase de muestreo no se pierde información (asumiendo el criterio de Nyquist), y en principio tampoco se pierde nada al reconstruir: el filtrado en banda base por el s i norte C podría compensarse con un filtro inverso (y esto se hace a veces, consulte, por ejemplo, https://www.maximintegrated.com/en/app-notes/index.mvp/id/3853 ). el modesto 6 d B / o C t a v mi decadencia de la s i norte C por lo general requiere alguna forma de filtrado para atenuar aún más las imágenes.

Tenga en cuenta también que un generador de impulsos imaginarios que podría reproducir físicamente el tren de impulsos utilizado en el análisis generaría una cantidad infinita de energía para reconstruir las imágenes. Esto también causaría algunos efectos peludos, como que un ADC que vuelve a muestrear la salida no vería nada, a menos que estuviera perfectamente sincronizado con el sistema original (principalmente muestrearía entre los impulsos). Esto muestra claramente que incluso si no podemos limitar la banda de salida exactamente, siempre se necesita una limitación de banda aproximada para regularizar la energía total de la señal, antes de que pueda convertirse en una representación física.

Para resumir:

  • en ambas direcciones, la retención de orden cero actúa como una aproximación a una función delta, o su forma de banda limitada, la s i norte C -función.
  • desde el punto de vista del dominio de la frecuencia, es una aproximación al filtro de pared de ladrillo que elimina imágenes y, por lo tanto, regula la cantidad infinita de energía presente en el tren de impulso idealizado.

*Esto también queda claro a partir del análisis dimensional: las unidades de una transformada de Fourier de una señal de voltaje son V s = V H z , mientras que la función delta tiene unidades de 1 / s , lo que anularía la unidad de tiempo procedente de la integral en la transformada.

Cuando el cronómetro me lo permita, pondré una recompensa por esto, Timo. hay algunas cosas que me gustan: por ejemplo, tener la ganancia de CC = 1, lo cual es consistente con la ecuación. 1 en su cita máxima, pero demasiados libros de texto lo arruinan con una ganancia de T con los que no saben que hacer. y parece que está entendiendo que el ZOH no tiene nada que ver con ningún posible S/H en la entrada del ADC. eso es bueno. Todavía esperaré una respuesta un poco más rigurosa. y no te preocupes por V árbitro . Supongo que es lo mismo para ADC y DAC.
@robertbristow-johnson: ¡gracias por las amables palabras! ¿Puede especificar un poco en qué dirección está buscando más rigor? ¿Más detalles, más respuestas de estilo de prueba matemática o algo completamente diferente?
Supongo que un tratamiento matemático con notación matemática limpia y consistente. Sugeriría ser consistente con Oppenheim y Wilsky o algo así.
T 1 F s
X [ norte ] X ( norte T )
tal vez, para que las transformadas de Laplace y Fourier tengan una notación consistente y compatible
F { X ( t ) } = X ( j 2 π F ) + X ( t ) mi j 2 π F t   d t
. discuta lo que dice el teorema de muestreo y cómo es diferente en la realidad y dónde entra ZOH en eso.
Ok, déjame intentar escribir otra respuesta, ya que editar esto para cambiar la notación a lo que prefieras, etc. probablemente dejaría un poco de desorden. Primero arreglaré un pequeño error de este, ya que me molesta...
estaba un poco confundido y lento en el sorteo y no presioné el ícono de recompensa para otorgar su recompensa. de acuerdo con las reglas: si no otorga su recompensa dentro de los 7 días (más el período de gracia), la respuesta más votada creada después de que comenzó la recompensa con una puntuación mínima de 2 recibirá la mitad del monto de la recompensa. Si dos o más respuestas elegibles tienen el mismo puntaje (es decir, sus puntajes están empatados), la respuesta más antigua recibe la recompensa. Si no hay una respuesta que cumpla con esos criterios, la recompensa no se otorga a nadie. -- de acuerdo con estas reglas, debe recibirlo dentro de una semana.
Sí, noté que preguntaste sobre eso en la sección meta. ¡Gracias por tomar eso en mi nombre, y gracias por la generosidad! Además, el siguiente párrafo en el meta: si la recompensa la inició el propietario de la pregunta, y el propietario de la pregunta acepta una respuesta publicada durante el período de la recompensa, y la recompensa caduca sin un premio explícito, entonces asumimos que al propietario de la recompensa le gustó la respuesta. aceptaron y le otorgaron el monto total de la recompensa en el momento del vencimiento de la recompensa. --pero supongo que los 7 días + gracia también afectan esto, así que supongo que lo tendré la próxima semana, como dices.

Transformada de Fourier :

X ( j 2 π F ) = F { X ( t ) } + X ( t )   mi j 2 π F t   d t

Transformada inversa de Fourier:

X ( t ) = F 1 { X ( j 2 π F ) } = + X ( j 2 π F )   mi j 2 π F t   d F

Función de pulso rectangular :

rectificar ( tu ) { 0 si  | tu | > 1 2 1 si  | tu | < 1 2

Función "Sinc" ("sinus cardinalis") :

sincronizar ( v ) { 1 si  v = 0 pecado ( π v ) π v si  v 0

Definir la frecuencia de muestreo , F s 1 T como el recíproco del período de muestreo T .

Tenga en cuenta que:

F { rectificar ( t T ) } = T   sincronizar ( F T ) = 1 F s   sincronizar ( F F s )

Peine Dirac (también conocido como "función de muestreo", también conocido como "función Sha") :

tercero T ( t ) norte = + d ( t norte T )

El peine de Dirac es periódico con el período. T . Serie de Fourier :

tercero T ( t ) = k = + 1 T mi j 2 π k F s t

Señal de tiempo continuo muestreada :

señal idealmente muestreada con dirac comb

X s ( t ) = X ( t ) ( T tercero T ( t ) ) = X ( t ) ( T norte = + d ( t norte T ) ) = T   norte = + X ( t )   d ( t norte T ) = T   norte = + X ( norte T )   d ( t norte T ) = T   norte = + X [ norte ]   d ( t norte T )

donde X [ norte ] X ( norte T ) .

Esto significa que X s ( t ) se define únicamente por las muestras X [ norte ] y el período de muestreo T y pierde totalmente cualquier información de los valores de X ( t ) para tiempos entre instancias de muestreo. X [ norte ] es una secuencia discreta de números y es una especie de notación abreviada DSP para X norte . Si bien es cierto que X s ( t ) = 0 por norte T < t < ( norte + 1 ) T , El valor de X [ norte ] para cualquier norte no es un entero indefinido.

NB: La señal discreta X [ norte ] y todas las operaciones de tiempo discreto en él, como el Z -La Transformada , la Transformada de Fourier en Tiempo Discreto (DTFT) , la Transformada de Fourier Discreta (DFT) , son "agnósticas" con respecto a la frecuencia de muestreo o el período de muestreo T . Una vez que esté en el tiempo discreto X [ norte ] dominio, no sabe (o no le importa) sobre T . Es solo con el teorema de muestreo y reconstrucción de Nyquist-Shannon que X [ norte ] y T se juntan.

La transformada de Fourier de X s ( t ) es

X s ( j 2 π F ) F { X s ( t ) } = F { X ( t ) ( T tercero T ( t ) ) } = F { X ( t ) ( T k = + 1 T mi j 2 π k F s t ) } = F { k = + X ( t )   mi j 2 π k F s t } = k = + F { X ( t )   mi j 2 π k F s t } = k = + X ( j 2 π ( F k F s ) )

Nota importante sobre el escalado: la función de muestreo T tercero T ( t ) y la señal muestreada X s ( t ) tiene un factor de T que no verás en casi todos los libros de texto. Ese es un error pedagógico de los autores de estos de estos libros de texto por múltiples razones (relacionadas):

  1. Primero, dejando de lado el T cambia la dimensión de la señal muestreada X s ( t ) de la dimensión de la señal que se muestrea X ( t ) .
  2. Eso T el factor será necesario en algún lugar de la cadena de la señal. Estos libros de texto que lo dejan fuera de la función de muestreo terminan colocándolo en la parte de reconstrucción del Teorema de muestreo, generalmente como la ganancia de banda de paso del filtro de reconstrucción. Eso es dimensionalmente confuso. Alguien podría preguntar razonablemente: "¿Cómo diseño un LPF de ladrillo con una ganancia de banda de paso de T ?"
  3. Como se verá a continuación, dejando el T aquí da como resultado un error de escala similar para la función de transferencia neta y la respuesta de frecuencia neta de la retención de orden cero (ZOH). Todos los libros de texto sobre sistemas de control digitales (e híbridos) que he visto cometen este error y es un grave error pedagógico.

Tenga en cuenta que la DTFT de X [ norte ] y la transformada de Fourier de la señal muestreada X s ( t ) son, con la escala adecuada, virtualmente idénticos:

DTFT:

X D T F T ( ω ) Z { X [ norte ] } | z = mi j ω = X Z ( mi j ω ) = norte = + X [ norte ]   mi j ω norte

Se puede demostrar que

X D T F T ( ω ) = X Z ( mi j ω ) = 1 T X s ( j 2 π F ) | F = ω 2 π T


Las matemáticas anteriores son verdaderas si X ( t ) está "adecuadamente muestreado" o no. X ( t ) está "adecuadamente muestreado" si X ( t ) puede recuperarse completamente de las muestras X [ norte ] y conocimiento de la tasa de muestreo o período de muestreo. El teorema de muestreo nos dice qué es necesario recuperar o reconstruir X ( t ) de X [ norte ] y T .

Si X ( t ) está limitado en banda a algún límite de banda B , eso significa

X ( j 2 π F ) = 0 para todos | F | > B

espectro de banda limitada

Considere el espectro de la señal muestreada compuesta por imágenes desplazadas del original:

X s ( j 2 π F ) = k = + X ( j 2 π ( F k F s ) )

El espectro original X ( j 2 π F ) se puede recuperar del espectro muestreado X s ( j 2 π F ) si ninguna de las imágenes cambiadas, X ( j 2 π ( F k F s ) ) , superponen a sus vecinos adyacentes. Esto significa que el borde derecho de la k -ésima imagen (que es X ( j 2 π ( F k F s ) ) ) debe estar completamente a la izquierda del borde izquierdo del ( k + 1 )-ésima imagen (que es X ( j 2 π ( F ( k + 1 ) F s ) ) ). Reexpresado matemáticamente,

k F s + B < ( k + 1 ) F s B

que es equivalente a

F s > 2 B

Si muestreamos a una frecuencia de muestreo que excede el doble del ancho de banda, ninguna de las imágenes se superpone, el espectro original, X ( j 2 π F ) , que es la imagen donde k = 0 se puede extraer de X s ( j 2 π F ) con un filtro de paso bajo de pared de ladrillo que mantiene la imagen original (donde k = 0 ) sin escala y descarta todas las demás imágenes. Eso significa que multiplica la imagen original por 1 y multiplica todas las demás imágenes por 0.

X ( j 2 π F ) = rectificar ( F F s ) X s ( j 2 π F ) = H ( j 2 π F )   X s ( j 2 π F )

filtro de reconstrucción

El filtro de reconstrucción es

H ( j 2 π F ) = rectificar ( F F s )

y tiene una respuesta de impulso acausal :

h ( t ) = F 1 { H ( j 2 π F ) } = F s sincronizar ( F s t )

Esta operación de filtrado, expresada como multiplicación en el dominio de la frecuencia, es equivalente a la convolución en el dominio del tiempo:

X ( t ) = h ( t ) X s ( t ) = h ( t ) T   norte = + X [ norte ]   d ( t norte T ) = T   norte = + X [ norte ]   ( h ( t ) d ( t norte T ) ) = T   norte = + X [ norte ]   h ( t norte T ) ) = T   norte = + X [ norte ]   ( F s sincronizar ( F s ( t norte T ) ) ) = norte = + X [ norte ]   sincronizar ( F s ( t norte T ) ) = norte = + X [ norte ]   sincronizar ( t norte T T )

Eso explica explícitamente cómo el original X ( t ) se reconstruye a partir de las muestras X [ norte ] y conocimiento de la tasa de muestreo o período de muestreo.


Entonces, lo que sale de un convertidor digital a analógico (DAC) práctico no es ni

norte = + X [ norte ]   sincronizar ( t norte T T )

que no necesita tratamiento adicional para recuperarse X ( t ) , ni

X s ( t ) = norte = + X [ norte ]   T d ( t norte T )

que, con un LPF de pared de ladrillo ideal, recupera X ( t ) aislando y conservando la imagen de banda base y descartando todas las demás imágenes.

Salida DAC

Lo que sale de un DAC convencional, si no se procesa o escala la señal digitalizada, es el valor X [ norte ] mantenido en un valor constante hasta que se emita la siguiente muestra. Esto da como resultado una función constante por partes :

X CAD ( t ) = norte = + X [ norte ]   rectificar ( t norte T T 2 T )

Nótese el retraso de 1 2 periodo de muestra aplicado a la rectificar ( ) función. Esto lo hace causal. Significa simplemente que

X CAD ( t ) = X [ norte ] = X ( norte T ) cuándo norte T t < ( norte + 1 ) T

Dicho de otra manera

X CAD ( t ) = X [ norte ] = X ( norte T ) por norte = piso ( t T )

donde piso ( tu ) = tu es la función de piso , definida como el entero más grande que no exceda tu .

Esta salida DAC se modela directamente como un sistema lineal invariable en el tiempo (LTI) o filtro que acepta la señal muestreada idealmente X s ( t ) y para cada impulso en la señal idealmente muestreada, genera esta respuesta de impulso:

h ZOH ( t ) = 1 T rectificar ( t T 2 T )

Conectando para comprobar esto...

X CAD ( t ) = h ZOH ( t ) X s ( t ) = h ZOH ( t ) T   norte = + X [ norte ]   d ( t norte T ) = T   norte = + X [ norte ]   ( h ZOH ( t ) d ( t norte T ) ) = T   norte = + X [ norte ]   h ZOH ( t norte T ) ) = T   norte = + X [ norte ]   1 T rectificar ( t norte T T 2 T ) = norte = + X [ norte ]   rectificar ( t norte T T 2 T )

La salida DAC X CAD ( t ) , como la salida de un sistema LTI con respuesta de impulso h ZOH ( t ) concuerda con la construcción constante por partes anterior. Y la entrada a este sistema LTI es la señal muestreada X s ( t ) escalado juiciosamente para que la imagen de banda base de X s ( t ) es exactamente el mismo que el espectro de la señal original que se está muestreando X ( t ) . Es decir

X ( j 2 π F ) = X s ( j 2 π F ) por F s 2 < F < + F s 2

El espectro de la señal original es el mismo que el espectro muestreado, pero con todas las imágenes que habían aparecido debido al muestreo, descartadas.

La función de transferencia de este sistema LTI, que llamamos retención de orden cero (ZOH) , es la transformada de Laplace de la respuesta al impulso:

H ZOH ( s ) = L { h ZOH ( t ) } + h ZOH ( t )   mi s t   d t = + 1 T rectificar ( t T 2 T )   mi s t   d t = 0 T 1 T   mi s t   d t = 1 T 1 s mi s t | 0 T = 1 mi s T s T

La respuesta de frecuencia se obtiene sustituyendo j 2 π F s

H ZOH ( j 2 π F ) = 1 mi j 2 π F T j 2 π F T = mi j π F T mi j π F T mi j π F T j 2 π F T = mi j π F T pecado ( π F T ) π F T = mi j π F T sincronizar ( F T ) = mi j π F T sincronizar ( F F s )

Esto indica un filtro de fase lineal con un retraso constante de la mitad del período de muestra, T 2 , y con una ganancia que decrece a medida que la frecuencia F aumenta Este es un efecto de filtro de paso bajo suave. en CC, F = 0 , la ganancia es 0 dB y en Nyquist, F = F s 2 la ganancia es -3,9224 dB. Entonces, la imagen de banda base tiene algunos de los componentes de alta frecuencia reducidos un poco.

Al igual que con la señal muestreada X s ( t ) , hay imágenes en la señal muestreada X CAD ( t ) en múltiplos enteros de la frecuencia de muestreo, pero esas imágenes se reducen significativamente en amplitud (en comparación con la imagen de banda base) porque | H ZOH ( j 2 π F ) | pasa por cero cuando F = k F s para entero k eso no es 0, que está justo en el medio de esas imágenes.

Concluyendo:

  1. La retención de orden cero (ZOH) es un modelo lineal invariable en el tiempo de la reconstrucción de la señal realizada por un práctico convertidor de digital a analógico (DAC) que mantiene la salida constante en el valor de muestra, X [ norte ] , hasta que se actualice con la siguiente muestra X [ norte + 1 ] .

  2. Contrariamente a la idea errónea común, el ZOH no tiene nada que ver con el circuito de muestreo y retención (S/H) que uno podría encontrar antes de un convertidor de analógico a digital (ADC) . Siempre que el DAC mantenga la salida en un valor constante durante cada período de muestreo, no importa si el ADC tiene un S/H o no, el efecto ZOH permanece. Si el DAC emite algo que no sea la salida constante por partes (como una secuencia de pulsos estrechos destinados a aproximarse a los impulsos de dirac) que se muestra arriba como X CAD ( t ) , entonces el efecto ZOH no está presente (algo más lo está, en cambio) ya sea que haya un circuito S / H que preceda al ADC o no.

  3. La función de transferencia neta de ZOH es

    H ZOH ( s ) = 1 mi s T s T
    y la respuesta de frecuencia neta del ZOH es
    H ZOH ( j 2 π F ) = mi j π F T sincronizar ( F T )
    Muchos libros de texto omiten la T factor en el denominador de la función de transferencia y eso es un error.

  4. El ZOH reduce las imágenes de la señal muestreada X s ( t ) significativamente, pero no los elimina. Para eliminar las imágenes, se necesita un buen filtro de paso bajo como antes. Los LPF de Brickwall son una idealización. Un LPF práctico también puede atenuar la imagen de banda base (que queremos mantener) a altas frecuencias, y esa atenuación debe tenerse en cuenta como la atenuación que resulta del ZOH (que es una atenuación inferior a 3,9224 dB). El ZOH también retrasa la señal en la mitad del período de muestra, lo que puede tener que tenerse en cuenta (junto con el retraso del LPF anti-imagen), particularmente si el ZOH está en un circuito de retroalimentación.

Admitiré que su respuesta es más limpia y un poco más completa que la mía. Todavía me preguntaba, ¿cuál fue la gran revelación? ¿Tal vez quería enfatizar la retención de orden cero como modelo de la salida DAC?
tu respuesta tiene algunos errores. por ejemplo, no muestra el retraso de 1/2 muestra en la respuesta de frecuencia. Lamento que la forma en que sucedieron las cosas es que nuestra recompensa (lo que era mío y ahora debería ser tuyo ) se fue por el retrete.
Bueno, lo menciono (en el más largo), aunque luego lo escondo debajo de la alfombra, lo que creo que hice porque pensé principalmente en DSP en términos de audio, donde un retraso de 1/2 muestra es insignificante (a menos que hay otro camino que introduce una copia no retrasada). Básicamente, simplemente no quería llevar el factor de mi i π F T todo el camino hasta el final, así que eso es parte de lo que digo, eres más minucioso.
@Timo, ahora tienes el doble de representantes que yo. ¿Cuándo vas a publicar una recompensa a la que pueda dar una puñalada? :-)
Es justo, debería tratar de pensar en algo: D
sin sudor. Estaba impresionado de verte a las 600.