SIMULACION

Autor: CAMPO VAZQUEZ M. CELESTE.
Año: 2003.
Universidad: CARLOS III DE MADRID [www.uc3m.es].
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: En esta Tesis doctoral realizamos contribuciones en el campo de la definición de tecnologías middleware para el desarrollo de servicios en entornos de computación ubicua. En primer lugar, abordamos el problema del descubrimiento de servicios, que permitirá que de forma automática un dispositivo descubra los servicios ofrecidos por otros dispositivos que le rodean. Aunque existen propuestas en este sentido, no cubren todas las necesidades que imponen estos nuevos entornos de computación, por lo que hemos definidio un nuevo mecanismo de descubrimiento: Pervasive Discovery Protocol (PDP). En sengudo lugar, proponemos el uso de la tecnología de agentes móviles como middleware para el desarrollo de servicios en entornos ubicuos. Los agentes se caracterizan por estar orientados a realizar tareas, por ser autónomos, por su capacidad de cooperar y si poseen la característica de movilidad, por ser capaces de moverse a sistemas remotos para realizar sus tareas, minimizando el coste de las comunicaciones. Estas características se adaptan a las restricciones que imponen la computación ubicua. En esta línea, contribuimos a la adaptación del estándar de agentes FIPA para su funcionamiento en estos entornos, y en concreto, nos centramos en el Directory Faciliator (DF). Estas propuestas nos han llevado a participar de forma activa en el comité técnico FIPA Ad-Hoc.

Autor: PEGUERO CHAMIZO JUAN CARLOS.
Año: 2003.
Universidad: EXTREMADURA [www.unex.es].
Centro de lectura: CENTRO UNIVERSITARIO DE MERIDA.
Centro de realización: ESCUELA DE INGENIERÍAS INDUSTRIALES.

Resumen: En esta Tesis se ha simulado el reactor biológico de una estación depuradora de aguas residuales (EDAR). Su dinámica ha sido controlada mediante una red neuronal que ha aprendido las acciones del técnico de control que gobierna una planta real. Esta red actúa sobre la constante de recirculación de biolados del reactor. Para optimizar la respuesta se ha diseñado un procedimiento iterativo de ajuste de esa constante que lleva la dinámica de la planta a una zona de trabajo óptima. Los valores de ajuste son aprendidos por una segunda red neuronal que es capaz de predecir un valor óptimo dela recirculación las dos redes neuronales utilizadas son convinadas mediante una tercera diseñada con parámetros fijos que ocasiona los efectos de los dos anteriores.

Autor: GIL SOTO JOSÉ JAVIER.
Año: 2004.
Universidad: NAVARRA [www.unav.es].
Centro de lectura: ESCUELA TÉCNICA SUPERIOR DE INGENIEROS INDUSTRIALES Y DE TELECOMUNICACIÓN.
Centro de realización: UNIVERSIDAD PÚBLICA DE NAVARRA.

Resumen: El trabajo desarrolla se centra en la simulación de sistemas mecánicos. Consiste en el desarrollo conceptual y posterior implementación de un sistema simbólico que permite plantear de forma sencilla los problemas más comunes de la mecánica clásica.El sistema simbólico se complementa con un sistema numérico que permite resolver de forma numérica las diferentes simulaciones planteadas. El sistema simbólico desarrolla está basado en el sistema de álgebra simbólica Matlab/Maple, y el sistema numérico en el sistema numérico Matlab, ambos de probada fiabilidad. La "prueba de concepto"desarrolla se limita al caso de sistemas de sólidos rígidos, aunque la filosofía de la implementación la hace fácilmente extensible a sistemas combinados rígido-flexible. Aunque no es el objetivo primordial , el programa desarrolla sirve como herramienta docente en asignaturas como la Teoría de Máquinas, o el Diseño y Cálculo de Máquinas.

