SOFTWARE, 4

Autor: RUBIO GIMENO ALBERT.
Año: 1993.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: SOFTWARE.

Resumen: ESTA TESIS DOCTORAL SE CENTRA EN EL ESTUDIO DE MECANISMOS PARA REALIZAR DEDUCCION AUTOMATICA EN LOGICA DE PRIMER ORDEN CON IGUALDAD. LA DEMOSTRACION AUTOMATICA DE TEOREMAS SE ESTA APLICANDO ACTUALMENTE EN MUCHAS AREAS DE LA INFORMATICA COMO SON LA INGENIERIA DE SOFTWARE, LAS BASES DE DATOS O LA INTELIGENCIA ARTIFICIAL. LOS RESULTADOS DE LA TESIS SE PUEDEN DIVIDIR EN: LOS CONSIDERADOS BASICOS, COMO SON EN LA DEFINICION DE ORDENES SOBRE TERMINOS (O EXPRESIONES) EN LA RESOLUCION DE RESTRICCIONES SIMBOLICAS, CUYA UTILIDAD VA MAS ALLA DE SU APLICACION EN ESTE TRABAJO; Y LES RESULTADOS EN DEDUCCION AUTOMATICA, QUE INCLUYE RESULTADOS DE COMPLETITUD REFUTACIONAL PARA PROCESOS DE DEDUCCION MEDIANTE CLAUSULAS CON RESTRICCIONES DE IGUALDAD (TAMBIEN LLAMADAS ESTRATEGIAS BASICAS) Y DE ORDEN, CONSIDERANDO ADEMAS EL PREDICADO DE IGUALDAD COMO PREDEFINIDO Y DANDO LA POSIBILIDAD DE TRABAJAR MODULO ALGUNA TEORIA EQUACIONAL.

Autor: TORRA REVENTOS VICENC.
Año: 1993.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: SE DESARROLLAN DIVERSOS RESULTADOS EN EL CAMPO DE LAS FUNCIONES DE COMBINACION. SE ANALIZAN APLICACIONES DE LA TEORIA DEL CONSENSO EN DIVERSOS CAMPOS DE LA INTELIGENCIA ARTIFICIAL. SE OBTIENEN RESULTADOS DE CONSENSO SOBRE VECTORES, FIGURAS GEOMETRICAS, RECTAS DE REGRESION Y RELACIONES BINARIAS, TANTO NITIDAS COMO DIFUSAS. SE APLICAN ALGUNO DE ESTOS RESULTADOS A LA VALIDACION DE SISTEMAS EXPERTOS Y CONCRETAMENTE AL CASO DE PNEUMON-IA. SE PRESENTA UNA NUEVA FUNCION DE CONSENSO PARA FUNCIONES DE MASA EN EL MARCO DE LA TEORIA DE LA EVIDENCIA. SE PRESENTA, FINALMENTE EL CONSENSO DE MATRICES DE DATOS Y SU APLICACION PARA LA ADQUISICION DE CONOCIMIENTO.

Autor: GONZALEZ ALONSO OLIVERIO.
Año: 1992.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO: MATEMATICAS PROGRAMA DE DOCTORADO: INTELIGENCIA ARTIFICIAL.

Resumen: SE PRETENDE APLICAR UNA TECNICA DE DESCRIPCION FORMAL (FDT) A LA MODELIZACION DE UN SISTEMA OPERATIVO, DEMOSTRANDO QUE ES POSIBLE Y QUE SERIA CONVENIENTE SU UTILIZACION EN LA DEFINICION DE ALGORITMOS DE PLANIFICACION DEL PROCESADOR, DE MEMORIA PRINCIPAL, SUBSISTEMAS DE E/S Y DEMAS RECURSOS DEL ORDENADOR. DICHA CONVENIENCIA NO SERIA SOLO POR LA FORMALIZACION DE LA POLITICA EN SI, SINO TAMBIEN POR LA FACILIDAD QUE LA FDT DA PARA SU SIMULACION Y POSTERIOR IMPLEMENTACION, PERMITIENDO TODO ELLO LA COMPARACION DE DIFERENTES ALGORITMOS DE GESTION DE UN MISMO RECURSO Y LA LOGICA ELECCION DEL MAS ADECUADO.

Autor: GRANJA ALVAREZ JUAN CARLOS.
Año: 1992.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE.

Resumen: EXISTE LA NECESIDAD DE MEJORAR LA CALIDAD DE LOS PRODUCTOS INFORMATICOS Y AL MISMO TIEMPO REDUCIR LOS COSTES DE DESARROLLO. PARA ELLO PODEMOS PARTIR DE COMO PLANIFICAR UN PROCESO DE CONTROL DE CALIDAD QUE CUMPLA CON ESTOS DOS OBJETIVOS. NUESTRA APORTACION FUNDAMENTAL ES EL DESARROLLO DE UNA METODOLOGIA DE TRABAJO PARA APLICAR UN ELEMENTO CUYA SITUACION PLANIFICADA A LO LARGO DEL PROCESO DE PRODUCCION DEL SOFTWARE DESEMBOQUE EN UN PRODUCTO DE CALIDAD. LA APORTACION COMO ELEMENTO METODOLOGICO CONSISTE EN EL DISEÑO DE UNA HERRAMIENTA, MATRIZ DE RELACIONES LOGICAS, QUE PERMITE LA OBTENCION DE OBJETIVOS PERSEGUIDOS.

Autor: PLA GARCIA NURIA.
Año: 1992.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LLENGUATGES I SISTEMES INFORMATICS PROGRAMA DE DOCTORADO: SOFTWARE.

