SIMULACION, 9

Autor: EL ALAMI HASSOUN MOHAMED.
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES, SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES, SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE.

Resumen: Tras hacer un análisis en profundidad de las diversas aproximaciones a la Simulación, sus etapas y su énfasis en el aprendizaje se describe el estado del arte de los sistemas multiagentes con consideración de las arquitecturas existentes más importantes y sus funcionalidades. Se propone una nueva arquitectura de agente cognitivo cuyas características fundamentales son: un módelo de estado con las creencias, deseos, intenciones y procedimientos de interacción y cooperación; un sistema propio de control del agente, estructurado en dos niveles; el conocimiento necesario para realizar sus tareas, estructurado en capas según su complejidad cognitiva; y módulos generales de apoyo entre los que destacan uno de planificación otro de aprendizaje que incluye modelos conexionistas, inductivos y de aprendizaje reforzado, y otro para el manejo del lenguaje natural. Se construye un entorno de software en el que se instrumentan estos módulos y se elaboran tres prototipos demostradores: uno para colabar con el modelo propuesto de migración de aprendiz a experto, otro para la toma de decisiones en sistemas naturales y un tercero para la creación semiautomática de música por ordenador.

Autor: GINER RUBIO JAVIER.
Año: 1997.
Universidad: LA LAGUNA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: FISICA FUNDAMENTAL Y EXPERIMENTAL PROGRAMA DE DOCTORADO: FISICA.

Resumen: En este trabajo se determina la validez y el campo de aplicación del método del trazado de rayos. Una vez que establece las hipótesis del modelo, de naturaleza estadística, incide sobre el cálculo del error del método debido al número fínito de rayos. El trabajo se ha dividido en tres etapas, en una primera se realiza la revisión de los trabajos realizados en el campo, poniendo de manifiesto la carencia de una medida cuantitativa del error del método de trazado de rayos. Terminando esta parte con la implementación de un modelo númerico en forma de código abierto para la experimentación. En la segunda parte se establecen las bases teóricas del método asimilándolo a un método de Monte Carlo, lo que permite el cálculo de una varianza que en definitiva establece el error del método por la discretización de los rayos. Este error se utiliza para el cálculo de los márgenes de confianza de los parámetros objetivos y de las respuestas impulsivas. Por último en la tercera parte se aplican los resultados obtenidos a dos recintos de características acústicas diferentes, el "Terrero de Santa Ursula" y el "Auditorio de Tenerife".

Autor: IBAÑEZ MARIN PABLO.
Año: 1997.
Universidad: ZARAGOZA.
Centro de lectura: CENTRO POLITECNICO SUPERIOR.
Centro de realización: DEPARTAMENTO: INFORMATICA E INGENIERIA DE SISTEMAS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS E INFORMATICA.

Resumen: En esta tesis se estudian dos soluciones para minimizar el impacto de la latencia en las prestaciones de un procesador con caches integradas. Las dos soluciones actúan sobre el sistema de memoria para reducir bien el número de fallos, bien su latencia. En primer lugar se estudia la incorporación de varios niveles de cache dentro del chip del procesador. El objetivo de esta solución es disminuir la penalización media sufrida por un fallo en el primer nivel de la jerarquía. El hecho de implementar dos niveles de cache muy acoplados crea nuevas condiciones de contorno, aparecen nuevas posibilidades y también nuevos compromisos. Se estudia la relación de contenidos entre los dos niveles integrados. Se compara la gestión convencional en inclusión con nuevos métodos de gestión en exclusión y demanda. En segundo lugar se estudia la incorporación de mecanismos de prebúsqueda hardware de datos. El objetivo de esta solución es disminuir el número de fallos en las caches más cercanas al procesador. Entre los métodos existentes se seleccionan los más apropiados para caches integradas y se analiza su coste y rendimiento. Tras este análisis se proponen dos nuevos mecanismos de bajo coste que consiguen prestaciones similares a las de los mecanismos convencionales. Durante todo el desarrollo de la tesis, y en paralelo con el trabajo central, se ha prestado especial atención al desarrollo de técnicas para la disminución del coste temporal de simulación. Se han depurado para ello nuevas técnicas de muestreo temporal aplicables a simuladores ciclo a ciclo en un contexto general de procesadores y jerarquías de memoria con elevada actividad paralela.

Autor: JARAMILLO BOTERO ANDRES.
Año: 1997.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS Y AUTOMATICA PROGRAMA DE DOCTORADO: AUTOMATICA E INFORMATICA INDUSTRIAL.

