Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T01:33:20Z (GMT). No. of bitstreams: 1 258462.pdf: 647767 bytes, checksum: 57ce2cd81aa2bb974bac76d37f1303c1 (MD5) / Com o intuito de melhorar o processo de descoberta de modelos teóricos de probabilidade nas situações em que a quantidade de dados para análise é insuficiente ou inexistente, é apresentado nesta pesquisa um processo que aplica o conhecimento tácito de especialistas de um domínio e o conhecimento teórico de estatísticos para extrair a informação sobre o comportamento de variáveis aleatórias contínuas. Os modelos teóricos considerados são: Uniforme, Triangular, Normal, Lognormal, Exponencial e Weibull. Neste processo alguns aspectos são os diferenciais dos métodos atuais, como a escolha da distribuição baseada nas suas características em relação à forma, a utilização de recursos visuais, o uso de uma linguagem familiar às pessoas sem muito conhecimento estatístico, aplicação para qualquer variável contínua, e para o cálculo dos parâmetros de cada distribuição, é requisitado ao especialista do domínio que forneça apenas dois valores do comportamento da variável. Os resultados da descoberta da forma da distribuição foram validados por especialistas do domínio, que interagiram com o software implementado com o processo utilizado. A validação do cálculo dos parâmetros foi realizada por estatísticos e por simulação.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T02:20:25Z (GMT). No. of bitstreams: 1 260271.pdf: 1089761 bytes, checksum: 7b900fe530a98ce922341498c837a26a (MD5) / Algoritmos de intelig#encia de enxame (swarm intelligence) s#ao algoritmos biologicamente inspirados no funcionamento social de grandes col#onias de insetos ou outros animais e que caracterizam-se por possuir um elevado n´umero de agentes com baixa complexidade e controle descentralizado. Estes agentes, atrav´es da interac¸ #ao com o ambiente e com outros agentes procuram prover boas soluc¸ #oes para problemas complexos de otimizac¸ #ao em tempos aceit´aveis. O desempenho de um algoritmo de intelig#encia de enxame est´a intimamente relacionado `a escolha adequada dos par#ametros que governam o funcionamento do algoritmo, em especial, a quantidade de agentes e a taxa de evaporac¸ #ao do ferom#onio. Este trabalho procura analisar e modelar um algoritmo de intelig#encia de enxame, o algoritmo de sistema de formigas (ant system), baseado na teoria da percolac¸ #ao, teoria que estuda o comportamento de fen#omenos cr´ýticos e de transic¸ #ao de fases, propondo uma metodologia que permita a garantia de converg#encia para a soluc¸ #ao e a obtenc¸ #ao de valores pr´oximos ao ´otimo para os par#ametros do algoritmo, melhorando deste modo o desempenho das aplicac¸ #oes que fac¸am uso desta tecnologia. Swarm intelligence algorithms are biological inspired in the social behavior of great insects or other animals colonies. They are characterized by a large number of agents with low level of complexity and decentralized control. These agents, try to provide good solutions for complex otimization problems in reasonable times through interaction with the environment and other agents. The swarm intelligence algorithm performance is closely related to the right choice of the parameters . These parameters are responsible for the algorithm behavior, in special, the amount of agents and the pheromone evaporation rate. This work shows a modeling and analisys of a swarm inteligence based algorithm, the Ant System, based in the percolation theory. This theory studies the behavior of critical and phase transistions phenomena, proposing a methodology that allows the guarantee of solution convergence and the determination of closer optimal values for the algorithm parameters, improving the performance of the applications that use this technology.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciências da Computação / Made available in DSpace on 2012-10-24T04:54:11Z (GMT). No. of bitstreams: 1 252385.pdf: 5217834 bytes, checksum: 1e4b5b42b072de961cc5882ecc5c346d (MD5) / O presente trabalho apresenta um modelo híbrido wavelet/redes neurais, onde é empregada a análise wavelet como préprocessamento para a rede neural. Desta forma a análise desempenhará papel de extrator de características. Baseado nas características extraídas, a rede neural artificial efetua a aproximação de função com o intuito de retornar valores de previsão da série temporal desejada. Como validador para o modelo é utilizada a série temporal da vazão do Rio Itajaí Açu. Para a escolha da wavelet, a ser aplicado na quantização do modelo, são elencadas vinte candidatas (haar, db3, db5, db7, db10, db15, db20, coif1, coif2, coif3, coif4, coif5, sym3, sym5, sym7, sym10, sym15, sym20, chroma4 e chroma6). Testes repetitivos são efetuados tirando índices de erro para selecionar a melhor candidata. Baseado sob a wavelet selecionada para a resolução do problema de previsão é feito uma análise de combinações de anela/sobreposição para averiguar o comportamento do modelo utilizando diferentes parâmetros. Como resultado, obtiveramse índices de acertos relativamente parecidos utilizando uma quantidade de dados de inferência menor, devido característica de transformação das wavelets. Em outros casos é constatado um ganho computacional, o que é discutido separando o processo em quatro etapas distintas e simulando várias configurações para um mesmo exemplo. The present work presents a hybrid model wavelet/neural networks, which is employed wavelet analysis as a preprocessing work for the artificial neural network. This preprocessing activity will cast as a feature extraction. In these features extracted the neural network makes the approximation with the aim of returning values of the time series forecasting desired. To validate the model is used the Itajaí Açu river#s flow history. Regarding the avelet#s choice, twenty candidates were enrolled in order to be applied in the quantization of the model, as follows: haar, db3, db5, db7, db10, db15, db20, coif1, coif2, coif3, coif4, coif5, sym3, sym5, sym7, sym10, sym15, ym20, chroma4 and chroma6. Repetitive tests are performed to extract error rates for selecting the best candidate. Based on the selected wavelet to solve the problem of forecasting time series, an analysis is made using a combination of window size/overlap to investigate the behavior using different parameters. The results obtained are very similar using a lower amount of data due to the characteristics of the wavelet transform. In other cases a computational gain is obtained which is discussed separating the process into four distinct stages and simulating various configurations for the same arrangement.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T05:07:31Z (GMT). No. of bitstreams: 1 256228.pdf: 1535607 bytes, checksum: a7d0146438abb8e8cadc2f3394239f7b (MD5) / A maioria dos Ambientes Virtuais de Ensino-Aprendizagem (AVEAs) não oferece recursos apropriados para o apoio e acompanhamento dos estudantes. Grande parte se limita ao registro das interações decorrentes das atividades pedagógicas que ocorrem durante o processo de ensino-aprendizagem. O objetivo desta pesquisa é desenvolver um modelo de Sistema de Acompanhamento dos estudantes para tornar os AVEAs mais eficientes na percepção do processo de ensino-aprendizagem. Para isso implementou-se um módulo de Rastreamento dos estudantes que registra a interação deles com o AVEA. Nesse módulo o professor tem a possibilidade de gerenciar e acompanhar os caminhos de aprendizagem dos estudantes. Além disso, desenvolveu-se um módulo Auto-Avaliativo, onde os estudantes avaliam sua aprendizagem ao responder questões com diferentes níveis de complexidade. Este Sistema foi desenvolvido e testado para que diferentes AVEAs possam integrar a mesma proposta de acompanhamento dos estudantes. Os resultados desta pesquisa demonstram que esse modelo de Sistema de Acompanhamento contribui com uma aprendizagem efetiva dos estudantes e permite um acompanhamento do processo de ensino-aprendizagem por parte dos professores.

