Spelling suggestions: "subject:"algebraico"" "subject:"algebraicas""
1 |
Teoremas de Schauder y Borsuk para puntos fijos y aplicacionesAlejandro Aguilar, Miguel Angel January 2019 (has links)
Muestra la teoría de punto fijo basado en las consideraciones de orden y completitud, resaltando la importancia de los teoremas de Knaster-Tarski y Bishop-Phelps. De igual manera la teoría de triangulación y triangulación simétrica de Sn, necesarias para demostrar las equivalencias de los teoremas de Lusternik-Schnirelmann-Borsuk, antipodal de Borsuk y Borsuk-Ulam, como consecuencia se demuestra el teorema de Borsuk y las equivalencias del teorema de punto fijo de Brouwer con los teoremas de Bohl y la retracción de Borsuk. Para finalizar, se demuestra el teorema de punto fijo de Schauder y Borsuk para cualquier espacio lineal normado que son la extensión de los teoremas de Brouwer y Borsuk respectivamente, además se presenta algunas aplicaciones como son la demostración del teorema de Peano y de Krein-Krasnosel’skñ-Milman. / Tesis
|
2 |
Ciclos algebraicos y reducción semiestableInfante Vargas, Carlos Alonso 11 July 2006 (has links)
En esta memoria se estudian los grupos de Chow de una variedad lisa y proyectiva sobre un cuerpo completo a través del estudio del morfismo ciclo. Concretamente, se construye un morfismo, el llamado morfismo reducción (ver def. 4.2.1), que tiene como dominio los grupos de Chow de la variedad y cuya imagen cae dentro de un cociente del grupo de Chow de la reducción. A diferencia del morfismo ciclo l-ádico, este morfismo tiene la ventaja de no depender del número primo l (lema 4.3.3) y permite describir la imagen del morfismo ciclo l-ádico en el caso de variedades con reducción totalmente degenerada (ver def. 5.2.1 y teo. 5.4.4).Las ideas principales de fondo que se utilizan en esta memoria son dos: La primera consiste en restringirse a las variedades con reducción estrictamente semiestable (ver def. 3.2.2) y, a partir de combinaciones de los grupos de Chow de lascomponentes de la reducción, construir estructuras enteras y operadores sobre ellas de forma que se puedan reconstruir los grupos de Chow de la variedad inicial. La segunda idea consiste en relacionar estos operadores sobre las estructuras enteras con la monodromía asociada a la cohomología de la variedad.La existencia de una monodromía no trivial es una particularidad de las variedades con reducción totalmente degenerada.En la prop. 5.6.8 se da la descomposición del operador de monodromía sobre la cohomología de De Rham.Finalmente, la memoria termina con un capítulo dedicado a la aplicación de la teoría desarrollada para el caso de toros analíticos y producto de curvas de Mumford. / In this memory we study the Chow groups of a smooth and projective variety over a complete field through the study of the cycle morphism. Concretely, we construct a morphism, the so called reduction morphism (see def. 4.2.1), with domain in the Chow's groups of the variety and image into one quotient of the Chow's groups of its reduction. Differently to the l-adic cycle morphism, this morphism does not depend on the prime number l. (lemma 4.3.3) and permits the description of the image of the l-adic cycle morphism for varieties with totally degenerate reduction (see def. 5.2.1 and theorem 5.4.4).There are two basic ideas in this memory: The first consists in working with varieties with strictly semi-stable reduction (see def. 3.2.2) and from combinations of the Chow's groups of the components of the reduction variety construct Z-structures and operators over them. The second idea consists in the ralationship of this operators over the Z-structures with the monodromy associated to the cohomology of the variety. The existence of one no-trivial monodromy is a particularity of the varieties with totally degenerate reduction. Proposition 5.6.8 gives us the descomposition of the monodromy operator over the the Rham cohomology.Finally, the memory ends with a chapter dedicated to the application of the theory to the analytic torus and the product of Mumford's curves.
|
3 |
La comprensión lectora y la resolución de problemas algebraicos en alumnos de primer año de secundaria de una Institución Educativa Particular del Cercado de LimaDíaz García, Beatriz Elizabeth January 2015 (has links)
La presente investigación, de tipo descriptiva correlacional, permitió analizar la relación que existe entre la comprensión lectora y la resolución de problemas algebraicos en alumnos del primer año de secundaria de la Institución Educativa San Andrés Anglo Peruano, durante el año 2014.
Para ello, se trabajó con una muestra de 62 alumnos de primer año de secundaria. Para medir el nivel de comprensión lectora de los alumnos, se les aplicó la Prueba de Complejidad Lingüística Progresiva (CLP 7 – FORMA A) de los autores Alliende, Condemarín y Milicic, adaptada por Delgado et al en el 2012. De la misma manera, para medir el nivel de resolución de problemas algebraicos de los estudiantes, se aplicó una prueba diseñada por la autora de la investigación, cuya validez de contenido fue obtenida a través de criterio de jueces y para su confiabilidad se utilizó el coeficiente de alfa de Cronbach.
Para relacionar los puntajes de la comprensión lectora con los puntajes de la resolución de problemas algebraicos, se utilizó la prueba estadística de la correlación de Pearson, cuyos resultados demuestran la existencia de correlación estadísticamente significativa entre las variables comprensión lectora y resolución de problemas algebraicos.
|
4 |
La Comprensión Lectora y la Resolución de Problemas Algebraicos en Alumnos de Primer Año de Secundaria de una Institución Educativa Particular del Cercado de LimaDíaz García, Beatriz Elizabeth January 2015 (has links)
La presente investigación, de tipo descriptiva correlacional, permitió analizar la relación que existe entre la comprensión lectora y la resolución de problemas algebraicos en alumnos del primer año de secundaria de la Institución Educativa San Andrés Anglo Peruano, durante el año 2014.
Para ello, se trabajó con una muestra de 62 alumnos de primer año de secundaria. Para medir el nivel de comprensión lectora de los alumnos, se les aplicó la Prueba de Complejidad Lingüística Progresiva (CLP 7 – FORMA A) de los autores Alliende, Condemarín y Milicic, adaptada por Delgado et al en el 2012. De la misma manera, para medir el nivel de resolución de problemas algebraicos de los estudiantes, se aplicó una prueba diseñada por la autora de la investigación, cuya validez de contenido fue obtenida a través de criterio de jueces y para su confiabilidad se utilizó el coeficiente de alfa de Cronbach.
Para relacionar los puntajes de la comprensión lectora con los puntajes de la resolución de problemas algebraicos, se utilizó la prueba estadística de la correlación de Pearson, cuyos resultados demuestran la existencia de correlación estadísticamente significativa entre las variables comprensión lectora y resolución de problemas algebraicos.
|
5 |
La Comprensión Lectora y la Resolución de Problemas Algebraicos en Alumnos de Primer Año de Secundaria de una Institución Educativa Particular del Cercado de LimaDíaz García, Beatriz Elizabeth January 2015 (has links)
La presente investigación, de tipo descriptiva correlacional, permitió analizar la relación que existe entre la comprensión lectora y la resolución de problemas algebraicos en alumnos del primer año de secundaria de la Institución Educativa San Andrés Anglo Peruano, durante el año 2014.
Para ello, se trabajó con una muestra de 62 alumnos de primer año de secundaria. Para medir el nivel de comprensión lectora de los alumnos, se les aplicó la Prueba de Complejidad Lingüística Progresiva (CLP 7 – FORMA A) de los autores Alliende, Condemarín y Milicic, adaptada por Delgado et al en el 2012. De la misma manera, para medir el nivel de resolución de problemas algebraicos de los estudiantes, se aplicó una prueba diseñada por la autora de la investigación, cuya validez de contenido fue obtenida a través de criterio de jueces y para su confiabilidad se utilizó el coeficiente de alfa de Cronbach.
Para relacionar los puntajes de la comprensión lectora con los puntajes de la resolución de problemas algebraicos, se utilizó la prueba estadística de la correlación de Pearson, cuyos resultados demuestran la existencia de correlación estadísticamente significativa entre las variables comprensión lectora y resolución de problemas algebraicos.
|
6 |
Análisis y desarrollo de algoritmos de altas prestaciones para reconstrucción de imagen médica TAC 3D basados en la reducción de dosis.Chillarón Pérez, Mónica 21 January 2022 (has links)
Tesis por compendio / [ES] La prueba médica de Tomografía Computarizada (TC) es esencial actualmente en la práctica clínica para el diagnóstico y seguimiento de múltiples enfermedades y lesiones, siendo una de las pruebas de imagen médica más importante por la gran cantidad de información que es capaz de aportar. Sin embargo, a diferencia de otros métodos de diagnóstico por imagen que son inocuos, la prueba de TC utiliza rayos X, que son ionizantes, por lo que suponen un riesgo para los pacientes. Es por ello que es necesario desarrollar métodos que permitan reducir la dosis de radiación a la que se expone a los pacientes que se realizan un estudio, sin comprometer la calidad de imagen puesto que sino se estaría sometiendo a un riesgo a estas personas sin que un diagnóstico de calidad esté garantizado. Durante el desarrollo de esta tesis se han investigado métodos de reconstrucción de imagen TC que se basan en reducir el número de proyecciones usadas, con el objetivo de reducir el tiempo de exposición a los rayos X. Esta estrategia de reducción de dosis está en fase de investigación, a diferencia de otras que están implantadas en la práctica clínica y ya han sido desarrolladas por los propios fabricantes de los escáneres. Por tanto, nos hemos centrado en los llamados métodos algebraicos de reconstrucción, que son los más apropiados para este tipo de adquisición de proyecciones puesto que son capaces de trabajar con menos información que los métodos clásicos conservando una buena calidad de imagen. En concreto, se ha estudiado a fondo el comportamiento del método LSQR para la resolución de este problema, combinado con una técnica de filtrado llamada Soft Thresholding Filter y una técnica de aceleración llamada FISTA. Además, se ha introducido el filtro de imagen Bilateral que es capaz de mejorar la calidad de las imágenes cuando se combina con los métodos anteriores. El estudio multiparamétrico realizado se ha llevado a cabo en un entorno de computación distribuida Grid, para analizar cómo los distintos parámetros que intervienen en el proceso de reconstrucción pueden influir sobre la imagen resultado. Dicho estudio se ha diseñado para hacer uso de la potencia de cómputo de la plataforma distribuida aunque el software que se necesita no esté disponible. La instalación de dicho software se puede realizar en el tiempo de ejecución de los trabajos, o en se puede empaquetar en una imagen que estará instalada en un contenedor Docker, lo que es una opción muy interesante para sistemas donde no tengamos privilegios. El esquema seguido para la creación y lanzamiento de los trabajos es fácilmente reproducible. Por otra parte, se han planteado dos métodos algebraicos directos para la reconstrucción de TC basados en la factorización de la matriz que modela el sistema. El primero es el método SVD, que se ha probado mediante la librería SLEPc, obteniendo mayores tasas de uso de memoria principal, por lo que ha sido descartado en favor del método QR. La primera aproximación a la resolución se ha hecho mediante la librería SuiteSparseQR, desarrollando después un método propio siguiendo la técnica Out-Of-Core que permite almacenar las matrices en el propio disco duro en lugar de cargarlas en memoria, por lo que el tamaño del problema puede aumentar sin que el coste del hardware sea muy alto. Dicho método obtiene reconstrucciones de alta calidad cuando el rango de la matriz factorizada es completo. En los resultados se muestra como para una resolución alta, garantizar el rango completo todavía supone una reducción del número de proyecciones con respecto a métodos tradicionales. Por tanto, en esta tesis se ha llevado a cabo la investigación y el posterior desarrollo mediante librerías y técnicas de computación de Altas Prestaciones de varios métodos algebraicos de reconstrucción de TC basados en la reducción de proyecciones que permiten mantener una buena calidad de imagen. Dichos métodos han sido optimizados para lograr los menores tiempos de reconstrucción posibles, con el fin de hacerlos competitivos y que algún día puedan ser instaurados en la práctica clínica. / [CA] Actualment, la prova mèdica de tomografia computeritzada (TC) és essencial en la pràctica clínica per al diagnòstic i el seguiment de múltiples malalties i lesions, sent una de les proves d'imatge mèdica més importants a causa de la gran quantitat d'informació que és capaç d'oferir. Tanmateix, a diferència d'altres mètodes d'imatge médica, la prova CT utilitza raigs X, que són ionitzants i suposen un risc per als pacients. Per això, és necessari desenvolupar mètodes que permetin reduir la dosi de radiació a la qual estan exposats els pacients sotmesos a un estudi, sense comprometre la qualitat de la imatge, ja que en cas contrari estarien sotmetent a aquestes persones a un risc sense que es garantís l'avantatge d'un diagnòstic d'alta qualitat. Durant el desenvolupament d'aquesta tesi, s'han investigat diversos mètodes de reconstrucció d'imatges CT basats en la reducció del nombre de projeccions utilitzades, amb l'objectiu de reduir el temps d'exposició als raigs X. Aquesta estratègia de reducció de dosis es troba en fase investigació, a diferència d'altres que s'implementen a la pràctica clínica i que ja han estat desenvolupades pels propis fabricants d'escàners. Per tant, ens hem centrat en els anomenats mètodes de reconstrucció algebraica, que són els més adequats per a aquest tipus d'adquisició de projecció, ja que són capaços de treballar amb menys informació que els mètodes clàssics mantenint una bona qualitat d'imatge. Concretament, s'ha estudiat a fons el comportament del mètode LSQR per resoldre aquest problema, combinat amb una tècnica de filtratge anomenada Soft Thresholding Filter i una tècnica d'acceleració anomenada FISTA. A més, s'ha introduït un filtre d'imatges anomenat filtre bilateral, que és capaç de millorar la qualitat de les imatges quan es combina amb els mètodes anteriors. L'estudi multiparamètric de LSQR es va dur a terme en un entorn informàtic distribuït Grid, per analitzar com els diferents paràmetres implicats en el procés de reconstrucció poden influir en la imatge resultant. Aquest estudi ha estat dissenyat per fer ús de la potència de càlcul de la plataforma distribuïda encara que el programari requerit no estigui disponible. La instal·lació d'aquest programari es pot fer en el moment d'executar els treballs o es pot empaquetar en una imatge que s'instal·larà en un contenidor Docker, que és una opció molt interessant per a sistemes on no tenim privilegis. L'esquema seguit per a la creació i el llançament dels treballs es pot reproduir fàcilment per a estudis multiparamètrics d'aquest tipus. D'altra banda, s'han proposat dos mètodes algebraics directes per a la reconstrucció CT basats en la factorització de la matriu que modela el sistema. El primer és el mètode SVD, que s'ha provat mitjançant la biblioteca SLEPc, obtenint taxes d'ús més alt de memòria principal, motiu pel qual s'ha descartat a favor del mètode QR. La primera aproximació a la resolució s'ha fet a través de la biblioteca SuiteSparseQR, desenvolupant posteriorment la nostra pròpia implementació mitjançant la tècnica Out-Of-Core que permet emmagatzemar les matrius al disc dur en lloc de carregar-les a la memòria, de manera que la mida de el problema pot augmentar sense que el cost del maquinari sigui molt alt. Aquest mètode obté reconstruccions d'alta qualitat quan el rang de la matriu factoritzada és complet. En els resultats es demostra que per a una alta resolució, garantir el rang complet encara significa una reducció del nombre de projeccions en comparació amb els mètodes tradicionals. Per tant, en aquesta tesi s'ha dut a terme la investigació i el desenvolupament posterior de diversos mètodes de reconstrucció algebraica de CT mitjançant biblioteques i tècniques de computació d'altes prestacions. Aquests mètodes basats en la reducció de projeccions, que permeten mantenir una bona qualitat d’imatge, s’han optimitzat per aconseguir els temps de reconstrucció més breus possibles, per tal de fer-los competitius perquè algun dia puguin implementarse a la pràctica clínica. / [EN] The Computerized Tomography (CT) medical test is currently essential in clinical practice for the diagnosis and monitoring of multiple diseases and injuries, being one of the most important medical imaging tests due to the large amount of information it is capable of providing. However, unlike other safe imaging methods, the CT test uses X-rays, which are ionizing, posing a risk to patients. That is why it is necessary to develop methods that allow reducing the radiation dose to which patients undergoing a study are exposed, without compromising image quality since otherwise they would be subjecting these people to a risk without the benefit of a high-quality diagnosis being guaranteed.
During the development of this thesis, several CT image reconstruction methods that are based on reducing the number of projections used have been investigated, with the aim of reducing the time of exposure to X-rays. This dose reduction strategy is in research phase, unlike others that are implemented in clinical practice and have already been developed by the scanner manufacturers themselves.
Therefore, we have focused on the algebraic reconstruction methods, which are the most appropriate for this type of projection acquisition since they are capable of working with less information than the classical methods while maintaining good image quality. Specifically, the behavior of the LSQR method to solve this problem has been thoroughly studied, combined with a filtering technique called Soft Thresholding Filter and an acceleration technique called FISTA. In addition, the so-called Bilateral filter has been introduced, which is capable of improving the quality of images when combined with the above methods.
The multiparametric LSQR study was carried out in a Grid distributed computing environment, to analyze how the different parameters involved in the reconstruction process can influence the resulting image. This study has been designed to make use of the computing power of the distributed platform even if the software required is not available. The installation of said software can be done at the time of execution of the jobs, or it can be packaged in an image that will be installed in a Docker container, which is a very interesting option for systems where we do not have privileges. The scheme followed for the creation and launch of the jobs is easily reproducible for multiparametric studies of this type.
On the other hand, two direct algebraic methods have been proposed for CT reconstruction based on the factorization of the matrix that models the system. The first is the SVD method, which has been tested using the SLEPc library, obtaining higher rates of main memory usage, which is why it has been discarded in favor of the QR method. The first approximation to the resolution has been made through the SuiteSparseQR library, later developing our own implementation using the Out-Of-Core technique that allows the matrices to be stored on the hard drive itself instead of loading them in memory, so the size of the problem can increase without the cost of the hardware being very high. This method obtains high-quality reconstructions when the rank of the factored matrix is complete. In the results it is shown that for a high resolution, guaranteeing the full rank still means a reduction in the number of projections compared to traditional methods.
Therefore, in this thesis, research and subsequent development of several algebraic CT reconstruction methods has been carried out using libraries and High Performance Computing techniques. These methods based on the reduction of projections, which allows maintaining good image quality, and have been optimized to achieve the shortest possible reconstruction times, in order to make them competitive so that one day they can be implemented in clinical practice. / This research has been supported by Universitat Politècnica de València and partially funded by TIN2015-66972-C5-4-R, ENE2014-59442-P-AR and TIN2013-44390-R projects of the "Ministerio de Economía y Competitividad" of Spain, as well
as the Spanish ”Generalitat Valenciana” PROMETEOII/2014/008, PROMETEO/2018/035 projects and ACIF/2017/075 predoctoral grant. This work has also been co-financed by FEDER and FSE funds, and the “Spanish Ministry of Science,
Innovation and Universities” under Grant RTI2018-098156-B-C54 / Chillarón Pérez, M. (2021). Análisis y desarrollo de algoritmos de altas prestaciones para reconstrucción de imagen médica TAC 3D basados en la reducción de dosis [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/180116 / TESIS / Compendio
|
Page generated in 0.0679 seconds