O presente trabalho consistiu em realizar uma proposta metodológica de análise quantitativa da sustentabilidade de estabelecimentos agropecuários fluminenses através do emprego do marco metodológico proposto por Sauvenier et al. (2006) e van Cauwenbergh et al. (2007), denominado SAFE (Sustainability Assessment of Farming and the Environment Framework). Conforme a aplicação para sistemas agrários realizada por Sánchez-Fernández (2009) e por sua vez, incorporando a quarta dimensão da sustentabilidade (dimensão institucional), ademais das três dimensões clássicas neste tipo de análise (econômica, social e ambiental), seguindo a sugestão do IBGE (2010), com base nas recomendações do Livro Azul da ONU (1996). Esse procedimento contou com a colaboração e validação de um painel composto por 16 especialistas em agricultura fluminense o que permitiu selecionar 20 indicadores de sustentabilidade, derivados de 17 critérios, 8 princípios e 4 dimensões. Dos resultados alcançados e de seus possíveis desdobramentos, a proposta metodológica sugerida pode ser considerada uma ferramenta potencialmente útil para guiar as políticas públicas que incidem sobre o setor. / The aim of this study was to develop a practical methodology for evaluating the sustainability of farms by means of the methodological framework proposed by Sauvenier et al. (2006) and van Cauwenbergh et al. (2007), called SAFE (Sustainability Assessment of Farming and the Environment Framework), according to the application for agricultural systems performed by Sánchez-Fernández (2009) and incorporating the fourth dimension of sustainability (institutional dimension) besides the three classical dimensions adopted in this type of analysis (economic, social and environmental), following the suggestions of IBGE (2010), based on the recommendations of the UN Blue Book (1996). This procedure was validated by a panel of 16 experts in fluminense agriculture that supported the selection of 20 sustainability indicators, derived from 17 criteria, 8 principles and 4 dimensions. Through the results achieved and their possible outcomes, the proposed methodology for agricultural sustainability quantitative analysis could be considered as a potentially useful tool to improve current agricultural policies.

