Submitted by Jaqueline Silva (jtas29@gmail.com) on 2014-09-04T17:02:47Z No. of bitstreams: 2 Dissertacao Elisangela Silva Dias.pdf: 846122 bytes, checksum: 357f425f14050b1601ed04cbcd4d9165 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-04T17:02:47Z (GMT). No. of bitstreams: 2 Dissertacao Elisangela Silva Dias.pdf: 846122 bytes, checksum: 357f425f14050b1601ed04cbcd4d9165 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2010-03-26 / A defensive alliance in graph G = (V;E) is a set of vertices S V satisfying the condition that every vertex v 2 S has at most one more neighbor in V 􀀀S than S. Due to this type of alliance, the vertices in S together defend themselves to the vertices in V 􀀀S. This dissertation introduces the basic concepts for the understanding of alliances in graphs, along with a variety of alliances and their numbers and provides some mathematical properties for these alliances, focusing mainly on defensive alliances in graphs. It shows theorems, corollaries, lemmas, propositions and observations with appropriate proofs with respect to the minimum degree of a graph G d(G), the maximum degree D(G), the algebraic connectivity μ, the total dominanting set gt(G), the eccentricity, the edge connectivity l(G), the chromatic number c(G), the (vertex) independence number b0(G), the vertex connectivity k(G), the order of the largest clique w(G) and the domination number g(G). It also shows a generalization of defensive alliances, called defensive kalliance, and the definition and properties of a security set in G. A secure set S V of graph G = (V;E) is a set whose every nonempty subset can be successfully defended of an attack, under appropriate definitions of “attack” and “defence”. / Uma aliança defensiva no grafo G = (V;E) é um conjunto de vértices S V satisfazendo a condição de que todo vértice v 2 S tem no máximo um vizinho a mais em V 􀀀S que em S. Devido a este tipo de aliança, os vértices em S juntam para se defenderem dos vértices em V 􀀀S. Nesta dissertação, são introduzidos os conceitos básicos para o entendimentos das alianças em grafos, junto com uma variedade de tipos de alianças e seus respectivos números, bem como são fornecidas algumas propriedades matemáticas para estas alianças, focando principalmente nas alianças defensivas em grafos. Apresentamos teoremas, corolários, lemas, proposições e observações com as devidas provas com relação ao grau mínimo de um grafo G d(G), ao grau máximo D(G), à conectividade algébrica μ, ao conjunto dominante total gt(G), à excentricidade, à conectividade de arestas l(G), ao número cromático c(G), ao número de independência (de vértices) b0(G), à conectividade de vértices k(G), à ordem da maior clique w(G) e ao número de dominação g(G). Também é mostrada a generalização de alianças defensivas, chamada k-aliança defensiva, e a definição e propriedades de um conjunto seguro em G. Um conjunto seguro S V do grafo G = (V;E) é um conjunto no qual todo subconjunto não-vazio pode ser defendido com sucesso de um ataque, sob as definições apropriadas de “ataque” e “defesa”.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2014-10-15T17:49:53Z No. of bitstreams: 2 Dissertacao - Ana Claudia Bastos Loureiro Monção - 2013.pdf: 4213405 bytes, checksum: 3bbe190ae0f4a45a2f8b4e71026f5d2e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-10-16T17:59:00Z (GMT) No. of bitstreams: 2 Dissertacao - Ana Claudia Bastos Loureiro Monção - 2013.pdf: 4213405 bytes, checksum: 3bbe190ae0f4a45a2f8b4e71026f5d2e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-16T17:59:00Z (GMT). No. of bitstreams: 2 Dissertacao - Ana Claudia Bastos Loureiro Monção - 2013.pdf: 4213405 bytes, checksum: 3bbe190ae0f4a45a2f8b4e71026f5d2e (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-08-02 / Software Testing is an important area of Software Engineering to ensuring the software quality. It consists of activities that involve long time and high costs, but need to be made throughout the process of building software. As in other areas of software engineering, there are problems in the activities of Software Testing whose solution is not trivial. For these problems, several techniques of optimization and search have been explored trying to find an optimal solution or near optimal, giving rise to lines of research textit Search-Based Software Engineering (SBSE) and textit Search-Based Software Testing (SBST). This work is part of this context and aims to solve the problem of selecting test data for test execution in SQL statements. Given the number of potential solutions to this problem, the proposed approach combines techniques Mutation Analysis for SQL with Evolutionary Computation to find a reduced data set, that be able to detect a large number of defects in SQL statements of a particular application. Based on a heuristic perspective, the proposal uses Genetic Algorithms (GA) to select tuples from a existing database (from production environment) trying to reduce it to a set of data relevant and effective. During the evolutionary process, Mutation Analysis is used to evaluate each set of test data selected by the AG. The results obtained from the experiments showed a good performance using meta-heuristic of Genetic Algorithms, and its variations. / Teste de Software é uma área da Engenharia de Software de fundamental importância para a garantia da qualidade do software. São atividades que envolvem tempo e custos elevados, mas que precisam ser realizadas durante todo o processo de construção de um software. Assim como em outra áreas da Engenharia de Software, existem problemas nas atividades de Teste de Software cuja solução não é trivial. Para esses problemas, têm sido exploradas várias técnicas de busca e otimização tentando encontrar uma solução ótima ou perto da ótima, dando origem às linhas de pesquisa Search-Based Software Engineering (SBSE) e Search-Based Software Testing (SBST). O presente trabalho está inserido neste contexto e tem como objetivo solucionar o problema de seleção de dados de teste para execução de testes em instruções SQL. Dada a quantidade de soluções possíveis para este problema, a abordagem proposta combina técnicas de Análise de Mutantes SQL com Computação Evolucionária para encontrar um conjunto de dados reduzido que seja capaz de detectar uma grande quantidade de defeitos em instruções SQL de uma determinada aplicação. Baseada em uma perspectiva heurística, a proposta utiliza Algoritmos Genéticos (AG) para selecionar tuplas de um banco de dados existente (de produção) tentando reduzi-lo em um conjunto de dados relevante e efetivo. Durante o processo evolucionário, a Análise de Mutantes é utilizada para avaliação de cada conjunto de dados de teste selecionado pelo AG. Os resultados obtidos com a realização dos experimentos revelaram um bom desempenho utilizando a metaheurística dos Algoritmos Genéticos e suas variações.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-09-03T14:00:58Z No. of bitstreams: 1 RAFAEL CAUDURO OLIVEIRA MACEDO_DIS.pdf: 6178948 bytes, checksum: 6ed3599e31f122e78b11b322a8c0ac06 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-09-04T12:17:04Z (GMT) No. of bitstreams: 1 RAFAEL CAUDURO OLIVEIRA MACEDO_DIS.pdf: 6178948 bytes, checksum: 6ed3599e31f122e78b11b322a8c0ac06 (MD5) / Made available in DSpace on 2018-09-04T12:47:15Z (GMT). No. of bitstreams: 1 RAFAEL CAUDURO OLIVEIRA MACEDO_DIS.pdf: 6178948 bytes, checksum: 6ed3599e31f122e78b11b322a8c0ac06 (MD5) Previous issue date: 2017-08-30 / Prote?nas executam um papel vital em todos os seres vivos, mediando uma s?rie de processos necess?rios para a vida. Apesar de existirem maneiras de determinar a composi??o dessas mol?culas, ainda falta-nos conhecimentos suficiente para determinar de uma maneira r?pida e barata a sua estrutura 3D, que desempenha um papel importante na suas fun??es. Um dos principais m?todos computacionais aplicados ao estudo das prote?nas e o seu processo de enovelamento, o qual determina a sua estrutura, ? Din?mica Molecular. Um aprimoramento deste m?todo, conhecido como Replica Exchange Molecular Dynamics (ou REMD), ? capaz de produzir resultados muito melhores, com o rev?s de significativamente aumentar o seu custo computacional e gerar um volume muito maior de dados. Esta disserta??o apresenta um novo m?todo de otimiza??o deste m?todo, intitulado Filtragem de Dados Anal?ticos, que tem como objetivo otimizar a an?lise p?s-simula??o filtrando as estruturas preditas insatisfat?rias atrav?s do uso de m?tricas de qualidade absolutas. A metodologia proposta tem o potencial de operar em conjunto com outras abordagens de otimiza??o e tamb?m cobrir uma ?rea ainda n?o abordada por elas. Adiante, a ferramenta SnapFi ? apresentada, a qual foi designada especialmente para o prop?sito de filtrar estruturas preditas insatisfat?rias e ainda operar em conjunto com as diferentes abordagens de otimiza??o do m?todo REMD. Um estudo foi ent?o conduzido sobre um conjunto teste de simula??es REMD de predi??o de estruturas de prote?nas afim de elucidar uma s?ries de hip?teses formuladas sobre o impacto das diferentes temperaturas na qualidade final do conjunto de estruturas preditas do processo REMD, a efici?ncia das diferentes m?tricas de qualidade absolutas e uma poss?vel configura??o de filtragem que utiliza essas m?tricas. Foi observado que as temperaturas mais altas do m?todo REMD para predi??o de estruturas de prote?nas podem ser descartadas de forma segura da an?lise posterior ao seu t?rmino e tamb?m que as m?tricas de qualidade absolutas possuem uma alta vari?ncia (em termos de qualidade) entre diferentes simula??es de predi??es de estruturas de prote?nas. Al?m disso, foi observado que diferentes configura??es de filtragem que utilize tais m?tricas carrega consigo esta vari?ncia. / Proteins perform a vital role in all living beings, mediating a series of processes necessary to life. Although we have ways to determine the composition of such molecules, we lack sufficient knowledge regarding the determination of their 3D structure in a cheap and fast manner, which plays an important role in their functions. One of the main computational methods applied to the study of proteins and their folding process, which determine its structure, is Molecular Dynamics. An enhancement of this method, known as Replica-Exchange Molecular Dynamics (or REMD) is capable of producing much better results, at the expense of a significant increase in computational costs and volume of raw data generated. This dissertation presents a novel optimization for this method, titled Analytical Data Filtering, which aims to optimize post-simulation analysis by filtering unsatisfactory predicted structures via the use of different absolute quality metrics. The proposed methodology has the potential of working together with other optimization approaches as well as covering an area still untouched at large by them to the best of the author knowledge. Further on, the SnapFi tool is presented, a tool designed specially for the purpose of filtering unsatisfactory structure predictions and also being able to work with the different optimization approaches of the Replica-Exchange Molecular Dynamics method. A study was then conducted on a test dataset of REMD protein structure prediction simulations aiming to elucidate a series of formulated hypothesis regarding the impact of the different temperatures of the REMD process in the final quality of the predicted structures, the efficiency of the different absolute quality metrics and a possible filtering configuration that take advantage of such metrics. It was observed that high temperatures may be safely discarded from post-simulation analysis of REMD protein structure prediction simulations, that absolute quality metrics posses a high variance of efficiency (regarding quality terms) between different protein structure prediction simulations and that different filtering configurations composed of such quality metrics carry on this inconvenient variance.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-09-03T14:11:33Z No. of bitstreams: 1 WILLIAN EDUARDO BECKER_DIS.pdf: 2142751 bytes, checksum: e6501a586bb81f7cbad7fa5ef35d32f2 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-09-04T14:43:25Z (GMT) No. of bitstreams: 1 WILLIAN EDUARDO BECKER_DIS.pdf: 2142751 bytes, checksum: e6501a586bb81f7cbad7fa5ef35d32f2 (MD5) / Made available in DSpace on 2018-09-04T14:57:29Z (GMT). No. of bitstreams: 1 WILLIAN EDUARDO BECKER_DIS.pdf: 2142751 bytes, checksum: e6501a586bb81f7cbad7fa5ef35d32f2 (MD5) Previous issue date: 2017-11-24 / Nowadays, the use of social media has become a daily activity of our society. The huge and uninterrupt flow of information in these spaces opens up the possibility of exploring this data in different ways. Sentiment Analysis (SA) is a task that aims to obtain knowledge about the polarity of a given text relying on several techniques of Natural Language Processing, with most of solutions dealing with only one language at a time. However, approaches that are not restricted to explore only one language are more related to extract the whole knowledge and possibilities of these data. Recent approaches based on Machine Learning propose to solve SA by using mainly Deep Learning Neural Networks have obtained good results in this task. In this work is proposed three Convolutional Neural Network architectures that deal with multilingual Twitter data of four languages. The first and second proposed models are characterized by the fact they require substantially less learnable parameters than other considered baselines while are more accurate than several other Deep Neural architectures. The third proposed model is able to perform a multitask classification by identifying the polarity of a given sentences and also its language. This model reaches an accuracy of 74.43% for SA and 98.40% for Language Identification in the four-language multilingual dataset. Results confirm that proposed model is the best choice for both sentiment and language classification by outperforming the considered baselines. / A utiliza??o de redes sociais tornou-se uma atividade cotidiana na sociedade atual. Com o enorme, e ininterrupto, fluxo de informa??es geradas nestes espa?os, abre-se a possibilidade de explorar estes dados de diversas formas. A An?lise de Sentimento (AS) ? uma tarefa que visa obter conhecimento sobre a polaridade das mensagens postadas, atrav?s de diversas t?cnicas de Processamento de Linguagem Natural, onde a maioria das solu??es lida com somente um idioma de cada vez. Entretanto, abordagens que n?o restringem se a explorar somente uma l?ngua, est?o mais pr?ximas de extra?rem todo o conhecimento e possibilidades destes dados. Abordagens recentes baseadas em Aprendizado de M?quina prop?em-se a resolver a AS apoiando-se principalmente nas Redes Neurais Profundas (Deep Learning), as quais obtiveram bons resultados nesta tarefa. Neste trabalho s?o propostas tr?s arquiteturas de Redes Neurais Convolucionais que lidam com dados multi-linguais extra?dos do Twitter contendo quatro l?nguas. Os dois primeiros modelos propostos caracterizam-se pelo fato de possu?rem um total de par?metros muito menor que os demais baselines considerados, e ainda assim, obt?m resultados superiores com uma boa margem de diferen?a. O ?ltimo modelo proposto ? capaz de realizar uma classifica??o multitarefa, identificando a polaridade das senten?as e tamb?m a l?ngua. Com este ?ltimo modelo obt?m-se uma acur?cia de 74.43% para AS e 98.40% para Identifica??o da L?ngua em um dataset com quatro l?nguas, mostrando-se a melhor escolha entre todos os baselines analisados.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-09-13T13:02:14Z No. of bitstreams: 1 ESTEVAO SMANIA TESTA_DIS.pdf: 3237172 bytes, checksum: d5aadd66e71bcae6b9ef00c5c31e0e5a (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-09-14T19:04:09Z (GMT) No. of bitstreams: 1 ESTEVAO SMANIA TESTA_DIS.pdf: 3237172 bytes, checksum: d5aadd66e71bcae6b9ef00c5c31e0e5a (MD5) / Made available in DSpace on 2018-09-14T19:26:34Z (GMT). No. of bitstreams: 1 ESTEVAO SMANIA TESTA_DIS.pdf: 3237172 bytes, checksum: d5aadd66e71bcae6b9ef00c5c31e0e5a (MD5) Previous issue date: 2018-03-15 / Planos de evacua??o t?m sido historicamente usados como uma medida de seguran?a para a constru??o de edif?cios. Os simuladores existentes requerem ambientes 3D totalmente modelados e tempo suficiente para preparar e simular cen?rios. Uma vez que a quantidade de pessoas pode mudar ao longo do tempo, v?rias simula??es s?o frequentemente necess?rias para gerar um plano de evacua??o otimizado. Neste documento ? apresentado uma nova abordagem para estimar os dados resultantes de um dado cen?rio de evacua??o sem simula-lo de fato. Para tal o ambiente ? dividido o ambiente em salas modulares com configura??es diferentes, em um estilo divis?o e conquista. Em seguida, uma rede neural artificial ? treinada para estimar os dados desejados de uma sala sozinha. Ap?s coletar os dados estimados de cada sala, uma heur?stica capaz de agregar informa??es por sala ? desenvolvida para que o ambiente completo possa ser devidamente estimado. Esse m?todo apresenta erros dentro da margem de 30% quando comparado o tempo de evacua??o em um ambiente real e complexo. Al?m disso, n?o ? necess?rio modelar o ambiente 3D, aprender como configurar um simulador de multid?es e o tempo computacional para estimar ? instant?neo quando comparado ao melhor caso de um simulador de multid?es. / Evacuation plans have been historically used as a safety measure for the construction of buildings. The existing simulators require fully-modeled 3D environments and enough time to prepare and simulate scenarios. Since the amount of people in a given simulated scenario can change over time, several simulations are often required in order to generate an optimal evacuation plan. With that in mind, we present in this paper a novel approach to estimate the resulting data of a given evacuation scenario without actually simulating it. For such, we divide the environment into modular rooms with different configurations, in a divide-and-conquer fashion. Next, we train an artificial neural network to estimate all required data regarding the evacuation of a single room. After collecting the estimated data from each room, we developed a heuristic capable of aggregating per room information so the full environment can be properly evaluated. Our method presents errors within the 30% margin when compared to evacuation time in a real and complex environment. In addition, it is not necessary to model the 3D environment, learn how to use and configure a crowd simulator, and the computational time to estimate is instantaneous when compared to a best case real-time crowd simulator.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-10-04T19:48:28Z No. of bitstreams: 1 Paulo_Ricardo_Knob_dis.pdf: 15412485 bytes, checksum: d5fc868fa02ec06b2e29e6848c4b37ae (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-10-08T14:18:54Z (GMT) No. of bitstreams: 1 Paulo_Ricardo_Knob_dis.pdf: 15412485 bytes, checksum: d5fc868fa02ec06b2e29e6848c4b37ae (MD5) / Made available in DSpace on 2018-10-08T14:37:58Z (GMT). No. of bitstreams: 1 Paulo_Ricardo_Knob_dis.pdf: 15412485 bytes, checksum: d5fc868fa02ec06b2e29e6848c4b37ae (MD5) Previous issue date: 2018-08-22 / A maioria das t?cnicas dispon?veis hoje em dia para simula??o de multid?es est? focada em uma situa??o espec?fica, por exemplo, evacua??o em eventos perigosos. Poucas t?cnicas consideram os aspectos culturais e de personalidade presentes em uma sociedade para determinar o comportamento dos agentes. Portanto, este trabalho tem como objetivo construir um framework capaz de lidar com diferentes teorias culturais e de personalidade como input, traduzindo-as em uma parametriza??o de grupo, que vai determinar o comportamento de grupos e multid?es em ambientes virtuais. Al?m disso, inclu?mos no BioCrowds uma resposta de conforto para os agentes, em termos de densidade e caracter?sticas t?rmicas do ambiente. Os resultados indicam que os mapeamentos culturais / psicol?gicos parecem promissores, uma vez que os agentes foram capazes de se comportar conforme o esperado. Al?m disso, os agentes foram capazes de reagir devido ao conforto t?rmico e de densidade, melhorando sua capacidade de reagir ?s mudan?as do ambiente. / Most of the techniques available nowadays for crowd simulation are focused on a specific situation, e.g. evacuation in hazardous events. Very few of them consider the cultural and personality aspects present in a society to determine the behavior of agents. Therefore, this work aims to build a framework able to deal with different cultural and personality theories as input, and translate them into a group parametrization, which is going to determine the behavior of groups and crowds in virtual environments. Also, we include in BioCrowds a comfort response for agents, in terms of density and thermal characteristics of the environment. Results indicate that the cultural/psychological mappings seem promising, since agents were able to perform as intended. Additionally, agents were able to react due to thermal and density comfort, improving their ability to react to environmental changes.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-10-09T13:24:12Z No. of bitstreams: 1 LUIS FERNANDES VAZ.DIS.pdf: 17076970 bytes, checksum: 6f8adcfdc62d9c6204d43c0aaaace7e5 (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2018-10-09T17:12:07Z (GMT) No. of bitstreams: 1 LUIS FERNANDES VAZ.DIS.pdf: 17076970 bytes, checksum: 6f8adcfdc62d9c6204d43c0aaaace7e5 (MD5) / Made available in DSpace on 2018-10-09T17:16:23Z (GMT). No. of bitstreams: 1 LUIS FERNANDES VAZ.DIS.pdf: 17076970 bytes, checksum: 6f8adcfdc62d9c6204d43c0aaaace7e5 (MD5) Previous issue date: 2018-03-27 / This research aimed to investigate task documentation in Software Crowdsourcing, more specifically, in the TopCoder platform. It also aimed to identify the elements that should be considered in the documentation of a task in this kind of software development. This research is of importance when considering that a Task is the component that links the other components of the software crowdsourcing model, which are: the Buyer, the Platform, and the Crowd. It is the task that expresses the Buyer?s need to the crowd members. We followed a qualitative research approach and conducted a Case Study with newcomers in Software Crowdsourcing and a Field Study with industry professionals. Data was analyzed using the Content Analysis technique. We found that, for the Case Study novices, the documentation of the task had a secondary role in the task selection. However, the need of a clear documentation become more relevant during the development of the task given that this is the moment that the instructions within the documentation need to be decoded by the developer and turned into a solution to be later submitted to the platform. For the Field Study participants, the most relevant elements related to the documentation of a task were how clear the description of a task is and their prior knowledge about the task content in order to influence its selection. Inspired on our studies? results, we propose a model for task documentation in TopCoder. We believe this model will likely aid the description of tasks in software crowdsourcing and will, as a consequence, help crowd members in their task development journey. / A presente pesquisa teve como objetivo investigar a documenta??o das tarefas disponibilizadas na plataforma TopCoder e os elementos que devem ser considerados na documenta??o de uma tarefa em Software Crowdsourcing. Esta investiga??o torna-se relevante na medida em que a Tarefa ? o elemento fundamental de liga??o entre os demais elementos do modelo de Software Crowdsourcing (Contratante, Plataforma e Multid?o). ? a Tarefa que expressa a necessidade do Contratante para os membros da multid?o. Assim, para o desenvolvimento desta investiga??o foi adotada a abordagem qualitativa, por meio de um Estudo de Caso com novatos em Software Crowdsourcing e de um Estudo de Campo, com profissionais da ind?stria. Para a an?lise e interpreta??o dos dados foi aplicada a t?cnica de An?lise de Conte?do. Como resultado desta pesquisa, constatou-se que no Estudo de Caso a documenta??o da tarefa teve um papel secund?rio quando os participantes selecionavam as tarefas. Entretanto, o papel da clareza da documenta??o surge com maior for?a durante a execu??o da tarefa, uma vez que ? neste momento que deve ser decodificada a instru??o da documenta??o a fim de realizar efetivamente a tarefa e submet?-la ? plataforma. Para os participantes do Estudo de Campo, os elementos mais relevantes referentes ? documenta??o das tarefas foram a clareza na descri??o da tarefa e o conhecimento sobre o assunto tratado pela tarefa. A partir dos resultados obtidos ? proposto um modelo de documenta??o de tarefa a ser utilizado na plataforma TopCoder. Acredita-se que com o mapeamento dos elementos identificados na pesquisa e a proposta de um modelo de documenta??o para a tarefa ser? poss?vel aprimorar a descri??o das tarefas e consequentemente as entregas realizadas pelos membros da multid?o.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-12-12T11:28:20Z No. of bitstreams: 1 Romulo Reis de Oliveira_DIS.pdf: 1719302 bytes, checksum: 005f38fa0c94cb6b97ce5f6ad6ec70ed (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-12-14T11:26:14Z (GMT) No. of bitstreams: 1 Romulo Reis de Oliveira_DIS.pdf: 1719302 bytes, checksum: 005f38fa0c94cb6b97ce5f6ad6ec70ed (MD5) / Made available in DSpace on 2018-12-14T11:50:26Z (GMT). No. of bitstreams: 1 Romulo Reis de Oliveira_DIS.pdf: 1719302 bytes, checksum: 005f38fa0c94cb6b97ce5f6ad6ec70ed (MD5) Previous issue date: 2015-04-24 / Hybrid synchrony virtual networks arose by combining network virtualization, which allows the co-existence of several virtual networks in the same shared physical substrate, providing infrastructure in a flexible and economic way, with partial synchrony network architecture, which is relevant in distributed systems in order to build reliable systems. One of the main challenges in network virtualization is the efficient mapping of virtual resources in the substrate network, since it is a NP-Hard complexity problem. When considering the synchrony of virtual and physical resources it becomes more difficult to map, making it unfeasible to calculate the optimal solution in real environments. Thus, heuristic approaches are necessary for finding semi-optimal solutions faster. In this work, four heuristics for mapping hybrid synchrony virtual networks are adapted. In order to evaluate these heuristics, two sets of experiments were executed. In the first set is compared the optimal solutions with their respective semi-optimal solutions, the results show the heuristics? efficiency are better when the virtual network requests are smaller, furthermore there were some semi-optimal solution mapping costs equivalent to the optimal solution mapping cost. The second set of experiments evaluates the heuristics performance using a physical substrate closer to real context and a larger number of virtual network requests. The results of this second set of experiments demonstrate that even with a larger number of virtual requests and a larger substrate, the solutions were computed in acceptable time. / As redes virtuais de sincronia h?brida surgiram da combina??o entre a virtualiza??o de redes, a qual permite a coexist?ncia de v?rias redes virtuais no mesmo substrato f?sico compartilhado fornecendo infraestrutura de maneira flex?vel e econ?mica, e arquitetura de redes com sincronia parcial, essa relevante em sistemas distribu?dos para construir sistemas confi?veis. Um dos principais desafios em virtualiza??o de redes ? o mapeamento eficiente dos recursos virtuais na rede de substrato, pois ? um problema de complexidade NP-Dif?cil. Ao considerar a sincronia dos recursos virtuais e f?sicos, se torna mais dif?cil efetuar esse mapeamento, inviabilizando o c?lculo da solu??o ?tima em ambientes reais. Sendo assim, abordagens heur?sticas s?o necess?rias para encontrar solu??es semi-?timas de maneira mais r?pida. Neste trabalho s?o adaptadas quatro abordagens heur?sticas para efetuar o mapeamento de redes virtuais de sincronia h?brida. Para avaliar o desempenho dessas heur?sticas foram efetuados dois conjuntos de experimentos. No primeiro conjunto de experimentos s?o comparadas as solu??es ?timas e as respectivas solu??es semi-?timas, os resultados indicaram que a efici?ncia das heur?sticas s?o melhores quando as requisi??es de redes virtuais s?o menores, al?m disso houveram alguns custos de solu??es semi-?timas equivalentes ao custo de mapeamento da solu??o ?tima. O segundo conjunto de experimento avalia o desempenho das heur?sticas utilizando um substrato de rede mais pr?ximo do contexto real e um maior n?mero de requisi??es de redes virtuais. Os resultados desse segundo experimento demonstram que mesmo com um n?mero maior de requisi??es de redes virtuais e um substrato maior, as solu??es foram calculadas em tempo aceit?vel.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-02-01T18:52:10Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_EstudoParametrizacaoAlgoritmo.pdf: 3111483 bytes, checksum: ec493e124af4e9aebd3b8c11812222e9 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-02-14T14:12:24Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_EstudoParametrizacaoAlgoritmo.pdf: 3111483 bytes, checksum: ec493e124af4e9aebd3b8c11812222e9 (MD5) / Made available in DSpace on 2017-02-14T14:12:24Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_EstudoParametrizacaoAlgoritmo.pdf: 3111483 bytes, checksum: ec493e124af4e9aebd3b8c11812222e9 (MD5) Previous issue date: 2015-10-01 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / A finalidade deste trabalho é analisar a aplicação de um algoritmo cultural híbrido, com população gerada pelo algoritmo genético, de característica multipopulacional, ou ainda, mais precisamente, desenvolver uma parametrização do algoritmo híbrido baseado no algoritmo cultural com algoritmo genético para o problema da mochila multidimensional. Tem-se como objetivo encontrar os melhores parâmetros do algoritmo cultural híbrido, com modelo de ilhas (característica multipopulacional), aplicado ao problema de otimização combinatório denominado de “Mochila Multidimensional”. São executados vários experimentos para efetuar uma avaliação em relação ao desempenho desses mecanismos híbridos com outros algoritmos disponíveis na literatura. / The purpose of this paper is to analyze the application of a hybrid cultural algorithm with population generated by multipopulation feature of the genetic algorithm, or, more specifically, to develop a parameter of the hybrid algorithm based on cultural algorithm with genetic algorithm for multidimensional knapsack problem in areas of computer science and computational intelligence. The aim of this work is to find the best parameters for hybrid cultural algorithm and over genetic algorithm, with model of islands (multipopulation characteristic) applied to combinatorial optimization problem called “Multidimensional Knapsack“. Several experiments are performed to make an assessment regarding of these mechanisms hybrids with other algorithms available in the literature.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-03-03T17:43:57Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_MecanismoRoteamentoCross-Layer.pdf: 10461389 bytes, checksum: e41ea0b15329c6767cba562bb1de8de1 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-03-07T12:41:06Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_MecanismoRoteamentoCross-Layer.pdf: 10461389 bytes, checksum: e41ea0b15329c6767cba562bb1de8de1 (MD5) / Made available in DSpace on 2017-03-07T12:41:06Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_MecanismoRoteamentoCross-Layer.pdf: 10461389 bytes, checksum: e41ea0b15329c6767cba562bb1de8de1 (MD5) Previous issue date: 2016-03-18 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A evolução das tecnologias de comunicações sem fio levou à necessidade de fornecer suporte de rede para dados e aplicações de vídeo e, assim, promover o desenvolvimento de novos tipos de configurações de rede adaptadas a estas novas exigências. Redes móveis Ad hoc é um importante tipo de operação de redes que emprega mecanismos que podem permitir uma autoconfiguração dinâmica, o que exige uma maior eficiência dos seus protocolos de roteamento. Esses protocolos também podem ser desafiados devido às falhas de energia que estão se tornando cada vez mais graves em relação às falhas de redes de computadores convencionais. Além disso, a qualidade do fluxo multimídia corresponde a uma premissa fundamental para as redes da próxima geração sem fio e para a Internet do futuro. Esta tese propõe um novo mecanismo de roteamento baseado no paradigma cross-layer para aprimorar os principais protocolos de roteamento, através da inserção de novas métricas em um processo de decisão de inteligência computacional baseado em sistemas Fuzzy, provendo eficiência energética, suporte a gerencia de mobilidade e qualidade de experiência aos dispositivos, escolhendo a melhor rota para o fluxo das redes de computadores. A proposta é avaliada em um simulador de redes, demonstrando sua eficiência através de resultados de rede, de qualidade de experiência e da maximização do tempo de vida da comunicação. / The evolution of wireless communications technologies has led to the need to provide network support for data and video applications and thus promote the development of new types of network configurations adapted to these new requirements. MANET is an important type of operation networks that employs mechanisms that can enable dynamic autoconfiguration, which requires a higher efficiency of its routing protocols. These protocols can also be challenged due to energy failures that are becoming increasingly severe in relation to the common networks failure; furthermore, the quality of the multimedia stream corresponds to a fundamental premise to the next generation wireless networks and the future Internet. This thesis proposes a new routing mechanism based on cross-layer paradigm to enhance the main routing protocols, by inserting new metrics in a computational intelligence decision making based on fuzzy systems, providing energy efficiency, support to manage mobility and quality experience to the devices, choosing the best route for the flow of computer networks. The proposal is evaluated in network simulator, demonstrating its efficiency through network results, quality of experience metrics and maximizing the communication’s lifetime.