Resumen: Los avances de la última década en teoría y tecnología computacional han derivado un progreso enorme en la aplicación de métodos atomísticos de dinámica molecular (DM) para la caracterización, predicción y diseño de sistemas químicos, biológicos y materiales. Sin embargo, existe todavía una dificultad fundamental con las escalas y longitud de tiempo que obstruyen la aplicación de estas metodologías de DM en algunos de los más importantes problemas. Para poder lograr una mejora tan significativa en la eficiencia computacional se requieren, además de plataformas masivamente paralelas, nuevos algoritmos que habiliten la simulación DM a largo plazo. Esta tesis avanza específicamente en esta dirección con la propuesta de nuevos algoritmos estrictamente paralelos, rápidos y escalables, para el modelamiento y simulación a largo plazo de estructuras moleculares de gran escala. Al hacer esto, se ofrece una novedosa tecnología habilitadora para evaluar el comportamiento de los sistemas modelados y además permitir la realización de nuevos avances científicos en una variedad amplia de campos (nanotecnología molecular, dinámica molecular, telportación cuántica, modelamiento de multicuerpos, robótica, medicina, desarrollo de nuevas drogas, entre muchos otros).

Autor: LOPEZ GAONA AMPARO.
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS TELEMATICOS.

Resumen: El mecanismo de vistas en bases de datos relacionales es de gran utilidad debido, entre otras cosas, a que permite restringir la visibilidad de los datos de las aplicaciones. Por razones similares es importante poder crear vistas sobre bases de datos orientadas a objetos. En estaTesis Doctoral se define un modelo para derivación de vistas en el cual se hace un tratamiento integral de los objetos que las poblaran al considerar tanto la parte estática como la dinámica de los mismos. Los elementos en las vistas pueden aparecerexactamente igual a como estaban en el esquema conceptual, pueden tener nuevo nombre o bien nueva interfaz en la cual se supriman, renombre o creen nuevas características. En este último apartado se tiene la posibilidad de dotar de nuevo comportamiento a los objetos de las vistas. Para cada operación en la derivación se analiza cómo alterará el comportamiento de los objetos en la vista, razón por la cual se especifica un algoritmo para resolución de nombres.

Autor: MIRANDA PANTOJA JOSE MIGUEL.
Año: 1997.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: FISICA APLICADA III (ELECTRICIDAD Y ELECTRONICA) PROGRAMA DE DOCTORADO: TECNICAS AVANZADAS EN ELECTRONICA.

Resumen: En esta tesis se presenta una investigación sobre las técnicas de simulación y medida del ruido a frecuencias elevadas generado en un semiconductor de interés tecnológico, bajo condiciones alejadas del equilibrio. Se ha desarrollado un simulador que permite obtener la temperatura de ruido en GaAs homogéneo mediante el método de Monte Carlo. En este simulador se utiliza un procedimiento para optimizar la eficiencia del método, minimizando las llamadas a la rutina que genera los números aleatorios. Se ha utilizado una técnica de estimación espectral basada en el método de Máxima Entropía, y se ha demostrado que esta técnica supera en eficiencia a las técnicas convencionales basadas en la transformada discreta de Fourier cuando los espectros se aproximan a un comportamiento lorentziano. Se han realizado refinamientos a los modelos físicos de los mecanismos de dispersión para simular condiciones de alta degeneración. Entre estos refinamientos destacan la utilización del Principio de Exclusión de Pauli, la modelización de los efectos de apantallamiento en las vibraciones de la red, y la inclusión de los acoplos entre las oscilaciones del plasma generado por los electrones libres y las vibraciones de la red. Se ha desarrollado un sistema experimental para la medición del ruido a frecuencias de microondas, con el cual se han caracterizado distintas muestras de GaAs degenerado. Los resultados de estas medidas demuestran que el simulador es capaz de predecir con precisión el ruido generado por las muestras. Asimismo, el sistema desarrollado ha demostrado su versatilidad para cualificar tecnologías de fabricación de distintos dispositivos semiconductores.

Autor: RODRIGUEZ HERNANDEZ PEDRO SALVADOR.
Año: 1997.
Universidad: VIGO.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: TECNOLOGIAS DE LAS COMUNICACIONES PROGRAMA DE DOCTORADO: INGENIERIA TELEMATICA.

Resumen: El objetivo de esta Tesis es aportar técnicas de sincronización que permitan planificar un conjunto de tareas de tiempo real bajo el algoritmo conocido como Earliest Deadline First (EDF) de una manera eficiente (es decir, que todas las tareas cumplan las restricciones de tiempo real a la vez que tengan garantizada la exclusión mutua en sus accesos a los recursos compartidos), y lo más liviana posible. Para alcanzar este objetivo, se aporta una caracterización más precisa del protocolo de techo dinámico de prioridad (DPCP), para el cual, así como para los otros protocolos que emplean el mecanismo de techo de prioridad se propone una simplificación a la que se denomina reducción canónica. Se propone y se estudia una adaptación a EDF del protocolo básico de herencia de prioridad (BIP), al que se denomina protocolo básico de herencia de plazo (BDIP), y, finalmente, se propone y se caracteriza una simplificación de este último, con el nombre de BDIP-1, el cual puede obtener altos factores de utilización con bajas cargas administrativas.

