DISEÑO LOGICO, 2

Autor: MARTINEZ BERGANZA ASENSIO M. PILAR.
Año: 1990.
Universidad: ZARAGOZA.
Centro de lectura: MEDICINA.

Resumen: EL DIAGNOSTICO Y TRATAMIENTO DE LAS INFECCIONES RESPIRATORIAS CONSTITUYE UN PROBLEMA AL QUE SE DEBEN ENFRENTAR FRECUENTEMENTE LOS PEDIATRAS Y MEDICOS DE FAMILIA. ES INTERESANTE PROFUNDIZAR EN EL CONOCIMIENTO DE ESTAS ENFERMEDADES, PARA OBTENER UN PROTOCOLO QUE PRESTE AYUDA A LA RESOLUCION DIAGNOSTICA Y TERAPEUTICA. UN ALGORITMO ES UN PROCEDIMIENTO PASO POR PASO PARA RESOLVER UN PROBLEMA QUE IMPLICA ALTERNATIVAS Y RESULTA DE LA FRAGMENTACION DE UN RAZONAMIENTO LOGICO EN SUS PASOS MAS ELEMENTALES. EL PRESENTE TRABAJO HA SIDO DISEÑADO PARA OBTENER COMO RESULTADOS UNOS ALGORITMOS CON FINES DIAGNOSTICOS Y TERAPEUTICOS QUE SIMPLIFIQUEN EL MANEJO DE ESTOS PACIENTES. LA OBTENCION DE ESTOS ALGORITMOS SE HA REALIZADO A PARTIR DE UNA AMPLIA REVISION BIBLIOGRAFICA SOBRE EL TEMA, ESTABLECIENDOSE LA DISCUSION SOBRE LAS DECISIONES A TOMAR EN CADA CASO. SE CONCLUYE DEMOSTRANDO QUE HA SIDO POSIBLE LA EJECUCION DE DICHOS ALGORITMOS Y SE SUGIERE QUE SU USO QUIZAS SIMPLIFIQUE EL MANEJO DE ESTOS PACIENTES RESULTANDO EN UN AHORRO DE TIEMPO Y DINERO.

Autor: OLIVER MALAGELADA JOAN.
Año: 1989.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO DE INFORMATICA. UNIVERSIDAD AUTONOMA DE BARCELONA DEPARTAMENTO DE DISEÑO DE CIS. CENTRO NACIONAL DE MICROELECTRONICA..

Resumen: CON LA LLEGADA DE LOS CIRCUITOS VLSI EL TEST SE HA CONVERTIDO EN UNO DE LOS PROCESOS MAS COSTOSOS DE LA ETAPA DE DISEÑO DE CI S. LAS PRINCIPALES CAUSAS SON: EL INCREMENTO EL INCREMENTO DE LA DENSIDAD DE COMPONENTES INTEGRADOS POR CIRCUITO, LA DISMINUCION DEL ACCESO HACIA EL INTERIOR DEL CIRCUITO INTEGRADO DEBIDO AL INCREMENTO INVERSAMENTE PROPOCIONAL DEL NUMERO DE PINES RESPECTO DEL NUMERO DE PUERTAS DEL CIRCUITO, Y LA DISMINUCION DEL TIEMPO DE CICLO OPERATIVO QUE DIFICULTA LA REALIZACION DEL TEST DEL CIRCUITO A VELOCIDADES DE OPERACION NORMALES. ANTE ESTA PROBLEMATICA, EN EL DPTO. DE DISEÑO DEL CENTRO NACIONAL DE MICROELECTRONICA Y DE LA SECCION DE INFORMATICA NOS PROPUSIMOS EL DESARROLLO DE UN SISTEMA GENERADOR DE CAMINOS INTERNOS EN CIRCUITOS INTEGRADOS, COMO MODULO DE UN SISTEMA GENERAL PARA IMPLEMENTAR AUTOMATICAMENTE TECNICAS DE DISEÑO PARA LA TESTABILIDAD. EL SISTEMA GENERADOR DE CAMINOS INTERNOS SE BASA EN UN CONJUNTO DE REGLAS QUE DEFINEN LOS ELEMENTOS DE MEMORIA SOBRE LOS QUE TRABAJA Y OPERA CON UN CONJUNTO DE NORMAS PARA MINIMIZAR EL INCREMENTO EN AREA PROPIO DE LA APLICACION DE TECNICAS DE DISEÑO PARA LA TESTABILIDAD, APROVECHANDO LA JERARQUIA DEFINIDA POR LA NETLIST DE ENTRADA AL SISTEMA. EL SISTEMA, AGIL DE UTILIZAR, SE HA APLICADO A CIRCUITOS PREVIAMENTE DISEÑADOS EN EL DPTO. DE DISEÑO Y SE HAN OBTENIDO SCAN-PATHS GENERADOS SEMIAUTOMATICAMENTE DE FORMA RAPIDA Y CON INCREMENTOS DE AREA PROPIOS DE LA APLICACION DE TECNICAS DFT.

