Nesta dissertação, com base nos trabalhos [6], [5], provamos a suficiência da condição de divergência (2) para a validade do Princípio do Máximo Forte para (1), sob hipóteses ligeiramente mais gerais que em [2]. / In this dissertation, based on the works [6], [5], we prove the su ciency of the divergence condition (2) for the validity of the Strong Maximum Principle for (1), under slightly more general hypotheses than those assumed in [2].

Nesta dissertação, com base nos trabalhos [6], [5], provamos a suficiência da condição de divergência (2) para a validade do Princípio do Máximo Forte para (1), sob hipóteses ligeiramente mais gerais que em [2]. / In this dissertation, based on the works [6], [5], we prove the su ciency of the divergence condition (2) for the validity of the Strong Maximum Principle for (1), under slightly more general hypotheses than those assumed in [2].

Nesta dissertação, com base nos trabalhos [6], [5], provamos a suficiência da condição de divergência (2) para a validade do Princípio do Máximo Forte para (1), sob hipóteses ligeiramente mais gerais que em [2]. / In this dissertation, based on the works [6], [5], we prove the su ciency of the divergence condition (2) for the validity of the Strong Maximum Principle for (1), under slightly more general hypotheses than those assumed in [2].

SANTOS, M. C. Experimentos Computacionais com Implementações de Conjunto por Endereçamento Direto e o Problema de Conjunto Independente Máximo. 2013. 78 f. Dissertação (Mestrado em Ciência da Computação) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2013. / Submitted by Daniel Eduardo Alencar da Silva (dealencar.silva@gmail.com) on 2015-01-23T19:19:39Z No. of bitstreams: 1 2013_dis_mcsantos.pdf: 1370695 bytes, checksum: f82fbf8bcae3901a15066e6d39ac2720 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-09-23T16:28:47Z (GMT) No. of bitstreams: 1 2013_dis_mcsantos.pdf: 1370695 bytes, checksum: f82fbf8bcae3901a15066e6d39ac2720 (MD5) / Made available in DSpace on 2015-09-23T16:28:47Z (GMT). No. of bitstreams: 1 2013_dis_mcsantos.pdf: 1370695 bytes, checksum: f82fbf8bcae3901a15066e6d39ac2720 (MD5) Previous issue date: 2013 / The use of bit vectors is a usual practice for represent sets by direct addressing with the aim of reduce memory consumed and improve efficiency of applications with the use of bit parallel techniques. In this text, we study implementations for represent sets by direct addressed. The basic structure in this implementations is the bit vector. Besides that basic implementation, we implement two variations also. The first one is a stratification of the bit vector, while the second uses a hash table. The operations linked to the implemented structure are include and remove an element and the union and intersection of two sets. Especial attention is given to the use of bit parallel in this condition. The implementation of the different structures in this work use an base interface and a base abstract class, where the operations are defined and the bit parallel is used. An experimental comparative between this structures is carry out using enumerative algorithms for the maximum stable set problem. Two approaches are used in the implementation of the enumerative algorithms for the maximum stable set problem, both using the bit parallel in the representation of the graph and on the operations with subsets of vertices. The first one is a known branch-and-bound algorithm and the second uses the Russian dolls method. In both cases, the use of bit parallel improve efficiency when the lower bounds are calculated based in a clique cover of the vertices. The results of computational experiments are presented as comparison between the two algorithms and as an assessment of the structures implemented. These results show that the algorithm based on the method Russian Dolls is more efficient regarding runtime and the memory consumed. Furthermore, the experimental results also show that the use stratification and hash tables also allow more efficiency in the case of sparse graphs. / A utilização de vetores de bits é prática corrente na representação de conjuntos por endereçamento direto com o intuito de reduzir o espaço de memória necessário e melhorar o desempenho de aplicações com uso de técnicas de paralelismo em bits. Nesta dissertação, examinamos implementações para representação de conjuntos por endereçamento direto. A estrutura básica nessas implementações é o vetor de bits. No entanto, além dessa estrutura básica, implementamos também duas variações. A primeira delas consiste em uma estratificação de vetores de bits, enquanto a segunda emprega uma tabela de dispersão. As operações associadas às estruturas implementadas são a inclusão ou remoção de um elemento do conjunto e a união ou interseção de dois conjuntos. Especial atenção é dada ao uso de paralelismo em bits nessas operações. As implementações das diferentes estruturas nesta dissertação utilizam uma interface e uma implementação abstrata comuns, nas quais as operações são especificadas e o paralelismo em bits é explorado. A diferença entre as implementações está apenas na estrutura utilizada. Uma comparação experimental é realizada entre as diferentes estruturas utilizando algoritmos enumerativos para o problema de conjunto independente máximo. Duas abordagens são utilizadas na implementação de algoritmos enumerativos para o problema de conjunto independente máximo, ambas explorando o potencial de paralelismo em bits na representação do grafo e na operação sobre subconjuntos de vértices. A primeira delas é um algoritmo do tipo {em branch-and-boound} proposto na literatura e a segunda emprega o método das bonecas russas. Em ambos os casos, o uso de paralelismo em bits proporciona ganhos de eficiência quando empregado no cálculo de limites inferiores baseados em cobertura por cliques. Resultados de experimentos computacionais são apresentados como forma de comparação entre os dois algoritmos e como forma de avaliação das estruturas implementadas. Esses resultados permitem concluir que o algoritmo baseado no método das bonecas russas é mais eficiente quanto ao tempo de execução e quanto ao consumo de memória. Além disso, os resultados experimentais mostram também que o uso de estratificação e tabelas de dispersão permitem ainda maior eficiência no caso de grafos com muito vértices e poucas arestas.