En primer lloc, s'evidencia que el disseny que involucra grafisme es pot analitzar com articulat en dos nivells o etapes, un de concepció, intel·lectual, i un altre d'execució, manual o físic, ambdós sempre en interrelació dialèctica. En segon lloc, es fan aportacions (matemàtiques) a ambdós nivells. Les matemàtiques han estat sempre presents com a vehicle per aquest diàleg, però, a partir del naixement del software gràfic, aquesta col·laboració s'ha actualitzat de manera descompensada (val a dir, descompassada): mentre ha aparegut una nova teoria, el Disseny Geomètric Assistit per Ordinador (CAGD) per donar cobertura matemàtica a la vessant executiva del disseny informatitzat, no s'ha actualitzat el referent matemàtic teòric per guiar la ment en la tasca de concepció per tal de poder explotar totes les noves possibilitats que ofereix la nova eina; aquest referent segueix sent eminentment euclidià.En síntesi, la tesi que es proposa és la de que falta un corpus de teoria matemàtica que permeti al dissenyador codificar la seva creativitat en un format que sigui capaç d'explotar tota la potencialitat de la eina informàtica gràfica, de la mateixa manera que la geometria euclidiana permetia codificar satisfactòriament el disseny que era possible amb el regle i el compàs. Es tracta de concebre explotant la relació que, gràcies als ponts que estableixen els sistemes de coordenades, existeix entre funcions i formes, que es just el que permet a un ordinador "dibuixar" a partir de zeros i uns.D'acord amb això, la introducció s'ocupa de desenvolupar i argumentar aquest punt de vista. Un cop establertes les dues etapes del disseny i argumentada la carència teòrica en el nivell de concepció, s'aporta maquinària matemàtica per ambdues etapes. Així, el cos de la memòria té dues parts. La Part I recull aportacions pel CAGD, és a dir, per la fase d'execució, la més comú en la recerca actual, consistents principalment en nous mètodes de generació de corbes i superfícies a partir de dades de disseny proporcionades per l'usuari. La Part II ofereix una proposta, entre les possibles, de corpus teòric per cobrir el buit que es senyala en la fase de concepció, consistent en una mena de codi o gramàtica matemàtica organitzada en:- Lletres: Les funcions en brut. La seva gràfica és germen de formes.- Paraules: Les funcions modificades amb paràmetres ajustables i formalment significatius.- Verbs: Operadors funcionals que actuen sobre les paraules amb una acció interpretable en termes formals. S'organitzen en sis tipus, segons la manera d'actuar.- Oracions: Les formulacions resultants de la interacció dels elements anteriors, que representen els dissenys finals.Val a dir que es proposa un disseny descompassat, o sigui, sense el compàs, en el sentit de superar la mentalitat ancorada en el regle i el compàs (no eliminant-la sinó incloent-la).S'adjunten exemples en tots els casos. En la Part II els exemples s'enfoquen cap el disseny gràfic (sanefes, textures) i cap l'arquitectònic (estadi de futbol, naus i galeries i una catedral gòtica, tots completament formulats amb funcions matemàtiques paramètriques).Pel seu contingut, es tracta d'una memòria interdisciplinar, ja que afecta com a mínim a la psicologia del disseny, al propi disseny, a la història de l'art, a la informàtica i, evidentment, a les matemàtiques. De totes maneres, les matemàtiques que hi apareixen són tractades amb una mentalitat més de dissenyador o d'enginyer que de matemàtic pur. En altres paraules, no és una tesi de teoremes sinó de "fabricació" de mètodes (matemàtics) per ajudar a desenvolupar una manera més creativa de dur a terme el disseny que involucra grafisme. / En primer lugar, se evidencia que el diseño que involucra grafismo se puede analizar como articulado en dos niveles o etapas, uno de concepción, intelectual, y otro de ejecución, manual o físico, ambos siempre en interrelación dialéctica. En segundo lugar, se hacen aportaciones (matemáticas) a ambos niveles. Las matemáticas han estado siempre presentes como vehículo para este diálogo, pero, a partir del nacimiento del software gráfico, esta colaboración se ha actualizado de manera descompensada (cabe decir desacompasada): mientras ha aparecido una nueva teoría, el Diseño Geométrico Asistido por Ordenador (CAGD) para dar cobertura matemática a la vertiente ejecutiva del diseño informatizado, no se ha actualizado el referente matemático teórico para guiar la mente en la tarea de concepción a fin de poder explotar todas las nuevas posibilidades que ofrece la nueva herramienta; este referente sigue siendo eminentemente euclidiano.En síntesis, la tesis que se propone es la de que falta un corpus de teoría matemática que permita al diseñador codificar su creatividad en un formato que sea capaz de explotar toda la potencialidad de la herramienta informática gráfica, de la misma manera que la geometría euclidiana permitía codificar satisfactoriamente el diseño que era posible con regla y compás. Se trata de concebir explotando la relación que, gracias a los puentes que establecen los sistemas de coordenadas, existe entre funciones y formas, que es precisamente lo que permite a un ordenador "dibujar" a partir de ceros y unos. De acuerdo con esto, la introducción se ocupa de desarrollar y argumentar este punto de vista. Una vez establecidas las dos etapas del diseño y argumentada la carencia teórica en el nivel de concepción, se aporta maquinaria matemática para ambas etapas. Así, el cuerpo de la memoria tiene dos partes. La Parte I recoge aportaciones para el CAGD, es decir, para la fase de ejecución, la más común en la investigación actual, consistentes principalmente en nuevos métodos de generación de curvas y superficies a partir de datos de diseño proporcionados por el usuario. La Parte II ofrece una propuesta, entre las posibles, de corpus teórico para cubrir el vacío que se señala en la fase de concepción, consistente en una especie de código o gramática matemática organizada en:- Letras: Las funciones en bruto. Su gráfica es germen de formas- Palabras: Las funciones modificadas con parámetros ajustables y formalmente significativos.- Verbos: Operadores funcionales que actúan sobre les palabras con una acción interpretable en términos formales. Se organizan en seis tipos, según la manera de actuar.- Oraciones: Las formulaciones resultantes de la interacción de los elementos anteriores, que representan los diseños finalesCabe decir que se propone un diseño desacompasado, o sea, sin el compás, en el sentido de superar la mentalidad anclada en la regla y el compás (no eliminándola sino incluyéndola).Se adjuntan ejemplos en todos los casos. En la Parte II los ejemplos se enfocan hacia el diseño gráfico (cenefas, texturas) y hacia el arquitectónico (estadio de fútbol, naves y galerías y una catedral gótica, todos completamente formulados con funciones matemáticas paramétricas).Por su contenido, se trata de una memoria interdisciplinar, ya que afecta como mínimo a la psicología del diseño, al propio diseño, a la historia del arte, a la informática y, evidentemente, a las matemáticas. De todos modos, las matemáticas que aparecen son tratadas con una mentalidad más de diseñador o de ingeniero que de matemático puro. En otras palabras, no es una tesis de teoremas sino de "fabricación" de métodos (matemáticos) para ayudar a desarrollar una manera más creativa de llevar a cabo el diseño que involucra grafismo. / As a preliminar step, it is shown that the design involving graphics is twofold. It has a level of conception that is intellectual and a level of execution that is manual or physical. Both levels are always in dialectical interrelation. This work contains some (mathematical) contributions made to both levels. Mathematics have always been a vehicle for this dialogue, but, from the birth of the graphical software, this collaboration has been updated in an unbalanced way: while a new theory has appeared, the Computer Aided Geometrical Design, to give mathematical support to the executive side of the design with computers, the theoretical mathematical referent that has to guide the mind in the conception task has not been updated in order to exploit all the possibilities that the new tool offers. Therefore, this referent still remains mainly Euclidean.To sum up, this thesis states that the Euclidean geometry allows a satisfactory codification of the design made with ruler and compasses and uncovers the existing lack of a mathematical theory in order to allow the designer to codify its creativity in a format suitable for exploiting the actual potentiality of the graphical cybernetic tool. The main point is to conceive the designs by exploiting the existing relation between functions and shapes. This relation, based on co-ordinate systems, is precisely the relation that allows a computer to "draw" by means of zeros and ones. According with this idea, the introduction is devoted to develop and to support this point of view. Once the two stages of the design have been established and the lack of theory at the level of conception has been justified, some mathematical machinery for the two stages is given. Thus, the body of the memory has two parts. Part One collects the contributions to the CAGD, that is, to the execution stage (the most common in the present research), mainly consisting in new methods for the generation of curves and surfaces starting from data given by the user. Part Two offers a proposal of a theoretical corpus in order to cover the gap detected in the conception stage, consisting of a mathematical code or grammar organised in: - Letters: The raw functions. Its graph is a germ of shapes.- Words: The functions modified with adjustable and formally significant parameters.- Verbs: Functional operators that act on the words and they represent an action that can be interpreted in formal terms. They are organised in six types, according to the kind of action.- Sentences: The formulations obtained from the interaction of the previous elements representing the final design.A design without compasses is proposed in the sense that it is necessary to go beyond the mentality that is anchored in the ruler and the compasses not by eliminating it, but by including it.Some examples for all these cases are included. In Part Two, the examples are focussed towards the graphical design (edgings, textures) and towards the architectural design (football stadium, naves, galleries and a gothic-like cathedral). All the examples are completely formulated with mathematical parametrical functions.Due to its contents, it is an interdisciplinary memory since it has connections with, at least, the psychology of the design, the design itself, the history of the art, the computer science and, evidently, the mathematics. However, the mathematics are managed here more with the mentality of a designer or an engineer than with the mentality of a pure mathematician . In other words, it is not a thesis of theorems but a thesis about the "construction" of (mathematical) methods for helping the development of a more creative computer graphical design.