Autor: POVEDA ALBALADEJO JOSE FRANCISCO.
Año: 2004.
Universidad: JAUME I DE CASTELLON [www.uji.es].
Centro de lectura: VILLA ELISA BENICASIM (CASTELLON).
Centro de realización: ESCUELA SUPERIOR DE TECNOLOGIA Y CIENCIAS EXPERIMENTALES.

Resumen: En el presente trabajo se abordan problemas y se proponen soluciones relacionadas con la generación y representación de Modelos Digitales de Terreno. En concreto, en relación a la generación sintética de terreno se propone un modelo para el diseño y generación de montículos a partir de un proceso de interpolación a través de las líneas del campo electroestático asociado al mapa de isolíneas del terreno diseñado. Asociado a este proceso se presenta el algoritmo BQV, un nuevo algoritmo rápido para la localización relativa de un punto respecto de un polígono definido en el plano, no necesariamente regular, ni conexo, ni convexo. En relación a la representación tridimensional e interactiva de terreno se presenta de forma generalizada en un espacio de dimensión arbitraría, una caracterización matricial para el cálculo de la vecindad direccional en árboles de división espacial. Finalmente, al objeto de optimizar la prestación de la base de datos espacial asociada al modelo de simplificación y visualización dependiente de la vista presentado, se aborda el diseño y análisis de diferentes esquemas de transformación de las texturas. Como consecuencia de los resultados obtenidos se propone para la base de datos espacial dos posibles esquemas.

Autor: POVEDA ALBALADEJO JOSE FRANCISCO.
Año: 2004.
Universidad: JAUME I DE CASTELLON [www.uji.es].
Centro de lectura: VILLA ELISA BENICASIM.
Centro de realización: E.S. TECNOLOGIA Y CIENCIAS EXPERIMENTALES.

Resumen: En el presente trabajo se abordan problemas y se proponen soluciones relacionadas con la generación y representación de Modelos Digitales de Terreno. En concreto, en relación a la generación sintética de terreno se propone un modelo para el diseño y generación de montículos a partir de un proceso de interpolación a través de las líneas del campo electroestático asociado al mapa de isolíneas del terreno diseñado. Asociado a este proceso se presenta el algoritmo BQV , un nuevo algoritmo rápido para la localización relativa de un punto respecto de un polígono definido en el plano, no necesariamente regular, ni conexo, ni convexo. En relación a la representación tridimensional e interactiva de terreno se presenta de forma generalizada en un espacio de dimensión arbitraria, una caracterización matricial para el cálculo de la vecindad direccional en árboles de división espacial. Finalmente, al objeto de optimizar las prestaciones de la base de datos espacial asociada al modelo de simplificación y visualización dependiente de la vista presentado, se aborda el diseño y análisis de diferentes esquemas de transformación de las texturas. Como consecuencia de los resultados obtenidos se propone para la base de datos espacial dos posibles esquemas.

