Submitted by Amauri Alves (amauri.alves@ufv.br) on 2015-11-12T16:30:16Z No. of bitstreams: 1 texto completo.pdf: 2506377 bytes, checksum: 20e4041dc3e7d817743c7994b1883fa9 (MD5) / Made available in DSpace on 2015-11-12T16:30:16Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2506377 bytes, checksum: 20e4041dc3e7d817743c7994b1883fa9 (MD5) Previous issue date: 2015-02-25 / Este trabalho aborda o problema Assembly flowshop de três estágios, onde existem m máquinas paralelas no primeiro estágio, uma máquina de transporte no segundo estágio e uma máquina de montagem no terceiro estágio. No primeiro estágio, diferentes partes do produto são fabricadas de forma independente nas máquinas paralelas. No segundo estágio, as peças fabricadas são coletadas e transferidas para o próximo estágio. No terceiro estágio as peças são montadas obtendo o produto final. Este problema possui muitas aplicações em indústrias de manufatura e pertence a classe de problemas de otimização combinatória NP-difícil. Para resolução deste problema é realizada uma abordagem mono-objetivo e uma multi-objetivo, onde a primeira visa encontrar uma sequência de n tarefas que minimize o atraso total, enquanto a segunda busca encontrar uma sequência de n tarefas para minimização simultânea do tempo total de fluxo e do atraso total. Para abordagem mono-objetivo são propostos quatro diferentes algoritmos baseados nas metaheurísticas: o GRASP-RVND, que corresponde a aplicação conjunta das metaheurísticas GRASP (Greedy Randomized Adaptive Search Procedure) e RVND (Random Variable Neighborhood Descent), o ILS (Iterated Local Search), o IG (Iterated Greedy) e o ILS-IG (que corresponde a aplicação conjunta das metaheurísticas ILS e IG). Foram realizados experimentos computacionais para comparar a eficiência dos algoritmos e os resultados obtidos são comparados com os resultados de um algoritmo PSA (Simulated Annealing Híbrido) da literatura. Nos experimentos foram usadas instâncias de pequeno e grande porte. Os resultados dos algoritmos também foram comparados com os resultados obtidos por um modelo de Programação Linear Inteira (MILP) para instâncias de pequeno porte. Os resultados foram analisados estatisticamente e os testes mostram que os algoritmos propostos foram superiores ao PSA em todas as classes de instâncias. Para a abordagem multiobjetivo são propostos dois algoritmos genéticos híbridos, obtidos a partir da aplicação combinada das metaheurísticas NSGA-II (Non-dominated Sorting Genetic Algorithm-II) e IG, sendo que, um deles utiliza uma busca local para melhorar as soluções dominantes. Os algoritmos foram comparados com o algoritmo tradicional NSGA-II. A análise estatística aplicada sobre os resultados obtidos mostra que houve grande melhoria em relação aos resultados gerados pelo NSGA-II. / This paper addresses the Assembly flowshop problem with three stages, where there are m parallel machines in the first stage, a transport machine in the second period and an assembly machine in the third stage. In the first stage, different parts of the product are produced independently in parallel machines. In the second stage, the manufactured parts are collected and transferred to the next stage. In the third stage the parts are assembled to give the final product. This problem has many applications in manufacturing industries and belongs to the class of combinatorial optimization problems NP-hard. In order to solvie this problem, mono- objective and multi-objective approach are proposed, where the first aims to find a n task sequence that minimizes the total tardiness, while the second attempts to find a sequence for simultaneous minimization of the total flow time and the total tardiness. For the mono-objective approach is proposed four different algorithms are proposed based on metaheuristics: GRASP- RVND, which is the combined application of metaheuristics GRASP (Greedy Randomized Adaptive Search Procedure) and RVND (Random Variable Neighborhood Descent), the ILS (Iterated Local Search ), IG (Iterated Greedy) and the ILS-IG (which corresponds to the combined application of the metaheuristics ILS and IG). We performed computational experiments to compare the efficiency of the proposed algorithms, and the obtained results are compared with the results of a PSA (Simulated Annealing Hybrid) literature algorithm. In our experiments we use small and large instances. The results of the algorithms were also compared with the results obtained by an Integer Linear Programming Model (MILP) for small instances. The results were analyzed statistically and the tests show that the proposed algorithms are superior to PSA in all classes of instances. For a multi-objective approach, we propose two hybrid genetic algorithms, obtained from the combined application of the metaheuristics NSGA-II (Non-dominated Sorting Genetic Algorithm-II) and IG. One of these algorithms uses a local search for improve the dominant solutions. The algorithms were compared with the traditional algorithm NSGA-II. The statistical analysis applied to the obtained results shows that there was a great improvement with relation to the results generated by the NSGA-II.