Autor: PEREZ DE LA CRUZ MOLINA JOSE LUIS.
Año: 1989.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE CAMINOS .
Centro de realización: E.T.S. INGENIEROS DE CAMINOS, CANALES Y PUERTOS.

Resumen: SE CONTIENE EN LAS PAGS. III Y IV DEL EJEMPLAR QUE SE ACOMPAÑA.

Autor: LLAMOSA VILLALBA RICARDO.
Año: 1987.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: ESCUELA TECNICA SUPERIOR INGENIEROS DE TELECOMUNICACION.

Resumen: LA TESIS PRESENTADA SE UBICA EN EL TEMA DEL MODELADO DE DATOS PARA EL DISEÑO DE SISTEMAS VLSI Y PERTENECE AL GRUPO DE HERRAMIENTAS UTILIZADAS PARA EL MANEJO DE LA INFORMACION EN LOS ENTORNOS CAD/VLSI. FUNDAMENTALMENTE LA TESIS TRATA EL PROBLEMA DEL MODELADO DE SISTEMAS INTEGRADOSDE INFORMACION QUE SEAN COMPATIBLES Y COHERENTES CON CADA UNA DE LAS FASES DE DISEÑO DE LOS SISTEMAS VLSI PERMITIENDO GENERAR AUTOMATICAMENTE LA ESTRUCTURA DEL SISTEMA DE MANEJO DE INFORMACION NECESARIA. EL MODELO DE DISEÑO DE SISTEMAS INTEGRADOS DE INFORMACION CAD/VLSI (MDSII CAD/VLSI) OBJETO DE LA TESIS SE CONSTRUYE Y FORMALIZA EN BASE A: 1) LA CARACTERISTICAS EXIGIDAS A LOS SISTEMAS INTEGRADOS DE INFORMACION EN CAD/VLSI: ESTRUCTURA CENTRALIZADA MECANISMOS DE VALIDACION Y CONTROL MANEJO DELIBRERIAS MECANISMOS DE RECUPERACION FLEXIBILIDAD PARA EL TRATAMIENTO DE INFORMACION MULTINIVEL Y UN LENGUAJE DE INTERFAZ COMODO Y FLEXIBLE. 2) EL MODELO DE DATOS BASADO EN REDES SEMANTICAS CON OCHO OPERACIONES BASICAS QUE MODELAN LAS ESTRUCTURAS JERARQUICAS DE CLASES Y SUS RELACIONES: GENERALIZACION ASOCIACION CLASIFICACION INDIVIDUALIZACION ESPECIALIZACION MIEMBRO-DE E INSTANCIA. 3) LA TEORIA CLASICA DE GRAFOS HIPERGRAFOS Y CONJUNTOS CON LA QUE SE REALIZA LA ESPECIFICACION ALGEBRAICA DEL MODELO UTILIZANDO TIPOS ABSTRACTORES DE DATOS. FINALMENTE SE HAN EXPLORADO DOS DOMINIOS DE APLICACION: EL MODELADO DE UNA BASEDE DATOS DE CAD/VLSI Y EL DESARROLLO DE EJEMPLOS DE DISEÑO VLSI A NIVEL FUNCIONAL.

