• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 82
  • 1
  • Tagged with
  • 83
  • 83
  • 66
  • 55
  • 55
  • 55
  • 50
  • 38
  • 38
  • 38
  • 20
  • 14
  • 12
  • 11
  • 10
  • 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.
41

Um sistema de monitoramento para caracterização de algoritmos distribuídos / A monitor system to characterization of distributed algorithms

Fachini, Elizeu Elieber 24 February 2016 (has links)
Submitted by Milena Rubi (milenarubi@ufscar.br) on 2016-10-25T21:55:38Z No. of bitstreams: 1 FACHINI_Elizeu_2016.pdf: 7355773 bytes, checksum: 57880fc3ade64c5d25c3ec2901d87e9b (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2016-10-25T21:55:54Z (GMT) No. of bitstreams: 1 FACHINI_Elizeu_2016.pdf: 7355773 bytes, checksum: 57880fc3ade64c5d25c3ec2901d87e9b (MD5) / Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2016-10-25T21:56:04Z (GMT) No. of bitstreams: 1 FACHINI_Elizeu_2016.pdf: 7355773 bytes, checksum: 57880fc3ade64c5d25c3ec2901d87e9b (MD5) / Made available in DSpace on 2016-10-25T21:56:15Z (GMT). No. of bitstreams: 1 FACHINI_Elizeu_2016.pdf: 7355773 bytes, checksum: 57880fc3ade64c5d25c3ec2901d87e9b (MD5) Previous issue date: 2016-02-24 / Não recebi financiamento / Monitoring is the act of collecting information concerning the characteristics and status of resources of interest. It can be used to the management and allocation of resources, detection and correction of failures and also to the evaluation of performance parameters. To automatically accomplish the monitoring a tool is needed that has functionalities related the acquiring, processing, distributing and presenting of monitoring events. In this work we are interested in a monitoring system to give support to the experimental execution of distributed algorithms, with the objective of correlating the device status with the execution data and, this way, make possible an analysis of cluster resources used by the application. Then, it’s needed a tool with particular characteristics, such as the ability to collect data with a small time period, with low intrusiveness and making the full data available. As was not possible find in the literature a tool with the features required, we developed a new monitoring tool named MSPlus. The features of this tool were evaluated through experiments with the isolated tool and comparing it with other tool. Additionally, we apply the tool in a distribucted system to monitor a distribucted algorithm. / O monitoramento é o ato de coletar informações referentes às características e estado dos recursos de interesse. Ele pode ser utilizado para gerência e alocação de recursos, detec- ção e correção de falhas e também para avaliação de parâmetros de desempenho. Para realizar o monitoramento de modo automático é necessário a utilização de ferramentas, que tem funcionalidades referentes a captação, processamento, distribuição e apresentação dos eventos de monitoramento. Neste trabalho temos interesse em um sistema de monitoramento para dar suporte à execução experimental de algoritmos distribuídos, com o objetivo de relacionar o estado dos dispositivos com os dados da execução e, desta forma, permitir uma análise do uso de recursos do aglomerado pela aplicação. É necessário então uma ferramenta com características particulares como fazer a coleta de informações com pequeno intervalo de tempo, com baixa intrusividade e realizar o armazenamento total dos dados. Como não foi possível encontrar na literatura uma ferramenta com as características desejadas, desenvolvemos uma nova ferramenta de monitoramento chamada MSPlus. As características dessa nova ferramenta foram analisadas através de experimentos de forma isolada e em comparação a outra ferramenta. Adicionalmente, aplicamos a ferramenta em um sistema distribuído monitorando um algoritmo distribuído.
42

Domínios de estabilidade assintótica: sua determinação utilizando o segundo Método de Liapunov

Fonseca, Luiz Gonzaga de Souza 01 1900 (has links)
Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-15T14:52:17Z No. of bitstreams: 1 123974.pdf: 2974340 bytes, checksum: 9694a0b116954f6f645a6f3e6327d083 (MD5) / Made available in DSpace on 2018-03-15T14:52:18Z (GMT). No. of bitstreams: 1 123974.pdf: 2974340 bytes, checksum: 9694a0b116954f6f645a6f3e6327d083 (MD5) Previous issue date: 1971-01 / BNDES / CAPES / CNPq / Apresentamos métodos de determinação de domínios de estabilidade assintótica da solução trivial de sistemas de equações diferenciais ordinárias de primeira ordem, em geral não lineares, utilizando o segundo método – ou método direto de Liapunov. Nos primeiros capítulos são dados um pequeno histórico, um sentido físico para o tratamento matemático e a utilização das formas quadráticas como função de Liapunov. No capítulo 4 é feita uma aplicação da teoria dos sistemas lineares associados aos sistemas autônomos para a determinação de domínios elipsoidais e esféricos de estabilidade assintótica. É fornecido ainda um procedimento lógico para o critério dado. Nos capítulos seguintes são dados os métodos de Schultz-Gibson e o de Zubov. O primeiro usa o gradiente da função de Liapunov e, através de uma integral de linha, encontra-se a função de Liapunov. O segundo utiliza uma equação diferencial parcial que, se tem solução em forma fechada, permite a determinação do domínio exato de estabilidade assintótica. Ambos, bem como o método do cap.4, permitem, quando for o caso, conclusões sobre estabilidade assintótica global. Todas as noções julgadas essenciais são introduzidas no sentido de se conseguir um trabalho auto contido tanto quanto possível. / Presents some methods to determine the domains of asyntotical stability of the trivial solution of first-order, non-linear, differential equations when Liapnov's second (direct) method is used. The first three chapters are introductory and present an historical review, the use of quadratic forms as Liapunov's functions, and a physical interpretation of the mathematical treatment. Chapter 4 presents an application of Linear System Theory to autonomous systems, and the determination of the ellipticals and sphericals domains of stability. A logical procedure of the criterium is also presented. The following chapters introduce the Schultz Gibson's and Zubov's methods. The first uses a line integral of the gradient of Liapunov's function. The second uses a partial differential equation that, as long as it has a closed-form solution, allows the determination os the exact domain of asyntotic stability. All the concepts considered essentials are introduced · in order to obtain a self- contained work as such as possible.
43

Aplicação da técnica SIFT na identificação de olhos humanos / SIFT technique applied on human eyes identification

Bernardo Fernandes Cruz 29 August 2008 (has links)
Foi desenvolvido nesta pesquisa um estudo sobre a utilização de imagens de olhos humanos em um sistema biométricos de identificação. Este trabalho apresenta os resultados obtidos na comparação de olhos humanos utilizando a técnica Scale Invariant Feature Transform (SIFT). A técnica SIFT é uma ferramenta capaz de identificar objetos, tendo como principais características: a invariância as transformações de rotação, translação, escala e oclusão do objeto dentro da imagem. Uma pesquisa sobre os principais sistemas biométricos de identificação existentes foi realizada. Para as comparações entre as imagens utilizou-se um banco de imagens de olhos humanos denominado, UBIRIS, obtendo resultados muito interessantes. / This research developed a study about the use of images of human eyes in a biometric identification system. This work presents the results of the comparison of human eyes using the technique Scale Invariant Feature Transform (SIFT). The SIFT technique is a tool capable of identify objects, with the main features: the alteration of rotation invariance, translation, scale and occlusion of the object within the picture. A search on the main systems of biometric identification was made. For the comparisons between the images we used a bank of images of human eyes called UBIRIS, getting very interesting results.
44

Exame do raciocínio científico (ERC): revisão bibliográfica, aplicação no sudoeste goiano e proposta de novo método de análise dos resultados / Exame do raciocínio científico (ERC): bibliographic review, application in the southwest of Goiás and proposal of a new method of analysis of the results

Silva, Ana Clara Araújo Gomes da 17 August 2017 (has links)
Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2017-08-22T16:51:39Z No. of bitstreams: 2 Dissertação - Ana Clara Araújo Gomes da Silva - 2017.pdf: 4600211 bytes, checksum: 1db7798a4333fe327ab9c0b9b4889c48 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Cláudia Bueno (claudiamoura18@gmail.com) on 2017-09-04T19:53:16Z (GMT) No. of bitstreams: 2 Dissertação - Ana Clara Araújo Gomes da Silva - 2017.pdf: 4600211 bytes, checksum: 1db7798a4333fe327ab9c0b9b4889c48 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-09-04T19:53:17Z (GMT). No. of bitstreams: 2 Dissertação - Ana Clara Araújo Gomes da Silva - 2017.pdf: 4600211 bytes, checksum: 1db7798a4333fe327ab9c0b9b4889c48 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-08-17 / The deficiency in some reasoning patterns of students has been measured and revealed by several studies. This deficiency is often reflected in low rates of academic performance, high dropout rates, and negatively influencing students’ interest in computer courses. In recent work, Pessoni [96] has shown that among more than thirty cognitive development assessment methods studied, Lawson’s Classroom Test of Scientific Reasoning (LCTSR) would be a candidate for application in university students according to the criteria defined. The LCTSR was translated and applied in a series of student groups of the undergraduate courses of the Institute of Informatics of the Federal University of Goiás. Starting from the results obtained by Pessoni, the objectives of this research work are: 1. Systematic Review of Literature - RSL; 2. Application of the Scientific Reasoning Examination - ERC in students of Computing in Southwest Goiania; 3. Phylogenetic systematics to evaluate ERC. Analyze the patterns of reasoning of interest groups, then develope and conduct efficient and effective activities that promote the cognitive development of individuals is one of the objectives of the research group. It is believed that this work contributes to a further step in this direction. / A deficiência em alguns padrões de raciocínio dos estudantes tem sido medida e revelada por diversos estudos. Essa deficiência muitas vezes se reflete em baixas taxas de rendimento, altas taxas de evasão e influenciam negativamente no interesse dos discentes pelos cursos da Computação. Em trabalho recente, Pessoni [96] mostrou que, entre mais de trinta métodos de avaliação do desenvolvimento cognitivo estudados, o Lawson’s Classroom Test of Scientific Reasoning (LCTSR) seria um candidato para aplicação em estudantes universitários segundo os critérios definidos. O LCTSR foi traduzido e aplicado em uma série de grupos de estudantes dos cursos de graduação do Instituto de Informática da Universidade Federal de Goiás. Partindo dos resultados obtidos por Pessoni, este trabalho de pesquisa teve como objetivos: 1. Revisão Sistemática da Literatura - RSL; 2. aplicação do Exame do Raciocínio Científico - ERC em estudantes de Computação do Sudoeste Goiano; 3. Sistemática Filogenética para avaliar o ERC. Analisar os padrões de raciocínio dos grupos de interesse, para então, elaborar e conduzir atividades eficientes e eficazes que promovam o desenvolvimento cognitivo dos indivíduos é um dos objetivos do grupo de pesquisa. Acredita-se que este trabalho contribui para mais um passo nessa direção.
45

Reconhecimento de pessoas pela marcha usando redução de dimensionalidade de contornos no domínio da frequência / Human gait recognition using dimensionality reduction of contours in the frequency domain

Mendes, Wender Cabral 31 March 2016 (has links)
Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-08-10T19:31:03Z No. of bitstreams: 2 Dissertação - Weder Cabral Mendes - 2016.pdf: 1214460 bytes, checksum: 14588573f8f81fe4836a9945adacf37d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-08-15T13:25:32Z (GMT) No. of bitstreams: 2 Dissertação - Weder Cabral Mendes - 2016.pdf: 1214460 bytes, checksum: 14588573f8f81fe4836a9945adacf37d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-08-15T13:25:32Z (GMT). No. of bitstreams: 2 Dissertação - Weder Cabral Mendes - 2016.pdf: 1214460 bytes, checksum: 14588573f8f81fe4836a9945adacf37d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-03-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Gait recognition via computer vision attracted increasing interest for its noninvasive characteristic and mainly for your advantage of recognizing people at distance. Recognition is performing extracting features included in gait, this features are extracted from images sequence of people walking. The main challenges of gait recognition is to extract characteristics with unique information for each person, in additional, the use of accessories and clothes difficult the feature extraction process. This paper proposes a gait recognition method using information of people’s contours transformed in domain frequence by Discrete Fourier Transform. A lot of data are generated from the contours, thereby, three different techniques for dimensionality reduction CDA (Class Discrimination Ability), PCA (Principal Component Analysis) and PLS (Partial Least Squares) are employed to reduce the dimensionality of data and generate characteristics that are relevant to the recongnition system. Two classifiers, KNN (K-Nearest Neighbor) and LDA (Linear Discriminant Analysis) classify the characteristics that are returned by the dimensionality reduction methods. The accuracy are achieved by the combination of the dimensionality reduction methods and classifiers, the highest accuracy was 92:67%, which was achieved with the combination between the LDA and PCA (LDAPCA). Therefore, the results show that the information contained in the contours of silhouette are discriminant to recognize people by their gait. / O reconhecimento de pessoas através da marcha humana via visão computacional tem ganhado destaque por ser uma técnica biométrica não invasiva e principalmente por sua vantagem de reconhecer pessoas à distância. O reconhecimento é realizando extraindo características contidas na marcha de cada pessoa, essas características são extraídas de sequências de imagens da pessoa caminhando. Os principais desafios dessa técnica biométrica está em extrair as características com informações que consigam diferenciar uma pessoa da outra, além disso, o uso de acessórios e vestimentas dificultam o processo de extração de características. Este trabalho propõe um método de reconhecimento baseado na marcha humana utilizando informações dos contornos das pessoas transformados para o domínio da frequência por meio da Transformada Discreta de Fourier. Como são geradas muitos dados a partir dos contornos, três técnicas diferentes de redução de dimensionalidade CDA (Class Discrimination Ability), PCA (Principal Component Analysis) e PLS (Partial Least Squares) são empregadas para reduzir a quantidade de dados e gerar características que sejam relevantes para o sistema de reconhecimento. Dois classificadores, KNN (K-Nearest Neighbor) e LDA (Linear Discriminant Analysis) classificam as características retornadas pelos métodos de redução de dimensionalidade. As taxas de acurácia são obtidas pelos resultados gerados entre a combinação dos métodos de redução de dimensionalidade e os classificadores, a maior taxa de acurácia foi de 92;67%, a qual foi alcançada com a combinação entre o LDA e PCA (LDAPCA). Dessa forma, conclui-se que as informações contidas no contorno da silhueta no domínio da frequência são discriminantes para reconhecer pessoas através da marcha.
46

Cálculo de parâmetros de malhas de aterramento em geometrias não convencionais / Computation of grounding grids parameters on unconventional geometry

Pires, Thyago Gumeratto 28 March 2016 (has links)
Submitted by Jaqueline Silva (jtas29@gmail.com) on 2016-09-13T17:53:11Z No. of bitstreams: 2 Dissertação - Thyago Gumeratto Pires - 2016.pdf: 3317577 bytes, checksum: c905ac50dff6e34d77078f57380def44 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-09-13T17:53:23Z (GMT) No. of bitstreams: 2 Dissertação - Thyago Gumeratto Pires - 2016.pdf: 3317577 bytes, checksum: c905ac50dff6e34d77078f57380def44 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-09-13T17:53:23Z (GMT). No. of bitstreams: 2 Dissertação - Thyago Gumeratto Pires - 2016.pdf: 3317577 bytes, checksum: c905ac50dff6e34d77078f57380def44 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-03-28 / This work presents the methodology for the calculation of the ground resistance, the ground potential rise, the surface potential, the touch voltage and step voltage in grounding grids with any geometry and buried at any depth within strati ed soil in two layers. The values of potential, touch voltage and step voltage are obtained at any point over the grid. The proposed equation uses the images and the average potential methods. The main feature of this modeling in relation to the other methods is the possibility of calculation of grids containing electrodes positioned at any distance and at any angle. The results obtained with the proposed methodology are presented and discussed. / Este trabalho apresenta metodologia para o c alculo da resist^encia de terra, da eleva c~ao do potencial da malha, do potencial na superf cie do solo, da tens~ao de toque e da tens~ao de passo em malhas de aterramento com qualquer geometria e posicionada a qualquer profundidade em solos estrati cados em duas camadas. Os valores do potencial e das tens~oes de toque e de passo s~ao obtidos em qualquer ponto sobre a malha. O equacionamento proposto utiliza os m etodos das imagens e do potencial m edio. A principal caracter stica desta modelagem em rela c~ao as demais e a possibilidade do c alculo de malhas contendo eletrodos posicionados a qualquer dist^ ancia e em qualquer ^angulo. Os resultados obtidos com a metodologia proposta s~ao apresentados e discutidos.
47

O número envoltório P3 e o número envoltório geodético em produtos de grafos / The P3-hull number and the geodetic hull number in graph products

Nascimento, Julliano Rosa 30 November 2016 (has links)
Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2016-12-09T16:43:52Z No. of bitstreams: 2 Dissertação - Julliano Rosa Nascimento - 2016.pdf: 1812313 bytes, checksum: 9bdaa6ddbbe1dd9ce1e9ccdea8016eaf (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-12-13T19:11:50Z (GMT) No. of bitstreams: 2 Dissertação - Julliano Rosa Nascimento - 2016.pdf: 1812313 bytes, checksum: 9bdaa6ddbbe1dd9ce1e9ccdea8016eaf (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-12-13T19:11:50Z (GMT). No. of bitstreams: 2 Dissertação - Julliano Rosa Nascimento - 2016.pdf: 1812313 bytes, checksum: 9bdaa6ddbbe1dd9ce1e9ccdea8016eaf (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-11-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we consider the parameter hull number in two graph convexities, the P3- convexity and the geodetic convexity. In the P3-convexity, we present results on the P3- hull number on the Cartesian product, strong product and lexicographic product of graphs. In special, regarding to the Cartesian product, we proved a complexity result, in which we show, given a graph G resulting of a Cartesian product of two graphs and a positive integer k, is NP-complete to decide whether the P3-hull number of G is less than or equal k. We also consider the P3-hull number on complementary prisms GG of connected graphs G and G, in which we show a tighter upper bound than that found in the literature. In the geodetic convexity, we show results of the hull number on complementary prisms GG when G is a tree, when G is a disconnected graph and when G is a cograph. Finally, we also show that in the geodetic convexity, the hull number on the complementary prism GG is unlimited on connected graphs G and G, unlike what happens in the P3-convexity / Nesta dissertação, consideramos o parâmetro número envoltório em duas convexidades em grafos, a convexidade P3 e a convexidade geodética. Na convexidade P3, obtivemos resultados do número envoltório P3 para o produto Cartesiano, produto forte e produto lexicográfico de grafos. Em especial, em relação ao produto Cartesiano, obtivemos um resultado de complexidade, no qual mostramos que, dado um grafo G, resultante de um produto Cartesiano de dois grafos e um inteiro positivo k, é NP-completo decidir se o número envoltório P3 de G é menor ou igual a k. Também consideramos o número envoltório P3 para prismas complementares GG de grafos G e G conexos, em que mostramos um limite superior um pouco mais justo do que o encontrado na literatura. Na convexidade geodética, mostramos resultados do número envoltório para prismas complementares GG quando G é uma árvore, quando G é um grafo desconexo e quando G é um cografo. Por fim, também mostramos que na convexidade geodética o número envoltório do prisma complementar GG pode ser ilimitado para grafos G e G ambos conexos, diferentemente do que ocorre na convexidade P3.
48

Definitividade de formas quadráticas – uma abordagem polinomial / Definiteness of quadratic forms – a polynomial approach

Alves, Jesmmer da Silveira 18 November 2016 (has links)
Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2016-12-12T16:55:40Z No. of bitstreams: 2 Tese - Jesmmer da Silveira Alves - 2016.pdf: 4498358 bytes, checksum: e1a92f88800ddd8032e2b0c1039f216d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-12-13T19:31:42Z (GMT) No. of bitstreams: 2 Tese - Jesmmer da Silveira Alves - 2016.pdf: 4498358 bytes, checksum: e1a92f88800ddd8032e2b0c1039f216d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-12-13T19:31:42Z (GMT). No. of bitstreams: 2 Tese - Jesmmer da Silveira Alves - 2016.pdf: 4498358 bytes, checksum: e1a92f88800ddd8032e2b0c1039f216d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-11-18 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Quadratic forms are algebraic expressions that have important role in different areas of computer science, mathematics, physics, statistics and others. We deal with rational quadratic forms and integral quadratic forms, with rational and integer coefficients respectively. Existing methods for recognition of rational quadratic forms have exponential time complexity or use approximation that weaken the result reliability. We develop a polinomial algorithm that improves the best-case of rational quadratic forms recognition in constant time. In addition, new strategies were used to guarantee the results reliability, by representing rational numbers as a fraction of integers, and to identify linear combinations that are linearly independent, using Gauss reduction. About the recognition of integral quadratic forms, we identified that the existing algorithms have exponential time complexity for weakly nonnegative type and are polynomial for weakly positive type, however the degree of the polynomial depends on the algebra dimension and can be very large. We have introduced a polynomial algorithm for the recognition of weakly nonnegative quadratic forms. The related algorithm identify hypercritical restrictions testing every subgraph of 9 vertices of the quadratic form associated graph. By adding Depth First Search approach, a similar strategy was used in the recognition of weakly positive type. We have also shown that the recognition of integral quadratic forms can be done by mutations in the related exchange matrix. / Formas quadráticas são expressões algébricas que têm papel importante em diferentes áreas da ciência da computação, matemática, física, estatística e outras. Abordamos nesta tese formas quadráticas racionais e formas inteiras, com coeficientes racionais e inteiros respectivamente. Os métodos existentes para reconhecimento de formas quadráticas racionais têm complexidade de tempo exponencial ou usam aproximações que deixam o resultado menos confiável. Apresentamos um algoritmo polinomial que aprimora o melhorcaso do reconhecimento de formas quadráticas para tempo constante. Ainda mais, novas estratégias foram usadas para garantir a confiabilidade dos resultados, representando nú- meros racionais como frações de inteiros, e para identificar combinações lineares que são linearmente independentes, usando a redução de Gauss. Sobre o reconhecimento de formas inteiras, identificamos que os algoritmos existentes têm complexidade de tempo exponencial para o tipo fracamente não-negativa e polinomial para o tipo fracamente positiva. No entanto, o grau do polinômio depende da dimensão da álgebra e pode ser muito grande. Apresentamos um algoritmo polinomial para o reconhecimento de formas inteiras fracamente positivas. Este algoritmo identifica restrições hipercríticas avaliando todo subgrafo com 9 vértices do grafo associado à forma inteira. Através da busca em profundidade, uma estratégia similar pôde ser usada no reconhecimento do tipo fracamente positiva. Por fim, mostramos que o reconhecimento de formas inteiras pode ser feito através de mutações na matriz de troca relacionada.
49

Algoritmo evolutivo multi-objetivo em tabelas para seleção de variáveis em classificação multivariada / Multi-objective evolutionary algorithm on tables for variable selection in multivariate classification

Ribeiro, Lucas de Almeida 29 October 2014 (has links)
Submitted by Luanna Matias (lua_matias@yahoo.com.br) on 2015-04-01T14:19:27Z No. of bitstreams: 2 Dissertação - Lucas de Almeida Ribeiro - 2014.pdf: 6237054 bytes, checksum: 085446421b01a7e7b9174daf3da9b192 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luanna Matias (lua_matias@yahoo.com.br) on 2015-04-01T15:19:35Z (GMT) No. of bitstreams: 2 Dissertação - Lucas de Almeida Ribeiro - 2014.pdf: 6237054 bytes, checksum: 085446421b01a7e7b9174daf3da9b192 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-04-01T15:19:35Z (GMT). No. of bitstreams: 2 Dissertação - Lucas de Almeida Ribeiro - 2014.pdf: 6237054 bytes, checksum: 085446421b01a7e7b9174daf3da9b192 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-10-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work proposes the use of multi-objective evolutionary algorithm on tables (AEMT) for variable selection in classification problems, using linear discriminant analysis. The proposed algorithm aims to find minimal subsets of the original variables, robust classifiers that model without significant loss in classification ability. The results of the classifiers modeled by the solutions found by this algorithm are compared in this work to those found by mono-objective formulations (such as PLS, APS and own implementations of a Simple Genetic Algorithm) and multi-objective formulations (such as the simple genetic algorithm multi -objective - MULTI-GA - and the NSGA II). As a case study, the algorithm was applied in the selection of spectral variables for classification by linear discriminant analysis (LDA) of samples of biodiesel / diesel. The results showed that the evolutionary formulations are solutions with a smaller number of variables (on average) and a better error rate (average) and compared to the PLS APS. The formulation of the AEMT proposal with the fitness functions: medium risk classification, number of selected variables and number of correlated variables in the model, found solutions with a lower average errors found by the NSGA II and the MULTI-GA, and also a smaller number of variables compared to the multi-GA. Regarding the sensitivity to noise the solution found by AEMT was less sensitive than other formulations compared, showing that the AEMT is more robust classifiers. Finally shows the separation regions of classes, based on the dispersion of samples, depending on the selected one of the solutions AEMT, it is noted that it is possible to determine variables of regions split from the selected variables. / Este trabalho propõe o uso do algoritmo evolutivo multi-objetivo em tabelas (AEMT) para a seleção de variáveis em problemas de classificação, por meio de análise discriminante linear. O algoritmo proposto busca encontrar subconjuntos mínimos, das variáveis originais, que modelem classificadores robustos, sem perda significativa na capacidade de classificação. Os resultados dos classificadores modelados pelas soluções encontradas por este algoritmo são comparadas, neste trabalho, às encontradas por formulações mono-objetivo (como o PLS, o APS e implementações próprias de um Algoritmo Genético Simples) e formulações multi-objetivos (como algoritmo genético multi-objetivo simples - MULTI-GA - e o NSGA II). Como estudo de caso, o algoritmo foi aplicado na seleção de variáveis espectrais, para a classificação por análise discriminante linear (LDA - Linear Discriminant Analysis), de amostras de biodiesel/diesel. Os resultados obtidos mostraram que as formulações evolutivas encontram soluções com um menor número de variáveis (em média) e uma melhor taxa de erros (média) se comparadas ao PLS e o APS. A formulação do AEMT proposta com as funções de aptidão: risco médio de classificação, número de variáveis selecionadas e quantidade de variáveis correlacionadas presentes no modelo, encontrou soluções com uma média de erros inferior as encontradas pelo NSGA II e pelo MULTI-GA, e também uma menor quantidade de variáveis se comparado ao MULTI-GA. Em relação à sensibilidade a ruídos a solução encontrada pelo AEMT se mostrou menos sensível que as outras formulações comparadas, mostrando assim que o AEMT encontra classificadores mais robustos. Por fim, são apresentadas as regiões de separação das classes, com base na dispersão das amostras, em função das variáveis selecionadas por uma das soluções do AEMT, nota-se que é possível determinar regiões de separação a partir das variáveis selecionadas.
50

Filtragem robusta de trajetórias de veículos espaciais. / Robust filtering of trajectories of space vehicles

Abreu, José Alano Péres de 13 December 2002 (has links)
Made available in DSpace on 2016-08-17T14:52:45Z (GMT). No. of bitstreams: 1 Jose Alano Peres Abreu.pdf: 632239 bytes, checksum: 326cfda664cdb5244eb2f9f6331fb1fe (MD5) Previous issue date: 2002-12-13 / In this work, a new methodology of filtering data of paths of space vehicles is proposed H2 and H∞ saw state estimates and discreet. In that new methodology, it is obtained, initially, the solution of the problem of filtering of data of paths of space vehicles saw state estimate through the equations of the filter of Kalman for Predicted Estimators and Filtered Estimators. The problem is solved through the mathematical development of the equations of the filter of Kalman that has as main function, to find a state estimate that minimizes the least-squares error. The equations mathematics are used for the development of the algorithm of the filter of Kalman. The algorithm of filtering of Kalman has two basic functions: prediction and correction. In the prediction phase the initial estimates and updating of the time of sampling are given, while, in the correction phase they are updated the measures. It is applied, also, the new methodology proposed in the project of filtering of data of path of space vehicles H∞ saw state estimate through equations of robust filter. The robust filtering has as function to esteem a linear combination that minimizes the norm, that has the interpretation of the existence of earnings of maximum energy of the entrance for the exit. In addition, it is obtained a new algorithm for filtering of data of paths of space vehicles, now through state estimate. All the project procedures are cultured through some applied examples to systems of tracking of space vehicles. The results are compared and discussed. / Neste trabalho, é proposta uma metodologia de filtragem de dados de trajetórias de veículos espaciais via estimações de estado H2 e H∞ , discretos. Nessa metodologia, obtém-se, inicialmente, a solução do problema de filtragem de dados de trajetórias de veículos espaciais via estimação de estado H2 através das equações do filtro de Kalman para Estimadores Filtrados. O problema é resolvido através do desenvolvimento matemático das equações do filtro de Kalman que tem como objetivo principal encontrar uma estimação de estado que minimize o erro quadrático médio. As equações matemáticas são utilizadas para o desenvolvimento do algoritmo computacional do filtro de Kalman. O algoritmo de filtragem de Kalman tem duas funções básicas: predição e correção. Na fase de predição são dadas as estimativas iniciais e atualização do tempo de amostragem, enquanto que, na fase de correção são atualizadas as medidas. Aplica-se, também, a nova metodologia proposta no projeto de filtragem de dados de trajetória de veículos espaciais via estimação de estado H∞ através de equações do filtro de Kalman robusto. A filtragem robusta tem como objetivo principal estimar uma combinação linear que minimize a norma H∞ , que tem a interpretação da existência de ganho de energia máxima da entrada para a saída. Como contribuição, obtém-se um novo algoritmo computacional para filtragem de dados de trajetórias de veículos espaciais, agora através de estimação de estado H∞ . Todos os procedimentos de projeto são ilustrados através de alguns exemplos aplicados a sistemas de rastreamento de veículos espaciais. Os resultados são comparados e discutidos.

Page generated in 0.0354 seconds