Autor: SAHELICES FERNANDEZ BENJAMIN.
Año: 1997.
Universidad: VALLADOLID.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INFORMATICA (CCIA, LSI Y ATC) PROGRAMA DE DOCTORADO: TECNOLOGIAS DE LA INFORMACION .

Resumen: Se ha desarrollado una arquitectura llamada COMA-BC, de tipo MIMD, con organización de memoria distribuida, espacio de direcciones compartido y formada por la interconexión de computadores como nodos básicos de proceso. Esta arquitectura tiene dos aspectos novedosos: utilización de un protocolo de coherencia de tipo COMA y estar basada en una red de interconexión de medio compartido. El protocolo de coherencia que se ha desarrollado es de tipo híbrido, snoopy más directorios limitados. La evaluación de la arquitectura propuesta se ha realizado mediante un emulador de tipo multicomputador. Utilizando dicho emulador se han ejecutado aplicaciones de memoria compartida del repertorio SPLASH-2. Los resultados obtenidos en la ejecución de las mencionadas aplicaciones tienen buena correlación con otros que aparecen en la bibliografía. Se ha constatado un uso de la red bajo, estando en algunas aplicaciones por debajo de 0.05-bytes/instrucción. Los datos obtenidos avalan la posibilidad de construir un multicomputador altamente programable, con buenas características de escalabilidad, altas prestaciones y bajo coste basado en COMA-BC.

Autor: VADILLO ZORITA JOSE MANUEL.
Año: 1997.
Universidad: PAIS VASCO.
Centro de lectura: INFORMATICA .
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS.

Resumen: Los sistemas Tutores Inteligentes (ITSs: Intelligent Tutoring Systems) han sido utilizados a lo largo de su historia en distintos dominios. Actualmente entre otros campos, se están aplicando a tareas de entrenamiento de personas en entornos industriales. Principalmente aportan grandes ventajas en aquellos entornos donde el entrenamiento sobre el sistema real implica riesgos personales o bien económicos. En este tipo de sistemas resulta imprescindible considerar la representación del dominio de entrenamiento, la simulación de dicho dominio, la planificación, el seguimiento de las sesiones de entrenamiento y la generación de explicaciones. Además, si se quiere facilitar un entrenamiento adaptado a las características del alumno, deberá considerarse la utilización de un modelo del alumno que registre la información asociada a su perfíl de entrenamiento. En esta tesis se han considerado los aspectos anteriores con el objetivo de diseñar una arquitectura capaz de mejorar las facilidades de explicación de los sistemas tutores de entrenamiento. Para ello, se han estudiado y utilizado técnicas de modelización y simulación cualitativas, que junto con las nuevas tendencias en diseño de ITTs han permitido obtener los componentes del sistema e integrarlos dentro de una arquitectura genérica para la generación de explicaciones dinámicas, obteniendo así el sistema GENEX. Las principales aportaciones realizadas en GENEX y que son descritas en esta tesis son las siguientes: * La modelización del dominio del sistema GENEX incluye información relativa al comportamiento del sistema. Para ello se han obtenido y representado modelos cualitativos causales dentro de la modelización del dominio. * GENEX incorpora un simulador cualitativo para la propagación de las restricciones expresadas en los modelos causales. * El sistema GENEX incorpora dentro del módulo Tutor diferentes planificadores dinámicos de explicaciones que permiten generar explicaciones para diferentes tareas instruccionales. * La representación del modelo del alumno ha sido ampliada con información necesaria para la planificación de las explicaciones.

Autor: BORRAS VESES ELISEO.
Año: 1996.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: ARQUITECTURA.
Centro de realización: DEPARTAMENTO: ESTRUCTURA ARQUITECTURA - SECC. MATEMATICA INFORMATICA PROGRAMA DE DOCTORADO: MATEMATICA APLICADA.

