Orientador: Clésio Luis Tozzi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T06:32:57Z (GMT). No. of bitstreams: 1 Freitas_GreiceMartinsde_M.pdf: 16453422 bytes, checksum: fa0ae64561fd346237c57310fb0d0073 (MD5) Previous issue date: 2010 / Resumo: A crescente utilização de câmeras de vídeo para o monitoramento de ambientes, auxiliando no controle de entrada, saída e trânsito de indivíduos ou veículos tem aumentado a busca por sistemas visando a automatização do processo de monitoramento por vídeos. Como requisitos para estes sistemas identificam-se o tratamento da entrada e saída de objetos na cena, variações na forma e movimentação dos alvos seguidos, interações entre os alvos como encontros e separações, variações na iluminação da cena e o tratamento de ruídos presentes no vídeo. O presente trabalho analisa e avalia as principais etapas de um sistema de rastreamento de múltiplos objetos através de uma câmera de vídeo fixa e propõe um sistema de rastreamento baseado em sistemas encontrados na literatura. O sistema proposto é composto de três fases: identificação do foreground através de técnicas de subtração de fundo; associação de objetos quadro a quadro através de métricas de cor, área e posição do centróide - com o auxílio da aplicação do filtro de Kalman - e, finalmente, classificação dos objetos a cada quadro segundo um sistema de gerenciamento de objetos. Com o objetivo de verificar a eficiência do sistema de rastreamento proposto, testes foram realizados utilizando vídeos das bases de dados PETS e CAVIAR. A etapa de subtração de fundo foi avaliada através da comparação do modelo Eigenbackground, utilizado no presente sistema, com o modelo Mistura de Gaussianas, modelo de subtração de fundo mais utilizado em sistemas de rastreamento. O sistema de gerenciamento de objeto foi avaliado por meio da classificação e contagem manual dos objetos a cada quadro do vídeo. Estes resultados foram comparados à saída do sistema de gerenciamento de objetos. Os resultados obtidos mostraram que o sistema de rastreamento proposto foi capaz de reconhecer e rastrear objetos em movimento em sequências de vídeos, lidando com oclusões e separações, mostrando adequabilidade para aplicação em sistemas de segurança em tempo real / Abstract: There are immediate needs for the use of video cameras in environment monitoring, which can be verified by the task of assisting the entrance, exit and transit registering of people or vehicles in a area. In this context, automated surveillance systems based on video images are increasingly gaining interest. As requisites for these systems, it can be identified the treatment of entrances and exits of objects on a scene, shape variation and movement of followed targets, interactions between targets (such as meetings and splits), lighting variations and video noises. This work analyses and evaluates the main steps of a multiple target tracking system through a fixed video camera and proposes a tracking system based on approaches found in the literature. The proposed system is composed of three steps: foreground identification through background subtraction techniques; object association through color, area and centroid position matching, by using the Kalman filter to estimate the object's position in the next frame, and, lastly, object classification according an object management system. In order to assess the efficiency of the proposed tracking system, tests were performed by using videos from PETS and CAVIAR datasets. The background subtraction step was evaluated by means of a comparison between the Eigenbackground model, used in the proposed tracking system, and the Mixture of Gaussians model, one of the most used background subtraction models. The object management system was evaluated through manual classification and counting of objects on each video frame. These results were compared with the output of the object management system. The obtained results showed that the proposed tracking system was able to recognize and track objects in movement on videos, as well as dealing with occlusions and separations, and, at the same time, encouraging future studies in order for its application on real time security systems / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientadores: Fernando Eduardo Torres Orihuela, Herivelto Martins Borges Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T05:54:38Z (GMT). No. of bitstreams: 1 Ribeiro_BeatrizCasularidaMotta_D.pdf: 51476410 bytes, checksum: 46cb0c7a6206a5f0683b23a73ff3938e (MD5) Previous issue date: 2011 / Resumo: Obtemos novos arcos completos associados ao conjunto de pontos racionais de uma certa generalização da curva Hermitiana que é Frobenius não-clássica. A construção está relacionada ao cálculo do número de pontos racionais de uma classe de curvas de Artin-Schreier / Abstract: We obtain new complete arcs arising from the set of rational points of a certain generalization of the Hermitian plane curve which is Frobenius non-classical. Our construction is related to the computation of the number of rational points of a class of Artin-Schreier curves / Doutorado / Matematica / Doutor em Matemática