Orientador: Antonio Carlos Dias Ângelo / Banca: Joelma Perez / Banca: Dayse Iara dos Santos / Resumo: A compreensão do mecanismo de reação eletroquímicas é de suma importância para o desenvolvimento científico. Aplicando a metodologia computacional DFT, é possível, através dos resultados gerados, obter informações que facilitarão esse entendimento. A metodologia empregada neste trabalho simulou sistemas com os materiais à base de platina pura e um grupo especial de ligas conhecido como fases intermetálicas ordenadas com objetivo de compreender a oxidação do metanol. Em um primeiro momento, foram determinados, através de simulações computacionais, os ajustes da superfície de platina, superfície da fase intermetálica ordenada de platina e antimônico e, por fim, a molécula de metanol, separadamente, para definição da geometria espacial e energia total de cada um desses. Em um segundo momento, uniram-se os componentes simulando a etapa de adsorção gerando dados conformacionais e de energia do sistema. Determinou-se qual a via de adsorção preferencial em superfícies Pt(111), e, por fim, usando a superfície intermetálica PtSb(1120), determinou-se influência dos sítios do material para a etapa de adsorção, bem como a geometria inicial predominante. Esta parte do estudo também serviu para comparar o desempenho do material frente à platina pura. Conclui-se que a molécula quase não apresenta preferência para uma via de adsorção, podendo, portanto, haver a adsorção pelo oxigênio ou carbono. Os sítios ativos do material determinam a geometria inicial da adsorção. O metanol adsorve-se via carbono ou oxigênio quando há sitios ativos em número exato às necessidades de cada via, pois existe consenso de que o número exato de sítios influencia no mecanismo reacional. A forma de topo é favorecida quando a via de adsorção é realizada pelo oxigênio, já o arranjo em ponte é encontrado com maior facilidade na adsorção do carbono. Isso influi diretamente na força com que a molécula se adsorve... / Abstract: The understanding of the reaction mechanisms involved in electrochemical devices is essential for its development. Applying the DFT computational methodology it is possible through data generated to obtain information that will facilitate such understanding. This methodology used in this study simulated systems with materials based on pure platinum and a special group of alloys known as ordered intermetallic phases compared to methanol. At first were determined through computer simulations the settings of the electrochemical system components separately in order to define the spatial geometry and total energy of each. In a second moment, the components were jointed up simulating the adsorption step generating geometric and energetic data. It was determined that the preferred route of the adsorption of Pt (111) surface. And finally, using the intermetallic PTSB surface (1120), it was determined the influence of the material sites for the adsorption step, as well as the prevailing initial geometry of the system. This part of the study was also used to compare the performance of the material company to the pure platinum. It was concluded that the molecule has a mild preference for the route of oxygen. The number of active sites of the material determine the initial geometry of adsorption. Methanol is adsorbed via carbon or oxygen when there is active sites on the needs of each route, as there is consensus that the exact number of sites influences the reaction mechanism. The top-shape is favoured when the route is carried by oxygen adsorption; the bridgeshape arrangement is easily found when the adsorption occurs via carbon. These arrangements influence directly the strengh that the molecule adsorbs to the surface. Such strength meght be crucial to the efficiency of the system. The methodology was effective to elucidate phenomena that are not observable by using experimental techniques / Mestre

