Programa de Pós-Graduação em Ciência da Computação. Departamento de Computação, Universidade Federal de Ouro Preto. / Submitted by giuliana silveira (giulianagphoto@gmail.com) on 2016-02-16T17:53:54Z No. of bitstreams: 1 DISSERTAÇÃO_AlgorismosExatosHeurísticos.pdf: 1324128 bytes, checksum: d6be4d92516819c254e0a44cfaa3a120 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2016-02-19T13:16:22Z (GMT) No. of bitstreams: 1 DISSERTAÇÃO_AlgorismosExatosHeurísticos.pdf: 1324128 bytes, checksum: d6be4d92516819c254e0a44cfaa3a120 (MD5) / Made available in DSpace on 2016-02-19T13:16:22Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO_AlgorismosExatosHeurísticos.pdf: 1324128 bytes, checksum: d6be4d92516819c254e0a44cfaa3a120 (MD5) Previous issue date: 2015 / O presente trabalho trata do projeto, implementação e avaliação de algoritmos exatos e heur ísticos, sequenciais e paralelos, para a resolu c~ao do problema da enumera c~ao de cliques com peso acima de um limiar (PECPL). Esse problema considera um grafo com vertices ponderados, onde o objetivo e encontrar todos os cliques maximais com peso acima de um limiar. Os algoritmos estudados neste trabalho são aplicados na separa ção de cortes no contexto de Programa ção Inteira. Encontrar todos os cliques acima de um dado peso e equivalente ao problema de encontrar todas as desigualdades violadas de clique. Foram desenvolvidas adapta ções em algoritmos conhecidos na literatura, para a resolução do problema. Para o algoritmo de Bron-Kerbosch, uma adapta c~ao foi realizada para resolver o PECPL. Al em disso, v arias melhorias foram propostas a m de melhorar a efi ciência na resolu ção das instâncias do problema. Foram propostas uma versão iterativa do algoritmo, originalmente recursivo, e uma versão paralela. O algoritmo de Ostergard e a heur stica busca tabu com multi-vizinhanças tamb ém foram implementados e modi ficados para re etir o problema abordado no presente trabalho. Por m, a metaheur stica Simulated Annealing foi proposta e desenvolvida utilizando-se das mesmas estruturas de vizinhan ca utilizadas na heur stica busca tabu com multivizinhanças. A diferen ça das duas t ecnicas est a na estrat égia de resolu ção do problema: enquanto a primeira utiliza-se do conceito de lista tabu, a ultima simula o processo de recozimento de metais. Nos experimentos computacionais, foram utilizadas 7292 instâncias, oriundas de quatro conjuntos referentes a separa ção de cortes em problemas formulados por meio do uso de programa c~ao inteira. Os experimentos foram conduzidos em duas partes: em um primeiro momento, as instâncias foram utilizadas para resolu ção do PECPL. Posteriormente, o foco foi a resolu ção do problema do clique de peso m áximo (PCPM). Quanto a resolu c~ao do PECPL, os resultados obtidos comprovam a efi ciência do algoritmo de Bron-Kerbosch, quando comparado aos demais algoritmos, ao encontrar a solu ção ótima para todas as instâncias e em um tempo consideravelmente menor do que as outras t ecnicas. Quando a an alise dos resultados foi direcionada a resolu c~ao do PCPM, todas as t écnicas implementadas obtiveram bons resultados, com destaque para a heur stica busca tabu com multi-vizinhan cas, a qual resolveu todas as instâncias de forma ótima, com o menor tempo computacional em rela c~ao as demais abordagens. Como trabalhos futuros, são sugeridos a ado c~ao de operadores l ogicos para a representa c~ao do grafo no algoritmo de Bron-Kerbosch, a melhoria da vers~ao paralela do algoritmo e o estudo do projeto das metaheurí sticas Simulated Annealing e busca tabu. __________________________________________________________________________________ / ABSTRACT : This work deals with the design, implementation and evaluation of exact and heuristic algorithms, sequential and parallel to the resolution of clique enumeration problem with weight above a threshold (PECPL). This problem considers a graph with weighted vertices, where the goal is to nd all maximal cliques with weight above a threshold. The algorithms studied in this work are applied in the separation cuts in the context of Integer Programming. Find all clique above a certain weight is equivalent to the problem of nding all the inequalities violated clique. Adaptations were developed algorithms known in the literature, to solve the problem. For the Bron-Kerbosch algorithm, an adaptation was made to solve the PECPL. In addition, several improvements were proposed in order to improve e ciency in the resolution of problem instances. It has been proposed an iterative version of the algorithm, recursive originally, and a parallel version. The Ostergard algorithm and multi-neighborhoods tabu search heuristic were also implemented and modi ed to re ect the problem addressed in this paper. Finally, the Simulated Annealing metaheuristic was proposed and developed using the same neighborhood structures used in multi-neighborhoods tabu search heuristic. The di erence of the two techniques is in solving strategy problem: while the rst is used the concept of tabu list, the last simulates the process of annealing of metals. In the computational experiments, we used 7292 instances, belonging to four sets related to the separation cuts in problems formulated by using integer programming. The experiments were conducted in two parts: at rst, the instances were used for solving the PECPL. Later, the focus was on resolving the maximum weight clique problem (PCPM). As for the resolution of the PECPL, the results prove the e ciency of Bron-Kerbosch algorithm, when compared to other algorithms to nd the optimal solution for all instances and in a considerably shorter time than the other techniques. When analyzing the results was directed to resolving the PCPM, all techniques implemented performed well, particularly the multi-neighborhoods tabu search heuristic, which solved all instances optimally with less computational time compared to other approaches. As future work, it is suggested the adoption of logical operators for the representation of the graph in Bron-Kerbosch algorithm, improved parallel version of the algorithm and the study design of simulated annealing and tabu search metaheuristics.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T17:38:00Z (GMT). No. of bitstreams: 1 85044.pdf: 3825679 bytes, checksum: 5c1a636a736b10f32c086124f93b018c (MD5) Previous issue date: 1992 / O presente trabalho tem por objetivo verificar as potencialidades do código computacional HVVACSIM (Heat Ventilation and Air Conditioning Simulation plu Other). HVACSIM é um programa generalizado de simulação dinâmica envolvendo simultaneamente equipamentos de condicionamento de ar, sistemas de controle e edificações. O programa é de grande versatilidade, possibilitando a simulação de qualquer edificação com qualquer arranjo de equipamentos e sistemas de controle, com grande facilidade. Resultados para uma sala climatizada, numa condição típica de verão, dotada de um controle simultâneo de temperatura e umidade são apresentados e discutidos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T18:17:18Z (GMT). No. of bitstreams: 1 96059.pdf: 2883127 bytes, checksum: be75c41a078a42aa5f4987a86786bff6 (MD5) Previous issue date: 1993 / O presente trabalho descreve um sistema CADD (Computer Aided Design An Drafting) para projeto de estruturas de concreto armado. A ênfase do trabalho está no estudo da arquitetura necessária à elaboração de um sistema capaz de progredir de acordo com os avanços tecnológicos e facilitar a integração com sistemas já existentes, com isto reduzindo custos de atualizações e adaptações necessárias a novos padrões. São discutidos os aspectos relacionados aos diferentes níveis de representação necessários a um sistema deste tipo, bem como as dificuldades existentes em relação à unificação de sistemas de características diversas de forma integrada. O objetivo do sistema é possibilitar aos engenheiros estruturais, através de uma interface gráfica, uma utilização rápida, eficiente e segura das ferramentas de projeto correntes, da mesma forma que adicionar novas alternativas, tais como otimização de componentes estruturais e representação funcional orientada a objetos.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T18:59:30Z (GMT). No. of bitstreams: 1 96196.pdf: 2164331 bytes, checksum: a9e21f6cb62f5689f995adb5c201d04b (MD5) Previous issue date: 1994 / Este texto apresenta o PYXIS, um sistema de arquivos distribuído portável com alto grau de paralelismo interno, desenhado para ser flexível no que diz respeito ao ambiente sobre o qual seus componentes são distribuídos, possibilitando sua execução em multicomputadores ou em redes de computadores. O projeto foi desenvolvido no Curso de Pós-Graduação em Ciências da Computação da Universidade Federal de Santa Catarina (CPGCC/UFSC) e deverá integrar um projeto coletivo das universidades federais de Santa Catarina (UFSC), do Rio Grande do Sul (UFRGS) e de Santa Maria (UFSM), que visa desenvolver um multicomputador e um ambiente para programação paralela sobre ele.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T19:38:21Z (GMT). No. of bitstreams: 0 Previous issue date: 1995 / Delineamento de um sistema de avaliação da produtividade, tendo como unidade de referência os sistemas avançados de produção, a fim de permitir uma metodologia adequada de gestão da manufatura avançada na indústria de alimentos. Estuda as principais medidas de produtividade utilizadas pela indústria de alimentos e propõe uma rede de indicadores de desempenho logicamente combinados com os paradigmas dos novos métodos de produção nesta indústria.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T19:44:31Z (GMT). No. of bitstreams: 1 101707.pdf: 2696218 bytes, checksum: 54c9c2977cb120a75192ffe172533016 (MD5) Previous issue date: 1995

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:26:03Z (GMT). No. of bitstreams: 1 106541.pdf: 9515444 bytes, checksum: cf57d435a81a834839d1f2693414d020 (MD5) Previous issue date: 1996 / Esta dissertação apresenta a definição do modelo de informação de gerência para a central de comutação AXS/20, fabricada pela empresa Dígitro Tecnologia Ltda. O modelo de informação definido atende a área funcional de gerência de configuração. Para validar o modelo proposto foi implementado um agente Q3 com o auxílio da ferramenta TMN Agent Toolkit, da Sunsoft.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T21:04:45Z (GMT). No. of bitstreams: 1 106543.pdf: 2939708 bytes, checksum: 2ae3c6db787cc2471f76532d891c4a52 (MD5) Previous issue date: 1996 / É implementado um algoritmo de controle Difuso em um sistema FORTH em assembler 80X86 para sistemas dedicados. É abordado o ambiente de desenvolvimento criado, o desenvolvimento de sistemas dedicados, controle Difuso, e sugerido uma aplicação real. São listados a implementação FORTH, o algoritmo implementado, e a simulação com os respectivos resultados.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T21:28:00Z (GMT). No. of bitstreams: 1 109902.pdf: 2207277 bytes, checksum: b88070bfc1a72d9fdb6ff85f013bfe82 (MD5) Previous issue date: 1997 / Este trabalho tem como objetivo gerar um conjunto de regras e procedimentos que permitam executar a tarefa de encaixar peças de contorno não convexo num espaço não convexo. O espaço não convexo de encaixe pode ter forma qualquer, inclusive conter furos internos. O objetivo final é propor um processo de otimização do encaixe de peças irregulares neste espaço. Este tipo de problema é bastante comum em processos industriais, onde as peças são obtidas de peças maiores, irregulares e com regiões inaproveitáveis. Este método pode ser aplicado a problemas da indústria metal-mecânica, têxtil e calçadista, além de outros ramos.

