Spelling suggestions: "subject:"deoria dde grafos"" "subject:"deoria dee grafos""
61 |
GFC - Uma ferramenta multilinhagem para geração de grafo de programaCarnassale, Mauro 25 February 1991 (has links)
Orientador : Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:27:16Z (GMT). No. of bitstreams: 1
Carnassale_Mauro_M.pdf: 4907860 bytes, checksum: 9ae042cdd1fd83ffb5b10d25f8855a73 (MD5)
Previous issue date: 1991 / Resumo: Grafos de programa têm sido utilizados há muito tempo e, apesar de serem um conceito tradicional, sua aplicabilidade atual é grande e crescente. Muitas ferramentas e alguns ambientes utilizam-se dessa representação da estrutura lógica do Programa para atingirem seus objetivos. O propósito deste trabalho é apresentar a arquitetura,
aspectos fundamentais de implementação e principais aplicações de uma ferramenta que produz o grafo de programa a partir de programas escritos em diversas linguagens procedimentais. Os Programas são t raduzidos para uma linguagem intermediária, denominada LI, a partir da qual obtêm-se o grafo de programa e outros produtos relevantes. A ferramenta tambem aceita programas escritos diretament e em LI. Sua finalidade principal é apoiar outras ferramentas ou aplicações que se utilizam do grafo de programa / Abstract; Not informed. / Mestrado / Mestre em Engenharia Elétrica
|
62 |
O problema dos dois caminhos disjuntosGiglio, Maria Cecilia Motta Torres 17 January 1991 (has links)
Orientador: Claudio L. Lucchesi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:27:26Z (GMT). No. of bitstreams: 1
Giglio_MariaCeciliaMottaTorres_M.pdf: 5819263 bytes, checksum: c24dd7357f8a2283359356720f51597b (MD5)
Previous issue date: 1990 / Resumo: O problema dos dois caminhos disjuntos consiste em determinar, dados vértices s1, S2, t1 e t2 de um grafo, se existem ou não dois caminhos disjuntos, P1 e P2 ligando s1 a t1 e S1 a t1, respectivamente. O problema se manifesta em quatro versões, a saber, o grafo pode ser orientado ou não, e a exigência de disjunção pode ser apenas nas arestas ou também nos vértices. Nas quatro versões, o problema admite reduções elementares do ponto de vista computacional que levam finalmente à solução ou a uma certidão da sua não existência. Esta análise apresenta uma interconexão interessante entre combinatória, complexidade de algoritmos e topologia. No caso de grafos orientados, exige-se também que o grafo seja acíclico, pois caso contrário o problema se torna NP-difícil. / Abstract: The two disjoint paths problem consists in determining, given vertices S1, S2, t1 and t2 of a graph, whether or not there exist two disjoint paths. P1 and P21 joining s1 to t1 and S2 to t2 respectively. The problem may be considered in four versions, namely, the graph may or may not be directed, and the disjointness requirement on the paths may be on the edges only or on the vertices too. In all version, the problem admits computationally elementary reductions which provide either a solution or a certificate of its nonexistence. The analysis presents an interesting interconnection between combinatorics, complexity of algorithms and topology. In the case of direct graphs, it is also required that the graph be acyclic,
otherwise the problem becomes NP-hard. / Mestrado / Mestre em Ciência da Computação
|
63 |
Modelos baseados em extensões de rede de Petri para analise de protocolos de comunicaçãoDamasceno, Berenice Camargo 27 July 1989 (has links)
Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T17:26:38Z (GMT). No. of bitstreams: 1
Damasceno_BereniceCamargo_M.pdf: 9724675 bytes, checksum: e2ac5ac37aa8889d89a0a897d68b38ed (MD5)
Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica
|
64 |
Uma classificação para os torneios hamiltonianosLima, Nailson Amorim de 30 August 1995 (has links)
Orientador: Jose Carlos de Souza Kuhl / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T13:55:09Z (GMT). No. of bitstreams: 1
Lima_NailsonAmorimde_M.pdf: 766815 bytes, checksum: b725105565b47ceb8ef745351ae2f179 (MD5)
Previous issue date: 1995 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática
|
65 |
Uma caracterização dos torneios hamiltonianos com o numero minimo de triciclosFernandes, Vagner 31 August 1995 (has links)
Orientador: Jose Carlos de Souza Kiihl / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T15:27:06Z (GMT). No. of bitstreams: 1
Fernandes_Vagner_M.pdf: 434887 bytes, checksum: 2b371705bcd63c3cd0c479cd8233ad29 (MD5)
Previous issue date: 1995 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática
|
66 |
Homotopia regular de grafosBarros, Tomas Edson 04 February 1991 (has links)
Orientador: Jose Carlos de Souza Kiihl / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-13T23:16:04Z (GMT). No. of bitstreams: 1
Barros_TomasEdson_M.pdf: 810196 bytes, checksum: d440e4d7994d16169b2c0b29745be449 (MD5)
Previous issue date: 1991 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática
|
67 |
Representação de conhecimento utilizando o 'lambda'-calculo tipadoSouza, João Nunes de 19 May 1989 (has links)
Orientador: Wagner Caradori do Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T16:56:04Z (GMT). No. of bitstreams: 1
Souza_JoaoNunesde_D.pdf: 12097520 bytes, checksum: 6aa96dc3547fd563a0ed50eb97d3a98c (MD5)
Previous issue date: 1989 / Resumo: Neste trabalho propõe-se um estudo da representação hierárquica de conhecimento a partir dos conceitos básicos do 'lambda¿-cálculo tipado. A representação do conhecimento é feita por programas funcionais definidos como conjuntos de fórmulas do 'lambda¿-cálculo tipado. Os conjuntos de fórmulas são associados a critérios de derivação que determinam os argumentos das funções dos programas. estabelecendo o seqüenciamento da execução destas funções e possibilitando a derivação de novos conhecimentos. Propõe-se um conjunto de relações de complexidade entre as fórmulas do 'lambda¿-cálculo tipado. que se baseia em uma classificação destas fórmulas. A classificação se fundamenta na estrutura sintática dos símbolos para tipo associados às fórmulas. A ordem dos símbolos para tipo determina relações de ordem entre as fórmulas do 'lambda¿-cálculo tipado, definindo as relações de complexidade. As relações de complexidade são utilizadas em uma representação sintática das relações hierárquicas de complexidade do conhecimento representado em um sistema. Demonstra-se um conjunto de condições necessárias ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A knowledge hierarchic representation based on the typed 'lambda¿-calculus foundat ions is proposed in this work. The knowledge representation is based in functional programms defined as typed h-calculus formulas set. The formulas set is associated to derivation criterias that determines the programms functions arguments and the execution function sequence. A typed 'lambda¿-calculus formulas complexity relationship based on a typed h-calculus formulas classification is proposed. The classification is based on the formulas and type simbols sintat ic structure. The type simbols orders determines typed 'lambda¿-calculus formulas order relations wich define the complexity relationship. The complexity relationship is used to represent a sintatic representation of a knowledge system hierarchic relationship complexity ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor em Engenharia Elétrica
|
68 |
Avaliação da distribuição do tempo de execução em programasVanini, Fernando Antonio, 1950- 17 July 2018 (has links)
Orientador: Nelson Castro Machado / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T00:49:14Z (GMT). No. of bitstreams: 1
Vanini_FernandoAntonio_M.pdf: 860564 bytes, checksum: cea3bdf4b1445ba8f02abf46846a6b09 (MD5)
Previous issue date: 1979 / Resumo: Este trabalho descreve um sistema de avaliação da distribuição do tempo de execução em programas FORTRAN, desenvolvido na UNICAMP. A avaliação é feita criando-se uma versão modificada do programa que ao ser executada determina o número de vezes que cada comando é executado. 0 tempo de execução de cada comando é estimado com base no número de execuções e num peso atribuído a cada comando. A contagem do número de execuções é feita inserindo contadores no programa. 0 número de contadores inseridos é mínimo e a minimização é feita com base em alguns resultados de teoria dos grafos / Abstract: Not informed / Mestrado / Mestre em Ciência da Computação
|
69 |
Sobre representações graficas orientadas de gruposMello, Célia Picinin de, 1950- 21 December 1984 (has links)
Orientador : Claudio Leonardo Lucchesi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T21:54:14Z (GMT). No. of bitstreams: 1
Mello_CeliaPicininde_M.pdf: 1597261 bytes, checksum: c500f66634811eac238269a09e45f3ae (MD5)
Previous issue date: 1984 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática
|
70 |
Um estudo introdutório da Teoria de Grafos através de matrizes /Gonçalves, Diego Rodrigues. January 2014 (has links)
Orientador: Thiago de Melo / Banca: Elíris Cristina Rizziolli / Banca: Tomas Edson de Barros / Resumo: O objetivo deste trabalho é apresentar alguns resultados elementares de Álgebra Linear e relacioná-los com a Teoria de Grafos, por meio de exemplos, sempre que possível. A ferramenta básica para isso é a teoria de matrizes / Abstract: The aim of this work is to present some elementary results from Linear Algebra and to relate them with Graph Theory, making use of examples if possible / Mestre
|
Page generated in 0.0432 seconds