Orientador : Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T01:31:31Z (GMT). No. of bitstreams: 1 BreternitzJunior_Mauricio_M.pdf: 1239855 bytes, checksum: d471fe519d92ebf63f59d23b8a867ce4 (MD5) Previous issue date: 1984 / Resumo: Este trabalho descreve a implementação de um mecanismo de alocação de registradores em programas estruturados, através da técnica de coloração de grafos sugerida por Chai tin.. O problema da coloração é resolvido colorindo-se individualmente uma série de sub~grafos do grafo de interferências global, escolhidos de acordo com a estrutura do programa. Técnicas de análise de fluxo são utilizadas para construir os grafos de interferência / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador : Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-18T08:02:40Z (GMT). No. of bitstreams: 1 Catuogno_PedroJose_M.pdf: 1151700 bytes, checksum: 548f7a7b349f5800bc3bbc97603a63f4 (MD5) Previous issue date: 1992 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Vinicius Amaral Armentano / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T12:09:59Z (GMT). No. of bitstreams: 1 Ronconi_DeboraPretti_M.pdf: 5518199 bytes, checksum: 574b43ecd2ccb51286ddd856002fc9ae (MD5) Previous issue date: 1993 / Resumo: Tecnologia de Grupo (TG) é um conceito administrativo cujo objetivo é analisar e organizar peças e processos produtivos de acordo com similaridades de projeto e fabricação. O trabalho apresenta um algoritmo heurístico baseado na teoria de grafos, cujo objetivo é a formação de células de máquinas associadas a famílias de peças. O problema é representado por uma rede, que é seccionada através do algoritmo modificado de Gomory-Hu. Esta divisão em grupos objetiva formar células de manufatura com a menor interação possível. Este método é implementado computacionalmente e são realizadas comparações com algoritmos da literatura / Abstract: Group Technology (GT) is an administrative concept whose aim is to analyse and organize productive processes and parts according to the project and manufacturing similarities. This work presents a heuristic algorithm, based on the graph theory, whose purpose is to forro machine cells associated with part-families. The problem is represented by a network, that is partitioned using a modified Gomory-Hu algorithm. This partition aims to forro manufacturing cells with minimum intercellular interactions. The method is computationally implemented and comparisons are made with other algorithms fiom the literature / Mestrado / Mestre em Engenharia Elétrica