Desde que L.A. Zadeh presentó la teoría de conjuntos difusos en 1965, esta se ha usado en una amplia serie de áreas de las matemáticas y se ha aplicado en una gran variedad de escenarios de la vida real. Estos escenarios cubren procesos complejos sin modelo matemático sencillo tales como dispositivos de control industrial, reconocimiento de patrones o sistemas que gestionen información imprecisa o altamente impredecible. La topología difusa es un importante ejemplo de uso de la teoría de L.A. Zadeh. Durante años, los autores de este campo han buscado obtener la definición de un espacio métrico difuso para medir la distancia entre elementos según grados de proximidad. El presente trabajo trata acerca de la bicompletación de espacios casi-métricos difusos en el sentido de Kramosil y Michalek. Sherwood probó que todo espacio métrico difuso admite completación que es única excepto por isometría basándose en propiedades de la métrica de Lévy. Probamos aquí que todo espacio casi-métrico difuso tiene bicompletación usando directamente el supremo de conjuntos en [0,1] y límites inferiores de secuencias en [0,1] en lugar de usar la métrica de Lévy. Aprovechamos tanto la bicompletitud y bicompletación de espacios casi-métricos difusos como las propiedades de los espacios métricos difusos y difusos intuicionistas para presentar varias aplicaciones a problemas del campo de la informática. Así estudiamos la existencia y unicidad de solución para las ecuaciones de recurrencia asociadas a ciertos algoritmos formados por dos procedimientos recursivos. Para analizar su complejidad aplicamos el principio de contracción de Banach tanto en un producto de casi-métricas no-Arquimedianas en el dominio de las palabras como en la casi-métrica producto de dos espacios de complejidad casi-métricos de Schellekens. Estudiamos también una aplicación de espacios métricos difusos a sistemas de información basados en localidad de accesos. / Castro Company, F. (2010). Fuzzy Quasi-Metric Spaces: Bicompletion, Contractions on Product Spaces, and Applications to Access Predictions [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8420 / Palancia

En los últimos años se ha desarrollado una teoría matemática con propiedades robustas con el fin de fundamentar la Ciencia de la Computación. En este sentido, un avance significativo lo constituye el establecimiento de modelos matemáticos que miden la "distancia" entre programas y entre algoritmos, analizados según su complejidad computacional. En 1995, M. Schellekens inició el desarrollo de un modelo matemático para el análisis de la complejidad algorítmica basado en la construcción de una casi-métrica definida en el espacio de las funciones de complejidad, proporcionando una interpretación computacional adecuada del hecho de que un programa o algoritmo sea más eficiente que otro en todos su "inputs". Esta información puede extraerse en virtud del carácter asimétrico del modelo. Sin embargo, esta estructura no es aplicable al análisis de algoritmos cuya complejidad depende de dos parámetros. Por tanto, en esta tesis introduciremos un nuevo espacio casi-métrico de complejidad que proporcionará un modelo útil para el análisis de este tipo de algoritmos. Por otra parte, el espacio casi-métrico de complejidad no da una interpretación computacional del hecho de que un programa o algoritmo sea "sólo" asintóticamente más eficiente que otro. Los espacios casi-métricos difusos aportan un parámetro "t", cuya adecuada utilización puede originar una información extra sobre el proceso computacional a estudiar; por ello introduciremos la noción de casi-métrica difusa de complejidad, que proporciona un modelo satisfactorio para interpretar la eficiencia asintótica de las funciones de complejidad. En este contexto extenderemos los principales teoremas de punto fijo en espacios métricos difusos , utilizando una determinada noción de completitud, y obtendremos otros nuevos. Algunos de estos teoremas también se establecerán en el contexto general de los espacios casi-métricos difusos intuicionistas, de lo que resultarán condiciones de contracción menos fuertes. Los resultados obt / Tirado Peláez, P. (2008). Contractive Maps and Complexity Analysis in Fuzzy Quasi-Metric Spaces [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2961 / Palancia