O presente trabalho consistiu em realizar uma proposta metodológica de análise quantitativa da sustentabilidade de estabelecimentos agropecuários fluminenses através do emprego do marco metodológico proposto por Sauvenier et al. (2006) e van Cauwenbergh et al. (2007), denominado SAFE (Sustainability Assessment of Farming and the Environment Framework). Conforme a aplicação para sistemas agrários realizada por Sánchez-Fernández (2009) e por sua vez, incorporando a quarta dimensão da sustentabilidade (dimensão institucional), ademais das três dimensões clássicas neste tipo de análise (econômica, social e ambiental), seguindo a sugestão do IBGE (2010), com base nas recomendações do Livro Azul da ONU (1996). Esse procedimento contou com a colaboração e validação de um painel composto por 16 especialistas em agricultura fluminense o que permitiu selecionar 20 indicadores de sustentabilidade, derivados de 17 critérios, 8 princípios e 4 dimensões. Dos resultados alcançados e de seus possíveis desdobramentos, a proposta metodológica sugerida pode ser considerada uma ferramenta potencialmente útil para guiar as políticas públicas que incidem sobre o setor. / The aim of this study was to develop a practical methodology for evaluating the sustainability of farms by means of the methodological framework proposed by Sauvenier et al. (2006) and van Cauwenbergh et al. (2007), called SAFE (Sustainability Assessment of Farming and the Environment Framework), according to the application for agricultural systems performed by Sánchez-Fernández (2009) and incorporating the fourth dimension of sustainability (institutional dimension) besides the three classical dimensions adopted in this type of analysis (economic, social and environmental), following the suggestions of IBGE (2010), based on the recommendations of the UN Blue Book (1996). This procedure was validated by a panel of 16 experts in fluminense agriculture that supported the selection of 20 sustainability indicators, derived from 17 criteria, 8 principles and 4 dimensions. Through the results achieved and their possible outcomes, the proposed methodology for agricultural sustainability quantitative analysis could be considered as a potentially useful tool to improve current agricultural policies.