[pt] O Problema das Sub-somas Consecutivas Máximas (MCSP) surge em cenários de interesse teórico e prático, por exemplo, no casamento aproximado de padrões, identificação de proteínas e análise de dados estatísticos apenas para nomear alguns. Dada uma sequência de n números reais não negativos, O MCSP consiste em calcular as somas consecutivas máximas de tamanho 1 até n. Como existem implementações triviais que permitem encontrar o máximo para um comprimento fixo, existe um procedimento quadrático simples que permite resolver o MCSP. Apesar dos esforços dedicados ao problema, não é conhecido nenhum algoritmo significativamente melhor que a solução simples. Portanto, uma pergunta natural é se existe um limite inferior superlinear para o MCSP. Neste trabalho reportamos nossas pesquisas no sentido de provar tal limite. / [en] The Maximum Consecutive Subsums Problem (MCSP) arises in scenarios of both theoretical and practical interest, for example, approximate pattern matching, protein identification and analysis of statistical data to cite a few. Given a sequence of n non-negative real numbers, The MCSP asks for the computation of the maximum consecutive sums of lengths 1 through n. Since trivial implementations allow to compute the maximum for a fixed length value, it follows that there exists a naive quadratic procedure to solve the MCSP. Notwithstanding the effort devoted to the problem, no algorithm is known which is significantly better than the naive solution. Therefore, a natural question is whether there exists a superlinear lower bound for the MCSP. In this work we report our research in the direction of proving such a ower bound.

No presente trabalho, estudamos alguns aspectos da teoria de estruturas complexas em espaços de Banach. Demonstramos que se um espaço de Banach real $X$ tem a propriedade $P$, então todas as estruturas complexas em $X$ também satisfazem $P$, quando $P$ é qualquer uma das seguintes propriedades: propriedade de aproximação limitada, \\emph{G.L-l.u.st}, ser injetivo e ser complementado num espaço dual. Abordamos o problema da unicidade de estruturas complexas em espaços de Banach com base subsimétrica, provando que um espaço de Banach real $E$ com base subsimétrica e isomorfo ao espaço de sequências $E[E]$ admite estrutura complexa única. Por outro lado, apresentamos um exemplo de espaço de Banach com exatamente $\\omega$ estruturas complexas distintas. Também usamos a teoria de estruturas complexas para estudar o clássico problema dos hiperplanos no espaço $Z_2$ de Kalton-Peck. Com o propósito de distinguir $Z_2$ de seus hiperplanos nos perguntamos se os hiperplanos admitem estrutura complexa. Nesse sentido, provamos que os hiperplanos de $Z_2$ contendo a cópia canônica de $\\ell_2$ não admitem estruturas complexas que sejam extensões de estruturas complexas em $\\ell_2$. Também construímos uma estrutura complexa em $\\ell_2$ que não pode-se estender a nenhum operador em $Z_2$. / In this work, we study some aspects of the theory of complex structures in Banach spaces. We show that if a real Banach space $X$ has the property $P$, then all its complex structures also satisfy $P$, where $P$ is any of the following properties: bounded approximation property, \\emph{G.L-l.u.st}, being injective and being complemented in a dual space. We address the problem of uniqueness of complex structures in Banach spaces with subsymmetric basis by proving that a real Banach space $E$ with subsymmetric basis and isomorphic to the space of sequences $E [E]$ admits a unique complex structure. On the other hand, we show an example of Banach space with exactly $\\omega$ different complex structures. We also use the theory of complex structures to study the classical problem of hyperplanes in the Kalton-Peck space $Z_2$. In order to distinguish between $Z_2$ and its hyperplanes we wonder whether the hyperplanes admit complex structures. In this sense we prove that no complex structure on $\\ell_2$ can be extended to a complex structure on the hyperplanes of $Z_2$ containing the canonical copy $l_2$. We also constructed a complex structure on $l_2$ that can not be extended to any operator in $Z_2$.