Autor: CALM PUIG REMEI.
Año: 2004.
Universidad: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Centro de lectura: SALA D'ACTES DE LA FME.
Centro de realización: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Resumen: Aquesta tesi contribueix en el desenvolupament de la teoria intervalar modal. Conté una implementació de l'aritmètica intervalar modal i un estudi dels problemes semàntics que apareixen en l'estimació de paràmetres, simulació i regulació d'un model intervalar. A part del capítol introductori on es descriuen els objectius de la tesi i l'organització del treball de recerca, la tesi sâestructura de la manera següent: Capítol 2 Intervals modals. En aquest capítol es presenta un resum dels resultats bàsics de l'anàlisi intervalar modal que inclou un preliminar sobre les deficiències dels intervals clàssics, seguit de la construcció dels intervals modals, per finalitzar amb l'estudi de les extensions racionals i semàntiques de les funcions contínues. Capítol 3 Interpretabilitat i optimalitat de les funcions racionals modals. Sâinicia el capítol amb la presentació dels resultats sobre interpretabilitat i optimalitat de les funcions racionals uniincidents. Per a les funcions racionals multiincidents, es donen les condicions que ens permeten obtenir un càlcul interpretable a partir de la funció racional fR(XT*) o fR(Xt*) i un càlcul optimal a partir de la funció racional fR(XD). Si no és possible obtenir un càlcul optimal, es mostra la possibilitat d'obtenir una optimalitat parcial a partir de les funcions racionals fR(XDT*) o fR(XDt*). Sâintrodueixen noves condicions per a l'estudi de l'optimalitat sintàctica de funcions racionals que depenen de les modalitats dels seus arguments. Per això, es donen els conceptes de modalitat partida i d'optimalitat lateral que ens portaran a la definició de c-arbre-optimalitat, que permetrà ampliar el conjunt de funcions per a les quals es pot assegurar l'optimalitat. Capítol 4 Implementació de l'Aritmètica intervalar modal. Sâinicia el capítol donant les operacions aritmètiques intervalars com a extensió semàntica de les funcions contínues. A continuació, es presenten alguns detalls de l'aritmètica implementada en C++. L'aritmètica permet realitzar un control de la truncació i de les excepcions de les operacions en punt flotant que sâajusten a la filosofia intervalar. Sâutilitzen els tres tipus de precisió intervalar: float, double i long double. Sâimplementen les operacions bàsiques de l'aritmètica intervalar, els operadors monaris i els de relació. Capítol 5 Models intervalars modals. En aquest capítol es presenten, des del punt de vista semàntic, les aplicacions dels intervals modals als models que sâhan estudiat en aquesta tesi. Sâinicia el capítol amb l'estudi de l'estimació dels paràmetres desconeguts d'un model intervalar a partir de dades experimentals incertes. Es determina un interval de paràmetres que ens permeti assegurar que per a qualsevol valor d'aquest interval, sâobté una trajectòria admissible del model. També es fa un altre plantejament en el que l'interval de paràmetres obtingut permet obtenir qualsevol sortida experimental. Una vegada obtinguts els paràmetres del model, sâestudia el problema de la simulació i la regulació per alguns models particulars. Sâidentifica quin tipus de regulació admet el sistema a partir d'uns intervals donats per les variables de regulació, així com es determinen valors intervalars per les variables de regulació de manera que la sortida del model es mantingui dins d'uns intervals fixats. Capítol 6 Model intervalar d'un tram del riu Ter. En aquest capítol sâaplica la metodologia intervalar exposada en el capítol anterior, a un model de qualitat d'aigües per a un tram del riu Ter. De les diferents variables que caracteritzen el model de qualitat, es centre l'atenció en les corresponents al cicle del nitrogen. El treball de recerca finalitza amb unes conclusions on es resumeixen les principals aportacions i sâindiquen les línies de recerca futures.

Autor: AROSTEGUI ORDORICA JOSÉ MANUEL.
Año: 2005.
Universidad: NACIONAL DE EDUCACIÓN A DISTANCIA [www.uned.es].
Centro de lectura: E.T.S. INGENIEROS INDUSTRIALES.

Resumen: La presente tesis tiene como planteamiento general la elaboración de un modelo bidimensional de pirólisis de biomasa lignocelulósica. Dicho modelo incluye todo el conjunto de fenómenos físico-químicos que se ponen en juego durante el proceso (transferencia de masa, energía, momento y cinética química,..) en un medio poroso cambiante, así como la sensibilidad el mismo en diferentes situaciones geométricas, térmicas y de humedad. Se propone una transformación de las cinéticas de pirólisis establecidas basada en el hecho de suponerse que la generación de char procede fundamentalmente de la descomposición de la lignina existente. Dicha transformación introduce un cambio notorio en la cinética puesta en juego durante le proceso de pirólisis y hace que el modelo se adapte a las diferentes condiciones de operación. Las simulaciones llevada a cabo ponen de manifiesto una concordancia entre los resultados del modelo y las diferentes situaciones de pirólisis registradas en la práctica industrial. Resultados que han sido alcanzados en base a una crítica a los modelos cinéticos existentes en la literatura técnica. La metodología del modelo de resolución del sistema de ecuaciones del balance de materia y energía, unida a un conjunto de ensayos termogravimétricos llevados a cabo, ha permitido elaborar un modelo consistente del fenómeno de priólisis y abrir una serie nuevas formas de tratamiento de la misma en lo referente: Al estudio de la cinética química propia de la pirólisis mediante superficies cinéticas. El papel de la lignina en el modelo de pirólisis. El tratamiento termogravimétrico de la humedad en el modelo.

