Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-02-17T19:13:42Z No. of bitstreams: 1 2015_JuanPabloDiagoRodríguez.pdf: 3680802 bytes, checksum: f70c8bd4da318aae2414f530b8145786 (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2016-05-26T17:30:33Z (GMT) No. of bitstreams: 1 2015_JuanPabloDiagoRodríguez.pdf: 3680802 bytes, checksum: f70c8bd4da318aae2414f530b8145786 (MD5) / Made available in DSpace on 2016-05-26T17:30:33Z (GMT). No. of bitstreams: 1 2015_JuanPabloDiagoRodríguez.pdf: 3680802 bytes, checksum: f70c8bd4da318aae2414f530b8145786 (MD5) / Este trabalho tem como objetivo apresentar a implementação de uma técnica de otimização bioinspirada como solução ao problema de controle de tráfego em sistemas de grupos de elevadores (EGCS). A técnica de controle usada é o algoritmo de otimização por inteligência de enxame (PSO - swarm optimization particle) de tipo binário. A ideia é que o algoritmo escolha o melhor elevador para um usuário que faz uma chamada de serviço em um sistema de controle destino (DCS – destination control system). Para a escolha do elevador o algoritmo tem uma função custo que considera as variáveis: (1) tempo de espera; (2) tempo de voo; (3) capacidade do elevador; (4) número de paradas alocadas; entre outras. A solução que apresente o melhor valor de aptidão será o elevador selecionado para atender a chamada. Como caso de estudo o controlador foi testado em um prédio do tipo comercial simulando o caso mais crítico (uma situação de trafego up-peak), Finalmente, os resultados obtidos são apresentados e comparados com os resultados de outros autores. / This work aims at presenting the implementation of a Bio-inspired optimization technique applied to Elevator Group Control Systems (EGCS) as a solution for traffic problem. The control technique used is a binary optimization algorithm based on swarm intelligence (PSO - particle swarm optimization). The main idea consist of choosing the best elevator for a user who calls for service in a destination control system (DCS). In order to choosing the elevator, the algorithm uses a cost function that considers the variables: (1) waiting time; (2) flight time; (3) elevator capacity; (4) number of allocated stops; among others. The solution that presents the best fitness value corresponds to the selected elevator that is going to answer the call. As case of study, the controller was tested in a commercial building, simulating the most critical case (up-peak traffic situation). Finally, the results obtained are summarized and compared with results obtained by other authors.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-05-31T18:49:15Z No. of bitstreams: 1 2016_WesleydeFreitasMendes.pdf: 2176053 bytes, checksum: 1c0c167cc60c211557e04f0c87fda6e1 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-01-18T20:38:42Z (GMT) No. of bitstreams: 1 2016_WesleydeFreitasMendes.pdf: 2176053 bytes, checksum: 1c0c167cc60c211557e04f0c87fda6e1 (MD5) / Made available in DSpace on 2017-01-18T20:38:42Z (GMT). No. of bitstreams: 1 2016_WesleydeFreitasMendes.pdf: 2176053 bytes, checksum: 1c0c167cc60c211557e04f0c87fda6e1 (MD5) / Buscaremos neste trabalho estabelecer a existência de solução positiva para o problema semilinear (P λ) -∆u + λu = f(x; u)u; x 2 RN; onde λ > 0 é um parâmetro e f 2 C(RN x R+;R+) satisfaz algumas hipóteses específicas. Para isso, usamos a técnica variacional e nossa principal ferramenta será o Teorema do Passo da Montanha com condição de Cerami. Estabeleceremos também resultados de multiplicidade para o problema (P λ) com uma condição extra de simetria na não linearidade. __________________________________________________________________________________________________ ABSTRACT / We seek in this work to establish the existence of positive solutions for the semilinear problem P λ) -∆u + λu = f(x; u)u; x 2 RN where λ > 0 is a parameter and f 2 C(RN xR+;R+) satisfies some specifics hypotheses. For this, we use the variational technique and our main tool will be the Mountain-Pass Theorem with Cerami condition. We establish, as well, multiplicity results for the problem (P λ) with an extra symmetry condition on the nonlinearity.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2014. / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2014-12-01T16:34:20Z No. of bitstreams: 1 2014_FelipeTorresVital.pdf: 2492878 bytes, checksum: a96013c7ea1832385e4d8dc49347aa6f (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2014-12-03T10:41:41Z (GMT) No. of bitstreams: 1 2014_FelipeTorresVital.pdf: 2492878 bytes, checksum: a96013c7ea1832385e4d8dc49347aa6f (MD5) / Made available in DSpace on 2014-12-03T10:41:41Z (GMT). No. of bitstreams: 1 2014_FelipeTorresVital.pdf: 2492878 bytes, checksum: a96013c7ea1832385e4d8dc49347aa6f (MD5) / O presente trabalho tem como objetivo indicar o método mais eficaz para resolução de um determinado sistema linear. Os sistemas lineares são utilizados em cálculos nas mais diversas áreas, tais como a Física, a Engenharia, a Geometria e a Probabilidade. Apresentamos, através de exemplos contextualizados, seis métodos distintos, quatro diretos e dois iterativos, a fim de estudar qual possui o menor custo computacional. Demonstramos que não existe o melhor método de forma absoluta. Assim, deve ser feita uma análise prévia do que se busca com a solução para a escolha do método de resolução. Veremos que existem métodos mais rápidos e outros mais precisos. _________________________________________________________________________________ ABSTRACT / The following paper has as its purpose to indicate the most effective method when solving a determined linear system. Linear systems are used in calculations on many different areas, such as Physics, Engineering, Geometry and Probability. We introduce, through contextualized examples, six distinct methods, four direct and two iterative, in order to study which one has the lowest operational cost. We demonstrate that there is not an absolute best method. Therefore, there must be a previous analysis on what you seek with the solution before you choose your solving method. We will see that there are faster methods and more precise ones.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2015. / Submitted by Fernanda Alves Mignot (fernandamignot@hotmail.com) on 2015-11-05T19:12:02Z No. of bitstreams: 1 2015_GustavoCandeiaCosta.pdf: 843402 bytes, checksum: dd61c70734d3156b82f3a83934613a57 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-11-05T19:33:12Z (GMT) No. of bitstreams: 1 2015_GustavoCandeiaCosta.pdf: 843402 bytes, checksum: dd61c70734d3156b82f3a83934613a57 (MD5) / Made available in DSpace on 2015-11-05T19:33:12Z (GMT). No. of bitstreams: 1 2015_GustavoCandeiaCosta.pdf: 843402 bytes, checksum: dd61c70734d3156b82f3a83934613a57 (MD5) / Seja (Fn)n≥0 a sequência de Fibonacci e z(n) a ordem de aparição nessa sequência definida como o menor k Є N tal que n divide Fk. Nesse trabalho, discutiremos algumas propriedades dessa função. O principal objetivo é provar que existem infinitas soluções para a equação z(n) = z(n + 2) e exibir fórmulas fechadas para z(Fm ± 1). Mas, antes disso, detalharemos propriedades dos números de Fibonacci e números de Lucas. ______________________________________________________________________________________________ ABSTRACT / Let (Fn)n≥0 be the Fibonacci sequence and let z(n) be the order of appearance in this sequence which is defined as the smallest k Є N such that n divides Fk. In this work, we shall discuss some properties of this function. The main goal is to prove the existence of infinitely many solutions to the equation z(n) = z(n + 2) as well as to exhibit closed formulas for z z(Fm ± 1). At first, we shall describe the properties of Fibonacci and Lucas numbers.

Tese (doutorado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2013. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-05-28T13:48:41Z No. of bitstreams: 2 2013_ShirleyGuimaraesPimenta2.pdf: 18522 bytes, checksum: 4f03d619003d319a558dc389ffdaf8cd (MD5) 2013_ShirleyGuimaraesPimenta.pdf: 2324657 bytes, checksum: 105b4c2a6e749bd4f1d38819335f902b (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-05-28T15:08:05Z (GMT) No. of bitstreams: 2 2013_ShirleyGuimaraesPimenta2.pdf: 18522 bytes, checksum: 4f03d619003d319a558dc389ffdaf8cd (MD5) 2013_ShirleyGuimaraesPimenta.pdf: 2324657 bytes, checksum: 105b4c2a6e749bd4f1d38819335f902b (MD5) / Made available in DSpace on 2014-05-28T15:08:05Z (GMT). No. of bitstreams: 2 2013_ShirleyGuimaraesPimenta2.pdf: 18522 bytes, checksum: 4f03d619003d319a558dc389ffdaf8cd (MD5) 2013_ShirleyGuimaraesPimenta.pdf: 2324657 bytes, checksum: 105b4c2a6e749bd4f1d38819335f902b (MD5) / Discute a interação usuário-texto no contexto da resolução de problemas, adotando abordagem interdisciplinar com contribuições vindas do ponto de vista cognitivo na Ciência da Informação e do processamento da informação na Psicologia Cognitiva. O objetivo geral é verificar o efeito da interação do solucionador com o enunciado sobre o tempo utilizado e o escore alcançado na resolução de problemas. Com fundamento na literatura referenciada, é proposto modelo conceitual que, enfatizando a relação entre os conceitos estudados, proporciona base para a formulação e verificação de seis hipóteses de trabalho, verificadas por meio do método experimental, recomendado para estudos de relações de causa e efeito. O contexto da verificação é a Física e a situação é a resolução de problemas de Física. O estudo requereu a manipulação de duas variáveis independentes: o nível de expertise do solucionador e da extensão do enunciado do problema. Essas, por sua vez, são consideradas em dois níveis, o primeiro, os solucionadores novatos e experts, e o segundo, enunciados curtos e longos, respectivamente. O efeito dessa manipulação é mensurado em duas variáveis dependentes: o tempo utilizado e o escore alcançado na resolução do problema. São realizados dois experimentos em que se verifica a influência das variáveis independentes na presença e na ausência de interação do solucionador com o enunciado durante a resolução de dois problemas por cada participante. Os dados, tratados estatisticamente, por meio da execução de Análise de Variância e testes t relacionado e independente. No Experimento 1, é verificado que na presença da interação do solucionador com o enunciado, o nível de expertise influencia o escore alcançado e a extensão do enunciado influencia o tempo utilizado e o escore alcançado. No entanto, não é observada interação entre as duas variáveis. No Experimento 2, os resultados indicam que na ausência da interação do solucionador com o enunciado, o nível de expertise não influência o tempo utilizado e o escore alcançado por ambos os grupos. Por outro lado, a extensão do enunciado influencia o tempo utilizado e o escore alcançado. Além disso, é observada interação entre as variáveis independentes sobre o escore alcançado. As conclusões são no sentido de que a interação do usuário-texto desempenha papel primordial no processo de resolução de problemas, produzindo efeito sobre o tempo utilizado e o escore alcançado na resolução do problema. Os achados trazem contribuições de natureza teórico-conceitual, de emprego de método experimento utilizado em menor escala na Ciência da Informação e de reforço à natureza interdisciplinar dessa Ciência. Recomendações para estudos futuros são no sentido de aplicar o modelo conceitual proposto em outros contextos tais como o de tomada de decisão. ______________________________________________________________________________ ABSTRACT / It is discussed the interaction user-text in the context of problem solving. Such intent requested the adoption of an interdisciplinary approach with contributions taken from the cognitive viewpoint in Information Science and information processing in Cognitive Psychology. The main aim is to verify the effect of the interaction between the solver and the problem statement over the time spent and the score achieved in solving the problems. It is proposed a conceptual model based on the literature referenced and with which is emphasised the relationship amongst relevant concepts to this study. The conceptual model also provides a basis for formulating and testing six working hypothesis which are verified by means of experimental method, recommended for studies of cause and effect like this one. The context of verification is physics and the chosen situation is the problem solving in physics. The study required the manipulation of two independent variables: the solver level of expertise and the problem statement length. Such variables are considered at two levels: novices and experts solvers and short and long problem statements respectively. The effect of these manipulations is measured on the two dependent variables: the time spent on solving the problem and the score achieved. Two experiments were conducted with the purpose of measuring the influence of the independent variables taking into consideration the presence and the absence of interaction solver-statement. Data were statistically examined by means of the analysis of variance and the related and independent t tests. In the Experiment 1, findings indicated that the level of expertise influences the score achieved and the problem statement length influences the time spent and the score achieved. Nevertheless, there was no interaction between the level of expertise and the problem statement length in the presence of interaction solver-problem statement. In the Experiment 2, findings indicated that the level of expertise did not influence the time spent and the scores achieved by both groups. Moreover, the problem statement length influences the time spent and the score achieved. Beyond that, there is an interaction between the independent variables on the score achieved in the absence of interaction solver-problem statement. The findings are in the sense that the interaction user-text plays a relevant role in the problem solving process with effect on the time spent and on the score achieved in such process. The results bring theoretical-conceptual contributions at the same time that highlight the employment of experimental method employed a smaller scale in Information Science and reinforce the interdisciplinary nature of this science. Recommendations for future studies are in order to apply the proposed conceptual model in other contexts such as decision-making.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração e Contabilidade, Departamento de Economia, Programa de Pós-Graduação em Ciências Econômicas, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-05-18T18:55:36Z No. of bitstreams: 1 2017_LeonardoSousaGomesMarinho.pdf: 818943 bytes, checksum: 5535d25e6978f8630727b2a38af557a1 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-05-24T23:11:45Z (GMT) No. of bitstreams: 1 2017_LeonardoSousaGomesMarinho.pdf: 818943 bytes, checksum: 5535d25e6978f8630727b2a38af557a1 (MD5) / Made available in DSpace on 2017-05-24T23:11:45Z (GMT). No. of bitstreams: 1 2017_LeonardoSousaGomesMarinho.pdf: 818943 bytes, checksum: 5535d25e6978f8630727b2a38af557a1 (MD5) Previous issue date: 2017-05-21 / Programação dinâmica é uma técnica onipresente em toda a ciência econômica, e é de interesse saber se as soluções para esta classe de problemas podem ser caóticas. A literatura na área provém, principalmente, do estudo de modelos de crescimento endógeno, mas o presente trabalho analisa um modelo proveniente da área de pesquisa conhecida como dinâmica humana, um ramo da teoria dos sistemas complexos. Um aspecto crucial da possibilidade de soluções caóticas para este tipo de problema é o valor do fator de desconto, onde a literatura econômica sugere que tais soluções só seriam comuns para fatores de desconto baixos, atípicos em economia. Aqui, para valores elevados do fator de desconto, são apresentadas soluções caóticas nos valores esperados de um modelo estocástico de programação dinâmica onde o espaço de estados é discreto. Tais soluções são analisadas numericamente por meio de gráficos e simulações e algumas de suas principais características, especialmente sua natureza caótica, são demonstradas analiticamente. / Dynamic programming is a ubiquitous technique throughout economics, and it is of interest to know whether solutions to this class of problems may be chaotic. Literature in this area comes mainly from the study of endogenous growth models, but the present work analyzes a model from the research area known as human dynamics, a branch of complex systems theory. A crucial aspect of the possibility of chaotic solutions to this kind of problem is the discount factor value, where economic literature suggests that such solutions are common only for low, atypical values. Here, chaotic solutions for high values of the discount factor are presented for the expected values of a stochastic dynamic programming model with discrete state space. Such solutions are analyzed numerically and graphically through simulations and some of their main characteristics, especially their chaotic nature, are demonstrated analytically.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-06-20T21:15:09Z No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-08-17T15:39:39Z (GMT) No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) / Made available in DSpace on 2017-08-17T15:39:39Z (GMT). No. of bitstreams: 1 2017_BrunodeAssisDelboni.pdf: 1000608 bytes, checksum: 0c7c86de2221eca903edd2ffda11ee2c (MD5) Previous issue date: 2017-08-17 / Esta dissertação tem como foco o estudo do problema de unificação módulo uma teoria equacional cuja assinatura contém um operador binário que satisfaz as identidades Associatividade, Comutatividade, Unidade e Nilpotência (ACUN), e que pode ou não conter um operador unário que satisfaz a identidade de homomorfismo (ACUNh), que é a teoria equacional do operador , amplamente utilizado em diversas ferramentas criptográficas, como MAUDE-NPA[10] que utiliza uma encriptação de grupos abelianos, incluindo ( ou exclusivo ), exponenciação e encriptação homomórfica. Primeiro apresentaremos alguns critérios para existência de soluções para problemas de ACUN(h)-unificação elementar com constantes que consiste em associar o problema de unificação à um sistema de equações lineares cujos coeficientes são elementos de ou , dependendo se o homomorfismo é ou não considerado. Segundo, apresentaremos um algoritmo para resolver problemas de ACUN(h)- unificação geral que retorna sempre um conjunto completo de unificadores. Finalmente, apresentaremos o estudo de um novo paradigma de unificação, a dizer, \emph{unificação assimétrica}, que consiste de obter unificadores de um problema de unificação com a propriedade de preservar formas normais do lado direito de cada equação de com relação a um sistema de reescrita convergente e coerente módulo uma teoria equacional . No caso particular da teoria equacional ACUN construiremos um algoritmo de conversão de ACUN-unificadores para ACUN-unificadores assimétricos. / This dissertation focuses on the study of unification problems modulo an equational theory whose signature contains a binary operator , which satisfies the identities of Associativity, Commutativity, Unity and Nilpotence (ACUN), and which may or not contain a unary operator satisfying the homomorphism identity (ACUNh), which is the equational theory for the operator XOR, Widely used on many cryptographic tools, like MAUDE[10], which uses group encryption, including XOR ( exclusive or ), exponentiation and homomorphic encryption. First we will present some criteria to the existence of solutions for elementary with constants ACUN(h)-unification problems which consist of associating a unification problem to a linear equation system whose coefficients are elements of or , depending one we are considering homomorphism or not. Second, we will present an algorithm to solve general ACUNh-unification problems which always returns a complete set of most general unifiers. Finally, we will present the study of a new unification paradigm, to say so, asymmetric unification, which consist of obtaining unifiers from the unification problem , with the property of preserving the normal form from of the right hand side of each equation in , considering a convergent and coherent rewriting system. In the particular case of the equational theory ACUN, we will also present an algorithm which takes as input ACUN-unifiers and outputs ACUN-asymmetric unifiers.