Algoritmos en SIGNAL para el procesamiento de señales de voz

El trabajo de investigación aplicada que se presenta a continuación tiene como objetivo profundizar en dos grandes temas como son el procesamiento de señales de voz y el lenguaje de especificación formal SIGNAL, para luego tratar de paralelizar ciertas rutinas inherentes a técnicas de análisis de señales de voz; específicamente aquellas relacionadas con el Análisis de Predicción Lineal. Los capítulos iniciales detallan las características e hipótesis en las cuales se basa el lenguaje SIGNAL. Así, en el Capítulo 1 se incursiona en el área de las arquitecturas no convencionales, poniendo énfasis en aquellas Data-Flow, donde la ejecución de un programa depende de la disponibilidad de datos. A continuación, el Capítulo 2 ofrece una interiorización sobre Sistemas Reactivos y de Tiempo Real, como así también sobre sus formas de especificación, ya sea a través de Formalismos Basados en Estados o Sistemas Recurrentes de Múltiples Relojes. Se ubica a SIGNAL dentro de este último estilo de modelización. El Capítulo 3 describe SIGNAL. Se especifica cómo dicho lenguaje maneja el tiempo, su filosofía de procesamiento y los distintos operadores. Además se investiga el trabajo del compilador que asegura la ausencia de deadlock en un proceso dado, utilizando como herramientas básicas los sistemas de ecuaciones de reloj y los grafos de dependencias condicionales de dicho proceso. Las características básicas del Procesamiento de señales de voz son presentadas en el Capítulo 4, focalizando la atención en características Short- Term y Long-Term. En el capítulo 5 se detalla en qué consiste Análisis de Predicción Lineal como técnica de análisis de señales de voz. Puntualmente se estudia una solución al Problema Clásico de Mínimos Cuadrados pues mantiene una relación que involucra un conjunto de resultados intermedios y prácticos coincidentes con los propios del Método de la Covarianza (uno de los métodos para hallar coeficientes de Predicción Lineal). Dicha solución es planteada recursiva en el tiempo. El objetivo final de este trabajo de investigación se alcanza en el Capítulo 6 donde, aprovechando las facilidades del lenguaje SIGNAL, se obtiene una versión paralelizada de la solución al problema de Mínimos Cuadrados propuesta en el Capítulo 5. Además de algunas rutinas clásicas para el procesamiento de señales de voz (filtrados, cálculos de la medida de cruces por cero, etc.), también se implementa un proceso para la resolución de sistemas de ecuaciones vía sustitución backward, donde no es posible paralelizar completamente la tarea debido a la dependencia de datos que por naturaleza presenta el algoritmo. Finalmente se adjunta un Apéndice que explica sintéticamente las llamadas Rotaciones de Givens, utilizadas para transformar una matriz general en triangular mediante rotaciones de plano ortonormales. Esta última información es aportada para proveer un mayor grado de entendimiento de la mecánica utilizada en el algoritmo de cálculo de Coeficientes de Predicción Lineal. Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. Licenciado en Informática