Aplicación del análisis intervalar modal a problemas en diferencias

En esta tesis se presentan aplicaciones del Análisis Intervalar Modal al estudio de problemas diferenciales aplicados básicamente a la resolución de problemas del ámbito de la ingeniería, precedidos de una sucinta revisión de la teoría básica del sistema de intervalos modales y un estudio exhaustivo...

Descripción completa

Detalles Bibliográficos
Autor: Estela Carbonell, M. Rosa (Maria Rosa)
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2005
País:España
Institución:CBUC, CESCA
Repositorio:TDR. Tesis Doctorales en Red
OAI Identifier:oai:www.tdx.cat:10803/6718
Acceso en línea:http://www.tdx.cat/TDX-0530107-122402
http://hdl.handle.net/10803/6718
https://dx.doi.org/10.5821/dissertation-2117-94029
Access Level:acceso abierto
Palabra clave:marques
modalitat
intervals
interpretació semàntica
equacions diferencials intervalars
sistemes intervalars
anàlisi interval modal
optimalitat condicionada
equacions en diferències
51
517
624
id ES_c93aee86ec47d2671ccc75d2db864ca6
oai_identifier_str oai:www.tdx.cat:10803/6718
network_acronym_str ES
network_name_str España
repository_id_str
dc.title.none.fl_str_mv Aplicación del análisis intervalar modal a problemas en diferencias
title Aplicación del análisis intervalar modal a problemas en diferencias
spellingShingle Aplicación del análisis intervalar modal a problemas en diferencias
Estela Carbonell, M. Rosa (Maria Rosa)
marques
modalitat
intervals
interpretació semàntica
equacions diferencials intervalars
sistemes intervalars
anàlisi interval modal
optimalitat condicionada
equacions en diferències
51
517
624
title_short Aplicación del análisis intervalar modal a problemas en diferencias
title_full Aplicación del análisis intervalar modal a problemas en diferencias
title_fullStr Aplicación del análisis intervalar modal a problemas en diferencias
title_full_unstemmed Aplicación del análisis intervalar modal a problemas en diferencias
title_sort Aplicación del análisis intervalar modal a problemas en diferencias
dc.creator.none.fl_str_mv Estela Carbonell, M. Rosa (Maria Rosa)
author Estela Carbonell, M. Rosa (Maria Rosa)
author_facet Estela Carbonell, M. Rosa (Maria Rosa)
author_role author
dc.contributor.none.fl_str_mv Gardeñes Martín, Ernest
Huerta Cerezuela, Antonio
Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada III
dc.subject.none.fl_str_mv marques
modalitat
intervals
interpretació semàntica
equacions diferencials intervalars
sistemes intervalars
anàlisi interval modal
optimalitat condicionada
equacions en diferències
51
517
624
topic marques
modalitat
intervals
interpretació semàntica
equacions diferencials intervalars
sistemes intervalars
anàlisi interval modal
optimalitat condicionada
equacions en diferències
51
517
624
description En esta tesis se presentan aplicaciones del Análisis Intervalar Modal al estudio de problemas diferenciales aplicados básicamente a la resolución de problemas del ámbito de la ingeniería, precedidos de una sucinta revisión de la teoría básica del sistema de intervalos modales y un estudio exhaustivo de la optimalidad parcial de las funciones racionales, incorporando los conceptos de optimalidad equivalente y optimalidad condicionada, que representan una ampliación a la teoría del Análisis Intervalar Modal ya existente.<br/><br/>Definiremos los intervalos identificándolos con el conjunto de predicados que aceptan o rechazan predicados sobre la recta real, hecho desde luego, que permite corregir deficiencias estructurales y semánticas del Análisis Intervalar Clásico, pero que sobretodo funda la teoría intervalar en la función básica de los intervalos como referencias al sistema de los números reales compatibles con la inevitable necesidad de truncación que acompaña a cualquier valor numérico experimental. <br/><br/>Revisada la teoría básica del análisis intervalar modal, nos proponemos aplicarla a la resolución de problemas del ámbito de la ingeniería. Así, al plantearnos la resolución de problemas incluso elementales, como el de propagación del calor en una dimensión, nos encontramos con problemas de planteo en la aplicación de la teoría intervalar debido a las restricciones que impone la posibilidad de cálculos optimales. Esta situación lleva al estudio de la optimalidad condicionada que se ha presentado en el tercer capítulo de la tesis.<br/><br/>Admitiendo restricciones sobre las modalidades de los argumentos de las funciones racionales se obtienen conceptos nuevos como el de modalidad partida o el de optimalidad lateral, que finalmente permiten introducir el concepto de función racional sintácticamente c-conmutativa, que permite obtener un conjunto más amplio de funciones a las que se les puede asociar un cálculo optimal. <br/><br/>Sobre el conjunto de los intervalos podemos definir diversos sistemas de operaciones obteniendo por ejemplo el sistema de los intervalos modales dotados de su aritmética fundamental o bien dotados de una aritmética lineal o paralela. Esta última aritmética se introduce en el cuarto capítulo de la tesis. <br/><br/>Desde el punto de vista del análisis intervalar modal hemos estudiado ecuaciones en diferencias definidas como solución numérica a ecuaciones diferenciales. El modelo intervalar y los métodos de cálculo numérico son objetivamente distintos: mientras que el cálculo numérico calcula trayectorias singulares aproximadas, el cálculo intervalar calcula haces de trayectorias asociadas a una estrategia determinada por las modalidades de los intervalos. Además, el cálculo intervalar está basado en la inclusividad de las soluciones intervalares y por ello da lugar esencialmente a modelos exactos desde el punto de vista de las semánticas asociadas a la inclusión; frente al caso del cálculo numérico que se apoya esencialmente en el concepto de aproximación.<br/><br/>Una propiedad estructuralmente básica del Análisis intervalar es que no es adecuado aprovechar los algoritmos de los métodos numéricos clásicos como algoritmos intervalares, puesto que la estructura intervalar es esencialmente "mayor" que la de los números reales y por lo tanto debemos plantear cada problema intervalar siempre ab initio, en el interior del propio contexto intervalar. Fundamentalmente esto está determinado por el hecho de que no tiene sentido plantear las relaciones de inclusividad en el conjunto de los números reales, por reducirse a la identidad, y no tiene sentido prescindir de ellas en el contexto intervalar.<br/><br/>Los capítulos 5, 6, y 7 estudian distintos problemas que plantean las ecuaciones en diferencias intervalares, distinguiendo las situaciones que necesitan un contexto lineal y en consecuencia el soporte aritmético de los intervalos de marcas (comentados en el apéndice B). <br/><br/>Se han estudiado también problemas de contorno que se plantean en el cálculo numérico clásico, esencialmente sobre un contexto geométrico lineal. Dado que las operaciones aritméticas básicas de los intervalos modales no son operaciones lineales, no serán las operaciones adecuadas para modelos que pidan linealidad global. Los sistemas con operaciones lineales obligarán a un uso más elaborado de la modalidad, pero mantienen la geometría lineal que usualmente está exigida por el planteo experimental del problema. En la misma consideración de un modelo lineal, sin embargo, y tal como se ha estudiado en el capítulo 6, aparece un problema lógico con la truncación de los intervalos, cuya solución lleva inevitablemente a la aritmética de marcas. <br/><br/>En el apéndice A se presenta una biblioteca C++ que implementa la aritmética intervalar modal soportada por los coprocesadores Intel.
publishDate 2005
dc.date.none.fl_str_mv 2005
2007
2007
2011
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://www.tdx.cat/TDX-0530107-122402
http://hdl.handle.net/10803/6718
https://dx.doi.org/10.5821/dissertation-2117-94029
url http://www.tdx.cat/TDX-0530107-122402
http://hdl.handle.net/10803/6718
https://dx.doi.org/10.5821/dissertation-2117-94029
dc.language.none.fl_str_mv Español
language_invalid_str_mv Español
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de Catalunya
publisher.none.fl_str_mv Universitat Politècnica de Catalunya
dc.source.none.fl_str_mv TDX (Tesis Doctorals en Xarxa)
reponame:TDR. Tesis Doctorales en Red
instname:CBUC, CESCA
instname_str CBUC, CESCA
reponame_str TDR. Tesis Doctorales en Red
collection TDR. Tesis Doctorales en Red
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869419353345097728
spelling Aplicación del análisis intervalar modal a problemas en diferenciasEstela Carbonell, M. Rosa (Maria Rosa)marquesmodalitatintervalsinterpretació semànticaequacions diferencials intervalarssistemes intervalarsanàlisi interval modaloptimalitat condicionadaequacions en diferències51517624En esta tesis se presentan aplicaciones del Análisis Intervalar Modal al estudio de problemas diferenciales aplicados básicamente a la resolución de problemas del ámbito de la ingeniería, precedidos de una sucinta revisión de la teoría básica del sistema de intervalos modales y un estudio exhaustivo de la optimalidad parcial de las funciones racionales, incorporando los conceptos de optimalidad equivalente y optimalidad condicionada, que representan una ampliación a la teoría del Análisis Intervalar Modal ya existente.<br/><br/>Definiremos los intervalos identificándolos con el conjunto de predicados que aceptan o rechazan predicados sobre la recta real, hecho desde luego, que permite corregir deficiencias estructurales y semánticas del Análisis Intervalar Clásico, pero que sobretodo funda la teoría intervalar en la función básica de los intervalos como referencias al sistema de los números reales compatibles con la inevitable necesidad de truncación que acompaña a cualquier valor numérico experimental. <br/><br/>Revisada la teoría básica del análisis intervalar modal, nos proponemos aplicarla a la resolución de problemas del ámbito de la ingeniería. Así, al plantearnos la resolución de problemas incluso elementales, como el de propagación del calor en una dimensión, nos encontramos con problemas de planteo en la aplicación de la teoría intervalar debido a las restricciones que impone la posibilidad de cálculos optimales. Esta situación lleva al estudio de la optimalidad condicionada que se ha presentado en el tercer capítulo de la tesis.<br/><br/>Admitiendo restricciones sobre las modalidades de los argumentos de las funciones racionales se obtienen conceptos nuevos como el de modalidad partida o el de optimalidad lateral, que finalmente permiten introducir el concepto de función racional sintácticamente c-conmutativa, que permite obtener un conjunto más amplio de funciones a las que se les puede asociar un cálculo optimal. <br/><br/>Sobre el conjunto de los intervalos podemos definir diversos sistemas de operaciones obteniendo por ejemplo el sistema de los intervalos modales dotados de su aritmética fundamental o bien dotados de una aritmética lineal o paralela. Esta última aritmética se introduce en el cuarto capítulo de la tesis. <br/><br/>Desde el punto de vista del análisis intervalar modal hemos estudiado ecuaciones en diferencias definidas como solución numérica a ecuaciones diferenciales. El modelo intervalar y los métodos de cálculo numérico son objetivamente distintos: mientras que el cálculo numérico calcula trayectorias singulares aproximadas, el cálculo intervalar calcula haces de trayectorias asociadas a una estrategia determinada por las modalidades de los intervalos. Además, el cálculo intervalar está basado en la inclusividad de las soluciones intervalares y por ello da lugar esencialmente a modelos exactos desde el punto de vista de las semánticas asociadas a la inclusión; frente al caso del cálculo numérico que se apoya esencialmente en el concepto de aproximación.<br/><br/>Una propiedad estructuralmente básica del Análisis intervalar es que no es adecuado aprovechar los algoritmos de los métodos numéricos clásicos como algoritmos intervalares, puesto que la estructura intervalar es esencialmente "mayor" que la de los números reales y por lo tanto debemos plantear cada problema intervalar siempre ab initio, en el interior del propio contexto intervalar. Fundamentalmente esto está determinado por el hecho de que no tiene sentido plantear las relaciones de inclusividad en el conjunto de los números reales, por reducirse a la identidad, y no tiene sentido prescindir de ellas en el contexto intervalar.<br/><br/>Los capítulos 5, 6, y 7 estudian distintos problemas que plantean las ecuaciones en diferencias intervalares, distinguiendo las situaciones que necesitan un contexto lineal y en consecuencia el soporte aritmético de los intervalos de marcas (comentados en el apéndice B). <br/><br/>Se han estudiado también problemas de contorno que se plantean en el cálculo numérico clásico, esencialmente sobre un contexto geométrico lineal. Dado que las operaciones aritméticas básicas de los intervalos modales no son operaciones lineales, no serán las operaciones adecuadas para modelos que pidan linealidad global. Los sistemas con operaciones lineales obligarán a un uso más elaborado de la modalidad, pero mantienen la geometría lineal que usualmente está exigida por el planteo experimental del problema. En la misma consideración de un modelo lineal, sin embargo, y tal como se ha estudiado en el capítulo 6, aparece un problema lógico con la truncación de los intervalos, cuya solución lleva inevitablemente a la aritmética de marcas. <br/><br/>En el apéndice A se presenta una biblioteca C++ que implementa la aritmética intervalar modal soportada por los coprocesadores Intel.DOCTORAT EN MATEMÀTICA APLICADA (Pla 1998)Universitat Politècnica de CatalunyaGardeñes Martín, ErnestHuerta Cerezuela, AntonioUniversitat Politècnica de Catalunya. Departament de Matemàtica Aplicada III2011200720052007info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttp://www.tdx.cat/TDX-0530107-122402http://hdl.handle.net/10803/6718https://dx.doi.org/10.5821/dissertation-2117-94029TDX (Tesis Doctorals en Xarxa)reponame:TDR. Tesis Doctorales en Redinstname:CBUC, CESCAEspañolADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.info:eu-repo/semantics/openAccessoai:www.tdx.cat:10803/67182026-06-14T12:46:07Z
score 15.300719

Similares en LA Referencia