Resumen: EL PRINCIPAL OBJETIVO DE ESTA TESIS ES EL ESTUDIO EXHAUSTIVO DE UN SISTEMA DE REPRESENTACION DE SOLIDOS CON FRONTERA SUAVE Y SUPERFICIES ESCULPIDAS: EL FACE OCTREE. ESTA TESIS RESUELVE ALGUNOS DE LOS PROBLEMAS EXISTENTES EN LOS SISTEMAS DE CAD. UN PRIMER PROBLEMA QUE RESUELVEN ES LA DISTINCION QUE GENERALMENTE SE HACE ENTRE SOLIDOS Y SUPERFICIES. ESTE SISTEMA ES MIXTO, PERMITIENDO REPRESENTAR TANTO SOLIDOS COMO SUPERFICIES. LAS PRINCIPALES APORTACIONES DE ESTA TESIS SE PUEDEN CLASIFICAR EN CUATRO GRUPOS, CADA UNO DE LOS CUALES ES OBJETO DE ESTUDIO DE UN CAPITULO DISTINTO. EN PRIMER LUGAR, LA CONSTRUCCION DEL MODELO FACE OCTREE DE UN SOLIDO O DE UNA SUPERFICIE SE TRATA EN EL CAPITULO 3. EN ESTE CAPITULO SE PROPONE UN ALGORITMO DE CONSTRUCCION DEL MODELO FACE OCTREE DE UN SOLIDO O UNA SUPERFICIE REPRESENTADOS EN EL ESQUEMA DE FRONTERAS. CIERTOS PROBLEMAS CLASICOS APARECEN EN ESTA CONSTRUCCION, POR EJEMPLO, LA INTERSECCION DE UN PEDAZO DE BEZIER Y UN PLANO, O EL ESTUDIO DE LA PLANITUD DE UNA SUPERFICIE. SE PRESENTAN DOS METODOS PARA RESOLVER EL PRIMER PROBLEMA, REALIZANDO UN ESTUDIO COMPARATIVO DE LOS DOS METODOS EN FUNCION DE LOS DATOS INICIALES. RESPECTO AL SEGUNDO PROBLEMA, SE CALCULAN COTAS DE LA PLANITUD DE UNA SUPERFICIE EN FUNCION DE SUS PUNTOS DE CONTROL. UN PLANO QUE APROXIMA A UNA SUPERFICIE ES CONSTRUIDO EN EL FINAL DEL CAPITULO. EL CAPITULO 4 SE BASA EN EL ESTUDIO DEL CALCULO DE LAS OPERACIONES BOOLEANAS. SE DEMUESTRA QUE ESTAS OPERACIONES SE PUEDEN REALIZAR DE FORMA ROBUSTA Y EFICIENTE. SE RESUELVE TAMBIEN EL PROBLEMA DE INTERSECCION DE SUPERFICIES. EN EL CAPITULO 5, SE CALCULAN COTAS DE LA COMPLEJIDAD ESPACIAL. SE DEMUESTRA QUE LOS FACE OCTREES SON ADECUADOS PARA REPRESENTAR SUPERFICIES Y SOLIDOS CON FRONTERA CONTINUA. FINALMENTE, SE RESUELVE LA CONVERSION ENTRE FACE OCTREES Y EL MODELO DE FRONTERAS, TANTO EN EL CASO 2D COMO EN EL 3D. EL ALGORITMO QUE SE PROPONE PERMITE CALCULAR DE FORMA RAPIDA Y ROBUSTA UNA REPRESENTACION CONTINUA DE UNA SUPERFICIE O DE UN SOLIDO A PARTIR DE SU REPRESENTACION FACE OCTREE. EN EL ULTIMO CAPITULO SE PRESENTAN LAS CONCLUSIONES Y LINEAS DE INVESTIGACION FUTURA.

Autor: RUIZ BILBAO SUSANA MARTA.
Año: 1992.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: MEDICINA.
Centro de realización: DEPARTAMENTO: CIRUGIA.

Resumen: A RAIZ DE LA COLOCACION DE LA PRIMERA LENTE INTRAOCULAR POR RIDLEY EN 1949, LA IMPLANTOLOGIA SE HA IDO DESARROLLANDO. LAS PRIMERAS LENTES INTRAOCULARES PRESENTARON MULTIPLES COMPLICACIONES. EL LUGAR DE IMPLANTACION HA IDO EVOLUCIONANDO; INICIALMENTE SE COLOCABAN LOS IMPLANTES EN LA CAMARA POSTERIOR, PASANDOSE DESPUES A LA CAMARA ANTERIOR Y AL PLANO PUPILAR EN FIJACION IRIDIANA. NO ES HASTA FINALES DE LOS 70 Y DECADA DE LOS 80 EN QUE SE VUELVE A LA CAMARA POSTERIOR, ESTABLECIENDOSE POSTERIORMENTE QUE EL LUGAR IDONEO PARA IMPLANTAR UNA LENTE INTRAOCULAR ES EL SACO CAPSULAR. SIN EMBARGO, ANTE LA MULTITUD DE DISEÑOS Y MATERIALES NOSOTROS NOS PLANTEAMOS: CUAL ES EL MATERIAL Y DISEÑO ADECUADOS PARA UN IMPLANTE INTRAOCULAR?. REALIZAMOS UN ESTUDIO EN 200 CASOS, 100 CON IMPLANTES PEM2 (ASIMETRICO DE PMMA) Y 100 DE IOGEL (NUEVO MATERIAL BLANDO) DURANTE EL PERIODO NOV. 1987- ABRIL 1991. SE ESTUDIAN LAS DIFERENCIAS ENTRE AMBOS GRUPOS EN EL PRE, PER Y POSTOPERATORIO, VALORANDOSE LAS VENTAJAS Y DESVENTAJAS DE CADA IMPLANTE. PARA LA RECOGIDA Y ANALISIS POSTERIOR DE LOS RESULTADOS DISEÑAMOS UNA BASE DE DATOS.

