Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-07-21T17:21:02Z No. of bitstreams: 1 2016_GustavoMaiaQueirozdeMendonça.pdf: 16621580 bytes, checksum: fb2e7c4fe5521587dc6f85065ebcb929 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-08-18T18:40:35Z (GMT) No. of bitstreams: 1 2016_GustavoMaiaQueirozdeMendonça.pdf: 16621580 bytes, checksum: fb2e7c4fe5521587dc6f85065ebcb929 (MD5) / Made available in DSpace on 2016-08-18T18:40:35Z (GMT). No. of bitstreams: 1 2016_GustavoMaiaQueirozdeMendonça.pdf: 16621580 bytes, checksum: fb2e7c4fe5521587dc6f85065ebcb929 (MD5) / Na segmentação de objetos em vídeos por intermédio de um rastreamento quadro a quadro de regiões, a manutenção da coerência temporal depende diretamente da qualidade desse rastreamento ao longo dos quadros. Para esse fim, adaptou-se para o domínio dos superpixels processados como grafos de regiões, princípios de um extrator de características bastante difundido, o SIFT, que exibe grande eficiência na identificação/rastreamento de objetos em cenas. Um descritor é criado para cada região, a partir de histogramas de orientação do gradiente de setores ao redor do vértice, calculado de forma a garantir, como no SIFT, invariância à escala, rotação e iluminação. As contribuições do descritor proposto na segmentação de objetos em vídeo, feita a partir de corte em grafos, são testadas em três níveis: ajuste, ou compensação, de movimento do objeto em cena; reforço nos pesos de ligação entre arestas dos grafos, para os elementos considerados correspondentes entre os quadros e; determinação de grafos equivalentes com redução no número elementos guiada pela correspondência encontradas a partir algoritmo proposto. ________________________________________________________________________________________________ ABSTRACT / In the segmentation of object in video through frame to frame region tracking, the temporal coherence maintenance depends directly on the quality of the regions tracking along the frames. To this aim, principles of a widespread feature extractor, the SIFT, were adapted for the superpixels domain rendered as region graphs, which exhibits high efficiency in identification/tracking of objects in scenes. A descriptor is created to each vertex of graph, from orientation histograms of the gradient of bins around the vertex, calculated to ensure, as the SIFT, a scale, rotation and lighting invariance. The contributions of the proposed descriptor in the segmentation of objects in video, performed by a graph cut, are tested on three levels: the adjustment or compensation of the movement of object in scenes; the strengthening of the connection weights between edges of the graphs for the elements considered matches between frames and; the determination of equivalent graphs with reduction in the number elements guided by matches found through the proposed algorithm.

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.

Resumo: Diversos trabalhos envolvema relação existente entre os problemas de Planejamento Clássico e os problemas de alcançabilidade de redes de Petri, em virtude da proximidade existente entre estes dois formalismos. Uma das técnicas que produz melhores resultados na solução de problemas de alcançabilidade é conhecida como “Desdobramento”. A rede resultante do desdobramento possui omplexidade exponencial em relação ao tamanho inicial da rede de Petri, ainda que produza uma rede menor do que o tamanho do grafo de alcançabilidade de redes de Petri. O objetivo deste trabalho é adaptar as heurísticas de Planejamento H1 e H2, baseadas na regressão de um estado objetivo, para guiar o processo de desdobramento da rede de Petri até que seja atingida uma marcação objetivo, permitindo que a solução possa ser extraída da rede de ocorrências gerada. Esta adaptação foi feita a partir de uma estrutura de dados chamada de vetor de cálculo, que enumera as regressões de todos os subconjuntos de tamanho menor ou igual a m, de acordo com a ordem da heurística, permitindo algumas otimizações no cálculo da heurística. Resultados experimentais foram obtidos a partir de redes de Petri geradas a partir do planejador Petrigraph, que converte problemas de planejamento clássico descritos em forma PDDL em forma de redes de Petri. Estas redes foram submetidas ao desdobramento com auxílio das heurísticas H1 e H2, sendo os resultados comparados com a heurística implementada por Töws e com o planejador Sat Plan. Também foram feitas análises envolvendo o número de expansões realizadas até ser encontrada a solução, o trabalho total realizado pela ferramenta Mole, a complexidade do vetor de cálculo e a profundidade atingida nas redes em que a solução não foi encontrada.