Resumen: LA MEMORIA SE HA ESTRUCTURADO EN SEIS CAPITULOS. EN EL PRIMER CAPITULO SE REALIZA UNA INTRODUCCION GENERAL A LOS PROCESOS ALEATORIOS DESCRIBIBLES EN TERMINOS DE MODELOS ALEATORIOS Y SU CONTRAPOSICION A LOS MODELOS BORROSOS (FUZZY SETS). EN EL CAPITULO 2 SOBRE METODOS DE SIMULACION, COMPROBAMOS QUE, UTILIZANDO GENERADORES ALEATORIOS COMPUTACIONALES O DE OTRAS CLASES Y MEDIANTE UN ANALISIS DE DATOS ES POSIBLE ESTUDIAR MUCHAS SITUACIONES ALEATORIAS Y DETERMINISTAS, HACIENDO ESPECIAL ENFASIS EN: LAS VARIABLES ALEATORIAS DISCRETAS (ACOTADAS O NO), LOS PROCESOS DE POISSON Y NORMALES Y LOS ALGORITMOS DENOMINADOS GENETICOS. EN EL CAPITULO 3, A TRAVES DE UN MODELO DE FLUJO ANALIZAMOS CIERTAS CADENAS DE MARKOV Y EL ABACO PROBABILISTICO CON ESPECIAL ATENCION A LAS CADENAS ABSORBENTES Y ERGODICAS. EN EL CAPITULO 4 Y EN EL MARCO DE LA TEORIA DE JUEGOS ABORDAMOS EL ESTUDIO DE LOS TIEMPOS DE ESPERA EN PROCESOS ALEATORIOS, LAS ESTRATEGIAS OPTIMAS A SEGUIR EN JUEGOS DE AZAR, REALIZANDO UN ESTUDIO ESPECIAL DE LAS PROBABILIDADES GEOMETRICAS EN LA LINEA DE LA GEOMETRIA INTEGRAL DE SANTALO. EN EL CAPITULO 5 ABORDAMOS, CON UNA OPTICA INTERDISCIPLINAR, LA DESCRIPCION DE DETERMINADOS PROCESOS RETROACTIVOS. FINALMENTE, EL CAPITULO 6 SE DEDICA A UN ANALISIS DIDACTICO AMPLIO SOBRE LA COMPLEJIDAD DE LOS CONCEPTOS ESTOCASTICOS EN LA ENSEÑANZA Y COMO LOS INSTRUMENTOS MATEMATICOS QUE LA MEMORIA ABORDA EN LOS CINCO PRIMEROS CAPITULOS SE PUEDEN USAR EN LA ENSEÑANZA DEL AZAR, MOSTRANDO, POR EJEMPLO, COMO LA SIMULACION Y EL ABACO PROBABILISTICO POSIBILITAN UNA PRESENTACION EN LA ETAPA SECUNDARIA DE TEMAS ANTES RESERVADOS A NIVELES SUPERIORES.

Autor: BRESME FERNANDEZ FERNANDO.
Año: 1996.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: QUIMICA.
Centro de realización: DEPARTAMENTO: QUIMICA FISICA I PROGRAMA DE DOCTORADO: QUIMICA FISICA.

Resumen: EN ESTA TESIS SE HAN INVESTIGADO DIFERENTES SISTEMAS ASOCIADOS, UTILIZANDO ECUACIONES INTEGRALES Y TECNICAS DE SIMULACION. SE PRESENTAN MODELOS PARA SISTEMAS QUIMICO FISICOS DE ALTO INTERES COMO SON EL AGUA Y DISOLUCIONES IONICAS. SE ESTUDIA EL EFECTO DE LA ASOCIACION EN PROPIEDADES ESTRUCTURALES Y TERMODINAMICAS, EN ESPECIAL SOBRE LA ASIMETRIA DEL DIAGRAM LIQUIDO VAPOR. UN EXTREMO DE LA ASOCIACION MOLECULAR, COMO ES LA FORMACION DE AGREGADOS POLIATOMICOS HA SIDO ESTUDIADO EN SISTEMAS DIATOMICOS (NITROGRENO Y CLORO) Y EN LA MOLECULA DE AGUA.

Autor: CASTRO MORERA MARIA.
Año: 1996.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: EDUCACION.
Centro de realización: DEPARTAMENTO: METODOS DE INVESTIGACION Y DIAGNOSTICO EN EDUCACION PROGRAMA DE DOCTORADO: DIAGNOSTICO, MEDIDA Y EVALUACION DE LA INTERVENCION EDUCACION.

Resumen: EL META-ANALISIS SE HA CONFIGURADO COMO LA HERRAMIENTA DE SINTESIS DE RESULTADOS DE INVESTIGACION MAS POTENTE Y CORRECTA METODOLOGICAMENTE. SIN EMBARGO, LOS MODELOS MATEMATICOS Y LOS ESTIMADORES EMPLEADOS CLASICAMENTE HAN DEMOSTRADO SU POTENCIA Y TAMBIEN SU DEBILIDAD. EN LA LITERATURA APARECE UN NUEVO MODELO LOS MODELOS JERARQUICOS LINEALES QUE EMPLEAN UN MODELO DE EFECTOS MIXTOS Y ESTIMADORES EMPIRICO-BAYESIANOS. LA EVALUACION DEL FUNCIONAMIENTO DE ESTA NUEVA ALTERNATIVA APLICADA AL META-ANALISIS FRENTE AL FUNCIONAMIENTO DE LOS MODELOS Y ESTIMADORES CLASICAMENTE EMPLEADOS NO HA SIDO REALIZADA TODDVIA. ESTA TESIS DOCTORAL SE CENTRA EN LA EVALUACION DEL COMPORTAMIENTO ESTADISTICO DE ESTA NUEVA ALTERNATIVA INTEGRADORA, CON LA INTENCION DE PODER UNA PAUTA CLARA EN LOS PROCEDIMIENTOS DE SINTESIS DE RESULTADOS DE INVESTIGACION. LA METODOLOGIA EMPLEADA ES UNA SIMULACION MONTE CARLO, QUE PERMITE COMPARAR ALTERNATIVAS EN BASE A CRITERIOS NETAMENTE OBJETIVOS. LOS RESULTADOS DE ESTE TRABAJO MUESTRAN LA SUPERIORIDAD DE LOS MODELOS JERARQUICOS LINEALES EN LA SINTESIS CUANTITATIVA DE LA EVIDENCIA EN EL AMBITO DE LAS CIENCIAS SOCIALES, PUESTO QUE SUS ESTIMADORES ESTAN ESCASAMENTE SESGADOS, SON ALTAMENTE EFICIENTES, ROBUSTOS Y SUS PRUEBAS DE CONTRASTE MUESTRAN POTENCIA POR ENCIMA DE LOS NIVELES NOMIMALES.