Orientador : Nelo da Silva Allan / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-14T02:54:07Z (GMT). No. of bitstreams: 1 Andrade_CerisMariaRodriguesde_M.pdf: 1746408 bytes, checksum: 1ea003405d26c5019f6692c09b1e5448 (MD5) Previous issue date: 1979 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-04-12T18:22:10Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação.pdf: 4312254 bytes, checksum: c45a14f3125ba554c30560a951c58b21 (MD5) / Made available in DSpace on 2016-04-12T18:22:10Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação.pdf: 4312254 bytes, checksum: c45a14f3125ba554c30560a951c58b21 (MD5) Previous issue date: 2015-07-30 / CAPES / Praias são ambientes onde ocorrem constantes modificações em diferentes escalas de tempo. Estas, por sua vez, são resultado dos processos de diferentes origens que convergem neste ambiente. Assim, a zona de espraiamento é considerada a sub-região mais dinâmica dentre as regiões que compreendem a praia, sendo responsável pela variação e modelagem que ocorre desde a linha de costa até feições mais externas. O estudo hora apresentado é resultado de um experimento realizado durante três dias na praia de Boa Viagem (Recife – PE), onde a presença de bancos de arenito influencia diretamente o comportamento das ondas em sua propagação. Foram utilizados dados obtidos in situ com equipamentos ADCP em conjunto com o sistema de vídeo imagens Argus. Com isto, a partir de séries temporais de intensidade luminosa foram registradas em sete linhas de imagens empilhadas (stack) obtendo dados relativos a respeito das condições de quebra, máximo do espraiamento (runup), frequência de ondas, energia de densidade espectral, períodos significante e de pico, modulação da maré, influência dos recifes e sua relação com ondulação incidente. Os resultados demonstraram variação da maré entre 0,2 a 2,3 metros, ondas entre 0,2 a 2,4 metros, períodos tiveram média entre 11 a 16 segundos, e densidade espectral em bandas mais energéticas (infragravidade) e menos energéticas (incidente). O máximo energético acontece na preamar quando ocorre a saturação da face de praia por água. Na baixa-mar foi observado que poucas ondas ocorrem no espraiamento, entretanto, os espectros demonstraram que as ondas atuantes nesta etapa possuem maior energia dentro de uma amostragem incidente. Desse modo, considerando a posição das estruturas na praia, quanto mais próximo da região onde as ondas alcançam a costa (arrebentação), maior será sua influência sobre as ondas, sendo este um fator determinante não apenas no comportamento das ondas, mas também no comportamento das ondas. A presença destas estruturas é determinante de tal maneira que, em alguns casos, se mostraram responsáveis pela geração de ondas estacionárias e de borda, resultado da refração que ocorre da incidência longitudinal que modificando a energia da banda no espraiamento, o que irá influenciar na dinâmica praial, isto é comprovado pela densidade espectral, período, variação da maré e excursão do runup obtidos neste estudo. / Beaches are highly variables environments, processes them converge from different backgrounds. Therefore, the swash zone is considered the most dynamic among the regions that comprise accounting for variation and modeling that occurs from the shoreline to the others features. The study presented is the result of a three days experiment on the Boa Viagem beach, Recife, where the presence of coastal reefs directly influence on the swash zone behavior. For this purpose, obtained in situ data were used together with the video system image knows worldwide, the Argus system. Therefore, light intensity time series were recorded in seven lines of stack images (stacks) in which they obtained data about the breaking conditions, maximum swash (runup), power spectral density, significant and peak period, modulation tide, influence of reefs and their relation to incident waves. The results showed tide variation between 0,2 to 2,3 meters, wave height 0,2 and 2,4 meters, the periods between 11 to 16 seconds and high energy spectral density band (infragravity) and less energy (incident band). The maximum energy occurs at the high tide when there is a saturation on the beach face. At low tide, low energy reaches at the swash zone, however, the spectra showed that the acting waves at this tides phase have greater power within an incident sampling. Thus, the closer surf zone are these, greater influence structures, and the reefs a determining factor for the band that focus in that section. This, in turn, limits the power dissipation of the waves, in some cases, proved responsible for the generation of the standing and edge waves, resulting from refraction that occurs longitudinal incidence that are responsible for changes the energy band in swash zone, which will influence the beach dynamic, that is proven by spectral density, periods, tide variation, and runup data.