Resumo: Neste trabalho é criada e proposta uma metodologia geral com um modelo de processos para a realização de sessões de aprendizagem, considerando um entorno colaborativo com interação síncrona mediada por ferramentas tecnológicas. Com a inclusão da tecnologia na educação, se observa que não é suficiente tornar as ferramentas disponíveis. Identificou-se uma carência de metodologias que guiem a criação de novas formas de projeto instrucional, baseado na interação por meio de ferramentas tecnológicas. Alem disso, evidenciou-se que as maiorias das plataformas de aprendizagem exploram somente uma interação assíncrona. Por isto é importante considerar fatores vantajosos como o feedback imediato de uma interação síncrona, para a realização de sessões de aprendizagem em um contexto colaborativo dentro de uma área do conhecimento. Assim, identificando ferramentas que permitem interação em tempo real e considerando as vantagens apregoadas de um enfoque sócio-interacionista para a construção de aprendizagens significativas, propõe-se um conjunto de fases, passos e atividades modelo, que guiam a implementação de atividades e estratégias colaborativas em tempo real dentro de sessões para o apoio ao processo de ensino-aprendizagem.

Este trabalho trata da fatoração de polinômios em uma indeterminada. A fatoração polinomial é utilizada como uma ferramenta em diversas áreas da matem ática, seja para fins aplicados ou puramente teóricos. A teoria de fatoração de polinômios teve seus maiores avanços nas últimas décadas com o desenvolvimento e constante avanço dos computadores. O objetivo desta dissertação é apresentar um estudo do desenvolvimento desta teoria, começando com os primeiros algoritmos desenvolvidos e terminando com os algoritmos utilizados nos softwares atuais, tais como Maple. A maioria destes algoritmos foram implementados pelo autor no software Maple, embora de forma simples e sem nos preocuparmos com a eficiência dos mesmos. / This work deals with univariate polynomial factorization. Polynomial factorization is used as a tool in several areas of mathematics, for both applied as well as purely theoretical purposes. The theory of polynomial factorization had its major advances in the past few decades, due to the creation and constant development of computers. The goal of this thesis is to present a study of this theory, starting with the first algorithms developed and closing with the algorithms used in nowadays softwares, such as Maple. Most of these algorithms were implemented by the author in Maple, although in a simple way and with no worries about efficiency.

Neste trabalho são investigadas soluções eficientes para o problema de determinar se uma nuvem de pontos está contida (ou, alternativamente, invade) a digitalização tridimensional da superfície de um sólido não necessariamente convexo. Estratégias baseadas no Teorema da Curva de Jordan, generalizadas para o caso tridimensional, bem como estratégias baseadas no estudo de volumes com sinal de tetraedros, foram testadas e comparadas segundo sua eficácia e eficiência computacional. Os experimentos computacionais foram feitos com digitalizações de pedras brutas disponibilizadas pelo Centro Tecnológico de Pedras de Soledade, RS. Este trabalho estabelece importante contribuição para a solução de relevante e mais complexo problema em Geometria Computacional: determinar se há inclusão (ou, alternativamente, invasão) espacial entre dois sólidos com superfícies digitalizadas, e que consequentemente tem variadas aplicações. / This work investigates e cient solutions to the problem of determining whether or not a cloud of points is contained (or alternatively, invades) the spatial digitization of the surface of a not-necessarily convex solid. Strategies based on the well-known Jordan Curve Theorem, once generalized to the 3D case, as well as those based on the analysis of signed volumes of tetrahedra, were tested and compared according to their robustness and e ciency. The numerical experiments used digitization of raw stones made available by the the Technological Center of Stones, Gems and Jewelry of the city of Soledade, in this state. The present work makes an important contribution to the solution to a relevant further complex problem in Computational Geometry: to determine whether or not there is spatial inclusion (or, alternatively, invasion) between two solids with digitized surfaces, which have several further applications.