Dissertação (mestrado) - Universidade Federal de Santa Cataina, Centro Tecnologico / Made available in DSpace on 2016-01-08T22:01:54Z (GMT). No. of bitstreams: 1 109889.pdf: 12632049 bytes, checksum: f035acfabf47de46b318a51a2b6cc436 (MD5) Previous issue date: 1997 / Apresenta-se neste trabalho o desenvolvimento e implementação de uma ferramenta para modelagem e simulação de sistemas computacionais, cujo objetivo é facilitar e reduzir o tempo entre o projeto e sua implementação. Mais especificamente, a ferramenta destina-se a modelagem de sistemas que comportam uma arquitetura de processamento paralelo em configuração com linhas de interrupção e barramento de serviço. Ela reúne uma linguagem de simulação, possui uma interface amigável com alta flexibilidade e atende às características específicas daqueles sistemas. Estudos de sistemas complexos, como os que envolvem o projeto de arquitetura de computadores, necessitam de ferramentas para simulação e análise de desempenho das inúmeras propostas que se apresentam. A ferramenta aqui proposta fornece assistência ao projetista permitindo a análise do sistema em todas as etapas de modelagem e avaliação de performance do projeto, desde a coleta de dados até a apresentação e análise dos resultados. É oportuno o desenvolvimento deste tipo de pesquisa, uma vez que, a grande maioria das ferramentas existentes no mercado, não conseguem reunir as características que o usuário procura para encaminhar soluções aos inúmeros problemas que surgem ao longo do projeto. O trabalho foi desenvolvido a partir de conhecimentos nas áreas de arquitetura paralela, simulação e modelagem de sistemas juntamente com o projeto Nó// (leia-se nó paralelo) desenvolvido na Universidade Federal de Santa Catarina.