Autor: SUAREZ DE LA TORRE NURIA.
Año: 2006.
Universidad: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Centro de lectura: SALA D'ACTES FME.
Centro de realización: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Autor: SORIANO ASENSI ANTONIO.
Año: 2006.
Universidad: VALENCIA [www.uv.es].
Centro de lectura: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA.

Resumen: La presente tesis describe l procedimiento seguido para elaborar un modelo numérico, basado en la técnica de Diferencias Finitas en el Dominio del Tiempo (FDTD1), para el estudio de la propagación electromagnética en atmósferas planetarias. La finalidad del modelo presentado es relacionar el perfil de conductividad eléctrica de una atmósfera con el espectro electromagnético de ELF2 medido. Con ello se pretende facilitar la interpretación de los resultados obtenidos con el sensor PWA3 embarcado en la sonda Huygens; que llegó a Titán, una de las lunas de Saturno, en enero de 2005. Debido a la particular geometría del sistema analizado, ha sido imprescindible el desarrollo de un modelo FDTD en coordenadas esféricas. A consecuencia del fuerte solapamiento espectral entre frecuencias de resonancia adyacentes que ha tenido que recurrir a técnicas de estimación espectral para poder evaluar las frecuencias de resonancia. Dado que un modelo tridimensional de la atmósfera terrestre es demasiado grande y lento, se ha elaborado previamente un modelo bidimensional aprovehando la simetría de rotación alrededor del eje Norte/Sur. El modelo bidimensional es mucho más rápido, lo que facilitado y agilizado el proceso de depuración del modelo. Disponer de los dos modelos, uno bidimensional y otro tridimensional, aporta una gran versatilidad. Dependiendo de la situación que se pretenda analizar es posible escoger entre la inmediatez en la obtención de resultados del modelo bidimensional, o en la mayor precisión del modelo tridimensional. Una vez desarrollado el modelo, se ha comprobado la validez de los resultados que proporciona estudiando la atmósfera terrestre. Para lo que se han reproducido con la técnica FDTD diferentes experimentos numéricos realizados con otras técnicas. Posteriormente, se han comparado los resultados obtenidos numéricamente con resutlados experimentales de las frecuencias de Schumann obtenidos de la bibliografía. Los excelentes resutlados obtenidos con el modelo terrestre justifican la idoneidad de la técnica empleada para el análisis de otras atmósferas planetarias. En ese sentido se ha empleado la misma técnica para elaborar los modelos de Titán y Marte.

Autor: BONET JORDI.
Año: 2006.
Universidad: BARCELONA [www.ub.es].
Centro de lectura: FACULTAD DE QUÍMICA.
Centro de realización: FACULTAD DE QUÍMICA (UNIVERSIDAD DE BARCELONA).