Um dos problemas para a realização de produções descentralizadas está nos equipamentos necessários para as plantas. Grandes sistemas necessitam um investimento muito alto além de pessoal especializado para operá-los. Com a finalidade de facilitar o uso de sistemas de pequeno porte, os algoritmos devem ser modificados para possibilitar a operação dos mesmos com poder de processamento limitado. Outro fator é a transmissão de dados, como ha possibilidade de sistemas em locais afastados, a compressão dos dados se torna muito importante. O objetivo deste trabalho é o de desenvolver um sistema integrado de compressão e auditoria para a utilização em uma placa processadora de baixo custo. O algoritmo tem base no Swinging Door Trending, o qual gera os parâmetros para a auditoria. Para teste de desempenho foi utilizado um Computador PC e o algoritmo em uma placa Raspberry Pi. A avaliação foi feita com dados históricos de planta e simulados, contando com compactação, auditoria, estabilidade do algoritmo e outliers. Os dados históricos compreendem diversos tipos de sensores com diversas dinâmicas. / One of the problems to the realization of decentralized productions lies on the required plant equipment. Large systems need a very high investment beyond having specialized personnel to operate them. With the aim of facilitating usage on small scale systems, the algorithms must be modified to enable the operations of them on limited processing power. Another important issue is data transfer, since there is the possibility of systems on remote locations, data compression becomes very important. The objective of this work is the development of a joint compression and audition to usage on a low cost processor board. The algorithm is based on the Swinging Door Trending, which generates the parameters to the audition. To the performance test a PC Computer was used and the algorithm was implemented in a Raspberry Pi board. The evaluation was made with historical and simulated plant data, comprising compression, auditing, and outliers. The historical data comprises diverse sensor types and multiple dynamics.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2014. / Submitted by Larissa Stefane Vieira Rodrigues (larissarodrigues@bce.unb.br) on 2014-12-11T17:14:00Z No. of bitstreams: 1 2014_HomeroDeOliveiraMartins.pdf: 543126 bytes, checksum: 1f049b4a95888db179d9ae47dd753632 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2014-12-11T18:04:53Z (GMT) No. of bitstreams: 1 2014_HomeroDeOliveiraMartins.pdf: 543126 bytes, checksum: 1f049b4a95888db179d9ae47dd753632 (MD5) / Made available in DSpace on 2014-12-11T18:04:53Z (GMT). No. of bitstreams: 1 2014_HomeroDeOliveiraMartins.pdf: 543126 bytes, checksum: 1f049b4a95888db179d9ae47dd753632 (MD5) / Esta dissertação apresenta a implementação de uma versão otimizada de uma variante McEliece. O criptossistema de McEliece é um exemplo de criptografia baseada em códigos que representa uma alternativa aos criptossistemas atuais mais populares e comerciais, pois até o presente momento ele é imune à computação quântica. Possui algoritmos rápidos e simples, porém uma desvantagem sua é o tamanho das chaves com as quais trabalha. Ao substituir os códigos Goppa da proposta McEliece original por códigos LDPC e MDPC é possível conseguir chaves muito menores. Ao aplicar técnicas de programação tais como a paralelização de operações e ao mesmo tempo utilizar decodificadores eficientes de códigos LDPC é possível alcançar bons resultados e um desempenho otimizado do criptossistema baseado em códigos provando que ele deve de fato ser levado em consideração como um forte candidato substituto para o RSA e o DSA enquanto os computadores quânticos surgem para facilmente computar logaritmos discretos e fatorar grandes números inteiros. __________________________________________________________________________________ ABSTRACT / This paper presents the implementation of an optimized version of a McEliece variant. The McEliece cryptosystem is an example of code-based cryptography which is an alternative to the most popular and commercial cryptosystems nowadays as it is believed to be immune to quantum computing. It has simple and fast algorithms, but its drawback is the size of the keys it has to deal with. By substituting the Goppa codes of the McEliece original proposal by LDPC and MDPC codes it’s possible to achieve much smaller keys. And by applying programming technics such as parallelization of operations and also utilizing efficient decoders of LDPC codes it’s possible to achieve really good results and optimal performances of the code-based cryptosystem showing that it really has to be considered as a strong substitute to RSA and DSA as quantum computers emerge to easily compute discrete logarithms and factor large integers.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Estatística, 2012. / Submitted by Tania Milca Carvalho Malheiros (tania@bce.unb.br) on 2012-10-16T15:34:17Z No. of bitstreams: 1 2012_AlexPenaTostadaSilva_Parcial.pdf: 8206408 bytes, checksum: 41e1f3a8ed81fa29af9e201ca8cf4d3c (MD5) / Rejected by Leandro Silva Borges(leandroborges@bce.unb.br), reason: rejeitado on 2012-10-17T20:49:35Z (GMT) / Submitted by Tania Milca Carvalho Malheiros (tania@bce.unb.br) on 2012-10-22T12:31:31Z No. of bitstreams: 1 2012_AlexPenaTostadaSilva_Parcial.pdf: 8206408 bytes, checksum: 41e1f3a8ed81fa29af9e201ca8cf4d3c (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2012-10-30T09:44:05Z (GMT) No. of bitstreams: 1 2012_AlexPenaTostadaSilva_Parcial.pdf: 8206408 bytes, checksum: 41e1f3a8ed81fa29af9e201ca8cf4d3c (MD5) / Made available in DSpace on 2012-10-30T09:44:05Z (GMT). No. of bitstreams: 1 2012_AlexPenaTostadaSilva_Parcial.pdf: 8206408 bytes, checksum: 41e1f3a8ed81fa29af9e201ca8cf4d3c (MD5) / Este trabalho analisa uma série de algoritmos destinados a agrupar variáveis em uma estrutura de dadossuperdimensionada, longitudinal e com amostras pequenas (do inglês, High Dimensional Longitudinal Low Sample Size - HDLLSS). Esses algoritmos utilizam como medida de similaridade o p-valor resultante de um teste de ausência de efeito simples de grupo em um delineamento fatorial com medidas repetidas no tempo. Os testes não-paramétricos presentes em cada algoritmo serão estudados extensivamente por meio de simulações do erro do tipo I e curvas de poder do teste. Pesquisa bibliográfica dos métodos de agrupamento de dados HDLLSS mostra que a estimação da matriz de covariância é um grande problema em vários algoritmos. Neste trabalho, todas as simulações consideraram três formas distintas de estimação dessa matriz: [símbolo matemático de soma, sigma]i, [símbolo matemático de soma, sigma] e [símbolo matemático de soma, sigma]G. Enquanto [símbolo matemático de soma, sigma]i utiliza as informações da i-ésima variável para estimar as matrizes, [símbolo matemático de soma, sigma] utiliza todas as variáveis para a estimação de uma única matriz de covariâncias. O terceiro método considerado, [símbolo matemático de soma, sigma]G, estima uma matriz de covariâncias para cada grupo. Esse método apresentou melhores resultados por conseguir detectar a variabilidade entre os grupos com informação suficiente para uma boa qualidade de estimação. Aplicações em dados de microarranjo e em sinais de eletroencefalograma (EEG) apresentam resultados promissores. Os estudos de simulação sugerem que os algoritmos de agrupamento propostos superam os métodos existentes na literatura destinados a detectar grupos em dados HDLLSS. Além disso, esses algoritmos possuem propriedades desejáveis como invariância a transformações monótonas nos dados e detecção automática do número de grupos amostrais. ______________________________________________________________________________ ABSTRACT / This dissertation analyses a set of algorithms to cluster variables in high dimensional longitudinal low sample size (HDLLSS) data.These algorithms are based on the use of a pvalue from a non parametric test of no simple effect of group as a similarity measure for the clustering procedure. The non parametric-tests in each algorithm were studied extensively by means of simulations of type I error and power curves. Investigation of recente literatura in HDLLSS clustering algorithms shows that the covariance matrix estimation is a major problem. In this work, all simulations used three different ways of covariance matrix estimation: Σi,ΣandΣG. While Σi uses information from the ith variable to estimate covariance matrices, Σ uses all variables for estimating a single covariance matrix for the data.The third method considered, ΣG,estimates one covariance matrix for each group. This estimation methods hows better results because it can detect the variability between the groups with sufficient information for ago odquality estimation of time covariance structure. Applications on micro array data and electroencephalogram(EEG) signals show promising results.The simulation studies reveal that the proposed clustering algorithms out performs existing methods in the literature applied for detecting groups of HDLLSS data exhibiting high clustering accuracy and stability. Furthermore, these algorithms have desirable properties as invariance under monotone transformations and automatic detection of the number of sample groups.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2012. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2013-06-12T12:40:19Z No. of bitstreams: 1 2012_ThiagoFerreiraPortela.pdf: 1500626 bytes, checksum: 10f510c28cb5e25ff7f23f598a18d0a0 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-06-17T11:27:59Z (GMT) No. of bitstreams: 1 2012_ThiagoFerreiraPortela.pdf: 1500626 bytes, checksum: 10f510c28cb5e25ff7f23f598a18d0a0 (MD5) / Made available in DSpace on 2013-06-17T11:27:59Z (GMT). No. of bitstreams: 1 2012_ThiagoFerreiraPortela.pdf: 1500626 bytes, checksum: 10f510c28cb5e25ff7f23f598a18d0a0 (MD5) / Este trabalho propõe um novo método de estimação de erros de temporização para sistemas ópticos com multiplexação em polarização, detecção coerente e modulação de fase por chaveamento em quadratura (dual-polarization quadrature phase-shift keying - DP-QPSK). Em tais sistemas, a recuperação de relógio e a equalização são operações cruciais do processo de recuperação da informação transmitida e possuem uma relação de interdependência: a equalização depende da correta amostragem do sinal, enquanto a recuperação de relógio requer a pré-compensação das distorçõe lineares para obter desempenho satisfatório. O algoritmo proposto resolve esse problema por meio da cooperação entre equalização e recuperação de relógio, utilizando os coeficientes de um equalizador adaptativo para estimar o erro de temporização do sinal recebido. O desempenho do algoritmo proposto foi validado e comparado ao desempenho do algoritmo de Gardner utilizando dados experimentais gerados por um sistema óptico DP-QPSK, operando à taxa de 112 Gb/s. Os dados experimentais foram cedidos pela Ericsson-Alemanha e processados de modo on-line, utilizando o software de simulação Matlab. O algoritmo proposto conseguiu sincronizar o relógio em todos os casos ava- liados, inclusive nas situações em que o algoritmo de Gardner se mostrou incapaz. No entanto, apresentou uma leve penalidade em comparação ao mesmo sinal sem erro de temporização. Ademais, constatou-se que o per´ıodo de convergência da sincronização realizada pelo algoritmo está diretamente relacionado ao comprimento do equalizador. O algoritmo proposto se mostrou uma alternativa interessante para sistemas ópticos DP-QPSK. ______________________________________________________________________________ ABSTRACT / This work proposes a novel method of timing error estimation in polarization multi- plexed quadrature phase-shift keying (DP-QPSK) optical systems that employ coherent detection. In these systems, clock recovery and equalization are two crucial operations of the information recovery process that are interdependent: equalization depends on the correct signal sampling, whereas clock recovery requires a previous linear distorti- ons’ compensation for a satisfactory performance. The proposed algorithm solves this problem by collaboration between equalization and clock recovery processes, using the equalizer coefficients to estimate the received signal timing error. The performance of the proposed algorithm was validated and compared to the per- formance of the Gardner algorithm using experimental data, generated by DP-QPSK optical systems, transmitting at 112 Gb/s. These data were provided by Ericsson- Germany and processed offline, using Matlab simulation software. The proposed al- gorithm managed to synchronize the clock in all evaluated cases, including the cases where the Gardner algorithm failed. However, it presented a slight penalty comparing to the same signal without the timing error. Also, it was found that the synchroniza- tion convergence time is directly related to the equalizer length. Thus, the proposed algorithm is an interesting alternative for DP-QPSK optical systems.