• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 119
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 136
  • 71
  • 29
  • 20
  • 17
  • 17
  • 17
  • 17
  • 16
  • 16
  • 14
  • 13
  • 13
  • 13
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Aplicação do método de Newton desacoplado para o fluxo de carga continuado

Magalhães, Elisabete de Mello [UNESP] 23 September 2010 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:22:32Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-09-23Bitstream added on 2014-06-13T19:48:55Z : No. of bitstreams: 1 magalhaes_em_me_ilha.pdf: 455261 bytes, checksum: c5f0181b55df616b30443981a524ebbc (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho apresenta o método de Newton desacoplado para o fluxo de carga continuado. O método foi melhorado por uma técnica de parametrização geométrica possibilitando assim o traçado completo das curvas P-V, e o cálculo do ponto de máximo carregamento de sistemas elétricos de potência, sem os problemas de mau condicionamento. O objetivo é o de apresentar de forma didática os passos envolvidos no processo de melhoria do método de Newton Desacoplado a partir da observação das trajetórias de solução do fluxo de carga. A técnica de parametrização geométrica que consiste na adição de uma equação de reta que passa por um ponto no plano formado pelas variáveis: tensão nodal de uma barra k qualquer e o fator de carregamento eliminam os problemas de singularidades das matrizes envolvidas no processo e ampliam o grupo das variáveis de tensão que podem ser usadas como parâmetro da continuação. Os resultados obtidos com a nova metodologia para o sistema teste do IEEE (14, 30, 57, 118 e 300 barras) e também para os sistemas reais de grande porte, o 638 barras do sistema Sul-Sudeste brasileiro e do sistema de 904 barras do sudoeste Americano, mostram que as características do método convencional são melhoradas na região do ponto de máximo carregamento e que a região de convergência ao redor da singularidade é sensivelmente aumentada. São apresentados vários testes com a finalidade de prover um completo entendimento do funcionamento do método proposto e também avaliar seu desempenho / This work presents the decoupled Newton method for continuation power flow. The method was improved by using a geometric parameterization technique that allows the complete tracing of P-V curves, and the computation of maximum loading point of a power system, without ill-conditioning problems. The goal is to present in a clear and didactic way the steps involved in the development of the improved decoupled Newton method obtained from the observation of the geometrical behavior of power flow solutions. The geometric parameterization technique that consists of the addition of a line equation, which passes through a point in the plane determined by the bus voltage magnitude and loading factor variables, can eliminate the ill-conditioning problems of matrices used by the method and can enlarge the set of voltage variables that can be used as continuation parameter to P-V curve tracing. The method is applied to the IEEE systems (14, 30, 57, 118 and 300 buses) and two large real systems: the south-southeast Brazilian system (638 buses) and the 904-bus southwestern American system. The results show that the best characteristics of the conventional decoupled Newton’s method are improved in the vicinity of the maximum loading point and therefore the region of convergence around it is enlarged. Several tests are presented with the purpose of providing a complete understanding of the behavior of the proposed method and also to evaluate its performance
82

Sobre o número máximo de retas em superfícies não singular de grau 4 em P3

Rêgo, Thiago Luiz de Oliveira do 14 September 2016 (has links)
Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-08-23T13:08:07Z No. of bitstreams: 1 arquivototal.pdf: 1209071 bytes, checksum: 1eddcf2f494891c2466f5052f15d1ced (MD5) / Made available in DSpace on 2017-08-23T13:08:07Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1209071 bytes, checksum: 1eddcf2f494891c2466f5052f15d1ced (MD5) Previous issue date: 2016-09-14 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In 1943 Beniamino Segrebelievedtohaveshownthatthemaximumnumberof lines containedinasmoothquarticsurfacein P3 is 64, ([16]).Butrecently,therewasa majoroverturnonthatthemewhenthemathematiciansRamsandSchuttfoundthat Segre hadmadeamistakeinhisworktoforgetthequartic'sfamily Z , ([14]),which essentiallycorrespondstothosequarticscontainingalinesthatcanbeincidenttomore than 18 lines containedinthesurface.Inthiswork,basedon([14]),weshowthatevery smoothquarticsurface,whichdoesnotbelongtofamily Z containsamaximumof 64 lines. Oneofthemostimportanttoolstoshowthisresult,isthestudyof_brations _l induced byaline l containedonthesurface,andtherelationshipbetweentheEuler characteristicofthebase(P1 in ourcase),the_bersandthesurfaceconcerned. / Em 1943,BeniaminoSegreacreditouterdemonstradoqueonúmeromáximo de retascontidasnumasuperfíciequárticanãosingularem P3 é 64; ([16]). Mas recentemente,houveumareviravoltanessetema,quandoosmatemáticosSªawomir Rams eMatthiasSchüttconstataramqueSegretinhacometidoumerroemseutrabalho ao esquecerasquárticasdafamília Z; ([14]), quecorrespondemessencialmenteas quárticas quepossuemretasquepodemserincidentesamaisde 18 retas contidas na superfície.Nestetrabalho,tendocomobase[14],mostramosquetodaquártica não singular,quenãopertenceafamília Z; contémnomáximo 64 retas. Umadas ferramentasmaisimportantes,paramostraresseresultado,éoestudodas_brações _l induzida porumareta l contidanasuperfície,earelaçãoqueexisteentrea característica deEulerdabase(emnossocaso P1), das_brassingulareseadasuperfície em questão.
83

Efeitos da fadiga sobre características cinemáticas da corrida na velocidade do consumo máximo de oxigênio / Fatigue effects on running kinematics at the velocity of maximal oxygen uptake

Lucca, Leonardo de 02 March 2011 (has links)
Made available in DSpace on 2016-12-06T17:07:28Z (GMT). No. of bitstreams: 1 Leonardo.pdf: 1619585 bytes, checksum: 4de10ca640ab043428d053c99d123b01 (MD5) Previous issue date: 2011-03-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The aim of the study is to analyse the effects of fatigue on kinematics characteristics during running at maximal oxygen uptake velocity. Eleven healthy males, team sports recreational players volunteered for this study. Firstly, subjects performed an incremental running test until volitional exhaustion to determine the maximal oxygen uptake velocity. The second phase consisted to a constant running velocity test at maximal oxygen uptake velocity to determine time to exhaustion at this velocity and acquire kinematical data. Subjects were filmed continuously from the left sagital plane at 210 Hz. Video cuts from five consecutive strides from 2 different times of the run were taken for analysis: a) 20 seconds after the onset of the run; b) 10 seconds prior the end of the run. Dependent t-tests were used to assess mean values across the two time points in the test. Multiple linear regression were used to assess the contribution of kinematical changes in the time limit. The increase in maximal plantar flexion during swing (p=0,009) and knee range of motion (p=0,05) were the only changes found for the whole group. Time Limit were predicted by changes in six variables: support time, knee flexion at contact, maximal knee flexion during stance, maximal knee flexion during swing, hip angle at toe-off and hip range of motion. These finding suggest that muscle fatigue during latter stages of run at vVO2max causes individual specific kinematical changes in ankle, knee and hip joints, moreover the absence of significant kinematic changes. Nevertheless, time limit can be predicted by kinematic changes throughout vVO2máx. / O objetivo do estudo foi analisar os efeitos da fadiga sobre características cinemáticas durante a corrida na velocidade do consumo máximo de oxigênio determinada durante teste incremental. Participaram deste estudo 11 sujeitos ativos fisicamente, estudantes de Educação Física, praticantes de esportes coletivos. Primeiramente os sujeitos foram submetidos a um protocolo progressivo de corrida até a exaustão voluntária para determinar a velocidade do consumo máximo de oxigênio. Na sequência, os sujeitos foram submetidos a um teste de velocidade constante para identificar o tempo limite na velocidade do consumo máximo de oxigênio e adquirir os dados cinemáticos a 210 Hz referentes a 5 ciclos completos de passadas em dois instantes diferentes da corrida: a) fase inicial: 20 segundos após o início da corrida; b) fase final: último contato do pé com o solo da última passada de interesse ocorrendo 10 segundos antes do término da corrida. Os valores foram calculados pelo software APAS. Foi utilizada a estatística descritiva, o Teste t Pareado para comparação entre as médias dos dois instantes analisados e a regressão linear múltipla para verificar a contribuição das modificações cinemáticas no Tempo Limite. O nível de confiabilidade adotado foi de 95%. O aumento da máxima plantiflexão no balanço (p=0,009) e amplitude de movimento do joelho (p=0,05) foram as únicas diferenças significativas encontradas para o grupo todo. O tempo limite pôde ser predito pelas modificações em 6 variáveis: tempo de suporte, máxima dorsiflexão no suporte, ângulo do joelho no contato, máxima flexão do joelho no suporte, máxima flexão do joelho no balanço e ângulo do quadril na retirada do hálux. Foi possível concluir que a fadiga muscular nos estágios finais da corrida na vVO2máx causa alterações cinemáticas individuais específicas nas articulações do tornozelo joelho e quadril, apesar da ausência de alterações cinemáticas significativas para a ampla maioria das variáveis. Além disso, o tempo limite pode ser predito por modificações cinemáticas ao longo da corrida na vVO2máx.
84