Dissertação (mestrado)—Universidade de Brasília, Departamento de Engenharia Elétrica, 2008. / Submitted by Danyelle Mayara Silva (danielemaiara@gmail.com) on 2009-09-21T19:47:16Z No. of bitstreams: 1 2008_LeandroRamalhoFroio.pdf: 1914917 bytes, checksum: 1672a66397a608876e623878ab34f3d8 (MD5) / Approved for entry into archive by Gomes Neide(nagomes2005@gmail.com) on 2011-02-01T11:16:11Z (GMT) No. of bitstreams: 1 2008_LeandroRamalhoFroio.pdf: 1914917 bytes, checksum: 1672a66397a608876e623878ab34f3d8 (MD5) / Made available in DSpace on 2011-02-01T11:16:11Z (GMT). No. of bitstreams: 1 2008_LeandroRamalhoFroio.pdf: 1914917 bytes, checksum: 1672a66397a608876e623878ab34f3d8 (MD5) Previous issue date: 2008-12 / As práticas de Segurança da Informação não são recentes, no entanto, diversos fatores contribuíram para a necessidade de métodos capazes de planejar, coordenar, integrar e controlar tais práticas, visando alinhá-las aos objetivos do negócio da organização. Observamos que as práticas de Segurança da Informação tendem a evoluir de atividades pontuais e descoordenadas para uma posição sistemática e estratégica dentro das organizações, exigindo o uso e desenvolvimento de metodologias capazes de lidar com diferentes questões, que não somente aquelas relacionadas à tecnologia. Diante destes desafios surgem os modelos de Gestão da Segurança da Informação (GSI), que visam sistematizar e organizar a aplicação das práticas de Segurança da Informação para que os negócios das organizações estejam seguros e seus objetivos sejam alcançados com sucesso. Os Modelos de Gestão da Segurança da Informação foram os objetos de estudo deste trabalho, no qual identificamos as suas diferenças e deficiências que comprometeriam o sucesso da GSI nas organizações. Além disso, apresentaremos um Modelo Faseado de Gestão da Segurança da Informação capaz de endereçar, de maneira mais ampla, as questões de Segurança da Informação. ____________________________________________________________________________ ABSTRACT / The Information Security Practices are not recent, however, many factors has contributed to the need of methodologies capable to plan, coordinate, integrate and control those practices, which aim to align them with the business’s objectives of the companies. We notice that those Information Security Practices has being migrating from isolated and uncoordinated practices to a systematic and strategic position inside the companies, demanding the use and the development of methodologies capable to handle with different questions, not only those related to technology. These challenges motivate the development of Information Security Management Models, which aim to systematic and organize the application of the information security practices to assurance that the companies’ business will be safe, and their objectives will be successful achieved. The Information Security Management Models were the object of study of this work, at which we identified the main differences and deficiencies that compromises the success of the ISM in the companies. We will present a Phased Information Security Management Model capable to address the questions related to information security.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2013-07-16T01:31:20Z (GMT). No. of bitstreams: 1 223154.pdf: 452480 bytes, checksum: 32034bdd69509f5e45a87f49f8215540 (MD5) / A busca por soluções de problemas envolvendo otimização combinatorial tem sido motivo de estudos e pesquisas há muito tempo. Grande parte dos métodos propostos para a resolução de problemas desse tipo, que buscam soluções ótimas, está baseada em técnicas conhecidas como branch-and-bounds. Entretanto, o principal problema desse tipo de abordagem consiste no esforço computacional exigido. O tempo de computação necessário para a determinação de uma solução pode atingir níveis impraticáveis, tornando-os muitas vezes inviáveis em aplicações práticas. Como alternativa, atualmente, diversos métodos de aproximação estão sendo propostos. São abordagens que buscam soluções aceitáveis, próximas às soluções ótimas, porém, com tempos de processamento viáveis. Como exemplos típicos dessa abordagem podem ser citados os algoritmos das Formigas, Genéticos, Simulated Anneling, etc. Nesta dissertação é apresentado um novo algoritmo de aproximação que poderá ser empregado em problemas dessa natureza. Basicamente, o que está sendo proposto é a utilização do algoritmo Simulated Annealing em sua forma original, combinado com os operadores crossovers dos Algoritmos Genéticos. Além da hibridização dos algoritmos aludidos, também é explorada neste trabalho a potencialidade da paralelização dos mesmos em um ambiente multiprocessado. Na implementação e nos testes do modelo proposto foi utilizado o clássico Problema do Caixeiro Viajante que é um dos representantes desta classe de problema de otimização combinatorial, mais utilizados como benchmark.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2013-07-16T02:01:21Z (GMT). No. of bitstreams: 1 221394.pdf: 2138999 bytes, checksum: 7e434a1f807eec32b200d7f0650d1768 (MD5) / Com o atual aumento da capacidade computacional, pode-se montar ambientes de alto desempenho com computadores de baixo custo. Dessa forma, esses ambientes têm se tornado cada vez mais populares. Existem vários tipos de configurações que podem prover o alto desempenho. No entanto, há baixa oferta de ambientes de modelagem integrados com grid para o público-alvo (modeladores). Nesta dissertação foi implementada uma ferramenta que possibilita a criação de modelos de simulação discreta e a execução destes em um grid computacional. Essa ferramenta é composta de duas partes: editor e processador de modelos. O editor pode criar e alterar modelos de simulação discreta. O processador foi desenvolvido para interpretá-los e executá-los. As partes se comunicam por meio de um arquivo que contém a representação do modelo, o qual está descrito em XML. Alguns testes foram realizados com o intuito de validar as estatísticas geradas pelo processador de modelos. Esses testes foram satisfatórios e mostram a possibilidade da integração das ferramentas de construção de modelos com os ambientes em grid.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2013-07-16T02:14:53Z (GMT). No. of bitstreams: 1 210653.pdf: 826062 bytes, checksum: a78d40a2f8c279ecaf5390ae3e684d77 (MD5) / Em muitos casos de uso de sistemas em rede o anonimato da comunicação apresenta-se como um requisito desejado. Este trabalho tem como tema principal as técnicas para comunicação anônima. Para um melhor conhecimento do problema do anonimato foram pesquisadas formas de ataque ao anonimato, e mecanismos de defesa para tais ataques. As técnicas para comunicação anônima foram estudadas e avaliadas quanto a eficácia no combate aos ataques, e quanto ao provimento de comunicação anônima. Com base nas técnicas pesquisadas, foi proposta uma implementação de uma rede para comunicação anônima. Com a implementação realizada foi possível medir a performance da rede com ênfase nas operações criptográficas necessárias, e avaliar a aplicação prática da técnica escolhida no Sistema Ostracon, um sistema de votação digital desenvolvido no Laboratório de Segurança em Computação da Universidade Federal de Santa Catarina.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T08:09:57Z (GMT). No. of bitstreams: 1 297702.pdf: 1351029 bytes, checksum: d2999d9cb113a9c81dd004e12f0352a9 (MD5) / Diagramas de classe UML são construídos com classes, atributos e associações. Porém, as linguagens de programação usualmente não implementam associações, as quais precisam ser representadas por meio de atributos e métodos, que devem ser construídos pelo programador. Isto gera um gap entre o modelo e o código do programa, dificultando a leitura, escrita e a manutenção de código. As soluções propostas em termos de linguagens de programação experimentais, bibliotecas e code patterns, apresentam ainda problemas para representar associações e/ou discrepâncias quanto a conceitos e funcionalidades. Este trabalho apresenta a proposta de uma extensão para uma linguagem de programação orientada a objetos que mantém os conceitos e funcionalidades existentes, acrescentando associações com o mesmo significado e expressividade da UML 2. Esta extensão aborda questões como multiplicidade, navegabilidade, visibilidade, association end ownership e especialização de associações. / UML diagrams are built with classes, attributes and associations. However, programming languages usually do not implement associations, which have to be represented by means of attributes and methods that have to be defined by programmers. That produces a gap between model and programming code, making reading, writing and maintaining code a hard task. Proposed solutions such as, experimental programming languages, libraries and code patterns, still present problems for representing associations, and/or inconsistencies regarding concepts and functionalities. This dissertation presents the proposal for an extension for an object-oriented programming language that is consistent with existing concepts and functionalities, adding association with the same meaning and expressiveness of UML 2. This extension approaches issues like multiplicity, navigability, visibility, association end ownership and association specialization.