SimetrÃas e factores integrantes na resolución de ecuacións diferenciais ordinarias de primeira orde.
´¡³Ü³Ù´Ç°ùò¹
A.C.M.
Grao en Matemáticas
A.C.M.
Grao en Matemáticas
Data da defensa
12.02.2025 10:00
12.02.2025 10:00
Resumo
É ben sabido que non existe unha norma xeral de resolución de EDOs (ecuacións diferenciais ordinarias) de primeira orde, senón unha pluralidade de métodos, moitos dos cales se poden expresar na linguaxe de factores integrantes. Desafortunadamente, non se coñece ningunha técnica que permita obter de forma explÃcita factores integrantes para unha ecuación diferencial arbitraria. Porén, o matemático noruegués Sophus Lie (1842-1899) desenvolveu, a partir das simetrÃas das ecuacións diferenciais, un procedemento unificado para a súa obtención. O obxectivo deste traballo é estudar as simetrÃas e factores integrantes como método de resolución para as ecuacións diferenciais ordinarias de primeira orde.
É ben sabido que non existe unha norma xeral de resolución de EDOs (ecuacións diferenciais ordinarias) de primeira orde, senón unha pluralidade de métodos, moitos dos cales se poden expresar na linguaxe de factores integrantes. Desafortunadamente, non se coñece ningunha técnica que permita obter de forma explÃcita factores integrantes para unha ecuación diferencial arbitraria. Porén, o matemático noruegués Sophus Lie (1842-1899) desenvolveu, a partir das simetrÃas das ecuacións diferenciais, un procedemento unificado para a súa obtención. O obxectivo deste traballo é estudar as simetrÃas e factores integrantes como método de resolución para as ecuacións diferenciais ordinarias de primeira orde.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
BUEDO FERNANDEZ, SEBASTIAN (TitorÃa)
SANMARTIN LOPEZ, VICTOR CotitorÃa
BUEDO FERNANDEZ, SEBASTIAN (TitorÃa)
SANMARTIN LOPEZ, VICTOR CotitorÃa
Tribunal
BUEDO FERNANDEZ, SEBASTIAN (Titor do alumno)
SANMARTIN LOPEZ, VICTOR (Titor do alumno)
BUEDO FERNANDEZ, SEBASTIAN (Titor do alumno)
SANMARTIN LOPEZ, VICTOR (Titor do alumno)
Ecuacións Diofánticas nas OlimpÃadas Matemáticas
´¡³Ü³Ù´Ç°ùò¹
M.A.R.
Grao en Matemáticas
M.A.R.
Grao en Matemáticas
Data da defensa
12.02.2025 19:45
12.02.2025 19:45
Resumo
O obxectivo principal deste traballo será explorar e analizar diferentes métodos de resolución das ecuacións diofánticas nos problemas de olimpÃada matemática. Preténdese comprender como estas ecuacións, que requiren solución enteira, poden aplicarse en problemas competitivos e de que maneira os conceptos teóricos se traducen en técnicas para a súa resolución. Deste xeito, o traballo está divido en tres capÃtulos. O primeiro deles trata sobre a historia destes problemas, o seguinte sobre diferentes tipos de ecuacións diofánticas e a súa resolución. Por último, unha escolma dos diferentes problemas que nos podemos atopar nas olimpÃadas locais, nacionais e internacionais.
O obxectivo principal deste traballo será explorar e analizar diferentes métodos de resolución das ecuacións diofánticas nos problemas de olimpÃada matemática. Preténdese comprender como estas ecuacións, que requiren solución enteira, poden aplicarse en problemas competitivos e de que maneira os conceptos teóricos se traducen en técnicas para a súa resolución. Deste xeito, o traballo está divido en tres capÃtulos. O primeiro deles trata sobre a historia destes problemas, o seguinte sobre diferentes tipos de ecuacións diofánticas e a súa resolución. Por último, unha escolma dos diferentes problemas que nos podemos atopar nas olimpÃadas locais, nacionais e internacionais.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
GAGO COUSO, FELIPE (TitorÃa)
RIVERO SALGADO, OSCAR CotitorÃa
GAGO COUSO, FELIPE (TitorÃa)
RIVERO SALGADO, OSCAR CotitorÃa
Tribunal
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
A Fundamentación das Matemáticas e a TeorÃa de Conxuntos: Unha revisión
´¡³Ü³Ù´Ç°ùò¹
L.A.C.
Grao en Matemáticas
L.A.C.
Grao en Matemáticas
Data da defensa
13.02.2025 16:30
13.02.2025 16:30
Resumo
O obxectivo deste traballo consiste en presentar, de maneira clara e concisa, a evolución das matemáticas cun enfoque na lóxica dende os seus inicios na Antiga Grecia ata os séculos XIX e XX. Definiranse os conceptos básicos necesarios e estudarase o desenvolvemento da TeorÃa de Conxuntos, que engloba conceptos fundamentais como o Axioma da Elección, a Hipótese do Continuo e a Axiomatización de Zermelo-Fraenkel. Ademais, analizarase a relación entre elas e o seu impacto nas matemáticas modernas.
O obxectivo deste traballo consiste en presentar, de maneira clara e concisa, a evolución das matemáticas cun enfoque na lóxica dende os seus inicios na Antiga Grecia ata os séculos XIX e XX. Definiranse os conceptos básicos necesarios e estudarase o desenvolvemento da TeorÃa de Conxuntos, que engloba conceptos fundamentais como o Axioma da Elección, a Hipótese do Continuo e a Axiomatización de Zermelo-Fraenkel. Ademais, analizarase a relación entre elas e o seu impacto nas matemáticas modernas.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
ALONSO TARRIO, LEOVIGILDO (TitorÃa)
ALONSO TARRIO, LEOVIGILDO (TitorÃa)
Tribunal
ALONSO TARRIO, LEOVIGILDO (Titor do alumno)
ALONSO TARRIO, LEOVIGILDO (Titor do alumno)
TopoloxÃa da evolución dos virus.
´¡³Ü³Ù´Ç°ùò¹
L.M.Q.T.
Grao en Matemáticas
L.M.Q.T.
Grao en Matemáticas
Data da defensa
12.02.2025 19:00
12.02.2025 19:00
Resumo
Nas últimas decadas desenvolvéronse ferramentas topolóxicas para o análise de datos en distintas áreas. Neste traballo, explicaranse a homoloxÃa simplicial e a homoloxÃa persistente, asà como a súa aplicación na bioloxÃa como método para predecir a evolución dos virus, non moi coñecida nen controlada. Particularmente, centrarémosnos no virus da gripe (Influenza A) e no Virus da Inmunodeficiencia Humana (VIH), tanto pola súa prevalencia e mortalidade provocada en humanos, como pola disposición dos seus datos e idoneidade cos métodos topolóxicos expostos para o seu estudo.
Nas últimas decadas desenvolvéronse ferramentas topolóxicas para o análise de datos en distintas áreas. Neste traballo, explicaranse a homoloxÃa simplicial e a homoloxÃa persistente, asà como a súa aplicación na bioloxÃa como método para predecir a evolución dos virus, non moi coñecida nen controlada. Particularmente, centrarémosnos no virus da gripe (Influenza A) e no Virus da Inmunodeficiencia Humana (VIH), tanto pola súa prevalencia e mortalidade provocada en humanos, como pola disposición dos seus datos e idoneidade cos métodos topolóxicos expostos para o seu estudo.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
Gómez Tato, Antonio M. (TitorÃa)
Gómez Tato, Antonio M. (TitorÃa)
Tribunal
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
TeorÃa de xogos e loxÃstica no sector pesqueiro.
´¡³Ü³Ù´Ç°ùò¹
U.F.G.
Grao en Matemáticas
U.F.G.
Grao en Matemáticas
Data da defensa
13.02.2025 13:30
13.02.2025 13:30
Resumo
A teorÃa de xogos é unha disciplina matemática que estudia problemas de decisión que involucran a varios axentes. Distinguimos xogos cooperativos, os cales se diferencian na existencia ou non de mecanismos para establecer acordos vinculantes. Dous conceptos básicos son o valor de Shapley e o equilibrio perfecto en subxogos, tomados dos xogos cooperativos con utilidade transferible e os xogos en forma extensiva. Neste traballo utilizaremos as ferramentas mencionadas anteriormente para comprender e explicar unha investigación recente no ámbito dos dispositivos de concentración de peixes. Isto conduxo á posibilidade dun incremento nos beneficios das firmas pesqueiras paralelamente a unha contribución beneficiosa para o medio ambiente en términos da reduccción do consumo de carburante e asà das emisión de CO.2 Xunto coas consideracións teóricas prenténdese mostrar un análise empÃrico deste problema.
A teorÃa de xogos é unha disciplina matemática que estudia problemas de decisión que involucran a varios axentes. Distinguimos xogos cooperativos, os cales se diferencian na existencia ou non de mecanismos para establecer acordos vinculantes. Dous conceptos básicos son o valor de Shapley e o equilibrio perfecto en subxogos, tomados dos xogos cooperativos con utilidade transferible e os xogos en forma extensiva. Neste traballo utilizaremos as ferramentas mencionadas anteriormente para comprender e explicar unha investigación recente no ámbito dos dispositivos de concentración de peixes. Isto conduxo á posibilidade dun incremento nos beneficios das firmas pesqueiras paralelamente a unha contribución beneficiosa para o medio ambiente en términos da reduccción do consumo de carburante e asà das emisión de CO.2 Xunto coas consideracións teóricas prenténdese mostrar un análise empÃrico deste problema.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
CASAS MENDEZ, BALBINA VIRGINIA (TitorÃa)
CASAS MENDEZ, BALBINA VIRGINIA (TitorÃa)
Tribunal
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
Modelos xeoestadÃsticos para a determinación do espesor do xeo en Groenlandia
´¡³Ü³Ù´Ç°ùò¹
V.S.S.P.
Grao en Matemáticas
V.S.S.P.
Grao en Matemáticas
Data da defensa
12.02.2025 17:15
12.02.2025 17:15
Resumo
Ao longo desta disertación, presentamos e exploramos o uso dos modelos de Kriging como solución ao problema xeoestatÃstico de estimar o tamaño total da capa de xeo de Groenlandia, tanto en volume como en extensión. Ademais, avaliamos o rendemento de predición destes e outros modelos, comparando a súa precisión en relación coa súa respectiva complexidade.
Ao longo desta disertación, presentamos e exploramos o uso dos modelos de Kriging como solución ao problema xeoestatÃstico de estimar o tamaño total da capa de xeo de Groenlandia, tanto en volume como en extensión. Ademais, avaliamos o rendemento de predición destes e outros modelos, comparando a súa precisión en relación coa súa respectiva complexidade.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
FEBRERO BANDE, MANUEL (TitorÃa)
FEBRERO BANDE, MANUEL (TitorÃa)
Tribunal
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
As funcións xeratrices no cálculo de Ãndices de poder.
´¡³Ü³Ù´Ç°ùò¹
C.G.F.
Grao en Matemáticas
C.G.F.
Grao en Matemáticas
Data da defensa
12.02.2025 12:30
12.02.2025 12:30
Resumo
No campo da teorÃa de xogos, os xogos de mayorÃa ponderada desenvolven un papel fundamental na análise das votacións nos parlamentos e comités. Neste traballo, preséntanse esta clase de xogos, centrándose no estudo dos Ãndices de poder. Este é un concepto de solución que asigna unha medida da influencia ou poder aos xogadores no proceso de votación. Entre os Ãndices de poder existentes na literatura, estudaranse Shapley-Shubik, Banzhaf, Johnston, Colomer-MartÃnez, Johnston-Colomer-MartÃnez. Analizaranse as propiedades que verifican e ilustraranse con exemplos prácticos. Co obxectivo de facilitar o cómputo destes Ãndices, desenvolveranse métodos baseados nas funcións xeratrices, ferramentas da análise combinatoria que permiten obter, mediante polinomios, os elementos necesarios para o seu cálculo. Ademáis, modelarase unha nova situación ao considerar que os xogadores implicados poden aliarse formando agrupacións, dando lugar aos denominados xogos con estrutura coalicional. Para este tipo de xogos, introduciranse dous novos Ãndices de poder: os Ãndices de Owen e Banzhaf-Owen, xunto con métodos para o seu cálculo baseados tamén nas funcións xeratrices. Finalmente, aplicaranse estes conceptos nun caso práctico: a análise do Parlamento español. Estudaranse os cambios na distribución de poder dos partidos polÃticos entre as eleccións xerais de novembro de 2019 e xullo de 2023, asà como as consecuencias dos movementos de deputados ao longo da XV Lexislatura. Para levar a cabo estes cálculos, utilizarase a librerÃa powerindexR no software estadÃstico R.
No campo da teorÃa de xogos, os xogos de mayorÃa ponderada desenvolven un papel fundamental na análise das votacións nos parlamentos e comités. Neste traballo, preséntanse esta clase de xogos, centrándose no estudo dos Ãndices de poder. Este é un concepto de solución que asigna unha medida da influencia ou poder aos xogadores no proceso de votación. Entre os Ãndices de poder existentes na literatura, estudaranse Shapley-Shubik, Banzhaf, Johnston, Colomer-MartÃnez, Johnston-Colomer-MartÃnez. Analizaranse as propiedades que verifican e ilustraranse con exemplos prácticos. Co obxectivo de facilitar o cómputo destes Ãndices, desenvolveranse métodos baseados nas funcións xeratrices, ferramentas da análise combinatoria que permiten obter, mediante polinomios, os elementos necesarios para o seu cálculo. Ademáis, modelarase unha nova situación ao considerar que os xogadores implicados poden aliarse formando agrupacións, dando lugar aos denominados xogos con estrutura coalicional. Para este tipo de xogos, introduciranse dous novos Ãndices de poder: os Ãndices de Owen e Banzhaf-Owen, xunto con métodos para o seu cálculo baseados tamén nas funcións xeratrices. Finalmente, aplicaranse estes conceptos nun caso práctico: a análise do Parlamento español. Estudaranse os cambios na distribución de poder dos partidos polÃticos entre as eleccións xerais de novembro de 2019 e xullo de 2023, asà como as consecuencias dos movementos de deputados ao longo da XV Lexislatura. Para levar a cabo estes cálculos, utilizarase a librerÃa powerindexR no software estadÃstico R.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
SAAVEDRA NIEVES, ALEJANDRO (TitorÃa)
DAVILA PENA, LAURA CotitorÃa
SAAVEDRA NIEVES, ALEJANDRO (TitorÃa)
DAVILA PENA, LAURA CotitorÃa
Tribunal
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
Ecuacións diferenciais ordinarias con aplicacións á EconomÃa
´¡³Ü³Ù´Ç°ùò¹
C.V.F.
Grao en Matemáticas
C.V.F.
Grao en Matemáticas
Data da defensa
13.02.2025 13:00
13.02.2025 13:00
Resumo
Este Traballo de Fin de Grao céntrase na análise de certas ecuacións diferenciais ordinarias aplicadas ao estudo de modelos económicos. Ao longo do traballo, abórdanse cinco modelos clave: a curva de Phillips, o modelo de Harrod-Domar, o modelo de Solow-Swan, o modelo de Goodwin e o modelo dinámico de Leontief, que permiten describir fenómenos económicos fundamentais, dende a relación entre o desemprego e os salarios ata a interacción entre sectores produtivos. Cada modelo foi contextualizado, resolto e analizado en detalle, salientando tanto as súas achegas como as súas limitacións, co obxectivo de comprender mellor a súa utilidade e de explorar posibles melloras para a súa aplicación en economÃas modernas.
Este Traballo de Fin de Grao céntrase na análise de certas ecuacións diferenciais ordinarias aplicadas ao estudo de modelos económicos. Ao longo do traballo, abórdanse cinco modelos clave: a curva de Phillips, o modelo de Harrod-Domar, o modelo de Solow-Swan, o modelo de Goodwin e o modelo dinámico de Leontief, que permiten describir fenómenos económicos fundamentais, dende a relación entre o desemprego e os salarios ata a interacción entre sectores produtivos. Cada modelo foi contextualizado, resolto e analizado en detalle, salientando tanto as súas achegas como as súas limitacións, co obxectivo de comprender mellor a súa utilidade e de explorar posibles melloras para a súa aplicación en economÃas modernas.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
RodrÃguez López, Rosana (TitorÃa)
RodrÃguez López, Rosana (TitorÃa)
Tribunal
RodrÃguez López, Rosana (Titor do alumno)
RodrÃguez López, Rosana (Titor do alumno)
Determinación da dependencia espacial mediante variogramas
´¡³Ü³Ù´Ç°ùò¹
C.L.L.
Grao en Matemáticas
C.L.L.
Grao en Matemáticas
Data da defensa
12.02.2025 16:30
12.02.2025 16:30
Resumo
Neste traballo realÃzase unha introdución á geoestadÃstica, centrándose especialmente no concepto de variograma, estrutura que cuantifica a dependencia espacial, e o método de interpolación espacial Kriging. Para iso expóñense as bases teóricas da dependencia espacial como fundamento para o desenvolvemento do variograma, incluÃndo a concepción experimental pero tamén teórica do mesmo, asà como os distintos modelos existentes e razóns polas que pode non modelizar correctamente a dependencia espacial. A continuación preséntase a teorÃa detrás do método de interpolación Kriging, xunto coas diferentes variantes do modelo: o ordinario, o universal e o multivariante. Finalmente, preséntase un caso práctico que plasma a utilidade destes conceptos co fin de modelar, mediante as librerÃas gstat e sm de R, a interpolación dos contaminantes SO2, PM10 e NOx no territorio galego.
Neste traballo realÃzase unha introdución á geoestadÃstica, centrándose especialmente no concepto de variograma, estrutura que cuantifica a dependencia espacial, e o método de interpolación espacial Kriging. Para iso expóñense as bases teóricas da dependencia espacial como fundamento para o desenvolvemento do variograma, incluÃndo a concepción experimental pero tamén teórica do mesmo, asà como os distintos modelos existentes e razóns polas que pode non modelizar correctamente a dependencia espacial. A continuación preséntase a teorÃa detrás do método de interpolación Kriging, xunto coas diferentes variantes do modelo: o ordinario, o universal e o multivariante. Finalmente, preséntase un caso práctico que plasma a utilidade destes conceptos co fin de modelar, mediante as librerÃas gstat e sm de R, a interpolación dos contaminantes SO2, PM10 e NOx no territorio galego.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
FEBRERO BANDE, MANUEL (TitorÃa)
FEBRERO BANDE, MANUEL (TitorÃa)
Tribunal
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
Aplicación das EDOs a modelos biolóxicos
´¡³Ü³Ù´Ç°ùò¹
C.B.M.
Grao en Matemáticas
C.B.M.
Grao en Matemáticas
Data da defensa
13.02.2025 12:30
13.02.2025 12:30
Resumo
As ecuacións diferenciais ordinarias (EDOs) son unha ferramenta fundamental para modelar procesos dinámicos en diversas disciplinas. Este traballo céntrase na aplicación das EDOs a modelos biolóxicos, en particular aqueles relacionados coa propagación de enfermidades infecciosas. AnalÃzase en detalle o modelo SIR e as súas extensións, como os modelos SEIR e SIRS, co obxectivo de comprender a dinámica epidemiolóxica e a estabilidade dos estados estacionarios. Ademais, preséntase un estudo especÃfico sobre a propagación do VIH en Cuba empregando unha extensión non linear do modelo SIR. A análise inclúe solucións analÃticas e numéricas, e tamén a avaliación do impacto de diferentes estratexias de control e erradicación. Os resultados obtidos subliñan a importancia do número de reprodución básico R0 e das intervencións como a vacinación para mitigar a propagación de enfermidades.
As ecuacións diferenciais ordinarias (EDOs) son unha ferramenta fundamental para modelar procesos dinámicos en diversas disciplinas. Este traballo céntrase na aplicación das EDOs a modelos biolóxicos, en particular aqueles relacionados coa propagación de enfermidades infecciosas. AnalÃzase en detalle o modelo SIR e as súas extensións, como os modelos SEIR e SIRS, co obxectivo de comprender a dinámica epidemiolóxica e a estabilidade dos estados estacionarios. Ademais, preséntase un estudo especÃfico sobre a propagación do VIH en Cuba empregando unha extensión non linear do modelo SIR. A análise inclúe solucións analÃticas e numéricas, e tamén a avaliación do impacto de diferentes estratexias de control e erradicación. Os resultados obtidos subliñan a importancia do número de reprodución básico R0 e das intervencións como a vacinación para mitigar a propagación de enfermidades.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
RodrÃguez López, Jorge (TitorÃa)
RodrÃguez López, Jorge (TitorÃa)
Tribunal
RodrÃguez López, Jorge (Titor do alumno)
RodrÃguez López, Jorge (Titor do alumno)
Reconstrucción de árbores filoxenéticos mediante computación cuántica
´¡³Ü³Ù´Ç°ùò¹
N.F.O.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
N.F.O.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
Data da defensa
20.02.2025 10:30
20.02.2025 10:30
Resumo
A computación cuántica é un campo da informática que utiliza principios da fÃsica cuántica para a resolución de problemas de maneira máis eficiente que a computación clásica, especialmente en áreas como a optimización. Doutra banda, a bioinformática é un campo que combina elementos da bioloxÃa e a informática para analizar grandes conxuntos de datos biolóxicos. Un exemplo destacado desta disciplina é a xenómica, que inclúe a xeración de árbores filoxenéticos, ferramentas clave para entender a evolución biolóxica de especies. A reconstrución destas árbores representa un problema computacional moi complicado de resolver pola súa complexidade. Este traballo explora se a computación cuántica pode ofrecer solucións efectivas para abordar o devandito problema. Neste contexto, estudouse o funcionamento da computación cuántica e dos algoritmos cuánticos de optimización, facendo énfase en Quantum annealing e no algoritmo cuántico de optimización aproximada (QAOA). Baseándose nestes enfoques, desenvolveuse un algoritmo cuántico capaz de reconstruÃr filoxenias mediante o corte de grafos. O algoritmo proposto foi implementado e probado en hardware cuántico dispoñible actualmente, obtendo resultados satisfactorios que demostran o seu potencial para resolver problemas complexos na área da bioinformática.
A computación cuántica é un campo da informática que utiliza principios da fÃsica cuántica para a resolución de problemas de maneira máis eficiente que a computación clásica, especialmente en áreas como a optimización. Doutra banda, a bioinformática é un campo que combina elementos da bioloxÃa e a informática para analizar grandes conxuntos de datos biolóxicos. Un exemplo destacado desta disciplina é a xenómica, que inclúe a xeración de árbores filoxenéticos, ferramentas clave para entender a evolución biolóxica de especies. A reconstrución destas árbores representa un problema computacional moi complicado de resolver pola súa complexidade. Este traballo explora se a computación cuántica pode ofrecer solucións efectivas para abordar o devandito problema. Neste contexto, estudouse o funcionamento da computación cuántica e dos algoritmos cuánticos de optimización, facendo énfase en Quantum annealing e no algoritmo cuántico de optimización aproximada (QAOA). Baseándose nestes enfoques, desenvolveuse un algoritmo cuántico capaz de reconstruÃr filoxenias mediante o corte de grafos. O algoritmo proposto foi implementado e probado en hardware cuántico dispoñible actualmente, obtendo resultados satisfactorios que demostran o seu potencial para resolver problemas complexos na área da bioinformática.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
Fernández Pena, Anselmo Tomás (TitorÃa)
PICHEL CAMPOS, JUAN CARLOS CotitorÃa
Fernández Pena, Anselmo Tomás (TitorÃa)
PICHEL CAMPOS, JUAN CARLOS CotitorÃa
Tribunal
ARIAS RODRIGUEZ, JUAN ENRIQUE (Presidente/a)
Querentes Hermida, Raquel Esther (Secretario/a)
PIÑEIRO POMAR, CESAR ALFREDO (Vogal)
ARIAS RODRIGUEZ, JUAN ENRIQUE (Presidente/a)
Querentes Hermida, Raquel Esther (Secretario/a)
PIÑEIRO POMAR, CESAR ALFREDO (Vogal)
Introdución ás bifurcacións nas ecuacións diferenciais ordinarias
´¡³Ü³Ù´Ç°ùò¹
A.G.L.
Grao en Matemáticas
A.G.L.
Grao en Matemáticas
Data da defensa
12.02.2025 13:15
12.02.2025 13:15
Resumo
O estudo do comportamiento cualitativo das ecuacións diferenciáis busca obter propiedades das solución sen necesidade de coñecelas explÃcitamente. Este enfoque cobra especial relevancia cando se incorporan parámetros na ecuación, pois pequeñas variacións deles poden suponer cambios moi significativos, influindo no número de puntos singulares, na súa estabilidade ou la aparición de solución oscilatorias. Esta é a idea da teorÃa das bifurcacións, na que se profundizará mediante os exemplos máis tÃpicos en unha e dous dimensión: as bifurcacións tanxenciais, transcrÃticas, tridentes e de Hopf. Para cada unha de elas se explorará o comportamiento cualitativo de unha ecuación tipo, para continuar realizando un estudo xenérico no que se obterán as condición que as caracterizan.
O estudo do comportamiento cualitativo das ecuacións diferenciáis busca obter propiedades das solución sen necesidade de coñecelas explÃcitamente. Este enfoque cobra especial relevancia cando se incorporan parámetros na ecuación, pois pequeñas variacións deles poden suponer cambios moi significativos, influindo no número de puntos singulares, na súa estabilidade ou la aparición de solución oscilatorias. Esta é a idea da teorÃa das bifurcacións, na que se profundizará mediante os exemplos máis tÃpicos en unha e dous dimensión: as bifurcacións tanxenciais, transcrÃticas, tridentes e de Hopf. Para cada unha de elas se explorará o comportamiento cualitativo de unha ecuación tipo, para continuar realizando un estudo xenérico no que se obterán as condición que as caracterizan.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
BUEDO FERNANDEZ, SEBASTIAN (TitorÃa)
LOIS PRADOS, CRISTINA CotitorÃa
BUEDO FERNANDEZ, SEBASTIAN (TitorÃa)
LOIS PRADOS, CRISTINA CotitorÃa
Tribunal
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
CABADA FERNANDEZ, ALBERTO (Presidente/a)
BORRAJO GARCIA, MARIA ISABEL (Secretario/a)
MUÑOZ SOLA, RAFAEL (Vogal)
SimetrÃa de solucións a problemas elÃpticos sobredeterminados de valores de fronteira.
´¡³Ü³Ù´Ç°ùò¹
I.A.V.
Grao en Matemáticas
I.A.V.
Grao en Matemáticas
Data da defensa
13.02.2025 12:00
13.02.2025 12:00
Resumo
Neste traballo exporemos algúns dos aspectos fundamentais dos artigos de investigación que constituÃron o inicio do estudo das ecuacións en derivadas parciais elÃpticas con condicións de fronteira sobredeterminadas, isto é, onde se impoñen simultaneamente condicións Dirichlet e Neumann. En primeiro lugar analizaremos o Teorema de Serrin, asà como a súa demostración baseada en atopar simetrÃas empregando o método do plano móbil xunto cos principles do máximo. Asà mesmo desenvolveremos tamén unha demostración alternativa proposta por Weinberger, que emprega métodos analÃticos máis clásicos para aportar unha demostración máis compacta. Por último proporemos exemplos de casos fÃsicos nos que aparecen ecuacións en derivadas parciais elÃpticas con condicións de fronteira sobredeterminadas, co obxectivo de mostrar a utilidade e importancia dos estudos realizados neste campo.
Neste traballo exporemos algúns dos aspectos fundamentais dos artigos de investigación que constituÃron o inicio do estudo das ecuacións en derivadas parciais elÃpticas con condicións de fronteira sobredeterminadas, isto é, onde se impoñen simultaneamente condicións Dirichlet e Neumann. En primeiro lugar analizaremos o Teorema de Serrin, asà como a súa demostración baseada en atopar simetrÃas empregando o método do plano móbil xunto cos principles do máximo. Asà mesmo desenvolveremos tamén unha demostración alternativa proposta por Weinberger, que emprega métodos analÃticos máis clásicos para aportar unha demostración máis compacta. Por último proporemos exemplos de casos fÃsicos nos que aparecen ecuacións en derivadas parciais elÃpticas con condicións de fronteira sobredeterminadas, co obxectivo de mostrar a utilidade e importancia dos estudos realizados neste campo.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
DOMINGUEZ VAZQUEZ, MIGUEL (TitorÃa)
DOMINGUEZ VAZQUEZ, MIGUEL (TitorÃa)
Tribunal
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
MetaheurÃsticas do TSP: Un recorrido didáctico e computacional.
´¡³Ü³Ù´Ç°ùò¹
E.F.D.S.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
E.F.D.S.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
Data da defensa
13.02.2025 12:45
13.02.2025 12:45
Resumo
Durante a historia da computación, os problemas de rutas suscitaron un gran interese debido ás súas múltiples aplicacións en diferentes campos, como son a planificación e a loxÃstica. Este traballo céntrase no problema do viaxante de comercio ou TSP. En concreto, nas técnicas para resolvelo de forma aproximada nun tempo polinómico, as metaheurÃsticas. O obxectivo principal deste estudo é proporcionar unha guÃa para comprender catro das máis importantes, tanto no ámbito teórico como no computacional. Para iso, realizouse unha revisión bibliográfica, atopando información relevante destas e sintetizándoa. As metaheurÃsticas son: a procura tabú, o tépedo simulado, o algoritmo xenético e a optimización da colonia de formigas. Para a parte computacional, realizáronse implementacións en R de todas as metaheurÃsticas e avaliáronse con distintas instancias da librerÃa TSPLIB. Como resultado, obtÃvose que non hai unha metaheurÃstica mellor que o resto en todos os aspectos. A procura tabú e a optimización da colonia de formigas obteñen resultados moi prometedores en termos de distancia ao custo óptimo; con todo, son temporalmente máis custosas que as outras dúas. O tépedo simulado obtén uns resultados algo peores que os anteriores, pero de forma moi rápida. Por último, o algoritmo xenético obtén moi malos resultados nun tempo, relativamente, aceptable. En conclusión, este traballo serve como guÃa ás persoas que queiran comprender estes conceptos.
Durante a historia da computación, os problemas de rutas suscitaron un gran interese debido ás súas múltiples aplicacións en diferentes campos, como son a planificación e a loxÃstica. Este traballo céntrase no problema do viaxante de comercio ou TSP. En concreto, nas técnicas para resolvelo de forma aproximada nun tempo polinómico, as metaheurÃsticas. O obxectivo principal deste estudo é proporcionar unha guÃa para comprender catro das máis importantes, tanto no ámbito teórico como no computacional. Para iso, realizouse unha revisión bibliográfica, atopando información relevante destas e sintetizándoa. As metaheurÃsticas son: a procura tabú, o tépedo simulado, o algoritmo xenético e a optimización da colonia de formigas. Para a parte computacional, realizáronse implementacións en R de todas as metaheurÃsticas e avaliáronse con distintas instancias da librerÃa TSPLIB. Como resultado, obtÃvose que non hai unha metaheurÃstica mellor que o resto en todos os aspectos. A procura tabú e a optimización da colonia de formigas obteñen resultados moi prometedores en termos de distancia ao custo óptimo; con todo, son temporalmente máis custosas que as outras dúas. O tépedo simulado obtén uns resultados algo peores que os anteriores, pero de forma moi rápida. Por último, o algoritmo xenético obtén moi malos resultados nun tempo, relativamente, aceptable. En conclusión, este traballo serve como guÃa ás persoas que queiran comprender estes conceptos.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
CASAS MENDEZ, BALBINA VIRGINIA (TitorÃa)
CASAS MENDEZ, BALBINA VIRGINIA (TitorÃa)
Tribunal
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
RODRIGUEZ CASAL, ALBERTO (Presidente/a)
ALONSO TARRIO, LEOVIGILDO (Secretario/a)
SALGADO SECO, MODESTO RAMON (Vogal)
Estudo e aplicación de AWS Rekognition para o recoñecemento automático de etiquetas de roupa en imaxes de usuario.
´¡³Ü³Ù´Ç°ùò¹
E.F.D.S.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
E.F.D.S.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
Data da defensa
20.02.2025 10:00
20.02.2025 10:00
Resumo
Na actualidade existen múltiples ferramentas para realizar procesos de clasificación de imaxes, tales como as redes neuronais convolucionales e os transformers. Con todo, a marca Zara continúa realizando a etiquetaxe de maneira manual, o que deriva nun conxunto de etiquetas inexactas. Por esta razón, neste traballo explórase a implementación de métodos automatizados que melloren os resultados obtidos de forma manual. O propósito desta investigación é avaliar e analizar a eficacia do servizo de {AWS Rekognition Custom Labels para etiquetar pezas de vestir. A estratexia adoptada pretende identificar os lÃmites do servizo para a referida tarefa a través dunha análise da viabilidade do conxunto de datos orixe. O desenvolvemento do proxecto comeza cunha análise preliminar do conxunto de datos para determinar a súa idoneidade para o adestramento de modelos. Posteriormente, realÃzase un exame das restricións do servizo, considerando cinco variables principais: o número total de imaxes, a interrelación entre as etiquetas, o tipo de etiqueta, a cantidade de imaxes dispoñibles para cada etiqueta e a influencia de cada etiqueta sobre as demais. Para logralo, utilizaranse varios recursos como o propio servizo, un conxunto de datos inicial e unha API REST desenvolvida para este proxecto. Entre os principais achados destácanse a baixa relevancia do número total de imaxes, asà como as limitacións asociadas ao tipo de etiqueta e a importancia de que as etiquetas non estean excesivamente relacionadas.
Na actualidade existen múltiples ferramentas para realizar procesos de clasificación de imaxes, tales como as redes neuronais convolucionales e os transformers. Con todo, a marca Zara continúa realizando a etiquetaxe de maneira manual, o que deriva nun conxunto de etiquetas inexactas. Por esta razón, neste traballo explórase a implementación de métodos automatizados que melloren os resultados obtidos de forma manual. O propósito desta investigación é avaliar e analizar a eficacia do servizo de {AWS Rekognition Custom Labels para etiquetar pezas de vestir. A estratexia adoptada pretende identificar os lÃmites do servizo para a referida tarefa a través dunha análise da viabilidade do conxunto de datos orixe. O desenvolvemento do proxecto comeza cunha análise preliminar do conxunto de datos para determinar a súa idoneidade para o adestramento de modelos. Posteriormente, realÃzase un exame das restricións do servizo, considerando cinco variables principais: o número total de imaxes, a interrelación entre as etiquetas, o tipo de etiqueta, a cantidade de imaxes dispoñibles para cada etiqueta e a influencia de cada etiqueta sobre as demais. Para logralo, utilizaranse varios recursos como o propio servizo, un conxunto de datos inicial e unha API REST desenvolvida para este proxecto. Entre os principais achados destácanse a baixa relevancia do número total de imaxes, asà como as limitacións asociadas ao tipo de etiqueta e a importancia de que as etiquetas non estean excesivamente relacionadas.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
CARREIRA NOUCHE, MARIA JOSE (TitorÃa)
RodrÃguez DÃez, Helio CotitorÃa
CARREIRA NOUCHE, MARIA JOSE (TitorÃa)
RodrÃguez DÃez, Helio CotitorÃa
Tribunal
ARIAS RODRIGUEZ, JUAN ENRIQUE (Presidente/a)
Querentes Hermida, Raquel Esther (Secretario/a)
PIÑEIRO POMAR, CESAR ALFREDO (Vogal)
ARIAS RODRIGUEZ, JUAN ENRIQUE (Presidente/a)
Querentes Hermida, Raquel Esther (Secretario/a)
PIÑEIRO POMAR, CESAR ALFREDO (Vogal)
Segmentación semántica eficiente de imaxes de cobertura terrestre mediante arquitectura codificador-decodificador
´¡³Ü³Ù´Ç°ùò¹
I.L.C.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
I.L.C.
Dobre Grao en EnxeñarÃa Informática e en Matemáticas (2ªed)
Data da defensa
20.02.2025 11:30
20.02.2025 11:30
Resumo
Na área do sensado remoto, existe gran interese en recompilar información de cobertura terrestre para identificar e clasificar os diferentes tipos de superficies presentes no chan, como áreas con vexetación, corpos de auga, chans urbanos, pasteiros, bosques ou áreas agrÃcolas, entre outros. Por outra banda, a segmentación semántica de imaxes permite asignar unha etiqueta a cada pÃxel da imaxe, clasificándoos en diferentes categorÃas ou clases especÃficas, o que facilita a interpretación e a análise de imaxes satelitales ou aéreas. O uso de técnicas de aprendizaxe profunda demostrou ser eficaz no ámbito da visión por computador, concretamente nas tarefas de segmentación semántica. Con todo, estes modelos son moi custosos computacionalmente, e adoitan requirir o uso de hardware especializado e técnicas de optimización para mellorar a eficiencia e viabilidade do adestramento e a inferencia. Neste Traballo de Fin de Grao perséguese probar diferentes modelos con arquitectura codificador-decodificador, tratando de mellorar a eficiencia e viabilidade dos adestramentos mesmo con grandes cantidades de datos. Das técnicas de paralelismo existentes para adestramentos multiGPU, usarase o paralelismo de datos, seleccionando un módulo de PyTorch que o implemente de maneira eficiente. Ademais, usando precisión mixta en punto flotante de 16 bits conséguese reducir o uso de memoria e aproveitar mellor o hardware das GPUs, realizando o adestramento na metade de tempo sen que a calidade da segmentación se vexa afectada.
Na área do sensado remoto, existe gran interese en recompilar información de cobertura terrestre para identificar e clasificar os diferentes tipos de superficies presentes no chan, como áreas con vexetación, corpos de auga, chans urbanos, pasteiros, bosques ou áreas agrÃcolas, entre outros. Por outra banda, a segmentación semántica de imaxes permite asignar unha etiqueta a cada pÃxel da imaxe, clasificándoos en diferentes categorÃas ou clases especÃficas, o que facilita a interpretación e a análise de imaxes satelitales ou aéreas. O uso de técnicas de aprendizaxe profunda demostrou ser eficaz no ámbito da visión por computador, concretamente nas tarefas de segmentación semántica. Con todo, estes modelos son moi custosos computacionalmente, e adoitan requirir o uso de hardware especializado e técnicas de optimización para mellorar a eficiencia e viabilidade do adestramento e a inferencia. Neste Traballo de Fin de Grao perséguese probar diferentes modelos con arquitectura codificador-decodificador, tratando de mellorar a eficiencia e viabilidade dos adestramentos mesmo con grandes cantidades de datos. Das técnicas de paralelismo existentes para adestramentos multiGPU, usarase o paralelismo de datos, seleccionando un módulo de PyTorch que o implemente de maneira eficiente. Ademais, usando precisión mixta en punto flotante de 16 bits conséguese reducir o uso de memoria e aproveitar mellor o hardware das GPUs, realizando o adestramento na metade de tempo sen que a calidade da segmentación se vexa afectada.
¶Ù¾±°ù±ð³¦³¦¾±Ã³²Ô
Argüello Pedreira, Francisco Santiago (TitorÃa)
Blanco Heras, Dora CotitorÃa
Argüello Pedreira, Francisco Santiago (TitorÃa)
Blanco Heras, Dora CotitorÃa
Tribunal
ARIAS RODRIGUEZ, JUAN ENRIQUE (Presidente/a)
Querentes Hermida, Raquel Esther (Secretario/a)
PIÑEIRO POMAR, CESAR ALFREDO (Vogal)
ARIAS RODRIGUEZ, JUAN ENRIQUE (Presidente/a)
Querentes Hermida, Raquel Esther (Secretario/a)
PIÑEIRO POMAR, CESAR ALFREDO (Vogal)