Autor: BELTRAN BLAZQUEZ FERNANDO ANGEL.
Año: 1990.
Universidad: ZARAGOZA.
Centro de lectura: INGENIEROS INDUSTRIALES .
Centro de realización: DEPARTAMENTO: INGENIERIA ELECTRICA E INFORMATICA PROGRAMA DE DOCTORADO: INGENIERIA ELECTRONICA.

Resumen: EN ESTA TESIS SE PRESENTA UN SISTEMA COMPLETO PARA TRATAMIENTO DE IMAGENES, EL CUAL COMPRENDE POR UN LADO LA ARQUITECTURA ABACO, Y POR OTRO LADO EL ENTORNO DE TRABAJO BELT. LA ARQUITECTURA ABACO ES UN SISTEMA DE PROCESAMIENTO EN PARALELO BASADO EN LOS PROCESADORES DIGITALES DE SEÑAL TMS32OC25 DE TEXAS INSTRUMENTS. ESTOS PROCESADORES FORMAN UN SISTEMA MULTIPROCESADOR DEBILMENTE ACOPLADO. DISPUESTOS EN UNA RED DE INTERCONEXION DE BUS UNICO. LA ARQUITECTURA ESTA IMPLEMENTADA POR MODULOS Y ES ESCALABLE. SE CONTROLA DESDE UN IBM PC-AT. EL ENTORNO DE TRABAJO BELT (BASIC ENVIRONMENT FOR LOW-LEVEL TREATMENT) ES UN INTERFACE ENTRE LA ARQUITECTURA Y EL USUARIO, QUE INCLUYE TODAS LAS HERRAMIENTAS NECESARIAS PARA EL DESARROLLO DE SESIONES DE TRABAJO SOBRE LA ARQUITECTURA ABACO, ORIENTADAS AL TRATAMIENTO DE IMAGENES. SE HA DESARROLLADO UN LENGUAJE ESPECIFICO BASADO EN COMANDOS, Y UN INTERPRETE QUE GESTIONA LAS OPERACIONES DE FORMA INTEGRADA, TANTO SI SON DE CONTROL DE LA ARQUITECTURA COMO SI SON DE GESTION DE IMAGENES.

Autor: CASTILLO SOBRINO M. DOLORES .
Año: 1990.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO:.

Resumen: PLAP ES UN PLANIFICADOR AUTOMATICO DE TAREAS QUE APRENDE DE LA EXPERIENCIA ACUMULADA. LA TECNICA DE PLANIFICACION COMIENZA POR EL ESTADO INICIAL, BUSCANDO SECUENCIALMENTE EL EMPAREJAMIENTO DE LAS REGLAS DE PRODUCCION CON CADA ESTADO DEL PROBLEMA. SI UNA REGLA EMPAREJA UN ESTADO DEL PROBLEMA PARA VARIOS PARTICIPANTES. LA TECNICA DE PLANIFICACION RECURRE AL CONOCIMIENTO DE CONTROL APRENDIDO. LA TECNICA DE APRENDIZAJE DEARROLLADA, DENOMINADA APRENDIZAJE BASADO EN COMPARACION (ABC), ESTA CONCEBIDA PARA QUE SEA EL PROPIO PLAP EL QUE ENCUENTRE LOS CONCEPTOS SOBRE LOS QUE ES NECESARIO APRENDER, SIN INTERVENCION DE UN MAESTRO. ESTOS CONCEPTOS SURGEN DEL ANALISIS DE LAS DIFERENCIAS ENTRE DOS POSIBLES OPERACIONES A APLICAR EN UN DETERMINADO ESTADO DEL PROBLEMA. LA DESCRIPCION DE LOS MISMOS SE CONSTRUYE A PARTIR DE LAS DIFERENCIAS O SIMILITUDES EXISTENTES ENTRE LOS PARTICIPANTES INVOLUCRADOS EN LAS OPERACIONES UNA VEZ CONSTRUIDA LA DESCRIPCION, ABC UTILIZA CONOCIMIENTO ESPECIFICO DEL DOMINIO PARA DEPURAR DICHA DESCRIPCION ABC ELABORA UN CONCEPTO A PARTIR DE LA FALTA DE INFORMACION DEL PLANIFICADOR.

Autor: DOMINGO FERRER JOSEP.
Año: 1990.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: FACULTAD DE CIENCIAS - DEPARTAMENTO DE INFORMATICA - UNIVERSITAT AUTONOMA DE BARCELONA.