No presente trabalho, estudamos alguns aspectos da teoria de estruturas complexas em espaços de Banach. Demonstramos que se um espaço de Banach real $X$ tem a propriedade $P$, então todas as estruturas complexas em $X$ também satisfazem $P$, quando $P$ é qualquer uma das seguintes propriedades: propriedade de aproximação limitada, \\emph{G.L-l.u.st}, ser injetivo e ser complementado num espaço dual. Abordamos o problema da unicidade de estruturas complexas em espaços de Banach com base subsimétrica, provando que um espaço de Banach real $E$ com base subsimétrica e isomorfo ao espaço de sequências $E[E]$ admite estrutura complexa única. Por outro lado, apresentamos um exemplo de espaço de Banach com exatamente $\\omega$ estruturas complexas distintas. Também usamos a teoria de estruturas complexas para estudar o clássico problema dos hiperplanos no espaço $Z_2$ de Kalton-Peck. Com o propósito de distinguir $Z_2$ de seus hiperplanos nos perguntamos se os hiperplanos admitem estrutura complexa. Nesse sentido, provamos que os hiperplanos de $Z_2$ contendo a cópia canônica de $\\ell_2$ não admitem estruturas complexas que sejam extensões de estruturas complexas em $\\ell_2$. Também construímos uma estrutura complexa em $\\ell_2$ que não pode-se estender a nenhum operador em $Z_2$. / In this work, we study some aspects of the theory of complex structures in Banach spaces. We show that if a real Banach space $X$ has the property $P$, then all its complex structures also satisfy $P$, where $P$ is any of the following properties: bounded approximation property, \\emph{G.L-l.u.st}, being injective and being complemented in a dual space. We address the problem of uniqueness of complex structures in Banach spaces with subsymmetric basis by proving that a real Banach space $E$ with subsymmetric basis and isomorphic to the space of sequences $E [E]$ admits a unique complex structure. On the other hand, we show an example of Banach space with exactly $\\omega$ different complex structures. We also use the theory of complex structures to study the classical problem of hyperplanes in the Kalton-Peck space $Z_2$. In order to distinguish between $Z_2$ and its hyperplanes we wonder whether the hyperplanes admit complex structures. In this sense we prove that no complex structure on $\\ell_2$ can be extended to a complex structure on the hyperplanes of $Z_2$ containing the canonical copy $l_2$. We also constructed a complex structure on $l_2$ that can not be extended to any operator in $Z_2$.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-01-26T21:29:52Z No. of bitstreams: 1 WeniaValdevinoFelix_DISSERT.pdf: 1143907 bytes, checksum: 4ce4f7b611784dde68d2cc2278b2cf68 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-02T19:29:21Z (GMT) No. of bitstreams: 1 WeniaValdevinoFelix_DISSERT.pdf: 1143907 bytes, checksum: 4ce4f7b611784dde68d2cc2278b2cf68 (MD5) / Made available in DSpace on 2016-02-02T19:29:21Z (GMT). No. of bitstreams: 1 WeniaValdevinoFelix_DISSERT.pdf: 1143907 bytes, checksum: 4ce4f7b611784dde68d2cc2278b2cf68 (MD5) Previous issue date: 2015-02-20 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Neste trabalho estudamos o comportamento assint?tico das probabilidades da cauda das somas aleat?rias ponderadas de vari?veis aleat?rias com certa estrutura de depend?ncia e de varia??o dominada, baseados no artigo de Hai-zhong Yang, com t?tulo ?Asymptotic Tail Probability of Randomly Weighted Sums of Dependent Random Variables with Dominated Variation?. Para tanto, apresentamos resultados essenciais sobre a classe de distribui??es de cauda pesada que cont?m as seguintes subclasses: de cauda subexponencial, longa, varia??o regular,varia??o regular estendida e varia??o dominada, dentre outras. Nosso objetivo ? proporcionar todo um embasamento te?rico para esclarecer ao m?ximo a demonstra??o do Teorema de Yang. Para isto, apresentamos a demonstra??o de tr?s lemas principais e de alguns resultados que s?o utilizados na demonstra??o desses lemas.

Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Nesta dissertação é apresentado um estudo sobre a recuperação de sinais modelados por somas ponderadas de exponenciais complexas. Para tal, são introduzidos conceitos elementares em teoria de sinais e sistemas, em particular, os sistemas lineares invariantes no tempo, SLITs, que podem ser representados matematicamente por equações diferenciais, ou equações de diferenças, para sinais analógicos ou digitais, respectivamente. Equações deste tipo apresentam como solução somas ponderadas de exponenciais complexas, e assim fica estabelecida a relação entre os sistemas de tipo SLIT e o modelo em estudo. Além disso, são apresentadas duas combinações de métodos utilizadas na recuperação dos parâmetros dos sinais: métodos de Prony e mínimos quadrados, e métodos de Kung e mínimos quadrados, onde os métodos de Prony e Kung recuperam os expoentes das exponenciais e o método dos mínimos quadrados recupera os coeficientes lineares do modelo. Finalmente, são realizadas cinco simulações de recuperação de sinais, sendo a última, uma aplicação na área de modelos de qualidade de água. / A study on the recovery of signals modeled by weighted sums of complex exponentials complex is presented. For this, basic concepts of signals and systems theory are introduced. In particular, the linear time invariant systems (LTI Systems) are considered, which can be mathematically represented by differential equations or difference equations, respectively, for analog or digital signals. The solution of these types of equations is given by a weighted sum of complex exponentials, so the relationship between the LTI Systems and the model of study is established. Furthermore, two combinations of methods are used to recover the parameters of the signals: Prony and least squares methods, and Kung and least squares methods, where Prony and Kung methods are used to recover the exponents of the exponentials and the least square method is used to recover the linear coefficients of the model. Finally, five simulations are performed for the recovery of signals, the last one being an application in the area of water quality models.