Los procesadores superescalares actuales utilizan un reorder buffer (ROB) para contabilizar las instrucciones en vuelo. El ROB se implementa como una cola FIFO first in first out en la que las instrucciones se insertan en orden de programa después de ser decodificadas, y de la que se extraen también en orden de programa en la etapa commit. El uso de esta estructura proporciona un soporte simple para la especulación, las excepciones precisas y la reclamación de registros. Sin embargo, el hecho de retirar instrucciones en orden puede degradar las prestaciones si una operación de alta latencia está bloqueando la cabecera del ROB. Varias propuestas se han publicado atacando este problema. La mayoría utiliza retirada de instrucciones fuera de orden de forma especulativa, requiriendo almacenar puntos de recuperación (checkpoints) para restaurar un estado válido del procesador ante un fallo de especulación. Normalmente, los checkpoints necesitan implementarse con estructuras hardware costosas, y además requieren un crecimiento de otras estructuras del procesador, lo cual a su vez puede impactar en el tiempo de ciclo de reloj. Este problema afecta a muchos tipos de procesadores actuales, independientemente del número de hilos hardware (threads) y del número de núcleos de cómputo (cores) que incluyan. Esta tesis abarca el estudio de la retirada no especulativa de instrucciones fuera de orden en procesadores superescalares, multithread y multicore. / Ubal Tena, R. (2010). Out-of-Order Retirement of Instructions in Superscalar, Multithreaded, and Multicore Processors [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8535 / Palancia

El filtrado de imagen es una tarea fundamental para la mayoría de los sistemas de visión por computador cuando las imágenes se usan para análisis automático o, incluso, para inspección humana. De hecho, la presencia de ruido en una imagen puede ser un grave impedimento para las sucesivas tareas de procesamiento de imagen como, por ejemplo, la detección de bordes o el reconocimiento de patrones u objetos y, por lo tanto, el ruido debe ser reducido. En los últimos años el interés por utilizar imágenes en color se ha visto incrementado de forma significativa en una gran variedad de aplicaciones. Es por esto que el filtrado de imagen en color se ha convertido en un área de investigación interesante. Se ha observado ampliamente que las imágenes en color deben ser procesadas teniendo en cuenta la correlación existente entre los distintos canales de color de la imagen. En este sentido, la solución probablemente más conocida y estudiada es el enfoque vectorial. Las primeras soluciones de filtrado vectorial, como por ejemplo el filtro de mediana vectorial (VMF) o el filtro direccional vectorial (VDF), se basan en la teoría de la estadística robusta y, en consecuencia, son capaces de realizar un filtrado robusto. Desafortunadamente, estas técnicas no se adaptan a las características locales de la imagen, lo que implica que usualmente los bordes y detalles de las imágenes se emborronan y pierden calidad. A fin de solventar este problema, varios filtros vectoriales adaptativos se han propuesto recientemente. En la presente Tesis doctoral se han llevado a cabo dos tareas principales: (i) el estudio de la aplicabilidad de métricas difusas en tareas de procesamiento de imagen y (ii) el diseño de nuevos filtros para imagen en color que sacan provecho de las propiedades de las métricas difusas y la lógica difusa. Los resultados experimentales presentados en esta Tesis muestran que las métricas difusas y la lógica difusa son herramientas útiles para diseñar técnicas de filtrado, / Morillas Gómez, S. (2007). Fuzzy metrics and fuzzy logic for colour image filtering [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1879 / Palancia

Un almacén de datos es una base de datos diseñada para dar soporte al proceso de toma de decisiones en una organización. Un sistema de almacén de datos integra en un único repositorio, información histórica procedente de distintas fuentes de datos operacionales de la organización o externas a ella. Para que el almacén de datos sea en todo momento un reflejo fiel de la organización a la que sirve, debe ser actualizado periódicamente. Este proceso puede consumir muchos recursos, y en algunos casos inhabilitar el almacén de datos para los usuarios. En organizaciones donde el sistema debe estar disponible para los analistas en todo momento, el mantenimiento del almacén se convierte en un punto crítico del sistema. Por este motivo la investigación en estrategias eficientes de mantenimiento de almacenes de datos ha recibido la atención de los investigadores desde la aparición de esta tecnología. El mantenimiento de un almacén de datos se realiza en tres fases: extracción de datos de las fuentes, transformación de los datos y actualización del almacén. En este trabajo de tesis se han abordado, las fases de transformación y principalmente la fase de actualización. Para la fase de transformación se ha desarrollado un sistema que permite realizar tareas de limpieza moderada de los datos, integración de formato e integración semántica. Pero, el trabajo principal se ha centrado en la fase de actualización, para ella se han definido e implementado dos algoritmos que permiten realizar la actualización del almacén de datos de forma incremental y en línea, es decir evitando inhabilitar el almacén de datos durante el mantenimiento. Los algoritmos se basan en una estrategia multiversión, que permite mantener un número ilimitado de versiones de los datos actualizados, permitiendo de esta manera que los usuarios accedan a una misma versión del almacén mientras éste se está actualizando. / García Gerardo, C. (2008). Un sistema para el mantenimiento de almacenes de datos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2505 / Palancia

Actualmente, la World Wide Web se ha convertido en la plataforma más común para llevar a cabo el desarrollo de aplicaciones corporativas. Estas aplicaciones reciben el nombre de aplicaciones Web y entre otras funciones, deben de dar soporte a los Procesos de Negocio (PN) definidos por las corporaciones. Esta tesis presenta un método de Ingeniería Web que permite el modelado y la construcción sistemática de aplicaciones Web que soportan la ejecución de PN. En este trabajo se conciben los PN desde un punto de vista más amplio que el abordado por otros métodos de Ingeniería Web. El tipo de PN abordados incluye tanto procesos cortos como largos. A grosso modo, esta concepción más amplia permite considerar procesos que involucran diferentes participantes (personas y/o sistemas) los cuales cooperan para llevar a cabo un objetivo particular. Además, dependiendo del tipo de proceso que se esté ejecutando (corto o largo), la interacción del usuario con el sistema deberá adaptarse a cada caso. El método presentado en esta tesis ha sido desarrollado basándose en el Desarrollo de Software Dirigido por Modelos. De esta forma, el método propone un conjunto de modelos que permiten representar los diferentes aspectos que caracterizan las aplicaciones Web que soportan la ejecución de PN. Una vez el sistema ha sido representado en los modelos correspondientes, mediante la aplicación de transformación de modelos se obtiene otros modelos (transformaciones de modelo-a-modelo) e incluso el código que representa el sistema modelado en términos de un lenguaje de implementación (transformaciones de modelo-a-texto). El método propuesto en esta tesis está soportado por una herramienta llamada BIZZY. Esta herramienta ha sido desarrollada en el entorno de Eclipse y cubre el proceso de desarrollo desde la fase de modelado hasta la generación de código. En particular, el código generado corresponde con el framework Web Tapestry (framework que genera aplicaciones Web en Java) y con WS-BPEL, / Torres Bosch, MV. (2008). A web engineering approach for the development of business process-driven web applications [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2933 / Palancia

Esta tesis presenta al Model Driven Hypermedia Development Method (MDHDM). MDHDM es un método de desarrollo de hipermedia basado en el modelado de procesos y la ingeniería dirigida por modelos. La conjunción de hipertexto y multimedia, por un lado, y la popularización de la Web, por otro, generaron desafíos que los métodos tradicionales no eran capaces de resolver. Entre ellos destaca el diseño y control de la navegación por espacios complejos de información, que ha llevado a los métodos de diseño de hipermedia y de la Ingeniería Web a presentar el modelo navegacional como la gran diferencia frente a los métodos tradicionales. Sin embargo, en la mayoría de los casos el modelo navegacional se deriva de los modelos estructurales. En MDHDM el eje central del modelado conceptual lo constituye el modelado del proceso de negocio, debido a que permiten representar la naturaleza dinámica de la realidad. El modelo navegacional de MDHDM está compuesto por las estructuras navegacionales derivadas del modelos de proceso y que son llamadas vistas navegacionales y enlaces fuertes. Este modelo se complementa con las estructuras navegacionales derivadas del modelo estructural compuesto por clases navegacionales, estructuras de acceso y enlaces débiles. En MDHDM se definen los metamodelos, transformaciones y marcas para poder generar automáticamente el modelo navegacional a partir de los modelos de proceso y estructural. Además, se comprueba la correcta construcción de los modelos a través de restricciones OCL. Los pasos siguientes al diseño navegacional: el diseño de la interfaz abstracta de usuario y la implementación también se abordan. Del primero se proporciona un metamodelo y para la implementación se han tratado algunos modelos específicos de la plataforma. Además, en la tesis se presentan dos casos de estudio. / Solís Pineda, C. (2008). Un método de desarrollo de hipermedia dirigido por modelos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/3884 / Palancia

Describir los mejores procesos para ejecutar correctamente una estrategia de una forma eficiente y con calidad no es siempre una tarea fácil. La estandarizaci ón de procesos en general y de Vías Clínicas en particular requiere de potentes herramientas de especificación e implementación que apoyen a los expertos en diseño. La utilización de modelos de Flujos de Trabajo (del inglés Work ows) facilita a los expertos en diseño la creación las reglas de ejecución de sus sistemas como si fueran programadores. Aún así debido a la gran mutabilidad de los procesos reales, es muy difícil conocer como los procesos se están ejecutando en la realidad. La utilización de técnicas de reconocimiento de formas pueden ayudar a los expertos en procesos a inferir, a partir de muestras de ejecución pasadas, modelos que expliquen la forma en la que estos procesos están efectivamente ejecutándose. Este paradigma es conocido como Aprendizaje de Flujos de Trabajo (del inglés Work ow Mining). Los cambios de estado en los procesos de cuidado existentes en las Vías Clínicas se basan en los resultados de las acciones. Los modelos actuales de Aprendizaje de Flujos de Trabajo no recogen esta información en sus corpus. Por eso, los actuales sistemas de aprendizaje no cubren las necesidades de problemas complejos como es el caso de las Vías Clínicas. En esta Tesis se van a estudiar los modelos de representación, interpretación y aprendizaje de Flujos de Trabajo con la intención de proponer un modelo adecuado para resolver los problemas que impiden a los diseñadores de procesos complejos, como Vías Clínicas, utilizar técnicas de Aprendizaje de Flujos de Trabajo. Para ello se va a definir un nuevo paradigma adecuado para el apoyo al diseño de Vías Clínicas, además de proporcionar herramientas para su uso. Por esto en esta Tesis se presenta además un modelo de representación de Flujos de Trabajo con una alta expresividad y legibilidad, una herramienta software capaz de ejecutar y simular Flujos de Trab / Fernández Llatas, C. (2009). Representación, interpretación y aprendizaje de flujos de trabajo basado en actividades para la estandarización de vías clínicas [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/4562 / Palancia

Esta tesis aborda la paralelización de los métodos de Krylov con reinicio para problemas de valores propios y valores singulares (SVD). Estos métodos son de naturaleza iterativa y resultan adecuados para encontrar unos pocos valores propios o singulares de problemas dispersos. El procedimiento de ortogonalización suele ser la parte más costosa de este tipo de métodos, por lo que ha recibido especial atención en esta tesis, proponiendo y validando nuevos algoritmos para mejorar sus prestaciones paralelas. La implementación se ha realizado en el marco de la librería SLEPc, que proporciona una interfaz orientada a objetos para la resolución iterativa de problemas de valores propios o singulares. SLEPc está basada en la librería PETSc, que dispone de implementaciones paralelas de métodos iterativos para la resolución de sistemas lineales, precondicionadores, matrices dispersas y vectores. Ambas librerías están optimizadas para su ejecución en máquinas paralelas de memoria distribuida y con problemas dispersos de gran dimensión. Esta implementación incorpora los métodos para valores propios de Arnoldi con reinicio explícito, de Lanczos (incluyendo variantes semiortogonales) con reinicio explícito, y versiones de Krylov-Schur (equivalente al reinicio implícito) para problemas no Hermitianos y Hermitianos (Lanczos con reinicio grueso). Estos métodos comparten una interfaz común, permitiendo su comparación de forma sencilla, característica que no está disponible en otras implementaciones. Las mismas técnicas utilizadas para problemas de valores propios se han adaptado a los métodos de Golub-Kahan-Lanczos con reinicio explícito y grueso para problemas de valores singulares, de los que no existe ninguna otra implementación paralela con paso de mensajes. Cada uno de los métodos se ha validado mediante una batería de pruebas con matrices procedentes de aplicaciones reales. Las prestaciones paralelas se han medido en máquinas tipo cluster, comprobando una buena escalabilidad inc / Tomás Domínguez, A. (2009). Implementación paralela de métodos de Krylov con reinicio para problemas de valores propios y singulares [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/5082 / Palancia