Autor: FERNANDEZ HERNANDEZ JUAN ANTONIO.
Año: 1985.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE MADRID..

Resumen: EN ESTE TRABAJO SE HAN DESARROLLADO MODELOS Y METODOS TEMPORALES QUE PERMITEN EL ANALISIS Y LA SINTESIS DE CIRCUITOS LOGICOS DESDE EL PUNTO DE VISTA DE SU EVOLUCION TEMPORAL. SE HA HECHO POSIBLE LLEGAR A SOLUCIONES SATISFACTORIAS EN DIVERSOS CAMPOS DEL DISEÑO LOGICO TALES COMO AZARAS ESTATICOS Y DISEÑO DE CIRCUITOS CON POSIBILIDAD DE CARRERAS CRITICAS EN TRANSICIONES NO ADYACENTES. SE HA DESARROLLADO UNA NUEVA FORMALIZACION PARA EL ANALISIS DE ESTRUCTURAS SISTOLICAS Y UN NUEVO METODO QUE PERMITE UNA SIMPLIFICACION PREVIA DEL GRAFO DEL SISTEMA Y SU POSTERIOR SISTOLOGACION CON LO QUE SE OBTIENEN FACILMENTE TODAS LAS POSIBLES SOLUCIONES SOSTOLICAS PARA UNA RED DADA. POR ULTIMO SE PRESENTA UN NUEVO HEURISTICO PARA LA RESOLUCION DE SISTEMAS DE INECUACIONES LINEALES (NECESARIO PARA LA RESOLUCION DE LOS PROBLEMAS PLANTEADOS)CUYA PRINCIPAL VENTAJA ES SU MAYOR RAPIDEZ EN LA ELIMINACION DE LAS INEC. REDUNDANTES.

Autor: ROIG ZARATE JORDI.
Año: 1985.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: UNIVERSIDAD AUTONOMA DE BARCELONA FACULTAD DE CIENCIAS DEPARTAMENTO DE INFORMATICA..

Resumen: ESTA MEMORIA SE ENMARCA DENTRO DEL ESTUDIO DE LOS SISTEMAS DE CIRCUITOS DIGITALES QUE MATERIALIZAN UN ALGORITMO. EN ESTE TRABAJO SE DESCRIBE UN SISTEMA DE DISEÑO ASISTIDO POR ORDENADOR DE UNIDADES DE CONTROL DE MAQUINAS ALGORITMICAS A PARTIR DE LA DESCRIPCION DE DICHA UNIDAD DE CONTROL MEDIANTE LA DEFINICION DEL ALGORITMO A TRAVES DE UN LENGUAJE PREDEFINIDO. EL SISTEMA CONSTA DE TRES TIPOS DE MATERIALIZACION: UNA TIPO AUTOMATA FINITO Y LAS OTRAS DOS CON LOS CIRCUITOS COMBINACIONALES Y UN SEMENCIADOR.

Autor: TERES TERES LLUIS.
Año: 1985.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPTO. INFORMATICA UNIV. AUTONOMA DE BARCELONA Y LABORATOIRE MAXWELL/FAI DE L UNIV. CATHOLIQUE DE LOUVAIN (BELGICA) .

Resumen: PARA ABORDAR LA ENORME COMPLEJIDAD DE LOS CIRCUITOS INTEGRADOS DE LA ERA VLSI SE ESTUDIAN NUEVAS TECNICAS DE DISEÑO QUE EVOLUCIONAN HACIA LOS COMPILADORES DE SILICIO: PROCESOS QUE OBTIENEN UNA DESCRIPCION FISICA DE LOS CI S A PARTIR DE LAS ESPECIFICACIONES FUNCIONALES DE LOS MISMOS. LOS GENERADORES AUTOMATICOS DE MODULOS SON UNA PARTE FUNDAMENTAL DE LOS COMPILADORES DE SILICIO. A LO LARGO DE ESTE TRABAJO SE HAN ESTUDIADO ESTE TIPO DE PROCESOS Y SE HAN DESARROLLADO DOS ENTORNOS DE GENERACION AUTOMATICA DE CELDAS: GAI-MPP (GENERADOR AUTOMATICO INTERACTIVO DE MODULOS PROGRAMADOS Y PARAMETRIZADOS) Y PUDIC (PASCAL USED FOR THE DESIGN OF IC S). AMBOS SISTEMAS SE BASAN EN LA DESCRIPCION JERARQUICA Y PARAMETRIZADA DE SUS MODULOS MEDIANTE LENGUAJES DE PROGRAMACION DE ALTO NIVEL (FORTRAN Y PASCAL). DE ESTA FORMA AL EJECUTAR UNO DE LOS MODULOS PERSONALIZANDO SUS PARAMETROS SE OBTIENE UNA DESCRIPCION DE BAJO NIVEL (LUCIE Y CIF).