Fundação Carlos Chagas Filho de Amparo a Pesquisa do Estado do Rio de Janeiro / Nesta dissertação é apresentado um estudo sobre a recuperação de sinais modelados por somas ponderadas de exponenciais complexas. Para tal, são introduzidos conceitos elementares em teoria de sinais e sistemas, em particular, os sistemas lineares invariantes no tempo, SLITs, que podem ser representados matematicamente por equações diferenciais, ou equações de diferenças, para sinais analógicos ou digitais, respectivamente. Equações deste tipo apresentam como solução somas ponderadas de exponenciais complexas, e assim fica estabelecida a relação entre os sistemas de tipo SLIT e o modelo em estudo. Além disso, são apresentadas duas combinações de métodos utilizadas na recuperação dos parâmetros dos sinais: métodos de Prony e mínimos quadrados, e métodos de Kung e mínimos quadrados, onde os métodos de Prony e Kung recuperam os expoentes das exponenciais e o método dos mínimos quadrados recupera os coeficientes lineares do modelo. Finalmente, são realizadas cinco simulações de recuperação de sinais, sendo a última, uma aplicação na área de modelos de qualidade de água. / A study on the recovery of signals modeled by weighted sums of complex exponentials complex is presented. For this, basic concepts of signals and systems theory are introduced. In particular, the linear time invariant systems (LTI Systems) are considered, which can be mathematically represented by differential equations or difference equations, respectively, for analog or digital signals. The solution of these types of equations is given by a weighted sum of complex exponentials, so the relationship between the LTI Systems and the model of study is established. Furthermore, two combinations of methods are used to recover the parameters of the signals: Prony and least squares methods, and Kung and least squares methods, where Prony and Kung methods are used to recover the exponents of the exponentials and the least square method is used to recover the linear coefficients of the model. Finally, five simulations are performed for the recovery of signals, the last one being an application in the area of water quality models.