Autor: FRONTERA BECCARIA CARLOS.
Año: 1996.
Universidad: BARCELONA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: ESTRUCTURA I CONSTITUENTS DE LA MATERIA PROGRAMA DE DOCTORADO: ESTRUCTURA I CONSTITUENTS DE LA MATERIA.

Resumen: SE PRESENTA EN ESTA TESIS UN ESTUDIO MEDIANTE SIMULACION DE MONTE CARLO DEL EFECTO QUE TIENEN LAS VACANTES EN LOS PROCESOS DE ORDENACION QUE TIENEN LUGAR DESPUES DE UN PROCESO DE TEMPLE DE UNA ALEACION BINARIA. LA PRINCIPAL CARACTERISTICA DE LAS SIMULACIONES DE MONTE CARLO QUE SE PRESENTAN ES QUE SUPONEN QUE LA ORDENACION EN EL SOLIDO TIENE LUGAR MEDIANTE EL MOVIMIENTO DE VACANTES MOVILES. ESTA SUPOSICION AYUDA A REBAJAR LA CRUDEZA DE LOS MODELOS RETICULARES HABITUALMENTE EMPLEADOS PARA SIMULAR LOS PROCESOS DE ORDENACION EN LOS SOLIDOS CRISTALINOS. LAS SIMULACIONES SE HAN LLEVADO A CABO SOBRE REDES BIDIMENSIONAL CUADRADA, TRIDIMENSIONAL BCC LOS RESULTADOS MAS DESTACABLES SON LA CONFIRMACION DE LA VALIDEZ DE ESCALAMIENTO DINAMICO, Y LA CONFIRMACION DE LA LEY DE EVOLUCION EN POTENCIA DEL TIEMPO, PERO CON UNOS EXPONENTES MAYORES QUE LOS PREDICHOS POR LA LEY DE ALLEN-CAHN EN EL CASO DE LA RED CUADRADA Y DE LA RED BCC Y MENORES EN EL CASO DE LA RED FCC. TAMBIEN SE HA ENCONTRADO QUE LOS EXPONENTES DE EVOLUCION DEL TAMAÑO MEDIO DE LOS DOMINIOS ORDENADOS DEPENDE DE LA TEMPERATURA FINAL DEL PROCESO DE TEMPLE. TAMBIEN SE HA ESTUDIADO EL PROCESO DE ALEACION POR DIFUSION, ENCONTRANDOSE, ENTRE OTROS, QUE LA EVOLUCION DE LAS LONGITUDES QUE DESCRIBEN EL PROCESO ES EN LEY DE POTENCIAS, Y QUE LAS INTERFASES QUE SE FORMAN TIENE CARACTER DE FRACTAL AUTO-AFIN.

Autor: GARCIA FUENTE PILAR ALMUDENA.
Año: 1996.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS DE MINAS .
Centro de realización: DEPARTAMENTO: EXPLOTACION Y PROSPECCION DE MINAS PROGRAMA DE DOCTORADO: EXPLOTACION Y PROSPECCION DE MINAS.