Resumen: EN LA MEMORIA DE DOCTORADO QUE NOS OCUPA SE ESPECIFICAN SOLUCIONES CONCRETAS PARA CONSEGUIR UNA MAYOR GRANULARIDAD EN EL CONTROL DE ACCESO INFORMATICO. LAS SOLUCIONES ALUDIDAS SE ENCUADRAN EN DOS TENDENCIAS CLARAMENTE DIFERENCIADAS: A) MEJORA DE LA INTEGRIDAD DE LOS ALGORITMOS Y PROGRAMAS, Y B) MEJORA DE LOS METODOS DE IDENTIFICACION DE LOS USUARIOS. LA CONJUNCION DE INTEGRIDAD E IDENTIFICACION PERMITE FORMULAR UN MODELO DE CONTROL DE ACCESO ALGORITMICO, QUE GENERALIZA EL DE LA MATRIZ DE ACCESO Y PERMITE ESTABLECER DEPENDENCIAS COMPLEJAS EN EL USO QUE UN SUJETO HACE DE SUS DERECHOS. ESTAS DEPENDENCIAS QUEDAN EXPRESADAS EN EL ALGORITMO DE ACCESO DEL SUJETO, DONDE SE DEFINEN LAS SECUENCIAS PERMITIDAS DE UTILIZACION DE DERECHOS. GRACIAS A LA ENCRIPTACION DE LOS OBJETOS, LA IMPOSICION DE LAS RESTRICCIONES CONTENIDAS EN UN ALGORITMO DE ACCESO SE REDUCE A UN PROBLEMA DE ADMINISTRACION DE CLAVES CRIPTOGRAFICAS, QUE PUEDE SER TRATADO EFICIENTEMENTE MEDIANTE UN ALGORITMO ORIGINAL DE INTERCAMBIO DE CLAVES VARIABLES QUE SE DA EN UNO DE LOS APENDICES DE LA MEMORIA. LA APROXIMACION CRIPTOGRAFICA TIENE ADEMAS LA VENTAJA DE LA INELUDIBILIDAD. COLATERALMENTE, MUCHOS DE LOS METODOS CONTENIDOS EN EL PRESENTE TRABAJO TIENEN APLICACION MAS ALLA DEL MODELO ALGORITMICO. POR EJEMPLO 1) EL MECANISMO DE INTEGRIDAD DEL CAPITULO 3 PUEDE UTILIZARSE EN CUALQUIER ENTORNO, INCLUSO EN UN PC, PARA CODIFICAR IMAGENES EJECUTABLES DE PROGRAMAS DE APLICACION Y GARANTIZAR SU INTEGRIDAD (ANTI-VIRUS). 2) EL METODO DE IDENTIFICACION DEL CAPITULO 4 PUEDE USARSE TAMBIEN EN EL CONTEXTO DE LA MATRIZ DE ACCESO, TAL COMO SE EXPLICA. ASI, PODRIA EMPLEARSE EN LA MAYORIA DE REDES DE CAJEROS AUTOMATICOS EXISTENTES, POR EJEMPLO. 3) EL ALGORITMO DE INTERCAMBIO DE CLAVES VARIABLES DEL APENDICE ES UNA ALTERNATIVA EFICIENTE A LOS METODOS ACTUALES DE INTERCAMBIO DE CLAVES, PRINCIPALMENTE EN ENTORNOS PARALELOS.

Autor: LOPEZ GOMEZ GENOVEVA.
Año: 1990.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: FACULTAD DE INFORMATICA.

Resumen: SE DEFINE UN ENTORNO DE ESPECIFICACION DE SOFTWARE DE COMUNICACIONES. EL ENTORNO PROPUESTO QUEDA DEFINIDO POR UN MODELO, EL CUAL TIENE UNA ESTRUCTURA JERARQUICA. EL NIVEL MAS ALTO DE ESTA ESTRUCTURA ESTA COMPUESTO POR FACTORES QUE ENGLOBAN EL ENTORNO DE ESPECIFICACION EN SU TOTALIDAD. EN EL SIGUIENTE NIVEL SE DETALLAN UN CONJUNTO DE CRITERIOS QUE DEFINEN CADA UNO DE LOS FACTORES Y EN EL NIVEL INFERIOR SE EXPONEN TODOS LOS REQUISITOS QUE PARTICIPAN EN LA CONSECUCION DE CADA CRITERIO. TALES REQUISITOS SE SITUAN PRINCIPALMENTE EN DOS CATEGORIAS: LENGUAJES Y HERRAMIENTAS DE SOPORTE. LA PROPUESTA DE ENTORNO REALIZADA CONLLEVA UN ANALISIS DE SU APLICABILIDAD MEDIANTE LA EVALUACION CRITICA DE LAS TECNICAS FORMALES NORMALIZADAS (LOTOS, SDL, ESTELLE) Y DE LAS HERRAMIENTAS DISPONIBLES ASOCIADAS. EN ESTE ANALISIS SE HA TRATADO DE EVALUAR LA ADECUACION DE TALES TECNICAS Y HERRAMIENTAS A LOS CRITERIOS Y REQUISITOS DEFINIDOS, ASI COMO SU INFLUENCIA SOBRE LAS FASES DE IMPLEMENTACION (LENGUAJES DE PROGRAMACION).

Autor: AMESCUA SECO ANTONIO DE.
Año: 1989.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID.