Lineabilidade em conjuntos de funções reais que atingem o máximo em um único ponto

Nogueira, Tony Kleverson 17 March 2014 (has links)
Made available in DSpace on 2015-05-15T11:46:16Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 745962 bytes, checksum: dafc9bbf19626b18e95a2f7d98c99929 (MD5) Previous issue date: 2014-03-17 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this paper we study the concept of lineability and its recent applications to some sets of continuous real functions. These sets are formed by functions that achieve the absolute maximum in a single point of its domain. In the first chapter we consider the real line and its closed and semi-closed domais as intervals for these functions. In the second chapter we study more general results than those in the previous chapters. In the third chapter we present the theory of degree of continuous applications of Sn in Sn as a tool to demonstrate the Borsuk-Ulam theorem. This result is used a crucial tool in Chapter 2. / Neste trabalho estudamos o conceito de lineabilidade e suas recentes aplicações a alguns conjuntos de funções reais contínuas. Esses conjuntos s~ao formados por funções que atingem o máximo absoluto em um único ponto de seu domínio. No primeiro capítulo consideramos a reta e seus intervalos fechados e semifechados como domínios para essas funções. No segundo capítulo estudamos resultados sobre domínios mais gerais que os do capítulo anterior. No terceiro capítulo apresentamos a teoria de grau de aplicações contínuas de Sn em Sn como ferramenta para demonstrarmos o Teorema de Borsuk-Ulam. Este resultado é usado de modo crucial no Capítulo 2.
85

