DISEÑO Y COMPONENTES DE SISTEMAS DE INFORMACION, 13

Autor: RINCON VEGA JOSE MIGUEL.
Año: 1980.
Universidad: PAIS VASCO .
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES.

Resumen: LA RAZON DE LA TESIS ES LA NECESIDAD DE FORMALIZAR DE UNA MANERA PRECISA Y RENTABLE EL ENORME VOLUMEN DE INFORMACION QUE MANEJAN LOS ENTES DE GESTION Y EL USO ADECUADO DE LAS HERRAMIENTAS INFORMATICAS. PARA ELLO LOS ENTES DE GESTION HAN SIDO DEFINIDOS Y CARACTERIZADOS COMO MACROSISTEMAS DENTRO DE UNA CONCEPTUACION ESTRICTA DE LA TEORIA GENERAL DE SISTEMAS Y DE UNA FORMULACION ADECUADA DE LOS MECANISMOS CIBERNETICOS INFORMACIONALES. CONSIDERADOS DE ESA FORMA LOS MACROSISTEMAS GESTIONARIOS SE HA DESARROLLADO UNA TEORIA AVANZADA SOBRE LOS FLUJOS DE INFORMACION Y SU FORMALIZACION MEDIANTE GRAFOS ORIENTADOS OBTENIENDO UN MODELO DE FLUJO INFORMACIONAL; TANTO OPERACIONAL COMO DECISORIAL. UNA APLICACION METODOLOGICA COMPLETA LOS DESARROLLOS TEORICOS ANTERIORES.

Autor: GARCIA TREVIJANO FORTE CARMEN.
Año: 1979.
Universidad: VALENCIA.
Centro de lectura: FILOSOFIA Y CIENCIAS DE LA EDUCACION.
Centro de realización: FACULTAD DE FILOSOFIA Y CIENCIAS DE LA EDUCACION DE LA UNIVERSIDAD DE VALENCIA. .

Resumen: ESTE TRABAJO TIENE POR OBJETO EL TRATAMIENTO AUTOMATICO DE DATOS BIBLIOGRAFICOS. CONSTA DE DOS PARTES UNA TEORICA Y OTRA PRACTICA. EN LA PRIMERA SE EXPONEN Y REVISAN CRITICAMENTE LOS TOPICOS VIGENTES EN ESTE AREA CON ESPECIAL ATENCION A LOS PROBLEMAS QUE PLANTEA PARA LA INFORMATIZACION EL ANALISIS SEMANTICO DE LOS DATOS. LA PARTE APLICADA PRESENTA EL DISEÑO Y MONTAJE DE UN SISTEMA OPERACIONAL DE INFORMATION RETRIEVAL PARA LA REVISTA TEOREMA Y UN ENSAYO EXPERIMENTAL DE APLICACION DE LAS TECNICAS DEL CLUSTERING AL ANALISIS DE CONTENIDO Y CLASIFICACION DE LOS TEXTOS.

Autor: GARCIA HOFFMANN MIGUEL.
Año: 1978.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS INDUSTRIALES DE BARCELONA - UNIVERSIDAD POLITECNICA DE BARCELONA.

Resumen: EN ESTA TESIS SE DESARROLLA UN SISTEMA FORMAL PARA LA DESCRIPCION Y VERIFICACION DE PROTOCOLOS DE COMUNICACION. PARA LA DESCRIPCION SE CREA UN LENGUAJE DESCRIPTIVO DE ALTO NIVEL. LA VALIDACION SE BASA EN LA CONSTRUCCION DE UN ARBOL DE EJECUCION Y PARA LA VERIFICACION SE GENERA MEDIANTE EJECUCION SIMBOLICA UN ARBOL DE PRUEBA PARA CADA PUNTO DE PARO DE LA RELACION DE SIMULACION. EL RESULTADO DE ESTE TRABAJO ES UN METODO DEFINICION VALIDACION Y VERIFICACION DE PROTOCOLOS QUE SE COMPARA FAVORABLEMENTE CON LOS SISTEMAS ACTUALMENTE EXISTENTES.

Autor: SANCHO RODRIGUEZ JUSTO.
Año: 1978.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: E. T. S. INGENIEROS DE TELECOMUNICACION DE MADRID..

Resumen: SE DESCRIBE EN ESTA TESIS COMO ANTECEDENTES LOS PRINCIPIOS BASICOS DE LA CRIPTOGRAFIA SIENDO EL TEMA PRINCIPAL EL ESTUDIO DE LAS FUNCIONES BOOLEANAS REVERSIBLES MULTIVARIABLES QUE SON UTILES A LOS METODOS CRIPTOGRAFICOS EN EL ORDENADOR. EN BASE A LAS FUNCIONES DETERMINADAS SE DISEÑAN PROGRAMAS DE CIFRADO Y DESCIFRADO Y SE ANALIZA LA SEGURIDAD DE LAS MISMAS. LAS CLAVES SE OBTIENEN DE LA MEMORIA DEL ORDENADOR Y POR PROCEDIMIENTOS DE GENERACION DE NUMEROS PSEUDOALEATORIOS. TAMBIEN SE ESTUDIAN LA REDUNDANCIA DEL LENGUAJE ESPAÑOL Y SU RELACION CON LA DISTANCIA DE UNICIDAD UTILIZANDOSE UN PROCEDIMIENTO MECANIZADO; CUYOS RESULTADOS CONSTITUYEN UNA APORTACION AL CONOCIMIENTO DE LA LENGUA ESPAÑOLA.

Autor: OLIVE RAMON ANTONIO.
Año: 1977.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS INDUSTRIALES.

Resumen: ES PLANTEJEN CINC PROBLEMES: 1. MODELACIO D'ESTRUCTURES D'INFORMACIO. 2. DEFINICIO D'UN CERT NOMBRE DE META-REGLES. 3. MODELACIO DE REGLES PARTICULARS. 4. DEFINICIO DE CONJUNTS D'INFORMACIO 5. DEFINICIO DE PROCESSOS. I S'EN PRESENTA UNA SOLUCIO MITJEN[ANT UNA ALGEBRA INFORMACIONAL D'ESTRUCTURA D'INFORMACIO I DE CONJUNTS D'INFORMACIO. S'ANALITZA TAMBE L'EPLICCACIO DE L'ALGEBRA AL DISSENY LOGIC DE SISTEMES D'INFORMACIO.