Resumen: ESTA TESIS DEFINE UNA METODOLOGIA DE DESARROLLO SOFTWARE ESTRUCTURADA QUE SE PUEDE AUTOMATIZAR, ES DECIR UNA METODOLOGIA CASE. EL AMBITO DE APLICACION QUEDA RESTRINGIDO A LOS SISTEMAS DE INFORMACION. SE ESTABLECEN INICIALMENTE LOS PRINCIPIOS BASICOS SOBRE LOS QUE LA METODOLOGIA CASE SE ASIENTA. POSTERIORMENTE SE EMPLEAN TECNICAS QUE SIRVAN DE RECOGIDA Y VALIDACION DE LA INFORMACION, QUE PROPORCIONAN A LA VEZ UN LENGUAJE DE COMUNICACION FACIL ENTRE USUARIOS E INFORMATICOS. ADEMAS, ESTAS MISMAS TECNICAS DETALLARAN DE UNA MANERA COMPLETA, CONSISTENTE Y SIN AMBIGUEDAD TODOS LOS REQUISITOS DEL SISTEMA. ASIMISMO, SE PRESENTAN UN CONJUNTO DE TECNICAS Y ALGORITMOS PARA CONSEGUIR QUE DESDE LA ESPECIFICACION DE REQUISITOS DEL SISTEMA SE LOGRE UNA AUTOMATIZACION TANTO DEL DISEÑO LOGICO DEL MODELO DE PROCESOS COMO DEL MODELO DE DATOS, VALIDADOS AMBOS CONFORME A LA ESPECIFICACION DE REQUISITOS PREVA. POR ULTIMO SE DEFINEN UNOS PROCEDIMIENTOS FORMALES QUE INDICAN EL CONJUNTO DE ACTIVIDADES A REALIZAR EN EL PROCESO DE CONSTRUCCION Y COMO LLEVARLAS A CABO, CONSIGUIENDO DE ESTA MANERA UNA INTEGRIDAD EN LAS DISTINTAS ETAPAS DEL PROCESO DE DESARROLLO.

Autor: FERNANDEZ YAÑEZ JUAN LUIS.
Año: 1989.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS NAVALES.
Centro de realización: DEPARTAMENTO: ESCUELA TECNICA SUPERIOR DE INGENIEROS NAVALES.

Resumen: EL OBJETO DE ESTA TESIS ES EL ESTABLECIMIENTO DE UNAS BASES PARA EL DESARROLLO DE UNA GARANTIA DE CALIDAD DE DISEÑO EN LA CREACION DE UNOS NUEVOS PRODUCTOS O SERVICIOS. EN LA PRIMERA PARTE DE LA TESIS SE DESARROLLAN LOS CRITERIOS DE CALIDAD DE DISEÑO, HACIENDO UNA EXPOSICION DE LA SISTEMATICA DE LA CALIDAD EN LA FASE DE DISEÑO Y EL ESTABLECIMIENTO DE UN ESCENARIO PARA LA IMPLANTACION DE DICHO SISTEMA DE CALIDAD. EN LA SEGUNDA PARTE SE DESARROLLA UN SUPUESTO PRACTICO DE IMPLANTACION DE UNA GARANTIA DE CALIDAD DE DISEÑO, DESCRIBIENDO SUS FUNCIONES Y ORGANIZANDO. SE EXPONEN LOS PRINCIPALES PROCEDIMIENTOS OBJETO DE CALIDAD: PROCEDIMIENTOS DE DOCUMENTACION, GARANTIA DE CALIDAD, GESTION DE CONFIGURACION, ETC, SE ESTABLECEN LAS BASES PARA LA REALIZACION DE PLANTAS DE CALIDAD DE DISEÑO (PARA CADA PRODUCTO A DESARROLLAR) Y DE AUDIOTORIAS DE CALIDAD. ASIMISMO, SE HACE UNA EXPOSICION DE LOS COSTES DE CALIDAD, LA GESTION DE LA CONFIGURACION Y LA GARANTIA DE CALIDAD DEL SOFWARE.

Autor: HERNANDEZ YAÑEZ LUIS ANTONIO.
Año: 1988.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FISICA.
Centro de realización: DEPARTAMENTO DE INFORMATICA Y AUTOMATICA FAC. CC. FISICAS - UNIVERSIDAD COMPLUTENSE DE MADRID..

Resumen: UNA DE LAS RAZONES POR LA QUE EL SOFTWARE EDUCATIVO NO TIENE UNA DIFUSION Y UN USO ADECUADOS SE ENCUENTRA EN LA DIFICULTAD QUE CONLLEVA SU DESARROLLO. ES NECESARIO DESARROLLAR HERRAMIENTAS DE PRODUCCION UTILES Y FACILES DE USAR PARA DICHO TIPO DE SOFTWARE. EL PRESENTE TRABAJO SE CENTRA EN EL DESARROLLO DE SISTEMAS DE AUTOR COMO GENERADORES DE PROGRAMAS EDUCATIVOS DE TIPO TUTORIAL. LA CALIDAD DEL MATERIAL PRODUCIDO POR UN SISTEMA DE AUTOR DEPENDE DE SU PROPIA CALIDAD. POR ESTA RAZON ES FUNDAMENTAL QUE SE PRESTE UNA ATENCION ESPECIAL AL DISEÑO E IMPLEMENTACION DE LOS MISMOS. EN ESTE TRABAJO SE ESTABLECE UNA METODOLOGIA DE DESARROLLO DE SISTEMAS DE AUTOR QUE PERMITE PRODUCIRLOS DE UNA FORMA FACIL Y EFICAZ. SE FUNDAMENTA EN EL ENFOQUE DE DESARROLLO ORIENTADO A OBJETOS, DADO QUE POTENCIA LA FACILIDAD DE CAMBIO Y LA REUSABILIDAD DE LOS PRODUCTOS, Y GIRA EN TORNO A LA ESTRUCTURA DE INFORMACION QUE EL SISTEMA A DESARROLLAR MANIPULA O PRODUCE. MEDIANTE EL SEGUIMIENTO DE DOS FASES BIEN DIFERENCIADAS SE LLEGA A UN DISEÑO ARQUITECTONICO AL QUE SEGUIRA EL DISEÑO DETALLADO Y LA IMPLEMENTACION. CADA FASE CONSISTE EN UNA SERIE DE PASOS SUCESIVOS CON LOS QUE MEDIANTE UNA MEZCLA DE ACTIVIDADES DE ANALISIS Y DISEÑO SE VA CREANDO Y REFINANDO LA JERARQUIA DE CLASES DEL SISTEMA. TAMBIEN SE CONTEMPLA LA POSIBILIDAD DE AUTOMATIZACION DE CADA PASO, HABIENDO CREADO DIVERSAS HERRAMIENTAS DE AYUDA PARA LAS DISTINTAS TAREAS DEL PROCESO. AUNQUE LA METODOLOGIA HA SURGIDO DEL DESARROLLO DE SISTEMAS DE AUTOR, ES FACILMENTE EXTENSIBLE AL DESARROLLO DE SISTEMAS DE INFORMACION EN GENERAL.