Propriedade Alternada do Operador de Dirichlet-Neumann

Silva, José Eduardo Jesus da 22 July 2010 (has links)
Made available in DSpace on 2015-05-15T11:46:24Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 947145 bytes, checksum: 7294f81daf663930a60afca1aecbee7b (MD5) Previous issue date: 2010-07-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we talk about properties of the Dirichlet-to-Neumann map for the conductivity equation in a smooth manifold with boundary of R2. We use several times the Maximum Principle to conclude a Alternating Property of the Dirichlet-to- Neumann map. Using this property, we and that the Kernel satises a given set of inequalities. Finally, we note that these inequalities imply the Alternating Property of the Kernel of the Dirichlet-to-Neumann map. / Neste trabalho dissertamos sobre Propriedades do Funcional de Dirichlet-Neumann para uma equação de condutividade numa variedade diferenciavel bidimensional com bordo. Utilizamos varias vezes o Principio do Maximo para concluir que esse Funcional tem uma Propriedade Alternada. A partir dessa propriedade, verificamos que o Nucleo do Funcional satisfaz um conjunto especifico de desigualdades. Porém, verificamos que essas desigualdades implicam na Propriedade Alternada do Nucleo do Funcional.
86

A divisibilidade no Ensino Fundamental

Valentim, Erivan Sousa 09 June 2017 (has links)
Submitted by Jean Medeiros (jeanletras@uepb.edu.br) on 2017-07-20T17:14:06Z No. of bitstreams: 1 PDF - Erivan Sousa Valentim.pdf: 10186922 bytes, checksum: ffae32fb65fe99f5c16bf7b416d3008d (MD5) / Approved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2017-08-29T15:42:48Z (GMT) No. of bitstreams: 1 PDF - Erivan Sousa Valentim.pdf: 10186922 bytes, checksum: ffae32fb65fe99f5c16bf7b416d3008d (MD5) / Made available in DSpace on 2017-08-29T15:42:48Z (GMT). No. of bitstreams: 1 PDF - Erivan Sousa Valentim.pdf: 10186922 bytes, checksum: ffae32fb65fe99f5c16bf7b416d3008d (MD5) Previous issue date: 2017-06-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The purpose of this work is to realize an approach about multiples and divisors, in- cluding the least common multiple and the greatest common divisor, owing to the difficulty that students feel when they faced with such content in basic education, aiming at a better understanding about it and an improvement in the learning of le- arners. The suggestion was applied in an 8th grade class at the Joaquim Limeira de Queiroz Agricultural Technical School, in the city of Puxinan˜ a - PB, in March 2017. They were addressed the definitions of multiples, divisors, prime numbers and the least common multiple and the greatest common divisor, and it was applied activities such as: bingo of the divisors, the sum of the magic square and the construction of the Sieve of Eratosthenes. Finally, we carried out an evaluation exercise with the objective of analyzing if the results regarding the content and the activities previously proposed were satisfactory. / A proposta deste trabalho é de realizar uma abordagem sobre os múltiplos e divisores, incluindo mínimo múltiplo comum e o máximo divisor comum, tendo em vista a dificuldade que os estudantes sentem ao se deparar com tal conteúdo na educação básica, objetivando um melhor entendimento a cerca do conteúdo e uma melhoria no que diz o respeito a aprendizagem dos educandos. A proposta foi aplicada em uma turma de 8 ano na Escola Técnica Agrícola Joaquim Limeira de Queiroz, na cidade de Puxinanã - PB, no mês de março de 2017. Foram abordados as definições de múltiplos, divisores, números primos e mínimo múltiplo comum e máximo divisor comum, e aplicadas atividades tais como: bingo dos divisores, a soma do quadrado mágico e a construção do Crivo de Eratóstenes. Por fim, realizamos um exercício avaliativo com o objetivo de analisar se os resultados a respeito do conteúdo e das atividades propostas anteriormente foram satisfatórias.
87