Autor: SANCHEZ GOMEZ GUSTAVO.
Año: 1982.
Universidad: SEVILLA.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO DE ELECTRICIDAD Y ELECTRONICA FACULTAD DE FISICA UNIVERSIDAD DE SEVILLA.

Autor: OSES OLLO M. TERESA.
Año: 1981.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: EL OBJETIVO DE ESTE TRABAJO ES POR UNA PARTE ESTUDIAR MEDIANTE UN TRATAMIENTO FORMAL EL CONJUNTO DE MAQUINAS SEMENCIALES AUTONOMAS ESTABLECIENDO UNA CLASIFI CACION A PARTIR DE LA CUAL PUEDEN OBTENERSE UNAS FORMAS ECONOMICAS QUE CORRESPONDEN A MAQUINAS CON UN COSTO MINIMO. POR OTRA PARTE LOS RESULTADOS OBTENIDOS SON APLICADOS AL DISEÑO DE CONTADORES U TILIZANDO ALGORITMOS ESPECIFICOS PARA DETERMINAR LA ESTRUCTURA CORRESPONDIENTE. LA IMPLIMENTACION DE DICHOS CONTADORES SE REALIZA MEDIANTE MODULOS BASE UTILIZANDO TECNICAS DE INTEGRACION ULSI.

Autor: TALAVERA MARTIN JUAN ANTONIO.
Año: 1981.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: E.T.S. DE INGENIEROS INDUSTRIALES DE MADRID.

Resumen: SE HA DESARROLLADO UN NUEVO LENGUAJE CON ESTRUCTURA DE FRASE PARA LA COMUNICACION ENTRE INGENIEROS ESPECIALISTAS. UN SISTEMA DE DISEÑO AUTOMATICO ACEPTA LAS DESCRIPCIONES DE LOS PROCESOS INDUSTRIALES SECUENCIALES EN EL NUEVO LENGUAJE Y GENERA PREGUNTANDO AL OPERADOR CUESTIONES RELATIVAS AL DISEÑO FISICO LOS PLANOS DE CONEXIONES DE ENTRADA Y SALIDA AL EQUIPO DE CONTROL BASADO EN MICROPROCESADORES. DE ACUERDO CON ESTOS PLANOS EL SISTEMA TAMBIEN GENERA LOS PROGRAMAS INTERNOS PARA CARGAR EN LA MEMORIA DEL EQUIPO.

Autor: MEDINA LLINAS MANUEL.
Año: 1980.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .
Centro de realización: E.T.S.I. TELECOMUNICACION..

Resumen: PRIMERAMENTE SE HACE UNA EXPOSICION DE LOS METODOS DE DESCRIPCION DISEÑO Y PUESTA A PUNTO DE PROGRAMAS Y CIRCUITOS. ACTUALMENTE UTILIZADOS. A CONTINUACION SE DESCRIBE LA ALTERNATIVA PROPUESTA CUYAS CARACTERISTICAS MAS DESTACADAS SON: - ANALISIS DESDENDENTE DE LAS TAREAS QUE DEBE REALIZAR EL SISTEMA. - DESCRIPCION FORMAL Y UNIFORME DE ESAS TAREAS. - UNIFICACION DE LOS PROCEDIMIENTOS DE SINTESIS DE PROGRAMAS Y CIRCUITOS. - APROVECHAMIENTO OPTIMO DE LAS HERRAMIENTAS DE PUESTA A PUNTO DE MICROCOMPUTADORES.