Autor: MANAUT CLUSELLA FRANCESC.
Año: 1988.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INSTITUTO MUNICIPAL DE INVESTIGACION MEDICA.

Resumen: SE HA DESARROLLADO UNA METODOLOGICA TEORICA PARA PODER ANALIZAR CUANTIVAMENTE LAS SEMEJANZAS ELECTROESTATICAS ENTRE DOS MOLECULAS. LA PROPIEDAD QUE SE HA USADO PARA REALIZAR ESTAS COMPARACIONES ES EL POTENCIAL ELECTROESTATICO MOLECULAR (PEM). EL PEM ES UNA PROPIEDAD QUE DESCRIBE APROXIMADAMENTE LA REACTIVIDAD MOLECULAR Y PERMITE PROPONER FARMACOFOROS PARA UNA ACTIVIDAD DETERMINADA. ADEMAS SE HA DESARROLLADO LOS PROGRAMAS INFORMATICOS QUE IMPLEMENTAN ESTAS TECNICAS, ASI, SE HA CREADO UN PROGRAMA QUE LOCALIZA AUTOMATICAMENTE TODAS LAS ZONAS DE MINIMOS DEL PEM ALREDEDOR DE UNA MOLECULA, DANDO SUS COORDENADAS PROFUNDIDAD Y RELACIONES GEOMETRICAS ENTRE ELLOS. CON ESTA METODOLOGIA SE HA PROPUESTO UN PATRON PARA EXPLICAR LA INHIBICION DEL METABOLISMO DE LA CAFEINA POR PARTE DE UN GRUPO DE ANTIBACTERIANOS QUINOLONICOS. TAMBIEN SE HA DESARROLLADO UN PROGRAMA PARA FACILITAR LA REPRESENTACION GRAFICA DEL PEM EN CUALQUIER PLANO DEL ESPACIO, DEFINIENDOLO SIMPLEMENTE MEDIANTE TRES PUNTOS, (QUE PUEDEN SER LAS COORDENADAS DE TRES ATOMOS, TRES MINIMOS O TRES PUNTOS CUALESQUIERA). OTRA TECNICA DESARROLLADA ES LA COMPARACION DE DISTRIBUCIONES DE PEM DE DOS MOLECULAS Y LA BUSQUEDA DE LA POSICION RELATIVA DE MAXIMA SIMILITUD. ESTA METODOLOGIA SE HA APLICADO A UN CONJUNTO DE SUSTRATOS E INHIBIDORES DE LA MONOAMINA OXIDASA.

Autor: JUAN ARIÑO ROBERTO.
Año: 1987.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS INDUSTRIALES DE BARCELONA..

Resumen: EN UN SISTEMA DE DISEÑO ASISTIDO POR COMPUTADOR (CAD), EL SISTEMA DE MODELADO GEOMETRICO ES LA UNIDAD FUNCIONAL ENCARGADA DE LA GESTION DE LAS REPRESENTACIONES GEOMETRICAS. ENTRE LOS DIVERSOS ESQUEMAS DE REPRESENTACION DE SOLIDOS NO EXISTE NINGUNO QUE POSEA CARACTERISTICAS UNIFORMEMENTE MEJORES QUE EL RESTO, CIRCUNSTANCIA QUE HA CONDUCIDO A LA FORMULACION DE SISTEMAS DE MODELADO GEOMETRICO QUE MANTIENEN SIMULTANEAMENTE MAS DE UN ESQUEMA. ESTA NUEVA VISION NECESITA INCORPORAR PROCEDIMIENTOS QUE EFECTUEN LAS CONVERSIONES PERTINENTES ENTRE LOS DIVERSOS ESQUEMAS, DE FORMA FIABLE Y EFICIENTE. LOS ESTUDIOS REALIZADOS COMPRENDEN DOS CONVERSIONES. * DE MODELO DE FRONTERAS A GEOMETRIA CONSTRUCTIVA DE SOLIDOS (CSG): SE DEFINE Y ESTUDIA LA FAMILIA DE POLIEDROS RECTANGULARES ER DESCOMPONIBLES. UNA VEZ ESTUDIADA LA REPRESENTACION EXTERNA, SE ESTABLECE EL TEOREMA DE LA CONVERSION Y SE PROPONE UN ALGORITMO QUE RESULTA SER LINEAL RESPECTO DEL NUMERO DE CARAS DEL POLIEDRO INICIAL. * DE MOLDEO DE ARBOL OCTAL EXTENDIDO A CSG: SE ESTUDIAN LAS ANALOGIAS ENTRE EL ALGEBRA DE BOOLE Y EL ALGEBRA DE SEMIESPACIOS EN R3. LAS ANALOGIAS SE APLICAN A LOS ARBOLES OCTALES LO QUE PERMITE PLANTEAR UN ALGORITMO DE CONVERSION. DESPUES DE DEMOSTRAR LA VALIDEZ DEL ALGORITMO SE ESTUDIA SU COMPLEJIDAD QUE RESULTA SER LINEAL EN EL NUMERO DE VERTICES DEL ARBOL OCTAL.