Associação entre o polimorfismo de nucleotídeo único no gene ACTN3, variáveis fisiológicas e parâmetros neuromusculares relacionados à aptidão aeróbia / Association among the single nucleotide polymorphism in the ACTN3 gene, physiological variables and neuromuscular parameters related to aerobic fitness

Leonardo Alves Pasqua 10 April 2013 (has links)
O objetivo do presente estudo foi investigar a existência de associação entre os diferentes genótipos do polimorfismo R577X do gene ACTN3 e variáveis fisiológicas e neuromusculares associadas à aptidão aeróbia e ao desempenho em provas de longa duração. Cento e cinquenta indivíduos fisicamente ativos foram submetidos aos seguintes testes: a) teste incremental máximo para determinação do consumo máximo de oxigênio, velocidade de pico, limiar ventilatório (LV) e ponto de compensação respiratória (PCR); b) dois testes de cargas constantes nas velocidades de 10 km.h-1 e 12 km.h-1 para determinação da economia de corrida; c) teste de uma repetição máxima no exercício leg press para determinação da força máxima de membros inferiores; d) teste de salto vertical para determinação da potência máxima de membros inferiores e; e) genotipagem para determinação do genótipo do gene ACTN3. Os principais resultados foram a maior representação do genótipo XX entre os indivíduos com maiores velocidades associadas ao LV e ao PCR. Além disso, entre os indivíduos mais econômicos, foi observada uma maior representação de pelo menos uma cópia do alelo X (genótipos RX e XX). Esses resultados sugerem que o genótipo XX do gene ACTN3 parece ser favorável às variáveis fisiológicas associadas à aptidão aeróbia, sobretudo aquelas determinadas em intensidades submáximas / The aim of the present study was to investigate the relationship among the genotypes of the ACTN3 gene and physiological and neuromuscular parameters related to aerobic fitness and endurance performance. One hundred and fifty male physically active subjects performed the following tests: a) a maximal incremental test to determine maximal oxygen consumption, peak velocity, ventilatory threshold and respiratory compensation point; b) two constant speed tests at 10 km.h-1 and 12 km.h-1 to determine running economy; c) one repetition maximum in the leg press to determine the maximal dynamic strength of the lower limbs; d) vertical jump test to determine the maximum power of the lower limbs and; e) genotyping for the ACTN3 gene polymorphism. Our main results were a higher frequency of the XX genotypes among the individuals with the highest speeds associated to ventilatory threshold and to the respiratory compensation point. It was observed a higher frequency of at least one copy of the X allele (RX and XX genotypes) among the more economical individuals. These results suggest that the XX genotype of the ACTN3 gene seems to be associated with physiological variables related with the aerobic fitness, mainly those determined in submaximal intensities
88