Resumen: EL OBJETIVO DE ESTA TESIS ES LA ELABORACION DE UN SISTEMA EXPERTO DE PREDICCION DE DESAGUES A PARTIR DE DATOS PLUVIOMETRICOS DIARIOS Y CAUDALES DE UN RIO. SU FUTURA APLICACION PRACTICA ESTARIA EN EL DISEÑO DE NUEVAS INSTALACIONES DE DESAGUE DE EXPLOTACIONES SUBTERRANEAS, O EN LA AUTOMATIZACION DE LAS INSTALACIONES EXISTENTES. ADEMAS PODRIA UTILIZARSE PARA OPTIMIZAR LA PLANIFICACION HORARIA DEL DESAGUE APROVECHANDO AL MAXIMO LAS BONIFICACIONES HORARIAS EN EL PRECIO DE LA ENERGIA. POR OTRO LADO, PODRIA APLICARSE EN LA PREDICCION DE AVENIDAS DE AGUA CAUSADAS POR INTENSAS PRECIPITACIONES O DESHIELO. POR ULTIMO, Y CON MENOS PRECISION, SERVIRIA PARA ESTIMAR LA INFLUENCIA EN EL DESAGUE DE LA APERTURA DE NUEVAS PLANTAS. ESTE TRABAJO SE BASA EN UN MODELO MATEMATICO DE TANQUES INTERCONECTADOS, UTILIZADO AMPLIAMENTE PARA SIMULAR EL COMPORTAMIENTO DE LOS ACUIFEROS CARSTICOS. DEBIDO A LA INTENSA EXPLOTACION DEL CARBONIFERO, LA ZONA AFECTADA POR LAS LABORES MINERAS PUEDE SER CONSIDERADA COMO UN AUTENTICO ACUIFERO DE TIPO CARSTICO. DE ESTE MODELO SE OBTIENE UNA FUNCION DE TRANSFERENCIA QUE PERMITE GENERAR UNA SERIE DE CAUDALES DESAGUADOS A PARTIR DE LAS CORRESPONDIENTES SERIES DE PRECIPITACIONES Y CAUDALES DEL RIO (ESTA ULTIMA CON CARACTER OPCIONAL). LA PRINCIPAL DIFICULTAD ESTRIBA EN LA CALIBRACION DEL MODELO COMPARANDO LA SERIE REAL DE CAUDALES CON LA SERIE GENERADA. EL SISTEMA EXPERTO BUSCA LOS PARAMETROS DE LA FUNCION DE TRANSFERENCIA QUE OPTIMIZAN EL RESULTADO, MINIMIZANDO EL ERROR RELATIVO OBTENIDO EN LA GENERACION DE LA SERIE DE CAUDALES. ES ADAPTABLE A OTRAS EXPLOTACIONES DE CARACTERISTICAS SIMILARES.

Autor: HERNANDEZ MORERA PABLO VICENTE.
Año: 1996.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: ELECTRONICA, TELEMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: "INGENIERIA ELECTRONICA".

Resumen: LA APARICION DE ARQUITECTURAS BASADAS EN LA EXISTENCIA DE VARIOS PROCESADORES FUERTEMENTE ACOPLADOS HA IMPULSADO LA APARICION DE TECNICAS DE PROGRAMACION PARALELAS, DONDE EL PROGRAMA SECUENCIAL ES PARTICIONADO EN SUBCONJUNTOS DISJUNTOS Y EJECUTADO POR DIFERENTES PROCESADORES. UN CAMPO DE APLICACION ES EN LAS SIMULACIONES DEBIDO A SU ALTO COSTE COMPUTACIONAL. EL FORMALISMO ELEGIDO PARA LA REPRESENTACION DE LOS SISTEMAS A SIMULAR ES EL DE LAS REDES DE PETRI POR LOS SIGUIENTES MOTIVOS: FACILIDAD DE USO, POSIBILIDAD DE DESCRIBIR CONDICIONES TEMPORALES, PERMITE MODELAR CON DIFERENTES GRADOS DE DETALLE. EL OBJETIVO DE LA TESIS ES OBTENER UN ALGORITMO QUE EXTRAIGA EL MAXIMO PARALELISMO DE UNA RED DE PETRI DE ALTO NIVEL TEMPORIZADA, GARANTIZANDO UNOS RESULTADOS DE SIMULACION CORRECTOS CON LA INTENCION DE FACILITAR SU EJECUCION SOBRE UNA ARQUITECTURA MULTIPROCESADORA Y DISMINUIR SU TIEMPO DE EJECUCION. EL ALGORITMO DE SIMULACION PARALELA SE BASA EN EL CONCEPTO DE DISTANCIA TEMPORAL ENTRE DOS TRANSICIONES DE LA RED. MEDIANTE DICHO CONCEPTO SE CONOCE LA POSIBLE INTERACCION DE DOS TRANSICIONES EN EL TIEMPO, LO QUE FACILITA LA LOCALIZACION DEL CONJUNTO DE TRANSICIONES DE LA RED MUTUAMENTE INDEPENDIENTES PARA SER DISPARADAS CONCURRENTEMENTE. LOS RESULTADOS OBTENIDOS SOLO SERAN CORRECTOS SI SE MANTIENEN INVARIANTES LAS RELACIONES DE CAUSALIDAD EXISTENTES ENTRE LOS DISPAROS. CUANDO EL CONJUNTO DE DISPAROS O TAREAS A REALIZAR ES MAYOR QUE EL NUMERO DE PROCESADORES SURGE LA NECESIDAD DE OPTIMIZAR LA DISTRIBUCION DE TAREAS, POR LO QUE SE ANALIZAN ALGUNOS ALGORITMOS DE DISTRIBUCION HEURISTICOS. FINALMENTE, EL ALGORITMO DE SIMULACION PARALELA PROPUESTO ES ENSAYADO SOBRE UN MODELO DE RED LOCAL ETHERNET.