Autor: PASTOR MARTIN ENCARNACION.
Año: 1987.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.

Resumen: EL TRABAJO DESARROLLADO SE CENTRA EN EL ESTUDIO DE LOS PROCESOS Y ESQUEMAS DE COMUNICACION QUE DEBEN MANTENER GRUPOS DE PERSONAS INTERESADAS EN ALCANZAR OBJETIVOS COMUNES O DESARROLLAR UN TRABAJO EN COOPERACION, CON LA PARTICULARIDAD DE QUE LA COMUNICACION SE REALIZA A TRAVES DE UN MEDIO ELECTRONICO, EL ORDENADOR. SE ESTABLECE ENTONCES UN MARCO GENERICO PARA LA DESCRIPCION DE LOS PROCESOS DE COMUNICACION DE GRUPO EN UN MEDIO ELECTRONICO CON EL OBJETIVO DE QUE PUEDA SER UTILIZADO PARA ANALIZAR Y ESPECIFICAR LOS DISTINTOS ESQUEMAS QUE SE PRODUCEN EN SITUACIONES PLURALES DE COMUNICACION. EL MARCO SE EXPRESA EN UN MODELO QUE INTEGRA LOS ELEMENTOS RELEVANTES DEL DOMINIO Y SUS INTERRELACIONES. LA CONCEPTUALIZACION QUE DA PASO AL MODELO ES POSIBLE YA QUE EXISTEN ESTRUCTURAS COMUNES QUE SUBYACEN EN DIVERSAS SITUACIONES O ESCENARIOS DE COMUNICACION. ANALIZADO EL MODELO SE REALIZA A CONTINUACION UNA PROPUESTA DE ARQUITECTURA QUE INTEGRA SUS COMPONENTES EN EL MARCO DISTRIBUIDO DE OSI. SE IDENTIFICAN ENTONCES DOS CLASES DE ENTIDADES QUE SOPORTARAN LA APLICACION DISTRIBUIDA DE LA COMUNICACION DE GRUPO Y QUE PROPORCIONARAN A LOS COMUNICANTES LA FUNCIONALIDAD REQUERIDA: EL AGENTE DE ACTIVIDAD Y EL AGENTE DE ROL. SE PLANTEA UNA ALTERNATIVA DE DISEÑO DEL AGENTE DE ACTIVIDAD DE FORMA QUE SE DISTRIBUYE TOTALMENTE EL CONOCIMIENTO QUE MANTIENE ENTRE LOS DISTINTOS AGENTES DE ROL QUE REALIZAN LA FUNCION DE SOPORTE DE LOS COMUNICANTES. ESTE DISEÑO REQUIERE UN CONJUNTO DE AGENTES INTELIGENTES AUTONOMOS COOPERANDO CON EL FIN DE CUMPLIR UNA ACTIVIDAD. PARA ILUSTRAR EL DISEÑO DISTRIBUIDO SE REALIZA UNA IMPLEMENTACION SOBRE SENCILLO EJEMPLO, UTILIZANDO UNA HERRAMIENTA SOFTWARE PARA DESARROLLO DE SISTEMAS EXPERTOS.

Autor: AYALA VALLESPI M. DOLORES.
Año: 1986.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS INDUSTRIALES DE BARCELONA..

Resumen: DENTRO DEL DISEÑO ASISTIDO POR COMPUTADOR UNA PARTE IMPORTANTE ES EL MODELADO GEOMETRICO Y UNO DE LOS PROCESOS DE ESTE ES LA REALIZACION DE OPERACIONES BOOLEANAS (O.B.). POR OTRO LADO HASTA AHORA EL MODELADO DE SOLIDOS -OBJETOS POLIEDRICOS- Y EL DE SUPERFICIES - OBJETOS DE FORMAS MAS COMPLEJAS SE HAN DESARROLLADO DE FORMA PARALELA SURGIENDO LA NECESIDAD DE CREAR NUEVOS MODELOS QUE PERMITAN REPRESENTAR AMBOS TIPOS DE OBJETOS. EN ESTE TRABAJO SE PRESENTAN 2 MODELOS OCTTREE-SUPERFICIE Y OCTTREE-VOLUMEN QUE SON UNA EXTENSION DEL MODELO DE OCTTREES EXTENDIDOS (O.E.) EXISTENTE PARA REPRESENTAR SOLIDOS QUE PERMITEN REALIZAR O.B. ENTRE SUPERFICIES Y ENTRE SOLIDOS Y SUPERFICIES. SE ESTUDIAN EN DETALLE LAS SUPERFICIES COMPUESTAS POR TROZOS BICUADRATICOS QUE SON LASMAS ADECUADAS PARA SER REPRESENTADAS EN ESTE MODELO. Y SE PRESENTAN LOS ALGORITMOS DE CONVERSION DE SUPERFICIES A LOS MODELOS DE O.E. DE CONVERSION INVERSA Y EL DE REALIZACION DE O.B. ENTRE SUPERFICIES O ENTRE SOLIDOS Y SUPERFICIES EN LOS CORRESPONDIENTES MODELOS DE O.E.

Autor: CATOT RIERA JOSE M..
Año: 1986.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAT D INFORMATICA.