Estudo poliedral do problema do máximo subgrafo induzido comum / Polyhedral study of the maximum common induced subgraph problem

Piva, Breno 11 1900 (has links)
O problema do Máximo Subgrafo Induzido Comum (MSIC) pertence a classe NP-difícil e possui aplicações em diversas áreas. Apesar de sua complexidade, ainda é importante conhecer soluções exatas para instâncias deste problema. Os algoritmos exatos encontrados na literatura buscam resolvê-lo através de técnicas de backtracking ou através de sua redução para o problema da Clique Máxima. Neste trabalho procuramos dar uma solução exata para o MSIC, tratando-o diretamente através da utilização de modelos de Programação Linear Inteira (PLI) e técnicas de combinatória poliédrica. Assim, realizamos um estudo teórico do poliedro do MSIC e fomos capazes de encontrar algumas desigualdades válidas fortes, inclusive com provas de que algumas delas representam facetas daquele poliedro. Adicionalmente, provamos que existe uma equivalâencia entre o modelo PLI aqui apresentado para o MSIC e uma formulação bem conhecida para o problema da Clique Máxima. Posteriormente, foram implementados algoritmos de Branch-and-Bound (B&B) e Branch-and-Cut (B&C) utilizando as desigualdades encontradas e algumas técnicas para tentar tornar os algoritmos mais eficientes. Experimentos foram executados com os algoritmos implementados neste trabalho e, também, com um algoritmo já existente para resolver o problema da Clique, chamado Cliquer. Os resultados foram comparados e, dentre os algoritmos de PLI, constatamos que o mais eficiente foi aquele que utilizou uma formulação para o MSIC que chamamos de Clique-IS, utilizando B&B e técnicas mais básicas que outros algoritmos. Este algoritmo mostrou-se mais eficiente, inclusive, que um algoritmo PLI com um modelo baseado no problema da Clique Máaxima. Este fato sugere que para uma abordagem baseada em PLI, vale a pena utilizar uma formulação do MSIC diretamente, ao invés de uma que se apóie na redução deste para o problema da Clique Máxima. Ja a comparaçao do melhor algoritmo desenvolvido neste trabalho com o Cliquer, mostrou que este último é mais eficiente. Para que um algoritmo baseado em PLI (utilizando uma formulação com as mesmas variáveis usadas por nós) tivesse alguma chance de vencer um algoritmo combinatório como o Cliquer, seria necessário conhecer mais desigualdades que estivessem ativas na solução ótima do problema._________________________________________________________________________________________ ABSTRACT: The Maximum Common Subgraph problem (MSIC) is in MV-hard and has applications in several fields. Despite its complexity, it is still important to know exact solutions for instances of this problem. The exact algorithms found in literature try to solve it through backtracking techniques or through its reduction to the Maximum Clique problem. In this work we try to give an exact solution to MSIC by addressing it directly, using Linear Integer Programming (PLI) and polyhedral combinatorics techniques. So, we performed a study of the MSIC polyhedron and we were able to find some strong valid inequalities, including some that were proven to define facets of that polyhedron. Additionally, we proved that an equivalence between the PLI model presented here for MSIC and a well known formulation for the Maximum Clique problem exists. Later, Branch-and-Bound (B&B) and Branch-and-Cut (B&C) algorithms were implemented using the inequalities found and some techniques to try to render the algorithms more efficient. Experiments were performed with the algorithms implemented in this work and, also, with an already existing algorithm to solve the Maximum Clique problem, called Cliquer. The results were compared and, among the PLI algorithms, we found that the most efficient was the one that used the formulation which we called Clique-IS, using B&B and more basic techniques than other algorithms. This algorithm was even more efficient than a PLI algorithm with a Clique-based model. This fact suggests that for a PLI approach it is worth to use a formulation based on the MSIC polyhedron instead of one based on its reduction to the Maximum Clique problem. The comparison of the best algorithm developed in this work with Cliquer, though, showed that the latest is more efficient. In order to some PLI-based algorithm (using a formulation with the same variables used by us) to have any chance of outperforming a combinatorial algorithm like Cliquer, it would be necessary to know more inequalities that are active in the problem's optimal solution.
89