No description available.

Magíster en Economía Aplicada / Ingeniero Civil Industrial / En este trabajo estudiamos un modelo de financiamento en redes, aplicado a comunidades, en las cuales no existe colateral ni acceso al crédito, y el financiamiento es alcanzado mediante la confianza al interior de la comunidad. Modelamos la comunidad como una red no dirigida, en la que los miembros de la comunidad están conectados en la red mediante links y la confianza es la representación de los beneficios futuros de interacciones mutuas, modelada como capacidades de links. Cada miembro de la comunidad tiene una dotación exógena de recursos. Un único miembro tiene acceso a una oportunidad de proyecto, la que puede ser financiada por la comunidad mediante transferencias de recursos y un esquema de repagos. Caracterizamos el nivel de financiamiento que la comunidad puede alcanzar, y los factores que lo gobernan, como un problema de flujo máximo de largo restringido. La probabilidad de éxito del proyecto, la tasa de recuperación y la probabilidad de interacción tienen un efecto monótono en el nivel de financiamiento. Sin embargo, el efecto de la tasa de repago y del spread de intermediación, dependen de los tamaños relativos de la confianza de la comunidad y los recursos disponibles en ésta. La distribución ex-ante de riqueza es examinada en términos de mejoras estocásticas y su efecto en la capacidad de financiamiento de la comunidad, encontrándose una correlación negativa con mean-preserving spreads de la distribución de la riqueza. También estudiamos la implementación de una institución formal de castigo, la que impone un costo a los miembros que cometen default en sus repagos estipulados. Presentamos una parametrización bajo la cual la institución puede ser exitosamente auto implementada por la comunidad. Finalmente, derivamos implicancias relacionadas con la estructura de red y el bienestar social, y desarrollamos dos aplicaciones. La primera tiene relación con descalces entre oferta y demanda en mercados donde la demanda es desconocida pero ya fue comprometida, y el costo de externalizar la demanda es menor que el costo de no satisfacerla. La segunda aplicación tiene relación con la venta negociada de un bien homogéneo, producido por los miembros de la comunidad, a un agente externo a la comunidad. Los miembros de la comunidad difieren en su poder de negociación y enfrentan la decisión de vender en el mercado spot o vender a través de un miembro designado de la comunidad, quien negocia con el agente externo.

