Cibernetia > Tesis doctorales
Búsqueda personalizada

Índice > CIENCIAS TECNOLOGICAS >

TECNOLOGIA DE LOS ORDENADORES



23 tesis en 2 páginas: 1 | 2
  • APRENDIZAJE AUTOMATICO EN CONJUNTOS DE CLASIFICADORES HETEROGENEOS Y MODELADO DE AGENTES .
    Autor: LEDEZMA ESPINO AGAPITO ISMAEL.
    Año: 2004.
    Universidad: CARLOS III DE MADRID.
    Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
    Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.
    Resumen: Una de las áreas que más auge ha tenido en los últimos años dentro del aprendizaje automático es aquella en donde se combinan las decisiones de clasificadores individuales. Esto se hace con la finalidad de que la decisión final de a qué clase pertenece un ejemplo sea tomada por un conjunto de clasificadores. Entre los algoritmos de generación de conjuntos se encuentra Stacking, el cual genera los clasificadores del conjunto a partir de distintos algoritmos de aprendizaje y utilizando dos niveles de aprendizaje. Un problema inherente a Stacking es determinar la configuración de los parámetros de aprendizaje del algoritmo, entre ellos, qué algoritmos deben ser utilizados en la generación de los clasificadores del conjunto. Esta tesis doctoral propone la utilización de Algoritmos Genéticos, como técnica de optimización, para encontrar la configuración adecuada de los parámetros de Stacking. En situaciones competitivas y/o colaborativas, el conocimiento que se posea sobre los individuos involucrados en el escenario, proporciona una clara ventaja a la hora de tomar una decisión. Existen diversas formas de adquirir este conocimiento, una de ellas es a través del modelado del comportamiento de los agentes. Un segundo objetivo de esta tesis doctoral es la utilización de técnicas de aprendizaje automático para la adquisición de estos modelos.
  • Complete Sat Solvers for Many-Valued CNF formulas .
    Autor: Ansótegui Gil Carlos José.
    Año: 2003.
    Universidad: LLEIDA .
    Centro de lectura: Escola Politècnica Superior.
    Centro de realización: Escola Politècnica Superior.
    Resumen: SATS is formally defined as the problem of deciding the satisfiability of a class of many-valued clausal forms called Signed CNF formulas (S-formulas). An S-formula is a classical propositional conjunctive clause form based on a generalised notion of literal, called S-literal. Given a domain N
  • DATA WAREHOUSING UN MODELO DE REPOSITORIO DE METADATOS BASADO EN EL PROCESAMIENTO HUMANO DE INFORMACION .
    Autor: LUNA RAMIREZ ENRIQUE.
    Año: 2003.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: FACULTAD DE INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA.
    Resumen: En este trabajo de investigación se propone un modelo de repositorio para almacenar y recuperar los metadatos de un data warehouse tomando como base el paradigma del procesamiento humano de informacion. Así, el modelo incluye un conjunto de funcionalidades distintivas consistentes en el almacenamiento temporal de los metadatos de uso frecuente en un almacén distinto al almacén global de los metadatos del data warehouse y en el uso de procesos de control para recuperar información de ambos almacenes de acuerdo a los principios de dicho paradigma. La evaluación del modelo se lleva a cabo mediante la ejecución dos actividades orientadas a verificar su aplicabilidad y su originalidad, consistentes en la aplicación del modelo a un caso real a través de un prototipo y en una comparación analitica del mismo con los diferentes modelos que conforman el estado del arte.
  • JOINT-LEVEL FATIGUE FOR ITS EXPOITATION IN HUMAN POSTURE CHARACTERIZATION AND OPTIMIZATION.
    Autor: RODRÍGUEZ SANTIAGO INMACULADA.
    Año: 2003.
    Universidad: ALCALA.
    Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR .
    Centro de realización: ESCUELA POLITÉCNICA (UNIVERSIDAD DE ALCALÁ).
    Resumen: Esta tesis propone un modelo para calcular fatiga humana a nivel de articulaciones, más precisamente a nivel de grupos musculares. El modelo se usa para la generación computerizada de posturas humanas realistas. Nuestra propuesta es dividir cada articulación de un grado de libertad en dos articulaciones coordinadas, denominadas half-joints. Cada half-joint refleja la actividad de un grupo de músculos asociado con un grado de libertad, en una dirección: la dirección de empuje del correspondiente grupo muscular. En anatomía, estos dos grupos musculares se denominan antagonistas. Los parámetros del modelo son la máxima fuerza muscular y el momento de fuerza actual a nivel de articulación, ambos se usan para calcular un valor de momento de fuerza normalizado. Este valor normalizado se usa para computar el tiempo máximo que una postura puede mantenerse. El modelo integra el tiempo como una variable explícita en un marco de trabajo con Cinemática Inversa, de forma que su evolución a lo largo del tiempo pueda ser explotada tanto para optimización de posturas como en la caracterización de volúmenes alcanzables. Para la optimización de posturas introducimos un patrón de activación para cada articulación que permite establecer una restricción de reducción de fatiga. Estas restricciones se pueden también llamar restricciones fuertes, ya que tiene que asegurarse su mayor prioridad respecto cualquier otra tarea de Cinemática Inversa. El patrón de activación, basado en el fenómeno conocido como histéresis, analiza el nivel de fatiga de una articulación y cuando éste supera un umbral, la variación que sufre la articulación reduce el momento de fuerza por medio de un pequeño incremento compatible con el correspondiente incremento del tiempo. La minimización de la fatiga se consigue usando momentos de fuerza activos y pasivos. Por otro lado, y a un nivel más alto de abstracción, usamos el modelo de fatiga para identificar posturas y volúmenes alcanzables usando este factor fisiológico. De esta forma, una característica que identifica un espacio alcanzable, y en consecuencia una postura, es la fatiga producida durante el tiempo que la postura de alcance se mantiene.
  • ALGORITHMS AND ARCHITECTURES FOR ELEMENTARY FUNCTION COMPUTATION .
    Autor: PIÑEIRO RIOBÓ JOSÉ ALEJANDRO.
    Año: 2002.
    Universidad: SANTIAGO DE COMPOSTELA.
    Centro de lectura: ESCUELA POLITECNICA SUPERIOR .
    Centro de realización: FACULTAD DE FÍSICA.
    Resumen: En esta tesis doctoral se propone un conjunto de nuevos algoritmos y arquitecturas para el cómputo, mediante hardware, de las operaciones de división, recíproco, raíz cuadrada, raíz cuadrada inversa, exponenciales, logaritmos y potencia. Estas operaciones han cobrado gran importancia en aplicaciones de procesado digital de señales (DSP), computación científica, computación gráfica 3D, multimedia, animacion, realidad virtual y videojuegos, entre otras. Los crecientes requerimientos computacionales de estas aplicaciones han llevado al desarrollo de nuevos algoritmos y arquitecturas implementadas en hardware específico, como alternativa a las rutinas software y a las implementaciones existentes, para el cómputo de funciones elementales. Por todo ello, en la tesis se proponen: A,- Un método basado en tablas, y la arquitectura que permite implementarlo, para el cálculo de cualquier función elemental en un formato de punto-flotante en simple-precisión. B,- Algoritmos y arquitecturas de iteración funcinal para el cómputo en doble-precisión de las operaciones de división, recíproco, raíz cuadrada y raíz cuadrada y raiz cuadrada inversa. C,- Algoritmos y arquitecturas de tipo digit-recurrence con radix-alto y aritmética redundante para el cómputo de logaritmo, exponencial y potencia, con una precisión arbitrarias de n bits. Todas las arquitecturas propuestas son evaluadas de acuerdo con un modelo de área y retardo independiente de la tecnología, mostrando resultados que están a la altura, y superan en algunos casos, a implementaciones existentes y a métodos y algoritmos considerados en la literatura científica como pertenecientes al "estado del arte".
  • SINCRONIZACION DE ACCESOS A RECURSOS COMPARTIDOS: ESPECIFICACION Y USO .
    Autor: BORONAT PEREZ PABLO.
    Año: 2001.
    Universidad: JAUME I DE CASTELLON.
    Centro de lectura: TECNOLOGIA Y CIENCIAS EXPERIMENTALES .
    Centro de realización: ESCUELA SUPERIOR DE TECNOLOGIA Y CIENCIAS EXPERIMENTALES.
    Resumen: Esta tesis se divide en dos partes: La primera se engloba en lo que se conoce como memoria compartida distribuida. En ella se propone un modelo de memoria sincronizado al que se ha llamado "Trace". La particularidad de Trace es que en este sistema se puede configurar dependencias entre diferentes secciones criticas. En la segunda parte, se aborda el problema de la prevención de interbloqueos en el ambito de secciones criticas para el control de acceso a recursos compartidos. En esta parte se formaliza las condiciones que debe reunir un programa para que pueda sufrir interbloqueos y se proponen algoritmos de transformación automatica que proporcionan versiones correctas.
  • "APROXIMATION AND GEOMETRIC PROCESSING OF DIGITAL IMAGES WITH ADAPTIVE TRIANGULAR MESHES" .
    Autor: VINTIMILLA BURGOS BORIS XAVIER.
    Año: 2000.
    Universidad: POLITECNICA DE CATALUÑA.
    Centro de lectura: INGENIEROS INDUSTRIALES.
    Centro de realización: IOC.
  • METODOS ESTRUCTURALES PARA EL DISEÑO Y ANALISIS DE SISTEMAS CONCURRENTES MODELADOS CON REDES LUGAR/TRANSICION.
    Autor: RECALDE FRISON LAURA.
    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: Uno de los métodos computacionalmente más eficientes para el análisis de redes de Petri es el basado en la aplicación de técnicas de álgebra lineal. Sin embargo, este método tiene un inconveniente, y es que en general solo se obtienen condiciones necesarias o suficientes, que no siempre permiten decidir. Estas condiciones pueden mejorarse en algunos casos imponiendo ciertas restricciones a los sistemas. En este sentido, dos clases de sistemas lugar/transición se han estudiado en este trabajo: la clase DSSP, obtenida mediante la comunicaci]3n asíncrona de procesos secuenciales, restringida de forma que los procesos no pueden competir por recursos: y la clase (DS)-SP, que se define generalizando recursivamente el proceso de construcción de la clase DSSP. El análisis de estas dos clases ha permitido deducir interesantes propiedades, que en particular mejoran los resultados existentes para el análisis de vivacidad. Otra posibilidad, para extender el conjunto de sistemas para los que los resultados existentes permite decidir, es complementar la técnicas de álgebra lineal con otro tipo de técnicas. En particular, en este trabajo se analiza cómo la aplicación de transformaciones y descomposiciones incrementa el poder de decisión, en el análisis de vivacidad y ausencia de bloqueo, de resultados conocidos basados en álgebra lineal. Finalmente, se estudia el modelo que se que se obtiene al eliminar la restricción de integralidad de los disparos de las transiciones en las redes lugar/transición. Se compara el comportamiento de esta red "continuizada" frente a la red discreta, y se proponen posibles extensiones continuas a algunas propiedades cualitativas que habitualmente se estudian en sistemas lugar/transición discretos.
  • NUEVOS MODELOS DE PREDICCION EN COMPUTACION PARALELA.
    Autor: RODA GARCIA JOSE LUIS.
    Año: 1997.
    Universidad: LA LAGUNA .
    Centro de lectura: CENTRO SUPERIOR DE INFORMATICA.
    Resumen: En este trabajo se estudian los modelos de computación paralela más importantes de los últimos años: el modelo LogP, el modelo C3 y el modelo BSP. Todos ellos presentan contribuciones importantes pero también inconvenientes que los limitan como modelos de carácter general. Se introducen dos nuevas propuestas: el modelo de Patrones y el modelo BSP Sin Barreras (BSPWB). El modelo de Patrones ofrece un conjunto empírico de conductas de los algoritmos que utilizan funciones de comunicaciones colectivas. Cabe destacar el estudio realizado sobre los patrones inyectivos y los patrones tipo "uno a muchos", tanto para multicomputadoras de memoria distribuida como para redes de área local. El modelo BSP Sin Barreras es un modelo de computación asíncrona basado en la utilización de librerías estándar tipo PVM o MPI. Se presenta una metodología para obtener los valores de los parámetros del modelo BSP. Sin Barreras en las librerías MPI y PVM, y sobre diferentes arquitecturas paralelas y redes de estaciones de trabajo. Esta metodología permite observar el grado de cumplimiento de la hipótesis de la h-relación sobre las diferentes máquinas. Las predicciones del modelo BSPWB se muestran con ejemplos que hacen uso de diferentes patrones de comunicaciones y diferentes tamaños de mensajes. En el caso de la Paralelización de la Transformada Rápida de Fourier se utilizan tamaños grandes de mensajes y el patrón de comunicaciones PingPong. Para la ordenación paralela Quicksort, se utiliza el patrón Exchange. El algoritmo de programación dinámica de la asignación de un único recurso utiliza gran cantidad de mensajes de tamaño pequeño. Y el algoritmo de ordenación paralela por muestreo regular utiliza diferentes patrones: OnetoAll, AlltoOne, AlltoAll y diferentes tamaños de mensajes: grandes y pequeños. Los resultados computacionales muestran como el BSPWB permite predecir las comunicaciones con un margen de error muy aceptable.
  • TECNICAS DE ESTIMACION DE CARACTERISTICAS FISICAS EN SINTESIS DE ALTO NIVEL.
    Autor: MECHA LOPEZ HORTENSIA.
    Año: 1995.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: FISICA.
    Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.
    Resumen: EL OBJETIVO PRINCIPAL DE ESTE TRABAJO DE INVESTIGACION ES ESTUDIAR LAS INFLUENCIAS DE LAS CARACTERISTICAS FISICAS DEL CI SOBRE EL AREA Y RETARDO DE LOS DISEÑOS OBTENIDOS EN UN PROCESO DE SINTESIS DE ALTO NIVEL, Y DISEÑAR TECNICAS DE ESTIMACION DE DICHAS CARACTERISTICAS, RAPIDAS, PRECISAS Y FIELES, PARA TODAS LAS FASES DE DICHO PROCESO.EL PRIMER PROBLEMA ABORDADO, ES LA ELABORACION DE UNA FUNCION PARA MEDIR LA CALIDAD DE LOS DISEÑOS OBTENIDOS DURANTE LA ASIGNACION DE HARDWARE EN UN PROCESO DE SINTESIS DE ALTO NIVEL. ESTA FUNCION DEBE SER UNA APROXIMACION AL AREA REAL DEL CIRCUITO, QUE A SU VEZ ES LA SUMA DEL AREA DE LOS MODULOS Y DE LAS INTERCONEXIONES. ESTAS AREAS DEPENDEN DE LA TECNOLOGIA QUE SE ESTE UTILIZANDO, DE LA COLOCACION DE LOS MODULOS EN EL CIRCUITO FINAL, Y DE COMO SE REALICE EL INTERCONEXIONADO DE ESTOS (TANTO DE LAS INTERCONEXIONES INTERNAS DE LOS MODULOS COMO DE LAS EXTERNAS). POR TANTO, DEPENDE DE LAS CARACTERISTICAS FISICAS DEL CI Y DE LAS HERRAMIENTAS Y TECNOLOGIAS DE DISEÑO, Y ES NECESARIO ESTIMARLAS. EN TODOS LOS CASOS LAS ESTIMACIONES SE NECESITAN REALIZAR MUCHAS VECES DURANTE UN PROCESO DE SINTESIS, Y POR TANTO DEBEN SER MUY RAPIDAS. ADEMAS DEBEN SER LO SUFICIENTEMENTE FIELES PARA DIRIGIR CORRECTAMENTE EL PROCESO DE ASIGNACION DE HARDWARE. EN ESTE TRABAJO SE PRESENTA UN METODO DE ESTIMACION DE AREA QUE PUEDE UTILIZARSE DURANTE LAS DISTINTAS FASES DE LA SINTESIS, COMO EN LA PREASIGNACION Y EN LA ASIGNACION DE HARDWARE, Y EN LA GENERACION DEL HARDWARE DE CONTROL, Y QUE ES LO SUFICIENTEMENTE RAPIDO Y FIEL PARA DIRIGIR EL PROCESO DE DISEÑO CORRECTAMENTE, SIN INCREMENTAR LA COMPLEJIDAD DE ESTE. COMO LAS INFLUENCIAS DE LAS CARACTERISTICAS FISICAS EN EL AREA DEL CIRCUITO, DEPENDEN DE LA TECNOLOGIA DE DISEÑO UTILIZADA, Y EL ESTUDIO PARA TODAS ELLAS ES UN TRABAJO DE UNA EXTENSION EXCESIVA, SE PARTICULARIZA EL ESTUDIO PARA CELDAS ESTANDAR. SIN EMBARGO, MUCHAS DE LAS IDEAS PROPUESTAS PUEDEN UTILIZARSE PARA MACROCELDAS Y ARRAYS DE PUERTAS. EL SEGUNDO PROBLEMA QUE SE TRATA EN ESTE TRABAJO ES LA OBTENCION DE CIRCUITOS CON UN FUNCIONAMIENTO ELECTRICO CORRECTO. PARA ESTE FIN, ES NECESARIO CONSIDERAR LOS RETARDOS DE LOS MODULOS E INTERCONEXIONES, QUE A SU VEZ DEPENDEN DE LA TECNOLOGIA UTILIZADA Y DE LOS ALGORITMOS DE COLOCACION E INTERCONEXIONADO DE MODULOS. EL RETARDO DEL INTERCONEXIONADO ES UN DATO QUE NO SE CONOCE HASTA QUE NO SE HA GENERADO EL LAYOUT, Y POR TANTO ES NECESARIO ESTIMARLO. EN ESTE TRABAJO SE PRESENTA UN ALGORITMO DE SELECCION DEL TIEMPO DE CICLO QUE TIENE EN CUENTA LA BIBLIOTECA DE MODULOS DISPONIBLE, CON INFORMACION SOBRE LOS RETARDOS DE LOS MODULOS, Y EL RETARDO DE LAS INTERCONEXIONES, MEDIANTE ESTIMACIONES QUE CONSIDERAN LA TECNOLOGIA UTILIZADA Y LA FOMRA DE TRABAJO DE LOS ALGORITMOS DE COLOCACION E INTERCONEXIONADO DE MODULOS. DE ESTA FORMA, SE ASEGURA QUE LOS CIRCUITOS GENERADOS TIENEN UN COMPORTAMIENTO ELECTRICO CORRECTO. ADEMAS, PARA CONSEGUIR TIEMPOS DE CICLO OPTIMOS, QUE PERMITAN CUMPLIR LOS OBJETIVOS DEL USUARIO EN CUANTO AL AREA Y TIEMPO DE EJECUCION DEL CIRCUITO, SE REALIZA UN ESTUDIO GLOBAL DE LA ESPECIFICACION DADA Y DE LA BIBLIOTECA DE MODULOS.
  • REDES BASADAS EN REENVIO DE CELDAS SOBRE MEDIOS COMPARTIDOS. APLICACION A REDES SATELITE EN DOBLE BUS.
    Autor: ARACIL RICO JAVIER.
    Año: 1994.
    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: EN ESTE TESIS DOCTORAL SE PROPONE UNA TECNICA DE ACCESO MULTIPLE ORIGINAL QUE APLICA A ESCENARIOS DE REDES SATELITE Y EN DOBLE BUS CON MODO DE TRANSFERENCIA ASINCRONA CATM). SE REALIZA ANALISIS DE PRESTACIONES TOMANDO FUENTES CBR, VBR, Y ABR/UBR POR SEPARADO. AL ANALISIS TEORICO SE ACOMPAÑA ESTUDIO DE SIMULACION. SE PROPONE UNA TECNICA ORIGINAL DE REUTILIZACION DE RANURAS EN REDES EN DOBLE BUS Y SE ANALIZA EL CONTROL DE FUENTE Y LAS GARANTIAS DE CALIDAD DE SERVICIO EXTREMO A EXTREMO.
  • ANALISIS, CARACTERIZACION Y RECONSTRUCCION 3D DE MACROMOLECULAS EN MULTIPROCESADORES .
    Autor: CABALEIRO DOMINGUEZ JOSE CARLOS.
    Año: 1993.
    Universidad: SANTIAGO DE COMPOSTELA.
    Centro de lectura: FISICA .
    Centro de realización: DEPARTAMENTO: ELECTRONICA Y COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION AVANZADA E INTELIGENCIA ARTIFICIAL.
    Resumen: EN ESTA MEMORIA SE HA DEMOSTRADO ALGORITMOS PARALELOS PARA EL ALINEAMIENTO Y CENTRADO DE IMAGENES, EL ANALISIS EN COMPONENTES PRINCIPALES Y LA RECONSTRUCCION TRIDIMENSIONAL DE ESPECIMENES BIOLOGICOS. EL SISTEMA UTILIZADO PARA PROGRAMAR LOS ALGORITMOS PARALELOS ES UN MULTIPROCESADOR MIMA BASADO EN TRANSPUTERS, DE MEMORIA DISTRIBUIDA. SE HA CONFIGURADO EL SISTEMA CON TOPOLOGIA HIPERCUBO SEGUN EL ESQUEMA SPMA UTILIZANDO UN MODELO DE PROGRAMACION DE PASE DE MENSAJES.
  • SIMULACION 3D DE DISPOSITIVOS SEMICONDUCTORES EN SISTEMAS MULTIPROCESADOR .
    Autor: FERNANDEZ PENA ANSELMO TOMAS.
    Año: 1993.
    Universidad: SANTIAGO DE COMPOSTELA.
    Centro de lectura: FISICA.
    Centro de realización: DEPARTAMENTO: ELECTRONICA Y COMPUTACION PROGRAMA DE DOCTORADO: COMPUTACION AVANZADA E INTELIGENCIA ARTIFICIAL.
    Resumen: EN ESTA MEMORIA SE HA DESARROLLADO UN SIMULADOR PARALELO PARA DISPOSITIVOS SEMICONDUCTORES BI Y TRIDIMENSIONALES. EL SISTEMA UTILIZADO PARA PROGRAMAR EL SIMULADOR HA SIDO EL MULTIPROCESADOR IPSC/860. SE TRATA DE UN HIPERCUBO MIMA, CON MEMORIA DISTRIBUIDA, BASADO EN EL PROCESADOR RISC INTEL I860. LA PROGRAMACION SE HA HECHO SIGUIENDO UN MODELO DE PAR DE MENSAJES Y UN SISTEMA DE TIPO SPMA.
  • ANALISIS ANTROPOLOGICO DE LA UNIVERSIDAD DE CARNEGIE MELLON (USA) .
    Autor: ROJO AMIL ARCADIO.
    Año: 1992.
    Universidad: BARCELONA.
    Centro de lectura: GEOGRAFIA E HISTORIA.
    Centro de realización: DEPARTAMENTO: DE ANTROPOLOGIA SOCIAL E HISTORIA DE AMERICA Y AFRICA PROGRAMA DE DOCTORADO: MOVIMIENTOS SOCIALES EN AMERICA Y AFRICA.
  • SYSTEM BUILDING: LOS PROYECTOS DE INVESTIGACION DE LA SCHOOL OF COMPUTER SCIENCE DE CARNEGIE MELLON UNIVERSITY.
    Autor: SERRA HURTADO ARTURO.
    Año: 1992.
    Universidad: BARCELONA.
    Centro de lectura: GEOGRAFIA E HISTORIA.
    Centro de realización: DEPARTAMENTO: ANTROPOLOGIA SOCIAL E HISTORIA DE AMERICA Y AFRICA PROGRAMA DE DOCTORADO: MOVIMENTS SOCIALS A AMERICA I AFRICA.
  • ON MAPPING SELECTED GRAPH PROBLEMS ONTO VLSI ARRAY PROCESSORS .
    Autor: NUÑEZ MENDOZA FERNANDO JAVIER.
    Año: 1988.
    Universidad: POLITECNICA DE CATALUÑA.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA DE BARCELONA DE LA UNIVERSIDAD POLITECNICA DE CATALUÑA..
    Resumen: EN ESTA TESIS SE AFRONTA EL DISEÑO DE ESTRUCTURAS COMPUTACIONALES VLSI PARA RESOLVER ALGUNOS PROBLEMAS DE GRAFOS TALES COMO EL DE LOS COMPONENTES CONECTADOS, LA CLAUSURA TRANSITIVA Y EL CAMINO ALGEBRAICO. EN PRIMER LUGAR SE PROPONEN PROCESADORES NISTOLIAS PARA LOS COMPONENTES CONECTADOS Y PARA EL CAMINO ALGEBRAICO CUYAS DIMENSIONES SON DEPENDIENTES DEL TAMAÑO DEL PROBLEMA. DESPUES SE PROPONEN LOS ALGORITMOS DE BLOQUE COMO UNA ALTERNATIVA VALIDA PARA EL DISEÑO DE ARQUITECTURAS QUE RESUELVAN PROBLEMAS DE TAMAÑO ARBITRARIO. ENTONCES, SE APLICA LA SISTEMATIZACION PROPUESTA PARA OBTENER UNA AGRUPACION DE PROCESADORES PARA RESOLVER EL PROBLEMA DEL CAMINO ALGEBRAICO. ADEMAS, SE PROPONEN DOS DESCOMPOSICIONES ORIGINALES DE LA CLAUSURA TRANSITIVA Y DEL CAMINO ALGEBRAICO.
  • AVALUACIO I DISSENY DE XARXES D'INTERCONNEXIO MULTIETAPA PER A SISTEMES MULTIPROCESSADOR .
    Autor: DOMINGO PASCUAL JORDI.
    Año: 1986.
    Universidad: POLITECNICA DE CATALUÑA.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAT D'INFORMATICA DE BARCELONA.
    Resumen: D'ENTRE ELS DIFERENTS TIPUS DE XARXES D'INTERCONNEXIO PER A SISTEMES MULTIPROCESSADOR MIMD S'ESTUDIEN LES XARXES MULTIETAPA ANOMENDES DELTA. PER A XARXES FUNCIONANT EN COMMUTACIO DE CIRCUITS ES PROPOSA LA UTILITZACIO D'UNA UNICA XARXA BIDIRECCIONAL LA QUAL ES MULTIPLEXA EN EL TEMPS DE MANERA QUE MENTRE ELS MODULS DE MEMORIA ESTAN SERVINT UNES PETICIONS LA XARXA ESTA TRANSMETENT PETICIONS I/O CONFIRMACIONS. ES PRETEN ACONSEGUIR LA UTILITZACIO MAXIMA POSSIBLE DELS MODULS DE MEMORIA. ES PROPOSEN DOS MODES DE FUNCIONAMENT: A) ES FAN 2 ACCIONS EN PARAL.LEL (L'ACCES A LA MEMORIA I L'ANADA O LA TORNADA DE LES PETICIONS) B) ES FAN EN PARAL.LEL 3 ACCIONS (L'ACCES A LA MEMORIA L'ANADA DE LA PETICIONS I LA TORNADA). ES PRESENTA TAMBE UN MOEL APROXIMAT QUE PERMET OBTENIR EL THROUGHPUT DE LA XARXA MULTIPLEXADA. PER A XARXES EN COMMUTACIO DE PAQUETS PER TAL D'AUGMENTAR EL THROUGHPUT ES PROPOSEN DOS TIPUS D'ARBITRATGE: A) AMB ANTICIPACIO I B) SOTA DEMANDA. ES PRETENREDUIR EL DESEQUILIBRI QUE ES PRODUEIX EN L'OCUPACIO DE LES CUES D'UN COMMUTADOR I PER AIXO ES PROPOSA UNA GESTIO NO FIFO DE LES CUES. FINALMENT I AMB L'OBJECTIU DE REDUIR EL COMMUTADOR ES PROPOSA LA UTILITZACIO D'UNA UNICA CUA COMPARTIDA DE LLARGARIA Q EN LLOC DE LES DUES CUES DE LLARGARIA Q PER A TOTS ELS COMMUTADORS DE LA XARXA. L'AVALUACIO ES FA PER SIMULACIO I INCLOU LA UTILITZACIO CONJUNTA DELS ARBITRATGES PROPOSATS I DE LES CUES COMPARTIDES.
  • UN ESTUDIO SOBRE LA PARALELIZACION DEL METODO DE RAMIFICACION Y ACOTACION.
    Autor: ORTEGA ORTIZ DE APODACA MANUEL.
    Año: 1986.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: FISICA.
    Centro de realización: DPTO. INFORMATICA Y AUTOMATICA. FACULTAD DE FISICA. UNIVERSIDAD COMPLUTENSE. .
    Resumen: EN EL PRESENTE TRABAJO SE PROPONE UN ESQUEMA PARALELO PARA DICHO METODO CUANDO LA REGLA DE BUSQUEDA ES DEL TIPO PRIMERO EL DEMEJOR COTA. EN SINTESIS EL TRABAJO ESTA ORGANIZADO DE LA SIGUIENTE FORMA: 1) EXPOSICION Y COMENTARIOS DE LAS ARQUITECTURAS PARALELAS Y TECNICAS DE DISEÑO DE PROGRAMAS PARA LAS MISMAS. 2) REVISION DE LOS METODOS YA PROPUESTOSY SUS VENTAJAS E INCONVENIENTES. 3) PROPUESTA DE UN METODO PARALELO BASADO EN LA PARTICIPACION DE LA LISTA DE NODOS VIVOS EN TATAS LISTAS COMO PROCESADORES INCORPORANDO FUNCIONES DE DISTRIBUCION DE NODOS. 4) ESTUDIO DE LOS NODOS CRITICOS Y SU IMPORTANCIA EN LA EVALUACION DE LOS ALGORITMOS DE RAMIFICACION Y ACOTACION PARALELOS. 5) ANALISIS DE LOS REQUERIMIENTOS DE COMUNICACION DE LAS DOS FUNCIONES DE DISTRIBUCION PROPUESTAS CON OBJETO DE PRORRATEAR LA DISTRIBUCION DE LOS NODOS CRITICOS ENTRE TODAS LAS LISTAS. 6) ESTUDIO DE LA EFICIENCIA DEL METODO PROPUESTO EN RELACION CON EL DE LISTA UNICA MEDIANTE LA SIMULACION DE LA RESOLUCION POR AMBOS METODOS DE PROBLEMAS GENERADOS ALEATORIAMENTE.
  • TECNICAS DE CONTROL DISCRETO BASADAS EN UNA REPRESENTACION EXTERNA: EXTENSION APERIODICA .
    Autor: FUSTER SABATER AMPARO.
    Año: 1985.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: FISICA.
    Centro de realización: INSTITUTO DE ELECTRONICA DE COMUNICACIONES (CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS).
    Resumen: DESARROLLO DE UNA MODELIZACION GENERAL E/S PARA SISTEMAS LINEALES MUESTREADOS EN FORMA APERIODICA. APLICACIONES CONCRETAS DEL MODELO APERIODICO A DIVERSOS CAMPOS DE LA TEORIA DE SISTEMAS. EXTENSION DE LA TECNICA DE LA ECUACION POLINOMICA A SISTEMAS DE MUESTREO APERIODICO.
  • RESOLUCION DE PROBLEMAS MATRICIALES EN PROCESADORES SISTOLICOS DE TAMAÑO FIJO .
    Autor: NAVARRO GUERRERO JUAN JOSE.
    Año: 1985.
    Universidad: POLITECNICA DE CATALUÑA.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA DE LA U P C.
    Resumen: EN ESTA TESIS SE PROPONEN ALGORITMOS DE PARTICIONADO Y TRANSFORMACION DE DATOS QUE PERMITEN RESOLVER PROBLEMAS MATRICIALES DENSOS DE CUALQUIER TAMAÑO EN PROCESADORES SISTOLICOS DE TAMAÑO FIJO. SE HA APLICADO EL METODO A LAS SIGUIENTES OPERACIONES: MULTIPLICACION DE UNA MATRIZ POR UN VECTOR RESOLUCION DE SISTEMAS TRIANGULARES DE ECUACIONES LINEALES METODO ITERATIVO DE GAUSS-SEIDEL MULTIPLICACION DE MATRICES DESCOMPOSICION LU RESOLUCION DE ECUACIONES MATRICIALES DENSAS Y TRIANGULARES Y CALCULO DE MATRICES INVERSAS.
23 tesis en 2 páginas: 1 | 2
Búsqueda personalizada
Manuales | Tesis: Ordenadores, Circuitos integrados...
english
Cibernetia