Estudo poliedral do problema do maximo subgrafo induzido comum / Polyhedral study of the maximum common induced subgraph problem

Piva, Breno, 1983- 15 August 2018 (has links)
Orientador: Cid Carvalho de Souza / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-15T07:24:38Z (GMT). No. of bitstreams: 1 Piva_Breno_M.pdf: 1251793 bytes, checksum: bf559620a7bdefeec032b5c87d196b5b (MD5) Previous issue date: 2009 / Resumo: O problema do Máximo Subgrafo Induzido Comum (MSIC) pertence a classe NP-difícil e possui aplicações em diversas áreas. Apesar de sua complexidade, ainda é importante conhecer soluções exatas para instâncias deste problema. Os algoritmos exatos encontrados na literatura buscam resolvê-lo através de técnicas de backtracking ou através de sua redução para o problema da Clique Máxima. Neste trabalho procuramos dar uma solução exata para o MSIC, tratando-o diretamente através da utilização de modelos de Programação Linear Inteira (PLI) e técnicas de combinatória poliédrica. Assim, realizamos um estudo teórico do poliedro do MSIC e fomos capazes de encontrar algumas desigualdades válidas fortes, inclusive com provas de que algumas delas representam facetas daquele poliedro. Adicionalmente, provamos que existe uma equivalâencia entre o modelo PLI aqui apresentado para o MSIC e uma formulação bem conhecida para o problema da Clique Máxima. Posteriormente, foram implementados algoritmos de Branch-and-Bound (B&B) e Branch-and-Cut (B&C) utilizando as desigualdades encontradas e algumas técnicas para tentar tornar os algoritmos mais eficientes. Experimentos foram executados com os algoritmos implementados neste trabalho e, também, com um algoritmo já existente para resolver o problema da Clique, chamado Cliquer. Os resultados foram comparados e, dentre os algoritmos de PLI, constatamos que o mais eficiente foi aquele que utilizou uma formulação para o MSIC que chamamos de Clique-IS, utilizando B&B e técnicas mais básicas que outros algoritmos. Este algoritmo mostrou-se mais eficiente, inclusive, que um algoritmo PLI com um modelo baseado no problema da Clique Máaxima. Este fato sugere que para uma abordagem baseada em PLI, vale a pena utilizar uma formulação do MSIC diretamente, ao invés de uma que se apóie na redução deste para o problema da Clique Máxima. Ja a comparaçao do melhor algoritmo desenvolvido neste trabalho com o Cliquer, mostrou que este último é mais eficiente. Para que um algoritmo baseado em PLI (utilizando uma formulação com as mesmas variáveis usadas por nós) tivesse alguma chance de vencer um algoritmo combinatório como o Cliquer, seria necessário conhecer mais desigualdades que estivessem ativas na solução ótima do problema / Abstract: The Maximum Common Subgraph problem (MSIC) is in MV-hard and has applications in several fields. Despite its complexity, it is still important to know exact solutions for instances of this problem. The exact algorithms found in literature try to solve it through backtracking techniques or through its reduction to the Maximum Clique problem. In this work we try to give an exact solution to MSIC by addressing it directly, using Linear Integer Programming (PLI) and polyhedral combinatorics techniques. So, we performed a study of the MSIC polyhedron and we were able to find some strong valid inequalities, including some that were proven to define facets of that polyhedron. Additionally, we proved that an equivalence between the PLI model presented here for MSIC and a well known formulation for the Maximum Clique problem exists. Later, Branch-and-Bound (B&B) and Branch-and-Cut (B&C) algorithms were implemented using the inequalities found and some techniques to try to render the algorithms more efficient. Experiments were performed with the algorithms implemented in this work and, also, with an already existing algorithm to solve the Maximum Clique problem, called Cliquer. The results were compared and, among the PLI algorithms, we found that the most efficient was the one that used the formulation which we called Clique-IS, using B&B and more basic techniques than other algorithms. This algorithm was even more efficient than a PLI algorithm with a Clique-based model. This fact suggests that for a PLI approach it is worth to use a formulation based on the MSIC polyhedron instead of one based on its reduction to the Maximum Clique problem. The comparison of the best algorithm developed in this work with Cliquer, though, showed that the latest is more efficient. In order to some PLI-based algorithm (using a formulation with the same variables used by us) to have any chance of outperforming a combinatorial algorithm like Cliquer, it would be necessary to know more inequalities that are active in the problem's optimal solution / Mestrado / Otimização Combinatoria / Mestre em Ciência da Computação
90