Autor: MORENO HERNANDEZ FRANCISCO JAVIER .
Año: 1996.
Universidad: GRANADA.
Centro de lectura: CIENCIAS DE LA ACTIVIDAD FISICA Y EL DEPORTE.
Centro de realización: DEPARTAMENTO: EDUCACION FISICA Y DEPORTIVA PROGRAMA DE DOCTORADO: MOTRICIDAD HUMANA, APRENDIZAJE Y ALTO RENDIMIENTO.

Resumen: FRUTO DEL RESULTADO DEL TRABAJO PROCEDENTE DE UNA DE LAS LINEAS EXPERIMENTALES DEL GRUPO DE INVESTIGACION "ANALISIS DEL MOVIMIENTO HUMANO" (COD. 1169), ESTA TESIS DOCTORAL SE RESUME EN DOS ARGUMENTOS: 1- DESARROLLO DE UN SISTEMA COMPUTARIZADO DE REGISTRO DE LA RESPUESTA MOTORA DE REACCION DE ELECCION APLICANDO EL SOFTWARE ESPECIFICO Y EL INSTRUMENTAL NECESARIO PARA PERMITIR LA SIMULACION DEPORTIVA A TRAVES DE EMISION DE SEÑALES VISUALES Y SONORAS QUE SE APROXIMEN AL JUEGO REAL. 2- MEJORA DE LA EFICACIA DEPORTIVA ANTE LA SITUACION DE JUEGO REAL EN AQUELLAS ACCIONES ENTRANADAS, REFLEJANDOSE EN LA MEJORA DEL TIEMPO INVERTIDO Y Y LA PRECISION DEL GESTOR MOTOR, Y ASI, COMPROBAR LA EFECTIVIDAD DE UN TRATAMIENTO DE ESTRATEGIAS DE ANTICIPACION ASOCIADO AL SISTEMA AUTOMATIZADO PROPUESTO.

Autor: RENDON GALLON ALVARO.
Año: 1996.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: DEPARTAMENTO: INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS TELEMATICOS.

Resumen: SE DEFINE UNA METODOLOGIA DE PRUEBAS PARA SISTEMAS DE TIEMPO REAL INTEGRADA AL PROCESO DE DESARROLLO DE MODO QUE LAS PRUEBAS SE DISEÑAN Y EJECUTAN A LO LARGO DE LAS DIFERENTES FASES DEL CICLO DE VIDA. LAS PRUEBAS SE APLICAN A MODELOS EJECUTABLES DE ESPECIFICACION, DISEÑO E IMPLEMENTACION, EN UN ENTORNO DE DESARROLLO EN EL CUAL LAS NOTACIONES GRAFICAS DE LOS MODELOS SE CONVIERTEN Y EJECUTAN COMO UNA RED DE PETRI TEMPORIZADA DE ALTO NIVEL (HLTPN) DISTRIBUIDA. LOS CASOS DE PRUEBA SE OBTIENEN A PARTIR DE PROPOSITOS DE PRUEBA DEFINIDOS CON BASE EN ESCENARIOS DE EVENTOS, TRANSACCIONES Y RESTRICCIONES TEMPORALES. LA NOTACION UTILIZADA SON LOS DIAGRMAS DE SECUENCIAS DE MENSAJES (MSC) CON ALGUNAS EXTENSIONES PROPUESTAS PARA EL EFECTO. TAMBIEN SE CARACTERIZAN LOS TERMINADORES NECESARIOS PARA CONECTAR EL PROBADOR CON EL SISTEMA BAJO PRUEBA Y SE PROPONEN SUS MODELOS HLTPN. SOBRE ESTA BASE SE DESARROLLAN LOS ALGORITMOS PARA CONVERTIR LOS CASOS PRUEBA MSC A HLTPN. POR ULTIMO SE DESCRIBEN LAS HERRAMIENTAS DE EJECUCION Y ANIMACION DE CASOS DE PRUEBA Y UN TRAGADOR MSC DE EVENTOS.

Autor: RODRIGUEZ FERNANDEZ ANGEL.
Año: 1996.
Universidad: LEON.
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES .

Resumen: DESPUES DE LA PRESENTACION DE LOS ANTECEDENTES, SE DESARROLLA UNA NUEVA METODOLOGIA DE SIMULACION QUE INCLUYE LA CONSIDERACION DE LAS FUNCIONES Y NO SOLO LOS COMPONENTES DEL SISTEMA A SIMULAR, LO QUE PERMITE UN CONOCIMIENTO MAS PROFUNDO Y GLOBAL DEL SISTEMA.COMO APLICACION DE ESTA METODOLOGIA SE ANALIZA EL SUBSISTEMA DE ENTRADAS-SALIDAS DE UNA CONFIGURACION INFORMATICA.

