41 |
Um sistema de monitoramento para caracterização de algoritmos distribuídos / A monitor system to characterization of distributed algorithmsFachini, 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 LiapunovFonseca, 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 identificationBernardo 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 resultsSilva, 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 domainMendes, 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 geometryPires, 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 productsNascimento, 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 approachAlves, 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 classificationRibeiro, 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 vehiclesAbreu, 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.0412 seconds