Resumen: Mediante un estudio sistemático de alternativas se consigue proponer una original alternativa se consigue una original alternativa para la corriente residual de disolvente producida por la industria del polivinil alcohol. El polivinil alcohol es un polimero de interesantes propiedades: no tóxico, biodegradable y no inflamable; pero por cada tonelada de polímero obtenido la reacción principal produce una tonelada y media de residuo. La tesis es consecuencia de la pregunta de una industria española para revalorizar dicho residuo a un producto comercializable y al mismo tiempo recuperar materia prima para la sintesis de más polímero. La alternativa económicamente más ventajosa es la transesterificación con etanol pero no se usa industrialmente debido a la elevada cantidad de azeotropos que dificultan la separación de los productos de reacicón. En la tesis se evalúan las alternativas y se propone y estudia un original sistema de destilación por cambio de presión reactivo que consigue con sólo dos columnas llevar cabo la reacción y recuperar los productos separados con una conversión total de los reactivos. Para alcanzar el objetivo propuesto se determinan los equilibrios líquido vapor para las mezclas de los compuestos; metanol, etanol, acetato de metilo y acetato de etilo. En el procedimiento de cálculo se utiliza el análisis infinito/infinito para el estudio de las corrientes entre las unidades, un original cálculo plato a plato del centro de columno hasta el destilado y pie para relacionar el freflujo con el número de plastos y una optimización de las variables estudiadas mediante proporcionalidades. Los resultados se verifican mediante simulación rigurosa con PromSim Plus.

Autor: SALLERAS FREIXES MARC.
Año: 2006.
Universidad: BARCELONA [www.ub.es].
Centro de lectura: FACULTAD DE FÍSICA.
Centro de realización: UNIVERSIDAD DE BARCELONA.

Resumen: El análisis térmico en microelectrónica es uno de los cuellos de botella más importantes en los dispositivos actuales. Las densidades de integración actuales han hecho necesario incluir el diseño térmico desde una etapa inicial del diseño del producto, mientras que en el pasado era la última etapa en el proceso de desarrollo de un producto. Las mayores velocidades de procesado en los microprocesadores y la miniaturización de sensores y actuadores de base térmica también han incrementado las densidades de flujo de calor presentes en los dispositivos. Todas estas tendencias implican problemas de fiabilidad debido a las altas temperaturas alcanzadas. La necesidad de controlar estos flujos de calor presentes en microelectrónica se ve reflejada en la creciente importancia de las herramientas de CAD (computer aided design, diseño asistido por ordenador) en el diseño térmico. El problema principal de estas herramientas en su larga curva de aprendizaje y la gran cantidad de tiempo de cálculo y recursos para solucionar sistemas complejos. Por eso, se necesitan modelos de orden reducido capaces de responder a las nuevas tecnologías de encapsulado donde varios chips son apilados uno sobre otro en el mismo encapsulado. Los estándares actuales en modelos compactos no son aplicables con distribuciones de temperatura complejas en un dispositivo donde hay presentes "hot spots" (puntos calientes) y múltiples fuentes de calor. Además, la mayoría de estos estándares están diseñados para dispositivos microelectrónicos y no para microsistemas (MEMS) donde los flujos de calor pueden ser mucho más complejos, y hasta ahora, sólo son capaces de predecir las distribuciones de temperatura estacionaria. Este trabajo pretende desarrollar una metodología general para obtener modelos de orden reducido que puedan simular el flujo de calor y la distribución dináma de temperatura en cualquier dispositivo o microsistema. Estos modelos de orden reducido se obtienen mediante técnicas de identificación de sistemas utilizando transistores de temperatura simulación o medios del dispositivo analizado. La metodología propuesta es capaz de trabajar con estructuras complejas con más de una fuente de calor y obtener modelos independientes de las condiciones de contorno. Incluso se pueden aplicar condiciones de contorno variables en el tiempo a estos modelos de orden reducido con resultados satisfactorios. Otras metodologías con la misma motivación son exploradas y compradas con la propuesta de este trabajo. Algunas de estas metodologías están relacionadas con la identificación de sistemas, pero otras están basadas en teoría de sistemas linearles o algoritmos genéticos. Esta tesis esta estructurada en cinco capítulos. El primer capítulo es una introducción al diseño térmico en microelectrónica y MEMS, donde se revisan las tendencias actuales en microprocesadores, dispositivos de potencia y MEMS, y se describe problemas térmicos en dispositivos y las herramientas CAD para simularlos. Después, en el segundo capítulo representan algunos ejemplos de sistemas que presentan problemas abiertos en modelización térmica. El tercer capítulo es un sumario de teoría donde se definen los principales conceptos y se analizan en profundidad los sistemas térmicos. También se describen las diferentes metodologías existentes para obtener modelos de orden reducido. Finalmente, en el cuarto capítulo, las metodologías propuestas en los capítulos anteriores se desarrollan para casos prácticos donde se requiere obtener modelos reducidos. Las principales conclusiones de este trabajo aparecen en el último capítulo.