Orientador: Célia Picinin de Mello / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-27T04:52:30Z (GMT). No. of bitstreams: 1 Vilas-Boas_AloisiodeMenezes_M.pdf: 3075345 bytes, checksum: 59f85d259c9a55bce9d3409c06dd71fa (MD5) Previous issue date: 2015 / Resumo: Seja G um grafo simples. Uma coloração de arestas semiforte de G é uma coloração de arestas de G onde para cada par de vértices adjacentes u,v de G, o conjunto das cores atribuídas às arestas de u é diferente do conjunto das cores atribuídas às arestas de v. O índice cromático semiforte de G, denotado por chi'a(G), é o menor número de cores necessário para construir uma coloração de arestas semiforte para G. Esta coloração foi proposta por Zhang et al. em 2002. Nesse mesmo artigo, os autores conjecturaram que todo grafo simples conexo G, G diferente de C_5, com pelo menos três vértices possui chi'a(G) menor ou igual a Delta(G)+2. Esta conjectura conhecida como conjectura da coloração de arestas semiforte está aberta para grafos arbitrários, mas é válida para algumas classes de grafos. Nesta dissertação, apresentamos alguns resultados sobre a coloração de arestas semiforte. Em seguida, focamos em grafos split. Provamos a conjectura da coloração de arestas semiforte para algumas famílias destes grafos, dentre elas, os split-completos e os split-indiferença. Além disso, determinamos o índice cromático semiforte dos grafos split-indiferença com vértice universal. Para grafos split-indiferença sem vértice universal, exibimos condições para que seu índice cromático semiforte seja igual a Delta(G)+1 e conjecturamos chi'a(G) = Delta(G)+2 caso contrário / Abstract: Let G be a simple graph. An adjacent strong edge-coloring of G is an edge-coloring of G such that for each pair of adjacent vertices u,v of G, the set of colors assigned to the edges incident with u differs from the set of colors assigned to the edges incident with v. The adjacent strong chromatic index, denoted chi'a(G), of G is the minimum number of colors required to produce an adjacent strong edge-coloring for G. This coloring was proposed by Z. Zhang et al. In the same article, the authors conjectured that every simple connected graph G with at least three vertices and G not equal to C_5 (a 5-cycle) has chi'a(G) less or equal then Delta(G)+2. This conjecture is open for arbitrary graphs, but it holds for some classes of graphs. In this dissertation, we present some results on adjacent strong edge-coloring. Then, we focus on split graphs. We prove the conjecture for some families of split graphs including split-complete graphs and split-indifference graphs. Moreover, we determine a necessary condition for split-complete graphs G to have chi'a(G) = Delta(G)+1 and we determine the adjacent strong chromatic index for split-indifference graphs with a universal vertex. For a split-indifference graph G without universal vertices, we give conditions for its adjacent strong chromatic index to be Delta(G)+1 and we conjecture that chi'a(G) = Delta(G)+2, otherwise / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Orientador: Camila Pires Cremasco Gabriel / Resumo: Essa pesquisa apresenta um estudo sobre o cenário da produção de energia primária no Brasil ao longo do período de 1970 a 2018, bem como as principais fontes que colaboraram para a matriz energética nacional. Para mapear as tendências da produção de energia primária foi aplicada a Teoria dos Grafos e Análise de Redes Sociais por meio do Software UCINET, no qual foram produzidos grafos demonstrando as redes sociais de produção de energia que contribuíram para o Brasil. Também são apresentados nesse trabalho os modelos matemáticos que representam a variação da centralidade e densidade da produção de energia primária brasileira. Os resultados da pesquisa demonstram a evolução da produção de energia primária e a forte base de energia fóssil (petróleo) e mais recentemente o aumento significativo, da contribuição de energia da fonte gás natural. Com base nos resultados obtidos e a prospecção da literatura sobre economia do Brasil no período compreendido entre os anos de 1970 a 2018 discutiu-se os movimentos realizados por formuladores de políticas públicas do cenário nacional que culminaram numa redução dos investimentos no setor, mesmo que a demanda sempre se encontrasse em crescimento, mas que seguiu atrelada aos resultados de pequenos incrementos no PIB e no IDH. Outro importante resultado foi observado com a evolução e do petróleo como oferta de fonte primária não renovável por todo o período da pesquisa (48 anos) e a alternância das ofertas das fontes não renováveis que, inici... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This research presents a study on the scenario of primary energy production in Brazil over the period from 1970 to 2018, as well as the main sources that contributed to the national energy matrix. To map trends in primary energy production, Graph Theory and Social Network Analysis was applied using the UCINET Software, in which graphs were produced showing the social energy production networks that contributed to Brazil. Also presented in this work are mathematical models that represent the variation in the centrality and density of Brazilian primary energy production. The research results demonstrate the evolution of primary energy production, and the strong fossil energy base (oil) and more recently the significant increase in the contribution of energy from the natural gas source. Based on the results obtained and the prospecting of literature on the economy of Brazil in the period between the years 1970 to 2018, it became possible to discuss the movements carried out by public policy makers on the national scene that culminated in a reduction of investments in the sector, even that demand would always be growing, but that it would continue to be linked to the results of small increases in GDP and HDI. Another important result was observed with the evolution of oil as a non-renewable primary source offer for the entire period of the research (48 years) and the alternation of offers from non-renewable sources that, starting with the predominance of firewood, passing on to g... (Complete abstract click electronic access below) / Mestre