Existência e regularidade de soluções positivas de sistemas de equações diferenciais parciais elípticas / Existence and regularity of positive solutions of systems of partial elliptic differential equations

Sousa , Steffânio Moreno de 03 March 2017 (has links)
Submitted by Erika Demachki (erikademachki@gmail.com) on 2017-03-09T21:07:51Z No. of bitstreams: 2 Dissertação - Steffânio Moreno de Sousa - 2017.pdf: 1402439 bytes, checksum: 6a4985baeae0454d7088588c3c87e295 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-03-10T10:48:27Z (GMT) No. of bitstreams: 2 Dissertação - Steffânio Moreno de Sousa - 2017.pdf: 1402439 bytes, checksum: 6a4985baeae0454d7088588c3c87e295 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-03-10T10:48:28Z (GMT). No. of bitstreams: 2 Dissertação - Steffânio Moreno de Sousa - 2017.pdf: 1402439 bytes, checksum: 6a4985baeae0454d7088588c3c87e295 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-03 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In this work we study existence and regularity of non-negative solution of elliptical systems of the type 8>< >: 􀀀Dpu = f (x;u;v); 􀀀Dqv = g(x;u;v) in W; u;v > 0 in W; where 1 < p;q <N, W IRN is a bounded domain with smooth boundary ¶W, and f ;g are of the type singular-convex or W=IRN and f ;g are concave-convex. In case W we will find solutions that cancel out ¶W while in the case W = IRN solutions in C1(IRN)\L¥(IRN).We will use the Galerkin method and the comparison principle. In case W = IRN we will use the method of sub and super solutions, variational methods and principles of maximum. / Neste trabalho estudaremos existência e regularidade de soluções positivas de sistemas elípticos do tipo 8>< >: 􀀀Dpu = f (x;u;v); 􀀀Dqv = g(x;u;v) in W u;v > 0 in W; onde 1 < p;q < N, W IRN é um domínio limitado com fronteira ¶W regular, e f , g são do tipo convexo-singular ou W = IRN e f , g são do tipo côncavo-convexo. No caso W limitado encontraremos soluções que se anulam em ¶W, enquanto que, no caso W = IRN as soluções em C1(IRN) \ L¥(IRN). No caso f , g singulares utilizaremos o método de Galerkin e princípio de comparação. No caso W = IRN utilizaremos o método de sub e super-soluções, métodos variacionais e princípios de máximo.

Page generated in 0.0621 seconds