Resumen: ESTA TESIS ES UNA APROXIMACION DE LOS PROBLEMAS QUE SE PRESENTAN AL APLICAR LOS MODELOS ESTADISTICOS DE PREVISION EN ENTORNOS DE ENTIDADES DE CREDITO AUNQUE LA METODOLOGIA Y EL SISTEMA INFORMATICO QUE SE DESARROLLAN SON PERFECTAMENTE VALIDOS PARA APLICAR LOS MODELOS ESTADISTICOS EN GENERAL EN OTROS ENTORNOS. LA ESTRUCTURA DE LA MEMORIA ES LA SIGUIENTE: 1) ESTUDIO DE LA PROBLEMATICA DE APLICACION DE LOS MODELOS ESTADISTICOS EN GENERAL Y DE PREVISION EN PARTICULAR EN LAS ENTIDADES DE CREDITO; 2) BREVE REVISION DE LA TEORIA DE LA DECISION Y LOS D.S.S.; 3) PRESENTACION DE LA CONSTRUCCION Y FUNCIONAMIENTO DE UN ENTORNO DE DESARROLLO DE SISTEMAS ESTADISTICOS CON LAS SIGUIENTES CARACTERISTICAS: A) FACIL DE UTILIZAR; B) POSIBILITA LA TRANSFERENCIA DE LOS DESARROLLOS REALIZADOS EN CENTROS UNIVERSITARIOS AL CAMPO DE LAS ORGANIZACIONES; Y 4) EJEMPLO DE CREACION DE VARIOS SISTEMAS ESPECIFICOS.

Autor: GALAN PASCUAL CARLOS.
Año: 1986.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE LA UNIVERSIDAD POLITECNICA DE MADRID.

Resumen: EL TRABAJO SE FUNDAMENTA EN LA APLICACION DE LA METODOLOGIA BASADA SOBRE ANALIZADORES DETERMINISTAS AVANZADOS, PARA SU ADAPTACION AL RECONOCIMIENTO DEL LENGUAJE NATURAL. TAL METODOLOGIA HA DEBIDO SER CONVENIENTEMENTE MODIFICADA, EN ARAS A ATENDER LAS PECULIARIDADES INHERENTES DE LA INTERPRETACION DE LAS LENGUAS NATURALES. SE HA PRETENDIDO, POR CONSIGUIENTE, ABORDAR UN PARADIGMA CLASICO DE LAS INVESTIGACIONES EN INTELIGENCIA ARTIFICIAL, DESDE LA OPTICA DETERMINISTA DE LOS ULTIMOS AVANCES EN EL DISEÑO Y CONSTRUCCION DE ANALIZADORES PARA LENGUAJES ARTIFICIALES, LO QUE HA DADO LUGAR A UN SISTEMA DE RECONOCIMIENTO FUNDAMENTADO EN LOS SIGUIENTES OBJETIVOS DE DISEÑO: COMUNICACION SENCILLA HOMBRE-MAQUINA, INDEPENDENCIA DEL DOMINIO TRATADO, TIEMPO DE RESPUESTA ACEPTABLE, SOPORTADO POR EQUIPAMIENTO ASEQUIBLE Y DE USO COMUN, TRANSPORTABLE. EL MODELO QUE SE PROPONE ES APLICABLE A OTRAS AREAS DE DIVERSA INDOLE, Y NO NECESARIAMENTE VINCULADAS A LAS DE LA INTELIGENCIA ARTIFICIAL, LO QUE AMPLIA EL CAMPO DE UTILIZACION DE ESTOS MODELOS MAS ALLA DE LO ESPERADO.

Autor: JUAN RUIZ JESUS.
Año: 1986.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS INDUSTRIALES DE MADRID. UNIVERSIDAD POLITECNICA..

Resumen: EL INTERES EN LA PROGRAMACION LINEAL SE HA VISTO INTENSIFICADO ESTOS ULTIMOS AÑOS TRAS LA APARICION EN 1984 DE UN ALGORITMO DE PUNTOS INTERIORES. DESPUES DE ESTE HAN APARECIDO DISTINTOS ALGORITMOS DE ENTRE LOS CUALES DESTACA EL METODO DEL ELIPSOIDE INTERIOR DE ANGEL SALAMANCA DESARROLLADO EN LA E.T.S.I. INDUSTRIALES DE MADRID. EL PROCEDIMIENTO ES EFICIENTE EN CUANTO A NUMERO DE ITERACIONES PERO ES NECESARIO ADAPTARLE METODOS ESPECIALES DE RESOLUCION DE LOSPROBLEMAS DE MINIMOS CUADRADOS QUE GENERA CON EL FIN DE CONSEGUIR UNA MAYOR RAPIDEZ. EL OBJETIVO DE ESTA TESIS SE HA CENTRADO EN LA OBTENCION DE NUEVOS METODOS DE MINIMOS CUADRADOS. Y SU INCLUSION EN EL ALGORITMO DEL ELIPSOIDE INTERIOR. SE HAN DESARROLLADO DOS PROCEDIMIENTOS EL PRIMERO DENOMINADO ACTUALIZACION INCOMPLETA DE LA DESCOMPOSICION TRIANGULAR DE CHOLESKY Y EL SEGUNDO DENOMINADO GRADIENTE CONJUGADO PRECONDICIONADO QUE ES UNA ADAPTACION DEL PROCESO DE BIDIAGONALIZACION DE GOLUB Y KAHAN. PARA MEDIR LA EFICIENCIA DE LOS METODOS PROPUESTOS SE HAN DESARROLLADO TRES APLICACIONES INFORMATICAS DOS DEL METODO DEL ELIPSOIDE INTERIOR Y OTRA EL ALGORITMO DEL SIMPLEX. SE COMPRUEBA QUE EL METODO DEL ELIPSOIDE INTERIOR ES INFERIOR AL SIMPLEX PARA PROBLEMAS GENERALES Y MUY SUPERIOR PARA PROBLEMAS DINAMICOS.