Autor: RODRIGUEZ FERRAN ANTONIO.
Año: 1996.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS DE CAMINOS .
Centro de realización: DEPARTAMENTO: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE CAMINOS, C. Y P. PROGRAMA DE DOCTORADO: INGENIERIA CIVIL.

Resumen: EN ESTA TESIS SE PRESENTA UNA METODOLOGIA PARA LA SIMULACION NUMERICA DE PROCESOS CUASISTATICOS EN MECANICA DE SOLIDOS NO LINEAL, BASADA EN UNA FORMULACION ARBITRARIAMENTE LAGRANGIANA-EULERIANA (ALE) DEL PROBLEMA.SE HACE UN ENFOQUE GENERALISTA, QUE ABARCA ALGUNAS CUESTIONES FUNDAMENTALES EN MECANICA COMPUTACIONAL Y EN ANALISIS NUMERICO: LA RESOLUCION DE SISTEMAS NO LINEALES DE ECUACIONES ALGEBRAICAS Y LA INTEGRACION DE LAS ECUACIONES CONSTITUTIVAS NO LINEALES.COMO ENTORNO DE TRABAJO SE UTILIZA UN CODIGO ORIENTADO AL OBJECTO, UNA HERRAMIENTA MUY UTIL EN TAREAS DE INVESTIGACION PUES PROPORCIONA UN LENGUAJE INTERACTIVO DE PROGRAMACION ALTAMENTE CONCEPTUAL. ESTE LENGUAJE PERMITE IMPLEMENTAR Y ESTUDIAR LOS ALGORITMOS NUMERICOS DE MANERA SENCILLA Y EFICAZ. LAS PRINCIPALES APORTACIONES DEL TRABAJO SON: (1) LA ADAPTACION DE DISTINTOS METODOS PARA LA RESOLUCION DE SISTEMAS NO LINEALES DE ECUACIONES A LA TECNICA DE LOS MULTIPLICADORES DE LAGRANGE: DESARROLLO DE ALGORITMOS, ANALISIS DE CONVERGENCIA E IMPLEMENTACION NUMERICA; (2) EL DESARROLLO DE UNA ESTRATEGIA PARA EL ANALISIS DEL ORDEN DEL ERROR DE ESQUEMAS NUMERICOS DE INTEGRACION DE LAS ECUACIONES CONSTITUTIVAS NO LINEALES EN MECANICA DE SOLIDOS CON GRANDES DEFORMACIONES, Y LA APLICACION DE DICHA ESTRATEGIA A DOS ALGORITMOS; (3) EL TRATAMIENTO UNIFICADO DE LA FORMULACION ALE DE PROBLEMAS CUASISTATICOS Y DINAMICOS; (4) EL DESARROLLO DE ALGORITMOS PARA EL TRATAMIENTO DE LOS TERMINOS CONVECTIVOS EN LAS ECUACIONES CONSTITUTIVAS ALE.

Autor: VEGAS LOZANO ESTEBAN.
Año: 1996.
Universidad: BARCELONA.
Centro de lectura: BIOLOGIA .
Centro de realización: DEPARTAMENTO: ESTADISTICA PROGRAMA DE DOCTORADO: PROBABILITATS I ESTADISTICA .

Resumen: EL PRINCIPAL RESULTADO ES LA PRESENTACION Y ESTUDIO DE UNA TECNICA DE OPTIMIZACION EN ESTUDIOS DE MONTE CARLO EN ESTADISTICA. SE BASA EN OBTENER UN ESTIMADOR DE LA ESPERANZA DE UNA VARIABLE DICOTOMICA, Y, QUE TIENE UNA VARIANZA MENOR QUE EL ESTIMADOR HABITUAL, LA FRECUENCIA RELATIVA. ESTE ESTIMADOR OPTIMIZADO SE BASA EN EL CONOCIMIENTO DE OTRA VARIABLE DICOTOMICA (DE CONTROL), C, CORRELACIONADA CON Y Y DE ESPERANZA CONOCIDA E (C). LA APLICACION DE ESTA TECNICA ES SENCILLA DE IMPLEMENTAR. EN SIMULACION DE MONTE CARLO EN ESTADISTICA ES RELATIVAMENTE FRECUENTE DISPONER DE TALES VARIABLES DE CONTROL. ASI, POR EJEMPLO, EN ESTUDIOS DE SIMULACION DE LA POTENCIA DE UN NUEVO TEST NO PARAMETRICO SE PUEDE UTILIZAR EN OCASIONES UN TEST PARAMETRICO COMPARABLE, DE POTENCIA CONOCIDA. ADEMAS, SE PROPUSO UN NUEVO TEST PARA EL PROBLEMA DE BEHRENS-FISHER BASADO EN LA DISTANCIA DE RAO, AL CUAL SE LE APLICA LA ANTERIOR TECNICA PARA CONOCER SU POTENCIA Y ROBUSTEZ.