Autor: VIDAL JIMENEZ BARBARA.
Año: 2006.
Universidad: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Centro de lectura: SALA DE CONFERENCIES DE ETSEIAT.
Centro de realización: ETSEIB, Edifici H LAB. TERMODINAMICA, PLANTA 8 SD.

Autor: Narciso Farias Mercedes Elizabeth.
Año: 2006.
Universidad: AUTÓNOMA DE BARCELONA [www.uab.es].
Centro de lectura: Escuela Técnica Superior de Ingeniería (ETSE).
Centro de realización: Escuela Técnica Superior de Ingeniería (ETSE).

Resumen: Para tratar la complejidad que presenta la optimización de problemas logísticos, en esta tesis doctoral se realiza una propuesta metodológica, basada en el formalismo de Redes de Petri Coloreadas, la cual permite integrar aspectos de Investigación de Operaciones, Inteligencia Artificial y Simulación, y al mismo tiempo combina el modelado de Sistemas de Eventos Discretos con la simulación, análisis y optimización de Sistemas, permitiendo transformar un modelo conceptual en un modelo de simulación, y un problema de decisión en un problema de búsqueda mediante la exploración del espacio de estados del problema. Para validar la utilidad de la metodología propuesta se han desarrollado dos nuevos métodos para la exploración y reducción del espacio de estados (Método de Espacio de Estados y Método de los Nodos Repetidos), y dos métodos para la reducción del tiempo de Cómputo en la exploración del espacio de estados (Método de los Caminos Prohibidos y Evaluación Jerárquica de Guardas de la RPC). Todos los métodos desarrollados han sido implementados como parte de un Sistema Automatizado de Ayuda a la Toma de Decisiones que ha sido desarrollado para dar soporte a la metodología propuesta, el cual puede ser utilizado tanto para la obtención de soluciones factibles como para obtener soluciones óptimas a problemas de optimización, siempre y cuando los requisitos computacionales de tiempo y memoria necesarios para obtener tales soluciones no superen los recursos disponibles. Se proponen nuevas líneas de investigación que podrían permitir mejorar considerablemente la eficiencia computacional para obtener soluciones óptimas o cuasi óptimas de problemas logísticos complejos del mundo real mediante la metodología propuesta en esta tesis.

Autor: ARETXANDIETA BENGOA XABIER.
Año: 2006.
Universidad: MONDRAGÓN UNIBERTSITATEA [www.mondragon.edu].
Centro de lectura: MONDRAGON GOI ESKOLA POLITEKNIKOA.
Centro de realización: MONDRAGON GOI ESKOLA POLITEKNIKOA MONDRAGON UNIBERTSITATEA.

Resumen: Los sistemas basados en componentes se construyen a día de hoy de forma en la que el sistema es verificado y validado cuando el sistema está completamente desplegado. Esta tesis plantea una metodología de desarrollo de este tipo de sistemas donde se anticipe la idoneidad del sistema a construir a una fase de diseño. Para ello se proponen modelos de comportamiento de los componentes en base a máquinas de estado que se esamblan con un conector especial llamado Composition Management Interface, que permite la simulación de la construcción del sistema. Todo ello se pone en ejecucción, y se analiza el estado global del sistema para verificar y validar el comportamiento de un sistema basado en componentes.