Cibernetia > Tesis doctorales
Búsqueda personalizada

Índice > MATEMATICAS >

CIENCIA DE LOS ORDENADORES



14 tesis en 1 páginas: 1
  • EFICIENCIA, INCENTIVOS Y EQUILIBRIO .
    Autor: RUEDA LLANO JOSÉ.
    Año: 2002.
    Universidad: CARLOS III DE MADRID.
    Centro de lectura: FACULTAD DE CIENCIAS SOCIALE SY JURÍDICAS.
    Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.
    Resumen: El contenido general de este trabajo es analizar la manera en que las restricciones de información limitan el logro de la eficiencia económica. En el capítulo 1 se estudia dicho problema en el contexto de economías con un bien público y un bien privado. Defendemos que la tan utilizada hipótesis de linealidad en el dinero de las preferencias es ciertamente problemática y proponemos un nuevo dominio que proporciona un mejor punto de partida en algunos casos relevantes. Desde el punto de vista de los juegos de contribución, en nuestro dominio se logran predicciones mucho más razonables que las que se obtenían en el dominio anterior. Desde el punto de vista de los incentivos nuestros resultados se asemejan a los que se obtenían en la literatura anterior pero el método de prueba difiere radicalmente de los hasta ahora utilizados. En el capítulo 2 se presenta una nueva demostración que generaliza el Teorema de Imposibilidad de Myerson y Satterthwaite basada en el Teorema de Equivalencia de Rentas. En el capítulo 3, en primer lugar, presentamos un conjunto de propiedades que debería satisfacer cualquier modelo de ajuste de precios cuando el concepto de equilibrio es el de equilibrio competitivo. En segundo lugar, estudiamos, en el contexto más sencillo y más favorable posible, las limitaciones que estas propiedades imponen sobre cualquier teoría dinámica del equilibrio competitivo. Nuestros dos resultados principales son que la cantidad total intercambiada puede exceder a la del equilibrio competitivo y que, irremediablemente, se produce una pérdida de bienestar no despreciable cada vez que el precio de mercado se ajusta a su nivel de equilibrio.
  • MAON: UN MÉTODO DE ANÁLISIS ORIENTADO A LA NECESIDAD .
    Autor: DIESTE TUBIO OSCAR.
    Año: 2002.
    Universidad: CASTILLA-LA MANCHA.
    Centro de lectura: INFORMÁTICA.
  • DESCRIPCIÓN E IMPLEMENTACIÓN DE TPPAL: UN ALGEBRA Q DE PROCESOS TEMPORIZADOS Y PROBABILÍSTICOS .
    Autor: PARDO MATEO JUAN JOSÉ.
    Año: 2002.
    Universidad: CASTILLA-LA MANCHA.
    Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
    Centro de realización: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
    Resumen: Tradicionalmente, los diseñadores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno de los formalismos para ser utilizado y se centraban en ése, descartando el resto de modelos. Con esto se estaban descartando las ventajas que los otros modelos podrían aportar a su trabajo. Ante esta situación, parece interesante el tener una relación definida entre los diferentes modelos, de modo que una vez realizaba una especificación en uno de ellos, concretamente en un modelo algebraico, ésta puede ser transformada a otro de los modelos, dependiendo de las necesidades del momento, y de las facilidades que cada uno de los modelos proporcione para el estudio de unas determinadas propiedades. Con esta idea en la cabeza, se inicio el trabajo que ha culminado en esta tesis, en la cual, en primer lugar se presenta el modelo algebraico base definido, el cual es un modelo temporizado. Este modelo está basado en LOTOS, añadiendo algunos operadores temporizados, que permitiesen la especificación de los sistemas cuyo comportamiento esté muy ligado a restricciones temporales como son los sistemas de tiempo real. Con este nuevo modelo se intentó recoger las mejores características de algunos de los modelos se intentó recoger las mejores características de algunos de los modelos existentes en un único modelo. Tras definir el modelo algebraico base, el primer modelo al que se traduce este álgebra, fue el modelo de grafos de estados dinámicos. Este modelo está basado en los autómatas temporizados definidos por Alur y Dill, aunque posee algunas diferencias con respecto a los autómatas entre las que podemos destacar, el uso de los relojes, que en nuestro caso no serán inicializados a 0 por ninguna transición, sino que éstos son sincronizados con el instante de tiempo del instante en que se ejecuta la acción. Ello nos permite conocer de una forma inmediata el tiempo consumido por cada componente de la especificación, aunque tiene el inconveniente de dificultar el proceso de verificación formal. Ante la similitudes existentes entre los grafos de estados dinámicos y los autómatas temporizados, se realiza una traducción de los grafos a autómatas. Posteriormente se realiza una traducción de los términos del álgebra a un modelo de redes de Petri, concretamente a redes de Petri con arcos Temporizados, en el cual los tokens tienen asociado un valore real no negativo, que indica el tiempo transcurrido desde su creación (su edad); y los arcos que van de un lugar a una transición estarán etiquetados por intervalos de tiempo, los cuales establecen restricciones a la edad de los tokens que pueden ser usados para disparar la transición. En esta traducción se realiza una extensión temporizada de los resultados mostrados en algunos artículos, si bien hemos planteado además posibles extensiones de la traducción clásica explotando las características particulares del modelo de red de Petri temporizada que hemos utilizado. Para finalizar la tesis se realiza una ampliación del modelo algebraico con operadores probabilísticos para la especificación de sistemas en los que su comportamiento se defina en función de unas probabilidades conocidas, y la traducción de los mismos a grafos de estados dinámicos probabilísticos.
  • COTAS DE DIVERSOS PARAMETROS DE UN GRAFO A PARTIR DE LOS AUTOVALORES DE SU MATRIZ LAPLACIANA.
    Autor: RODRIGUEZ VELAZQUEZ JUAN ALBERTO.
    Año: 1996.
    Universidad: POLITECNICA DE CATALUÑA.
    Centro de lectura: INGENIEROS DE TELECOMUNICACION.
    Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA I TELEMATICA PROGRAMA DE DOCTORADO: MATEMATICA DISCRETA I TELEMATICA.
    Resumen: ESTE TRABAJO SE ENMARCA DENTRO DE LA TEORIA ALGEBRAICA DE GRAFOS, EN PARTICULAR, EN LA TEORIA ESPECTRAL DE GRAFOS. FORMA PARTE DE UN AMPLIO PROYECTO QUE ESTUDIA QUE INFORMACION SE PUEDE OBTENER DE UN GRAFO A PARTIR DE LOS AUTOVALORES DE SU MATRIZ DE ADYACENCIA O DE SU MATRIZ LAPLACIANA. SE OBTIENEN COTAS DE VARIOS PARAMETROS DE UN GRAFO EN FUNCION DE LOS AUTOVALORES DE SU MATRIZ LAPLACIANA. EN PARTICULAR, SE EXTIENDEN AL CASO DE LA MATRIZ LAPLACIANA LOS TRABAJOS PREVIOS CON LA MATRIZ DE ADYACENCIA Y SE COMPARAN AMBOS METODOS. UN DETALLE MAYOR APARECE A CONTINUACION AL INDICAR LOS RESULTADOS OBTENIDOS. CON EL OBJETIVO DE OBTENER COTAS DE ALGUNOS PARAMETROS, DESDE EL PUNTO DE VISTA LOCAL, SE EXTIENDE EL CONCEPTO DE ESPECTRO LOCAL DE UN GRAFO A UNA MATRIZ SIMETRICA DONDE EL ESTUDIO LOCAL SE HACE RESPECTO A UN VECTOR. DESPUES SE PARTICULARIZA AL CASO EN QUE LA MATRIZ ES LA LAPLACIANA DEL GRAFO Y EL ESTUDIO LOCAL SE HACE RESPECTO A UN CONJUNTO H DE VERTICES. EL ESPECTRO QUE RESULTA DE DICHO ESTUDIO ES DENOMINADO H-ESPECTRO LAPLACIANO DEL GRAFO. SE OBTIENEN NUEVAS COTAS SUPERIORES PARA EL EXCESO DE ORDEN K DE TODO CONJUNTO DE VERTICES DE UNA DETERMINADA CARDINALIDAD, SE GENERALIZAN ALGUNOS DE LOS RESULTADOS EXISTENTES RELACIONADOS CON EL EXCESO Y SE OBTIENE EL ANALOGO LAPLACIANO DE OTROS. SE OBTIENE, ADEMAS, UNA COTA PARA EL EXCESO DE UN GRAFO CAMINO-REGULAR EN LA QUE SE INVOLUCRA TODO EL ESPECTRO LAPLACIANO. SE OBTIENEN COTAS, DESDE EL PUNTO DE VISTA LOCAL, PARA EL EXCESO DE UN CONJUNTO DE VERTICES. SE PROPONEN VARIAS COTAS PARA LA DISTANCIA MEDIA DE UN GRAFO A PARTIR DE LAS COTAS DEL EXCESO. SE DEFINE Y ACOTA INFERIORMENTE LA CONSTANTE DE AUMENTO DE ORDEN K EN UN GRAFO Y, COMO CASO PARTICULAR DE ESTA, SE OBTIENE UNA COTA PARA LA CONSTANTE DE AUMENTO QUE EN DETERMINADOS CASOS MEJORA LA COTA DE N. ALON. SE ACOTA INFERIORMENTE EL NUMERO DE VECINOS DE ORDEN K DE UN CONJUNTO DE VERTICES Y, COMO CASO PARTICULAR DE ESTE RESULTADO, SE ACOTA EL GRADO MINIMO DE UN GRAFO EN FUNCION DEL SEGUNDO Y ULTIMO AUTOVALOR DE LA MATRIZ LAPLACIANA. SE OBTIENE EL ANALOGO LAPLACIANO DE LA COTA DE FIOL, GARRIGA Y YEBRA PARA LA VERTICE-CONECTIVIDAD. CON EL OBJETIVO DE AMPLIAR EL CONOCIMIENTO SOBRE LA ESTRUCTURA DEL GRAFO EN FUNCION DEL H-ESPECTRO LAPLACIANO, SE DEFINE LA EXCENTRICIDAD CONDICIONAL DE UN CONJUNTO DE VERTICES Y SE ACOTA SUPERIOR DICHO PARAMETRO. USANDO POLINOMIOS K-ALTERNANTES Y LAPLACIANOS, SE DAN NUEVAS COTAS SUPERIORES PARA EL DIAMETRO CONDICIONAL Y ESTANDAR DE UN GRAFO. EN ESTE SENTIDO, SE PONEN EJEMPLOS PARA ILUSTRAR QUE, EN GENERAL, SE DEBEN TENER EN CUENTA LOS RESULTADOS QUE SE OBTIENEN TANTO PARA LA MATRIZ DE ADYACENCIA COMO PARA LA LAPLACIANA. PARA GRAFOS CAMINO-REGULAR SE ACOTA SUPERIORMENTE EL (1,S)-DIAMETRO MEDIANTE TODO EL ESPECTRO LAPLACIANO. SE ESTUDIAN LAS PROPIEDADES DE LOS GRAFOS FRONTERA PARA LA MATRIZ LAPLACIANA Y, POR ULTIMO, SE DETERMINAN CUALES SON LOS GRAFOS FRONTERA EXTREMALES DE DIAMETRO DOS TANTO PARA LA MATRIZ DE ADYACENCIA COMO PARA LA MATRIZ LAPLACIANA Y SE DEMUESTRA QUE LOS UNICOS GRAFOS FRONTERA EXTREMALES DE DIAMETRO TRES, PARA EL CASO REGULAR, SON LOS LLAMADOS GRAFOS DE TAYLOR. LOS RESULTADOS OBTENIDOS EN LA TESIS HAN SIDO LA BASE DE AL MENOS CINCO ARTICULOS; ALGUNOS DE ELLOS YA PUBLICADOS Y OTROS EN VIAS DE PUBLICACION. SE PROPONEN LOS SIGUIENTES PROBLEMAS ABIERTOS Y FUTUROS DESARROLLOS: EXTENDER EL ESTUDIO QUE REALIZAMOS EN LA TESIS A HIPERGRAFOS; ESTUDIAR OTROS PARAMETROS RELACIONADOS CON LA DISTANCIA EN GRAFOS; OBTENER COTAS MAS EXPLICITAS A PARTIR DE LAS QUE SE PROPONEN EN LA TESIS; CARACTERIZAR LOS GRAFOS EN LOS QUE SE ALCANZAN LAS COTAS DE ALGUNOS DE LOS PARAMETROS ESTUDIADOS Y OBTENER UN METODO PARA CALCULAR LOS POLINOMIOS H- LAPLACIANOS.
  • CONTRIBUCION A LOS METODOS DE SINTONIA DE LOS CONTROLADORES BASADOS EN LOGICA BORROSA .
    Autor: SANTOS PEÑAS MATILDE.
    Año: 1994.
    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: EN ESTE PROYECTO DE INVESTIGACION SE MUESTRA LA APLICACION DE LA LOGICA BORROSA AL CONTROL DE PROCESOS Y SE ABORDA EL PROBLEMA DE LA SINTONIA DE LOS CONTROLADORES BASADOS EN ESTE TIPO DE LOGICA. TRAS EXPONER LOS FUNDAMENTOS Y CONCEPTOS BASICOS DE ESTE RAZONAMIENTO APROXIMADO SE INTRODUCEN LOS CONTROLADORES BORROSOS, PRESENTANDO SUS ELEMENTOS Y ESTRUCTURANDO SU DISEÑO. SE ESTUDIAN LAS DISTINTAS ESPECIFICACIONES DE SUS ELEMENTOS, VIENDO LA INFLUENCIA DE CADA UNO DE ELLOS SOBRE EL CONTROL. PARA MEJORAR ESTE CONTROL SOBRE UNA CONFIGURACION ESTABLECIDA, SE PLANTEA EL PROBLEMA DEL AJUSTE DE LOS PARAMETROS DE ESTOS REGULADORES, YA QUE NO EXISTEN PROCEDIMIENTOS SISTEMATICOS PARA REALIZARLO. SE HA HECHO UNA REVISION EXHAUSTIVA DE LOS METODOS PROPUESTOS EN LA LITERATURA ANALIZANDO SUS VENTAJAS E INCONVENIENTES. SE REVISAN TAMBIEN LAS PRINCIPALES TECNICAS CLASICAS DE SINTONIA, AMPLIANDO LA TECNICA DEL RELE AL CASO ASIMETRICO, CON VISTAS A SU APLICACION AL CONTROL BORROSO. SE ESTUDIAN DIVERSOS TIPOS DE CONTROLADORES BORROSOS, EN ORDEN CRECIENTE DE COMPLEJIDAD, DESARROLLANDOLOS ANALITICAMENTE; PARA LOS CASOS EQUIPARABLES A LOS REGULADORES CONVENCIONALES, SE APLICAN LAS TECNICAS CLASICAS PRESENTADAS ANTERIORMENTE. PARA CONTROLADORES BORROSOS MAS GENERALES, SE MUESTRA UNA APLICACION DE SINTONIA CUALITATIVA, RESALTANDO ALGUNOS DE LOS RESULTADOS Y SUGIRIENDO UNA SOLUCION AL PROBLEMA DE LOS PARAMETROS INICIALES.
  • CSP PROBABILISTICO: UN MODELO PROBABILISTICO DE PROCESOS CONCURRENTES.
    Autor: CUARTERO GOMEZ FERNANDO.
    Año: 1993.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: MATEMATICAS.
    Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTNOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICOS Y CIENCIAS DE LA COMPUTACION.
  • ARQUITECTURA DE PROGRAMAS A PARTIR DE ESPECIFICACIONES FORMALES .
    Autor: SALVACHUA RODRIGUEZ JOAQUIN.
    Año: 1993.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INGENIEROS DE TELECOMUNICACION .
    Centro de realización: DEPARTAMENTO: DEPARTAMENTO DE INGENIERIA DE SISTEMAS TELEMATICOS PROGRAMA DE DOCTORADO: INGENIERIA DE SISTEMAS TELEMATICOS.
    Resumen: LOTOS ES UN LENGUAJE DE ESPECIFICACION PARA LA DESCRIPCION DE PROTOCOLOS ENTRE SISTEMAS ABIERTOS. EL PRESENTE TRABAJO EXPONE UN ALGORITMO PARA LA OBTENCION DEL SISTEMA DE TRANSICION SUBYACENTE QUE MEJORA, TANTO EN PRESTACIONES COMO EN COBERTURA DEL LENGUAJE, CUALQUIERA DE LOS ENFOQUES EXISTENTES EN LA LITERATURA ESPECIALIZADA. PARA DICHO ALGORITMO SE PRESENTAN ARQUITECTURAS DE REALIZACION CENTRALIZADAS Y DISTRIBUIDAS. ESTAS ULTIMAS SOBRE SISTEMAS MULTIPROCESADOR CON MEMORIA COMPARTIDA O CON PASO DE MENSAJES. ASIMISMO SE TRATAN ASPECTOS NO FUNCIONALES, PROPONIENDO EXTENSIONES DEL LENGUAJE DENTRO DEL MARCO SEMANTICO DE LOTOS. TODOS ESTOS ASPECTOS SE LLEVAN HASTA LA REALIZACION PRACTICA, GENERANDOSE MODULOS QUE RESPONDEN A LA ESPECIFICACION EXTENDIDA Y SON INTEGRABLES EN SISTEMAS MAS AMPLIOS.
  • TECNICAS DE ANALISIS CUALITATIVO EN SISTEMAS DINAMICOS. METODOS NUMERICOS Y APLICACIONES EN INGENIERIA.
    Autor: PONCE NUÑEZ ENRIQUE.
    Año: 1986.
    Universidad: SEVILLA.
    Centro de lectura: INGENIEROS INDUSTRIALES.
    Centro de realización: DEPARTAMENTO DE MATEMATICAS DE LA ESCUELA SUPERIOR DE INGENIEROS INDUSTRIALES DE SEVILLA..
    Resumen: EL TRABAJO REALIZADO SE SITUA EN LA DIRECCION DE AUMENTAR LAS POSIBILIDADES DE APLICACION DE LOS RESULTADOS DE LA TEORIA CUALITATIVA DE ECUACIONES DIFERENCIALES. SE PRESENTAN TECNICAS NUMERICAS Y ANALITICAS PARA EL ESTUDIO DE LOS EQUILIBRIOS DE UN SISTEMA DINAMICO Y SUS BIFURCACIONES. SE TRATAN MODELOS DE DINAMICA DE SISTEMAS APARENTEMENTE SIMPLES PERO QUE POSEEN DIAGRAMAS DE BIFURCACIONES DE GRAN RIQUEZA. TAMBIEN SE ESTUDIA UNA RED ELECTRICAELEMENTAL DANDO IDEA DE LAS POSIBLES APLICACIONES DEL ANALISIS CUALITATIVO EN INGENIERIA ELECTRICA. SE HA DISEÑADO UN ALGORITMO DE CONTINUACION DE ORBITAS PERIODICAS QUE PERMITE EL ESTUDIO DE BIFURCACIONES DINAMICAS. ASI SE ANALIZAN BIFURCACIONES SUBARMONICAS Y HOMOCLINAS EN SISTEMAS DINAMICOS CONCRETOS.
  • CONTRIBUCION AL ESTUDIO DE CONECTIVOS EN UN ESPACIO DE FUNCIONES DE DISTRIBUCION.
    Autor: SANCHEZ SOLER MONICA.
    Año: 1986.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA - U.P.M..
    Resumen: LA TESIS SE DEDICA AL ESTUDIO DETALLADO DE OPERACIONES EN EL ESPACIO DE FUNCIONES DE DISTRIBUCION DE PROBABILIDAD A+. SE PROPONEN ESTAS OPERACIONES COMO CONECTIVOS PARA UNA LOGICA CON VALORACIONES PROBABILISTICAS Y SE DESARROLLA UN ESTUDIO DE LA ARITMETICA BASICA DE LAS RELACIONES ENTRE DICHOS CONECTIVOS. SE INTRODUCEN LAS TERNAS DE DE MORGAN EN A+ AXIOMATIZANDO Y ESTUDIANDO PREVIAMENTE LOS CONCEPTOS DE NEGACION FUERTE DE A+ Y DE COFUNCION TRIANGULAR. SE DAN CARACTERIZACIONES DE TERNAS DE DE MORGAN EN A+ Y SE RESUELVE LA GENERALIZACION DE LA ECUACION FUNCIONAL DE FRANK EN ESTE CONTEXTO. SE ESTUDIAN CIERTAS OPERACIONES DE A+ OBTENIDAS A PARTIR DE MEDIAS CUASI-ARITMETICAS DEL INTERVALO UNIDAD Y SE ANALIZA EN QUE CONDICIONES CONSERVAN LAS PROPIEDADES USUALES DE DICHOS CONECTIVOS (IDEMPOTENCIA BISIMETRIA ...). EN LA ULTIMA PARTE DE LA TESIS SE INTRODUCEN Y ESTUDIAN LAS FUNCIONES DE AGREGACION EN A+ CONCEPTO QUE ENGLOBA PARTE DE LOS CONECTIVOS ANTERIORMENTE ESTUDIADOS Y PERMITE OBTENER NUEVOS TIPOS DE OPERACIONES BINARIAS DE A+. POR ULTIMO SE ESTUDIA CUANDO UNA MEDIA CUASI-ARITMETICA PUNTUAL DE A+ ES UNA FUNCION DE AGREGACION ESTUDIO QUE NOS LLEVA A LA RESOLUCION DE UN SISTEMA DE ECUACIONES FUNCIONALES QUE FUE CONSIDERADO POR PRIMERA VEZ POR DE RHAM EN 1956 Y ESTUDIADO POR MUCHOS AUTORES EN DIVERSOS CAMPOS.
  • TECNICAS CUANTITATIVAS DE ANALISIS DEL EEG.
    Autor: GARCIA GARCIA JULIO ANTONIO.
    Año: 1983.
    Universidad: POLITECNICA DE MADRID.
    Centro de lectura: INFORMATICA.
    Resumen: TRAS UN RESUMEN Y CRITICA DE LOS METODOS QUE HASTA LA FECHA HAN SIDO EMPLEADOSPARA INTENTAR ANALIZAR EL EEG SE DESARROLLAN DIVERSAS TECNICAS CUANTITATIVAS PARA MEJORAR SENSIBLEMENTE DICHO ANALISIS. ENTRE LAS TECNICAS UTILIZADAS LAS DE PREDICCION DE WIENER Y LAS DE SEGMENTACION DESTACANDO LAS MODIFICACIONES DEL ALGORITMO DE BODESTEIN-PRAETORIUS CON OBJETO DE EVITAR LAS AMBIGUEDADES QUE EN EL TRATAMIENTOORIGINAL SE PRESENTABAN Y LA ELABORACION DE UN ALGORITMO ORIGINAL LLAMADO G QUE PUEDE SER APLICADO EN TIEMPO REAL FACILITANDO ASI LA INTERPRETACION INMEDIATA DEL EEG.
  • COMPLEJIDAD ALGORITMICA: CUESTIONES Y APLICACIONES NOTABLES.
    Autor: AZORIN MINGUEZ ERNESTO.
    Año: 1981.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: MATEMATICAS.
    Centro de realización: DEPARTAMENTO DE ESTADISTICA MATEMATICA E INVESTIGACION OPERATIVA FACULTAD DE MATEMATICAS. UNIVERSIDAD COMPLUTENSE.
    Resumen: SE ESTUDIA LA COMPLEJIDAD COMPUTACIONAL DE LA DETERMINACION DE CIERTOS SUBCONJUNTOS DE NUMEROS ENTEROS EN RELACION CON UN PROBLEMA DE LOGICA DE UMBRAL. CON EST E FIN SE DESARROLLAN DIVERSOS ALGORITMOS Y SE ANALIZA SU COMPORTAMIENTO. EN PARTICULAR PARA UNO DE LOS PROBLEMAS TRATADOS SE DEMUESTRA QUE LA EXISTENCIA DE ALG ORITMOS EFICIENTES PARA RESOLVERLO IMPLICARIA QUE P=NP. SE ESTUDIA LA RELACION DE ESTE PROBLEMA CON PROBLEMAS DE INVESTIGACION OPERATIVA Y DE ESTADISTICA UTILIZANDO ESTA ULTIMA PARA PROPONER UN NUEVO ENFOQUE PARA DISEÑAR ALGORITMOS APROPIADOS. FINALMENTE SE PROPONEN LINEAS PARA ESTUDIAR LA COMPLEJIDAD DE PROBLEMAS DE INFERENCIA Y DE MUESTREO.
  • ALCANZABILIDAD EN SISTEMAS LINEALES DISCRETOS CON LIGADURAS EN EL ESPACIO DE ESTADOS O CON CONTROLES POSITIVOS .
    Autor: RUIPEREZ GARCIA HELIODORO.
    Año: 1981.
    Universidad: COMPLUTENSE DE MADRID.
    Centro de lectura: FISICA.
    Centro de realización: FACULTAD DE FISICAS. DPTO. DE INFORMATICA Y AUTOMATICA .
    Resumen: SE ESTUDIAN LAS CONDICIONES NECESARIAS Y SUFICIENTES DE ALCANZABILIDAD DE UN SISTEMA DINAMICO LINEAL DISCRETO E INVARIANTE CON LIGADURAS EN EL ESPACIO DE ESTADOS BASADAS EN LOS PARAMETROS DEL SISTEMA Y DE LAS LIGADURAS. SE DEMUESTRA QUE ESTE PROBLEMA SE PUEDE TRANSFORMAR EN OTRO EN EL QUE LAS LIGADURAS SE IMPONEN SOBRE LOS CONTROLES YA QUE ESTOS DEBEN SER POSITIVOS. SE DETERMINA EL NUMERO MINIMO DE PASOS EN QUE SE PUEDE ALCANZAR CUALQUIER PUNTO DEL ESPACIO DE ESTADOS CON LAS LIGADURAS IMPUESTAS. SE DEMUESTRA QUE ESTE PROBLEMA SUPONE ENCONTRAR EL POLINOMIO DEL MENOR GRADO POSIBLE QUE TRANSFORME EL POLINOMIO CARACTERISTICO DEL SISTEMA EN OTRO CON COEFICIENTES NO NEGATIVOS. SE PONE DE MANIFIESTO QUE DICHO GRADO ES FUNCION DEL ARGUMENTO DE LOS AUTOVALORES COMPLEJOS DEL SISTEMA
  • ALGUNOS RESULTADOS NUEVOS EN COMPLEJIDAD ALGORITMICA .
    Autor: DIAZ CORT JOSE.
    Año: 1980.
    Universidad: VALENCIA .
    Centro de lectura: FISICA.
    Centro de realización: FACULTAD DE CIENCIAS FISICAS UNIVERSIDAD DE VALENCIA.
    Resumen: DESPUES DE UN RESUMEN SOBRE LA HISTORIA DE LA COMPLEJIDAD ALGORITMICA LA PRIMERA PARTE DE LA TESIS CONSTA SOBRE LA INTRODUCCION DE UN NUEVO MODELO DE MEDIDA ESTATICA DE LA COMPLEJIDAD LA MAQUINA COMBINACIONAL. EN LA SEGUNDA PARTE SE ESTUDIA LA COMPLEJIDAD DE UNA FUNCION QUE SE UTILIZA EN EL DISEÑO DEL CABLEADO DE VSLI (UNA FUNCION PARA MINIMIZAR EL CAMINO).
  • CONTRIBUCION AL ESTUDIO DE VARIABLES SOBRE CLASIFICACIONES BORROSAS .
    Autor: RIERA MADURELL TERESA.
    Año: 1980.
    Universidad: PAIS VASCO.
    Centro de lectura: INFORMATICA.
    Centro de realización: FACULTAD DE INFORMATICA DE BARCELONA.
    Resumen: SE TRATA DE MODELIZAR SITUACIONES QUE CONLLEVAN UN TIPO DE VAPUEDAD DISTINTA DE LA ALEATORIA. PARA ELLO SE DEFINEN MAS FUNCIONES REALES (VARIABLES) SOBRE EL UNIVERSO DOTADO PREVIAMENTE DE UNA FAMILIA ESPECIAL DE BORROSOS QUE MODELIZAN EL AMBIENTE BORROSO EN EL QUE SE DESARROLLA EL PROBLEMA EN CUESTION. PARA ELLO SE ESTUDIAN PREVIAMENTE CIERTAS TRANSFORMACIONES ADMISIBLES ENTRE SUBCONJUNTOS BORROSOS Y TAMBIEN EL PROBLEMA DE CLASIFICAR OBJETOS PARA LOS QUE NO ES CLARA SU PERTENENCIA A UNA DETERMINADA CLASE. FINALMENTE SE DEFINE UNA MEDIDA DE EVALUACION DE POSIBILIDAD Y EL PARAMETRO CONFIANZA COMO PRIMER PASO HACIA LA DESCRIPCION DE LAS VARIABLES.
14 tesis en 1 páginas: 1
Búsqueda personalizada
Manuales | Tesis: Ordenadores, Circuitos integrados...
english
Cibernetia