FREITAS, Carlos Wagner Almeida. Equações diofantinas. 2015. 201 f. Dissertação (Mestrado em Matemática em Rede Nacional) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2015. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2015-07-07T13:47:58Z No. of bitstreams: 1 2015_dis_cwafreitas.pdf: 2277656 bytes, checksum: 3af27a1d293cade13ea2c647cdf656f3 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-07-07T13:48:30Z (GMT) No. of bitstreams: 1 2015_dis_cwafreitas.pdf: 2277656 bytes, checksum: 3af27a1d293cade13ea2c647cdf656f3 (MD5) / Made available in DSpace on 2015-07-07T13:48:30Z (GMT). No. of bitstreams: 1 2015_dis_cwafreitas.pdf: 2277656 bytes, checksum: 3af27a1d293cade13ea2c647cdf656f3 (MD5) Previous issue date: 2015 / The current work has as objective main to structuralize students, professors and loving of the mathematics for the best understanding, interpretation and resolution of problems that come to be solved using the Diofantinas Equations. For this, they had been used techniques as the use of inequalities and the parametric method that are contents studied for the professors of Basic and Average Education. Also the presentation of some examples, all decided, that they will serve as object of study for professors, college’s student was used for this, pertaining to school and loving students of the mathematics. In the first chapter we will approach the facts historical of great mathematicians who had contributed with the development of the Diofantinas Equations. No longer according to chapter, we go to better know the essence of the Elementary Theory of the Numbers, presenting, demonstrating and exemplifying the mathematical tools that will be used in the resolution of the Diofantinas Equations. Finally, in the third chapter, we will introduce the Diofantinas Equations and the methods of determination of solutions of the same one, applying them in situation-problem of the daily one. The conclusion of this work emphasizes the importance of the algebraic and geometric understanding of the Diofantinas Equations, and that the contact with problems of this area contributes so that the reader develops in creative way, its cognitive abilities. It is important to stand out that the introduction to the resolution of problems of this nature does not need superior knowledge, being able to be boarded in Basic and Average education. / O atual trabalho tem como objetivo principal estruturar estudantes, professores e amantes da matemática para a melhor compreensão, interpretação e resolução de problemas que venham a ser solucionados usando-se as Equações Diofantinas. Para isso, foram usadas técnicas como o uso de inequações e o método paramétrico que são conteúdos estudados pelos professores do Ensino Fundamental e Médio. Também foi utilizada para isso a apresentação de vários exemplos, todos resolvidos, que servirão como objeto de estudo para professores, universitários, estudantes escolares e amantes da matemática. No primeiro capítulo abordaremos os fatos históricos de grandes matemáticos que contribuíram com o desenvolvimento das Equações Diofantinas. Já no segundo capítulo, vamos conhecer melhor a essência da Teoria Elementar dos Números, apresentando, demonstrando e exemplificando as ferramentas matemáticas que serão utilizadas na resolução das Equações Diofantinas. Por fim, no terceiro capítulo, introduziremos as Equações Diofantinas e os métodos de determinação de soluções das mesmas, aplicando-as em situações-problema do cotidiano. A conclusão desse trabalho enfatiza a importância da compreensão algébrica e geométrica das Equações Diofantinas, e que o contato com problemas desta área contribua para que o leitor desenvolva de modo criativo, suas habilidades cognitivas. É importante ressaltar que a introdução à resolução de problemas dessa natureza não necessita dede conhecimentos superiores, podendo ser abordado no Ensino Fundamental e Médio.

Orientador: Valeriano Antunes de Oliveira / Banca: Geraldo Nunes Silva / Banca: Iguer Luis Domini dos Santos / Resumo: O objetivo deste trabalho é o estudo das condições necessárias e suficientes de otimalidade para problemas de controle ótimo, compreendendo o estudo do Princípio do Máximo e convexidade generalizada. As condições necessárias dadas pelo Princípio do Máximo Pontryagin são obtidas mediante o formalismo de Dubovitski e Milyutin, que permite determinar, usando a linguagem da análise funcional, condições necessárias de otimalidade para uma classe de problemas extremos. As condições suficientes de otimalidade são dadas introduzindo a noção de invexidade generalizada adequadas ao problema, que denominaremos PM-pseudo-invexidade / Abstract: The purpose of this work is the study of necessary and sufficient conditions of optimality for optimal control problem including the study of the Maximum Principle and generalized convexity. The necessary conditions given by the Pontryagin Maximum Principle are obtained by means of the Dubovitski and Milyutin formalism, which allows to determine, using the language of functional analysis, necessary optimality conditions for a class of extreme problems. The sufficient conditions of optimality are given by introducing the notion of generalized invexity suitable to the problem, which we will call PM-pseudo-invexity / Mestre