Submitted by Maria Cristina (library@lncc.br) on 2017-05-02T19:25:42Z No. of bitstreams: 1 dissertacao Daniel.pdf: 13436496 bytes, checksum: e52ea76aa8685ff28f62aea6a22f98cf (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2017-05-02T19:25:53Z (GMT) No. of bitstreams: 1 dissertacao Daniel.pdf: 13436496 bytes, checksum: e52ea76aa8685ff28f62aea6a22f98cf (MD5) / Made available in DSpace on 2017-05-02T19:26:02Z (GMT). No. of bitstreams: 1 dissertacao Daniel.pdf: 13436496 bytes, checksum: e52ea76aa8685ff28f62aea6a22f98cf (MD5) Previous issue date: 2017-02-21 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Many emerging challenges currently arising in science relate to understanding the dynamics and structure of complex systems consisting of interacting components. People on online social networks, power grids, air transportation networks, human brain connections, and agents in the financial market are some examples of network systems present in many domains. These systems, given their scale and non-trivial connectivity patterns, are called complex networks. In this sense, the dimension of these networks turns imperative the adoption of computing systems in support to their analysis. In this case, graphs are the usual tool for the representation of complex networks. Moreover, as the scientific investigation for these graphs is of great significance for many domains, the researcher and developer communities have proposed many computing platforms for their processing. However, the multitude of graph processing platforms brings up questions about the implications of their adoption, given the analysis, network and computing environment characteristics of the analysts. Therefore, in this dissertation, we propose a multi-perspective model for the performance evaluation of graph processing platforms which differs from related works in simultaneously approaching the topic from four perspectives: algorithms, computing environment, networks, and platforms. Additionally, we carry out a performance evaluation study that follows the directives indicated by the proposed model for a representative set of algorithms, platforms, and networks, demonstrating the proposed model applicability as exhibits the relationship between algorithms, networks and platforms efficiency. / Alguns dos desafios mais relevantes que surgem no cenário científico atual envolvem a compreensão da dinâmica e estrutura de sistemas complexos constituídos por componentes em interação. Pessoas em redes sociais online, sistemas de distribuição de energia, malhas aéreas, conexões no cérebro humano ou mesmo agentes no mercado financeiro são apenas alguns exemplos de tais sistemas em rede oriundos de diversas áreas. Esses sistemas, por causa de sua escala e da não trivialidade de seus padrões de conectividade, são chamados de redes complexas. Nesse contexto, a dimensão dessas redes torna imprescindível a utilização de sistemas computacionais em apoio às suas análises, sendo grafos a ferramenta típica de representação de redes complexas para sua modelagem computacional e estudo. Mais ainda, como a análise de grafos em diversos domínios é de grande relevância, muitas plataformas computacionais para o seu processamento têm sido propostas recentemente; o que provoca questionamentos pertinentes de quais as implicações da escolha de uma delas, dadas as características de análise, rede e ambiente computacional dos interessados. Portanto, esta dissertação propõe um modelo multiperspectiva de avaliação de desempenho de plataformas de processamento de grafos, o qual se distingue da literatura ao abordar o problema considerando simultaneamente quatro perspectivas: algoritmos, arquitetura computacional, plataformas e redes. Além disso, um estudo de avaliação de desempenho de um conjunto diverso e representativo de algoritmos, plataformas computacionais e redes é realizado utilizando as diretivas indicadas pelo modelo, demonstrando sua aplicabilidade ao expor o relacionamento entre as características de redes complexas e algoritmos com a eficiência computacional das plataformas.

Submitted by Julio Frederico Hruza Alqueres (julio.alqueres@gmail.com) on 2015-06-30T15:53:58Z No. of bitstreams: 1 Tese Final - Julio Alqueres.pdf: 5909230 bytes, checksum: 9cda987329a8e563391dae65ea6d53b0 (MD5) / Approved for entry into archive by Janete de Oliveira Feitosa (janete.feitosa@fgv.br) on 2015-07-02T13:29:27Z (GMT) No. of bitstreams: 1 Tese Final - Julio Alqueres.pdf: 5909230 bytes, checksum: 9cda987329a8e563391dae65ea6d53b0 (MD5) / Approved for entry into archive by Marcia Bacha (marcia.bacha@fgv.br) on 2015-07-03T16:48:46Z (GMT) No. of bitstreams: 1 Tese Final - Julio Alqueres.pdf: 5909230 bytes, checksum: 9cda987329a8e563391dae65ea6d53b0 (MD5) / Made available in DSpace on 2015-07-03T16:49:01Z (GMT). No. of bitstreams: 1 Tese Final - Julio Alqueres.pdf: 5909230 bytes, checksum: 9cda987329a8e563391dae65ea6d53b0 (MD5) Previous issue date: 2015-04-06 / Nos últimos anos, a relevância da Teoria dos Grafos na descrição da rela ção entre indiví duos cresceu signifi cativamente, contribuindo para a ascensão do fenômeno das redes sociais. Sua importância tem permitido a explora ção polí tico-econômica de informa ções escondidas em sua estrutura. Assumindo que um parlamentar maximiza sua utilidade ao fortalecer o seu partido e o estado que representa, construímos uma rede política baseada no Congresso Brasileiro, o que permite a identificação de elementos da Teoria do Seletorado. Através de técnicas de Processamento de Linguagem Natural aplicadas à diferentes fontes de notícia, é possível atualizar a rede de forma a identificar alterações na estrutura de poder do sistema político brasileiro.

Orientador: Érika Capelato / Banca: Thiago de Melo / Banca: Camila Fernanda Bassetto / Resumo: Neste trabalho estudamos a Teoria dos Grafos compreendendo suas definições, resultados e algumas aplicações como O Problema das Pontes de Köningsberg, O Problema Chinês do Carteiro, O Problema do Caixeiro Viajante e O Teorema das Quatro e das Cinco Cores. Com o uso da Coleção M3 - Matemática Multimídia, que contém recursos educacionais em formatos digitais, aplicamos as atividades sugeridas aos alunos do segundo ano do Ensino Médio de uma escola particular localizado na cidade de São Pedro - SP. As atividades mostraram que, apesar da Teoria dos Grafos não constar no currículo regular do Ensino Médio, sua aplicação para este grupo de alunos foi positiva, uma vez que os alunos sentiram-se motivados com o conteúdo abordado na forma digital e com sua aplicação ao estudo de Matrizes. Concluímos assim que, nos dias atuais a ligação do processo de ensino aprendizagem com os softwares educacionais podem proporcionar, tanto para os professores quanto para os alunos, uma forma mais prazerosa e eficaz de obter conhecimento em Matemática / Abstract: In this work, we study Graph Theory, meaning its definitions, results e some applications such as the Köningsberg bridge problem, the chinese postman problem, the travelling salesman problem and the four color theorem as well as the five color theorem. By using the M3 - Matemática Multimídia Series, which contains educational resources in digital form, we applied the suggested activities to second year high school students form a private school located at the city of São Pedro - São Paulo State. The activities showed that, although Graph Theory is not part of the high school regular curriculum, its application to this group of students was positive, since the students felt themselves motivated by the digital approach to its contents and its applications to the study of Matrices. We conclude that, nowadays, the connection between the teaching processes and educational softwares can provide, to the teachers as well as to the students, a more pleasurable and efficient way to obtain knowledge in Mathematics / Mestre

Este trabalho apresenta uma nova estrutura matemática para a álgebra de caminhos, que permite analisar a convergência dos algoritmos de roteamento multi-restritivos hop-by-hop e, sob o ponto de vista da engenharia de tráfego e da Qualidade de Serviço (QoS) na arquitetura Generalized Multiprotocol Label Switching (GMPLS), garantir de maneira confiável a incorporação de novas métricas de roteamento aos algoritmos de roteamento baseados em múltiplas restrições. Baseando-se nessa nova álgebra de caminhos, são analisadas as propriedades de monotonicidade, isotonicidade e liberdade, conhecidas por garantir a convergência dos algoritmos de roteamento e, ao contrário do indicado na literatura até o momento, verifica-se que a propriedade de monotonicidade não e condição necessária e nem suficiente para garantir a convergência dos algoritmos de roteamento multi-restritivos hop-by-hop. Sendo assim, este trabalho propõe uma nova propriedade, denominada coerência, para a garantia da convergência do roteamento hop-by-hop e um novo algoritmo de roteamento hop-by-hop com convergência garantida. Para avaliar os resultados teóricos obtidos, s~ao analisados dois estudos de casos de aplicação do roteamento multi-restritivos hop-by-hop com o uso de uma ferramenta de simulação desenvolvida em MATLAB e baseada no algoritmo Eliminação de Loop pelo Nó de Destino (ELND) também proposto. Como resultado das simulações desses estudos de casos, verifica-se que as diferentes estratégias de otimização, necessárias as redes (GMPLS), impõem a necessidade de trabalhar com algoritmos de roteamento que permitam a definição de mais de duas métricas de roteamento com diferentes critérios de otimização para cada uma delas, comprovando, portanto, a necessidade do desenvolvimento e da continuação deste trabalho. / This work presents a new mathematical structure for paths algebra that allows the convergence analysis of hop-by-hop multi-constrained routing algorithms and, under the traffic engineering and quality of service perspectives in the Generalized Multiprotocol Label Switching (GMPLS) architecture, trustily ensures the aggregation of new routing metrics in a constrained-based routing. Based on this new paths algebra, we analyze the monotonicity, isotonicity and freeness properties, known as ensuring routing algorithms convergence, and despite of what has been indicated in the literature, we verified that the monotonicity property is not sufficient to ensure the hop-by-hop routing convergence. Therefore, this work proposes a new property, called coherence, as a necessary and sufficient condition to ensure it, as well as, a new multi-constrained hop-by-hop routing algorithm with ensured convergence. In order to evaluate the theoretical results obtained, two study cases of the hop-by-hop multi-constrained routing applications are analyzed in the present thesis by using the Eliminação de Loop pelo Nó de Destino (ELND) simulation tool, developed in MATLAB and also presented as a product of this work. As result of these study cases simulations, we verified that different optimization strategies, requested by the (GMPLS) networks, compel the use of routing algorithms that allow the specification of more than two routing metrics with different optimization criteria for each one of them, thus proving the necessity of this work and its continuation.

Made available in DSpace on 2015-04-14T13:56:33Z (GMT). No. of bitstreams: 1 463003.pdf: 2663394 bytes, checksum: 0158a49caa9b116197cb1f3a76c44980 (MD5) Previous issue date: 2014-08-22 / Resting State functional Magnetic Resonance Imaging (rs-fMRI) provides information about the functional connectivity of brain areas. However, prior to calculating the functional connectivity of the brain, there is a choice of several preprocessing steps that need to be selected. A critical source of variation between studies arises from distinct preprocessing approaches prior to the functional connectivity analysis. Therefore, a study to examine the reliability of different methods for pre-processing data from rs-fMRI is necessary. In this study, seven preprocessing strategies were tested and the reliability was evaluated between them in Graph Theoretical (GT). The sample used in this study is from a public database and consists of control subjects. Measures of GT were calculated using different strategies, after applying a method of subdividing the brain into 190 regions of interest. The following measures were calculated: global efficiency, characteristic path length, clustering coefficient and local efficiency. The results indicate that there is a significant difference in measurements of GT depending on the preprocessing strategy selected. It was also found that noise estimation parameters are correlated with GT measures. Moreover, it is observed that the level of thresholding chosen in the connectivity matrix can affect the measurements of GT, therefore further studies regarding this topic are needed. It was concluded, based on the sample used in this work that the method of scrubbing by outliers could increase the reliability of measurements of GT and reduce dependence on the movement of the patient's head. / A Resson?ncia Magn?tica Funcional no estado de repouso (rs-fMRI, do ingl?s resting state functional Magnetic Resonance) permite obter informa??es a respeito das ?reas de conectividade funcional do c?rebro. Por?m, a visualiza??o dessa conectividade s? ? poss?vel ap?s aplicar uma s?rie de etapas de processamento de imagens antes que se possa avaliar a conectividade cerebral. Considerando a limita??o na quantifica??o dos dados de rs-fMRI, e sabendo que uma fonte de varia??o cr?tica para a compara??o entre os estudos ? o fato de cada um deles remover, incluir ou mudar par?metros nos passos de pr?-processamento de rs-fMRI, ? necess?rio um estudo para analisar a confiabilidade de diferentes metodologias de pr?processamento de dados de rs-fMRI. Para tanto, a Teoria dos Grafos (TG) foi utilizada como par?metro final para avaliar a conectividade. Neste presente trabalho, foram testadas sete estrat?gias de pr?-processamento e foi avaliada a confiabilidade entre elas quando s?o feitas medidas de TG. A amostra utilizada neste trabalho ? de uma base de dados p?blica e ? composta por indiv?duos controle. As medidas de TG foram calculadas nas diferentes estrat?gias, ap?s aplicar um m?todo de parcelamento do c?rebro em 190 regi?es. Foram calculadas as seguintes medidas: efici?ncia global, comprimento do caminho caracter?stico, coeficiente de agrupamento e efici?ncia local. Os resultados indicaram que existe uma diferen?a significativa nas medidas de teoria dos grafos quando o pr?-processamento ? feito de diferentes maneiras. Foi encontrado tamb?m que par?metros de estimativa de ru?do s?o correlacionados com as medidas de TG. Al?m disso, observa-se que o n?vel de limiariza??o escolhido na matriz de conectividade pode afetar significativamente as medidas de TG, sendo necess?rio um estudo mais aprofundado a respeito deste tema. Concluiu-se, baseado na amostra utilizada neste trabalho, que o m?todo de scrubbing por outliers pode aumentar a confiabilidade das medidas de TG e reduzir a sua depend?ncia com o movimento da cabe?a do paciente.