To see the other types of publications on this topic, follow the link: Espartal.
Dissertations / Theses on the topic 'Espartal'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Espartal.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Nabais, Ana Rita Martins. "A paisagem natural como elemento reestruturador urbano." Master's thesis, Universidade de Lisboa. Faculdade de Arquitetura, 2016. http://hdl.handle.net/10400.5/13525.
Full text
2
Bernardo, Gabriel Cabral. "Honra e Philotimía na Esparta do Século IV a.C." Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/8/8138/tde-14092018-173346/.
Full textAbstract:
Os estudos sobre a Esparta do Período Clássico realizaram avanços significativos nas últimas décadas, inclusive no sentido de analisar o efeito que construções historiográficas de autores contemporâneos a ela possuem no modo como a vemos hoje. Entretanto, uma caracterização recorrente dos espartanos não recebeu a devida atenção até o momento me refiro, mais especificamente, à descrição do coletivo espartano como philótimos, \"amante da honra\". O objetivo dessa dissertação é justamente questionar tal caracterização, de modo a revelar, no sistema social espartano (aquele observável por meio das fontes), um possível fundo histórico para tal ou identificar as razões pelas quais ele é assim descrito a partir do século IV a.C. Isso é aqui realizado por meio de uma análise abrangente da influência não só da honra, mas também de todos os outros elementos relacionados a ela (vergonha, reputação, desonra etc.) no sistema social da Esparta do século IV a.C., desde a concepção à morte de um espartano. Descobriu-se que, apesar de o que sabemos sobre o sistema social espartano dar indícios de que a honra e a busca ela eram usadas como ferramentas para manter um status quo nada igualitário (algo funcional apenas quando associado à uma fachada meritocrática), a descrição dos espartanos como philótimoi serve a objetivos políticos específicos do século IV a.C., mais especificamente como crítica da hegemonia espartana e como justificativa de seu desmantelamento. Tais conclusões, assim como os argumentos que as baseiam, servem não só para compreendermos uma tática discursiva específica do século IV a.C., mas também as armadilhas do sistema da honra, especificamente como sua construção meritocrática usa o valor social de um indivíduo (i.e. honra) para manter um grupo específico no monopólio de certos privilégios, isso com total aceitação dos indivíduos deles excluídos. Tal sistema existia na Esparta do Período Clássico, com o mesmo discurso frequentemente ressuscitado em diversos contextos contemporâneos.The studies on Classical Sparta have made significant progress in recent decades, including in the sense of analyzing the effect that historiographical constructions of its contemporary authors have on the way we view it today. However, a recurring characterization of the Spartans has not received the proper attention so far I refer, more specifically, to the description of the Spartan collective as philótimos, \"lover of honor.\" The purpose of this dissertation is precisely to question this characterization, revealing, in the Spartan social system (that observable through the sources), a historical background for this or to identify the reasons why it is described likewise from the fourth century BC onwards. This is done here through a comprehensive analysis of the influence that not only honour, but also all other elements related to it (shame, reputation, dishonour, etc.) had in the social system of fourth century Sparta, from the conceiving to the death of a Spartan. It has been found that, on the one hand, what we know about the Spartan social system indicates that honor and the crave for it were tools used to maintain an unequal status quo (something functional only when associated with a meritocratic façade), but on the other hand the description of the Spartans as philótimoi served specific political goals of the fourth century BC, specifically as a criticism of Spartan hegemony and as a justification for its dismantling. These conclusions, as well as their basing arguments, serve not only to understand a specific discursive tactic of the fourth century BC, but also the pitfalls of the honor system, specially how its meritocratic form uses the individual\'s social value (i.e. honor) to maintain a specific group in the monopoly of certain privileges, this with the full acceptance of the excluded individuals. This system existed in Classical Sparta, with the same discourse often resurrected in several contemporary contexts.
3
Costa, Célia Maria Gomes Pereira da. "Representações esparsas de sinais e algoritmos gananciosos." Master's thesis, Universidade de Aveiro, 2008. http://hdl.handle.net/10773/9787.
Full textAbstract:
Mestrado em MatemáticaNesta dissertação apresentaremos novos resultados ligados ao uso de um algoritmo ganancioso, o dito Orthogonal Matching Pursuit (OMP), por forma a resolvermos problemas de aproximação esparsa em dicionários redundantes. Discutiremos, igualmente, uma modificação deste algoritmo, devida a Donoho, chamada Basis Matching Pursuit (BP). Apresentaremos uma condição (única) que assegura que ambos, OMP e BP, permitem recuperar sinais esparsos de forma exacta. Mais, mostraremos que ambos os algoritmos permitem efectuar a recuperação do sinal para uma vasta classe de dicionários. Com efeito, neste trabalho faremos um resumo de vários resultados recentes em BP, facilmente extensíveis ao caso de OMP. Adicionalmente, daremos também uma condição suficiente de garantia de que OMP pode recuperar átomos comuns a partir de todas as representações óptimas de um sinal não-esparso. Assim, OMP pode ser visto como um algoritmo de aproximação para o problema esparso num dicionário quasi-incoerente , isto é, para qualquer sinal dado, OMP permite calcular uma aproximação esparsa cujo erro não é muito pior do que o erro óptimo, e isto para o mesmo número de termos na aproximação.
This dissertation presents new results regarding the usage of a greedy algorithm, the so-called Orthogonal Matching Pursuit (OMP), in order to solve sparse approximation problems over redundant dictionaries. We also discuss a modification of this algorithm, due to Donoho, denoted Basis Matching Pursuit (BP). We present a single sufficient condition under which both OMP and BP can recover a sparse signal in an exact way. Moreover, it is shown that both algorithms allow such a recovering for a wide class of dictionaries. Indeed, in this work we give several recent results on BP which can easily be extended to OMP. Furthermore, we also give a sufficient condition under which OMP can retrieve the common atoms from all optimal representations of a non-sparse signal. Thus, OMP can be viewed as an approximation algorithm for the sparse problem over a quasi-incoherent dictionary, that is, for every input signal, OMP can calculate a sparse approximation whose error is only a small factor worse than the optimal error, and this done with same the same number of terms in the approximation.
4
Silva, Ricardo Barbosa da. "Culto à guerra: uma abordagem historiográfica do militarismo na Esparta Clássica." Universidade Federal de Pelotas, 2017. http://guaiaca.ufpel.edu.br:8080/handle/prefix/4185.
Full textAbstract:
Submitted by Kenia Bernini (kenia.bernini@ufpel.edu.br) on 2018-10-23T19:37:41Z
No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Ricardo_Barbosa_Silva_Dissertação.pdf: 701455 bytes, checksum: a45fe4eefc6874a44a7ac0ad565503f8 (MD5)Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-11-06T18:50:57Z (GMT) No. of bitstreams: 2 Ricardo_Barbosa_Silva_Dissertação.pdf: 701455 bytes, checksum: a45fe4eefc6874a44a7ac0ad565503f8 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Approved for entry into archive by Aline Batista (alinehb.ufpel@gmail.com) on 2018-11-06T18:51:20Z (GMT) No. of bitstreams: 2 Ricardo_Barbosa_Silva_Dissertação.pdf: 701455 bytes, checksum: a45fe4eefc6874a44a7ac0ad565503f8 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Made available in DSpace on 2018-11-06T18:51:35Z (GMT). No. of bitstreams: 2 Ricardo_Barbosa_Silva_Dissertação.pdf: 701455 bytes, checksum: a45fe4eefc6874a44a7ac0ad565503f8 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-04-24
Sem bolsa
A guerra é um tema de interesse de pesquisa já há muito vislumbrado. Os gregos foram os primeiros a se interessarem pelo relato e estudo dos acontecimentos bélicos de seu tempo. O surgimento do hoplita nos campos de batalha gregos da antiguidade (séc. VII A.E.C.) fora um importante golpe nas prerrogativas da aristocracia militar, ajudando a consolidar o novo modelo político de cidades-Estado. Cada pólis era independente uma da outra e, apesar de dividirem uma ―identidade cultural grega‖ comum a todas, tinham suas peculiaridades. Dentro dessa cultura guerreira que se estabeleceu no mundo grego, principalmente na Hélade Antiga, uma cidade-Estado logo se destacou nos campos de batalha, esta era Esparta. Na presente pesquisa, temos como objetivo entender a formação dos jovens espartanos dentro de um contexto de culto à guerra, e da relação que a sociedade espartana tinha com a guerra através de uma abordagem historiográfica
A war is a topic of much research interest there glimpsed. The Greeks were the first to take an interest in the account and the study of the warlike events of their time. The emergence of the hoplite on the Greek battlefields of antiquity (seventh century BC) for a major blow to the prerogatives of the military aristocracy, helping to consolidate the new political model of city-state. Each polis was independent of another, although it divided a "Greek cultural identity" common to all, have their peculiarities. Within the culture of war established in the Greek world, especially in Ancient Hellas, a city-state soon stood out on the battlefields, this was Sparta. In the present research, we aim to understand the identity formation of young Spartans within a context of war cult, a relationship that a Spartan society had with war through a historiographic approach.
5
Lyra, Gustavo Bastos. "Parâmetros de rugosidade aerodinâmica sobre vegetação esparsa." Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/11/11131/tde-31032006-150416/.
Full textAbstract:
Para vegetação esparsa e de porte alto a determinação dos parâmetros de rugosidade é comprometida pela dificuldade em se observar condições que satisfaçam a lei logarítmica da velocidade do vento. Estimou-se o comprimento de rugosidade (z0) e o deslocamento do plano zero (d) por alguns métodos com medidas micrometeorológicas e da estrutura física de arbustos esparsos em região semi-árida, durante o experimento HAPEX-Sahel. A velocidade do vento foi medida em quatro alturas acima da superfície (3,0; 4,1; 5,3 e 8,5 m), e os fluxos determinados por correlações dos turbilhões a 9m de altura. Métodos baseados no perfil logarítmico foram aplicados em condições de atmosfera neutra. A altura média da vegetação era h = 2,06 ± 0,47 m. O método convencional (ajuste estatístico) resultou em estimativas satisfatórias de d e z0 em condições nas quais a validade do perfil logarítmico foi satisfeita. Com uma única altura de medida localizada acima da subcamada inercial as estimativas resultaram em valores ou fisicamente inconsistentes ou que não caracterizam a rugosidade da superfície. Quando se utilizou a velocidade de fricção dada pela correlação dos turbilhões na solução do perfil logarítmico, as estimativas melhoraram. A combinação do perfil logarítmico com a relação z0 = λ (h - d) proporcionou estimativas satisfatórias para os valores de λ = 0,188 e 0,190 determinados em função da estrutura física da vegetação, o que não foi observado para o valor médio da literatura (0,166). Relações entre a estrutura física da vegetação e o transporte de momentum estimaram apropriadamente d e z0. A rugosidade da área foi melhor descrita por d = 0,95 m = 0,46 h e z0 = 0,204 m = 0,1 h, sendo λ = 0,185. As velocidades horizontal do vento e de fricção foram mais sensíveis a variações em z0 do que em d.For sparse and tall vegetation the estimate of roughness parameters is compromised by the difficulty in observing conditions that satisfy the windspeed logarithmic law. The roughness length (z0) and the zero-plane displacement (d) were estimated by some methods with micrometeorological measurements and the physical structure of sparse shrubs in semi-arid region, during the HAPEX-Sahel experiment. The wind speed was measured at four heights above of surface (3.0, 4.1, 5.3 and 8.5 m), and the turbulent flows determined by eddy correlations at the height of 9m. Methods based on the logarithmic profile have been applied in neutral atmosphere conditions. The average height of the vegetation was h = 2.06 ± 0.47 m. The conventional method (statistical fit) resulted in good estimates of d and z0 only under conditions of validity of the logarithmic law. Only one height of measurement located above of the inertial sublayer is enough to result in physically inconsistent values. When the friction velocity, given by eddy correlation, was used in the logarithmic law, the estimates improved. The combination of the logarithmic law with z0 = λ (h - d) provided satisfactory estimates of the surface roughness for λ = 0.188 and 0.190 determined in function of the physical structure of the vegetation; but for λ = 0.166, the average value of literature, the estimates where not good. Relationships between the physical structure of the vegetation and the momentum transfer estimated appropriately d and z0. The area roughness was better described by d = 0.95 m = 0.46 h and z0 = 0.204 m = 0.1 h, being λ = 0.185. Wind speed and friction velocity were more sensible to variations in z0 than in d.
6
Neumann, René Verfasser], Estaun Francisco Javier [Akademischer Betreuer] [Gutachter] Esparza, and Tobias [Gutachter] [Nipkow. "CAVA – A Verified Model Checker / René Neumann ; Gutachter: Tobias Nipkow, Francisco Javier Esparza Estaun ; Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2017. http://d-nb.info/1136718818/34.
Full text
7
Lima, Vitor de 1985. "Codificação de vídeo baseada em fractais e representações esparsas." [s.n.], 2012. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275696.
Full textAbstract:
Orientador: Hélio PedriniDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-20T14:03:42Z (GMT). No. of bitstreams: 1 Lima_Vitorde_M.pdf: 2877007 bytes, checksum: 6ad47f821cd5730035e715cb48102877 (MD5) Previous issue date: 2012
Resumo: Vídeos são sequências de imagens estáticas representando cenas em movimento. Transmitir e armazenar essas imagens sem nenhum tipo de pré-processamento necessitaria de enormes larguras de banda nos canais de comunicação e uma quantidade massiva de espaço de armazenamento. A fim de reduzir o número de bits necessários para tais dados, foram criados métodos de compressão com perda. Esses métodos geralmente consistem em um codificador e um decodificador, tal que o codificador gera uma sequência de bits que representa uma aproximação razoável do vídeo através de um formato pré-especificado e o decodificador lê essa sequência, convertendo-a novamente em uma série de imagens. A transmissão de vídeos sob restrições extremas de largura de banda tem aplicações importantes como videoconferências e circuitos fechados de televisão. Neste trabalho são abordados dois métodos destinados a essa aplicação, decomposição usando representações esparsas e compressão fractal. A ampla maioria dos codificadores tem como mecanismo principal o uso de transformações inversíveis capazes de representar imagens espacialmente suaves com poucos coeficientes não-nulos. Representações esparsas são uma generalização dessa ideia, em que a transformação tem como base um conjunto cujo número de elementos excede a dimensão do espaço vetorial onde ela opera. A projeção dos dados pode ser feita a partir de uma heurística rápida chamada Matching Pursuit. Uma abordagem combinando essa heurística com um algoritmo para gerar a base sobrecompleta por aprendizado de máquina é apresentada. Codificadores fractais representam uma aproximação da imagem como um sistema de funções iterativas. Para isso, criam e transmitem uma sequência de comandos, chamada colagem, capazes de obter uma representação da imagem na escala original dada a mesma imagem em uma escala reduzida. A colagem é criada de tal forma que, se aplicada a uma imagem inicial qualquer repetidas vezes, reduzindo sua escala antes de toda iteração, converge em uma aproximação da imagem codificada. Métodos simplificados e rápidos para a criação da colagem e uma generalização desses métodos para a compressão de vídeos são apresentados. Ao invés de construir a colagem tentando mapear qualquer bloco da escala reduzida na escala original, apenas um conjunto pequeno de blocos é considerado. O método de compressão proposto para vídeos agrupa um conjunto de quadros consecutivos do vídeo em um fractal volumétrico. A colagem mapeia blocos tridimensionais entre as escalas, considerando uma escala menor tanto no tempo quanto no espaço. Uma adaptação desse método para canais de comunicação cuja largura de banda é instável também é proposta
Abstract: A video is a sequence of still images representing scenes in motion. A video is a sequence of extremely similar images separated by abrupt changes in their content. If these images were transmitted and stored without any kind of preprocessing, this would require a massive amount of storage space and communication channels with very high bandwidths. Lossy compression methods were created in order to reduce the number of bits used to represent this kind of data. These methods generally consist in an encoder and a decoder, where the encoder generates a sequence of bits that represents an acceptable approximation of the video using a certain predefined format and the decoder reads this sequence, converting it back into a series of images. Transmitting videos under extremely limited bandwidth has important applications in video conferences or closed-circuit television systems. Two different approaches are explored in this work, decomposition based on sparse representations and fractal coding. Most video coders are based on invertible transforms capable of representing spatially smooth images with few non-zero coeficients. Sparse representations are a generalization of this idea using a transform that has an overcomplete dictionary as a basis. Overcomplete dictionaries are sets with more elements in it than the dimension of the vector space in which the transform operates. The data can be projected into this basis using a fast heuristic called Matching Pursuits. A video encoder combining this fast heuristic with a machine learning algorithm capable of constructing the overcomplete dictionary is proposed. Fractal encoders represent an approximation of the image through an iterated function system. In order to do that, a sequence of instructions, called a collage, is created and transmitted. The collage can construct an approximation of the original image given a smaller scale version of it. It is created in such a way that, when applied to any initial image several times, contracting it before each iteration, it converges into an approximation of the encoded image. Simplier and faster methods for creating a collage and a generalization of these methods to video compression are presented. Instead of constructing a collage by matching any block from the smaller scale to the original one, a small subset of possible matches is considered. The proposed video encoding method creates groups of consecutive frames which are used to construct a volumetric fractal. The collage maps tridimensional blocks between the different scales, using a smaller scale in both space and time. An improved version of this algorithm designed for communication channels with variable bandwidth is presented
Mestrado
Ciência da Computação
Mestre em Ciência da Computação
8
Jaax, Stefan [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, Estaun Francisco Javier [Gutachter] Esparza, and Rupak [Gutachter] Majumdar. "Population Protocols: Expressiveness, Succinctness and Automatic Verification. / Stefan Jaax ; Gutachter: Francisco Javier Esparza Estaun, Rupak Majumdar ; Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2020. http://d-nb.info/1217783903/34.
Full text
9
Hoffmann, Philipp Emanuel [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, Estaun Francisco Javier [Gutachter] Esparza, and Jörg [Gutachter] Desel. "Workflow Nets : Reduction Rules and Games / Philipp Emanuel Hoffmann ; Gutachter: Francisco Javier Esparza Estaun, Jörg Desel ; Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2017. http://d-nb.info/1156713463/34.
Full text
10
Mangueira, Junior Carlos Peixoto. "Paralelizando o MOPAC usando CUDA e bibliotecas de Matrizes Esparsas." Universidade Federal da Paraíba, 2012. http://tede.biblioteca.ufpb.br:8080/handle/tede/6062.
Full textAbstract:
Made available in DSpace on 2015-05-14T12:36:31Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 1940743 bytes, checksum: bb735e70b492ac362a56323e53c914f4 (MD5)
Previous issue date: 2012-03-23Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
This work describes the implementation of parallel algorithms whose main goal is to accelerate the implementation of numerical calculations existing in quantum chemistry programs. These programs use some methods whose order of complexity varies from O(n3) and O(n5), where n is the parameter related to the amount of atoms in a molecule. This becomes a limiting factor when one wants to work with molecular systems containing thousands of atoms, such as proteins, DNA and polysaccharides. It is explored both the parallelism provided by graphics cards and the CUDA programming model are also used libraries for manipulating sparse matrices, which are common in these calculations. The results show gains of more than 100% for test instances.
Este trabalho apresenta a implementação de algoritmos paralelos cujo objetivo principal é acelerar a execução de cálculos numéricos existentes em programas de Química Quântica. Estes programas utilizam alguns métodos cuja ordem de complexidade varia entre O(n3) e O(n5), onde o parâmetro n está relacionado à quantidade de átomos de uma molécula. Isto se torna um fator limitante quando se quer trabalhar com sistemas moleculares contendo milhares de átomos, como por exemplo, proteínas, DNA e polissacarídeos. É explorado tanto o paralelismo proporcionado pelas placas gráficas e pelo modelo de programação CUDA como também são utilizadas bibliotecas para manipulação de matrizes esparsas, que são comuns nestes cálculos. Os resultados obtidos demonstram ganhos superiores a 100% para as instâncias testes.
11
Meyer, Philipp Klara Johanna [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, Estaun Francisco Javier [Gutachter] Esparza, and Antonín [Gutachter] Kučera. "Constraint-based Analysis of Distributed Systems / Philipp Klara Johanna Meyer ; Gutachter: Francisco Javier Esparza Estaun, Antonín Kučera ; Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2021. http://d-nb.info/1240384165/34.
Full text
12
Gaiser, Andreas [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, and Antonin [Akademischer Betreuer] Kucera. "Verification of Reachability Properties and Termination for Probabilistic Systems / Andreas Gaiser. Gutachter: Antonín Kučera ; Francisco Javier Esparza Estaun. Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1034420712/34.
Full text
13
Moura, Hector Lise de. "Reconstrução de imagens em tomografia de capacitância elétrica por representações esparsas." Universidade Tecnológica Federal do Paraná, 2018. http://repositorio.utfpr.edu.br/jspui/handle/1/3151.
Full textAbstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)A Tomografia de Processos é uma importante ferramenta para diversos setores da indústria. Tal importância vem da necessidade de obter informações sobre determinada propriedade física em regiões de complicado acesso, por exemplo, o interior de um duto. A tomografia é uma ferramenta muito versátil, podendo ser adaptada para investigar diversas propriedades físicas. Entre as diversas modalidades tomográficas está a elétrica, conhecida como Tomografia de Impedância Elétrica (EIT). A EIT pode ainda ser dividida em duas partes: Tomografia de Resistência Elétrica (ERT) e Tomografia de Capacitância Elétrica (ECT). Enquanto a ERT é capaz de distinguir materiais condutivos de não-condutivos, a ECT é capaz de diferenciar dois materiais não-condutivos pela sua permissividade elétrica. A modalidade de tomografia elétrica possui vantagens como: baixo tempo de aquisição, baixo custo e não-radioatividade. Os principais desafios enfrentados na tomografia elétrica são: a dependência da trajetória do campo em relação ao meio (efeito de campo mole) e a pouca quantidade de eletrodos disponı́veis para medições devido às dimensões dos mesmos. Em decorrência do efeito de campo mole, a soma da contribuição individual de cada pixel em uma região é diferente da contribuição real da região, em outras palavras, é um problema não-linear. Devido a pequena quantidade de eletrodos, em geral 8 ou 12, reconstruir uma imagem com resolução prática é um problema mal-posto. Muitos métodos foram propostos para contornar essas dificuldades, grande parte se baseia em um modelo linearizado do sistema e na resolução de um problema inverso. Neste trabalho é proposto um método de reconstrução de imagens com representação esparsa, no qual busca-se reconstruir uma imagem composta de poucos elementos de uma base redundante. Esses elementos são aprendidos a partir de sinais de treinamento e usados como entrada para um modelo de ECT. As respostas, em capacitância, desse modelo formam uma matriz de sensibilidade redundante. Tal matriz pode ser interpretada como uma linearização por partes do problema direto. Para validação desse algoritmo foram realizados experimentos em escoamentos bifásicos ar-água. Os sinais de treinamento foram obtidos com o uso de um sensor de ECT em conjunto com um sensor wire-mesh capacitivo. Os resultados obtidos demonstram a capacidade do método proposto em reconstruir imagens a partir de 8 medições de capacitâncias. As imagens reconstruı́das apresentam melhores resultados, segundo diferentes métricas, quando comparados a outros métodos com representações esparsas.
Process Tomography is an important tool for many sectors of industry. Such importance comes from the necessity of obtaining knowledge of physical properties from hard reaching places, as the interior of a solid object or pipe. Tomography is a very versatile tool, it can be adapted for investigating different physical properties. Among the many tomographic modalities is the electrical, know as Electrical Impedance Tomography (EIT). The EIT can also be divided in two: Electrical Resistance Tomography (ERT) and Electrical Capacitance Tomography (ECT). While the ERT is capable of distinguishing conducting materials from non-conducting ones, the ECT is capable of distinguishing two non-conducting materials by their electrical permittivity. The electrical modality has advantages such as: low acquisition time, low cost and non-radioactive. The main challenges of electrical tomography are: dependency of the trajectory of the field in the medium (effect know as soft-field) and the low number of electrodes available for measurement due to their sizes. As a result of the soft-field effect, the sum of individual contributions of small discrete segments in a given region is different from the contribution of the entire region as one. In other words, the relation between the electrical property and the electrical measurements are non-linear. Due to the small number of measuring electrodes, commonly 8 or 12, reconstructing images with practical resolution is an ill-posed problem. In order to overcome these obstacles, many methods were proposed and the majority are based on the resolution of an inverse problem of a linear model. This work proposes a method of image reconstruction with sparse inducing regularization that seeks to obtain an image representation with only few elements of a redundant basis. The elements of this basis are obtained from training images and used as input of an ECT simulation. The output capacitances of the model make up the columns of a redundant sensitivity matrix. Such matrix can be viewed as a piecewise linearization of the direct problem. For validation purposes, experimental tests were conducted on two-phase flows (air-water). The training signals were obtained from an experiment with a capacitive wire-mesh sensor along with an ECT sensor. The results obtained show that the proposed method is capable of reconstructing images from a set of only 8 capacitance measurements. The reconstructed images show better results, according to different metrics, when compared to other methods that also use sparse representations.
14
Schlund, Maximilian [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, and Markus [Akademischer Betreuer] Holzer. "Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications / Maximilian Schlund. Betreuer: Francisco Javier Esparza Estaun. Gutachter: Markus Holzer ; Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2016. http://d-nb.info/109842865X/34.
Full text
15
Kern, Christian [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, and Keijo [Akademischer Betreuer] Heljanko. "Methods for the Diagnosis and Automatic Repair of Software Systems / Christian Kern. Gutachter: Keijo Heljanko ; Francisco Javier Esparza Estaun. Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1037820711/34.
Full text
16
Sickert, Salomon [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, Estaun Francisco Javier [Gutachter] Esparza, and Orna [Gutachter] Kupferman. "A Unified Translation of Linear Temporal Logic to ω-Automata / Salomon Sickert ; Gutachter: Francisco Javier Esparza Estaun, Orna Kupferman ; Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2019. http://d-nb.info/119416305X/34.
Full text
17
Ormenesse, Vinícius. "Interface cérebro-computador explorando métodos para representação esparsa dos sinais." reponame:Repositório Institucional da UFABC, 2018.
Find full textAbstract:
Orientador: Prof. Dr. Ricardo SuyamaDissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Engenharia da Informação, Santo André, 2018.
Uma interface cerebro-computador (BCI) e projetada para que se consiga, de modo efetivo, fornecer uma via alternativa de comunicacao entre o cerebro do usuario e o computador. Sinais captados por meio de eletrodos, tipicamente posicionados no escalpo do individuo, sao previamente processados para que haja eliminacao de ruidos externos. A partir dai, diversas tecnicas para processamento de sinais sao utilizadas para posteriormente classificar os sinais registrados e realizar a traducao do estado mental do usuario em um comando especifico a ser executado pelo computador. No presente trabalho sao utilizadas tecnicas de representacao esparsa dos sinais para a extracao de caracteristicas relevantes para classificacao dos mesmos, com intuito de aumentar a robustez e melhorar o desempenho do sistema. Para a extracao de sinais esparsos, foram utilizados algoritmos de criacao de dicionarios, a partir dos quais e possivel obter uma representacao esparsa para todo o subespaco de sinal. No trabalho foram utilizados 5 diferentes algoritmos de criacao de dicionario: Metodo de direcoes otimas (MOD), K-SVD, RLS-DLA, LS-DLA e Aprendizado de dicionario Online (ODL). A classificacao dos sinais foi realizada com o metodo de .. vizinhos mais proximos (k - NN). Os resultados obtidos com a abordagem de representacao esparsa foram comparados com os resultados do BCI Competition IV dataset 2a. Para o primeiro colocado da competicao foi obtido, em termos do coeficiente kappa, uma acuracia de 0.57 enquanto que no trabalho utilizando os metodos esparsos, obteve-se, em coeficiente kappa, uma acuracia de 0.90. Em comparacao obteve-se um ganho de 0.33 de acuracia, onde se deduz que o uso de sinais esparsos pode ser benefico para o dificil problema de se projetar uma interface cerebro computador.
A brain computer interface (BCI) is designed to effectively translate commands thought by human individuals into commands that a computer can effectively understand. Electrical impulses generated from the brain sculp are recorded from a device called an electroencephalograph and are preprocessed for elimination of external noise. From there, several techniques for signal processing are used to later classify the signals obtained by the electroencephalograph. In this work, techniques for sparse representation of signals are used for feature extraction, in order to increase robustness and system performance. For the extraction of sparse signals, five different dictionary learning algorithms were used, being able to produce a basis capable of represensing the entire signal subspace. In this work, 5 different dictionary learning algorithms were used: Method of Optimal Directions (MOD), K-SVD, Recursive Least Square Dictionary Learning (RLS-DLA), Least Square Dictionary Learning (LS-DLA) and Online Dictionary Learning (ODL). For the classification task, the k-NN method was used. The simulation results obtained with this approach were compared with the best BCI Competition IV dataset 2a results. For the first place in the competition, an accuracy of 0.57 was obtained, in terms of the kappa coefficient, whereas in the work using the sparse methods, a kappa coefficient of 0.90 was obtainned, improving accuracy in 0.33 accuracy was obtained, which indicates that the use of sparse signals may be beneficial to the difficult problem of designing a brain computer interface.
18
Křetínský, Jan [Verfasser], Estaun Francisco Javier [Akademischer Betreuer] Esparza, and Joost-Pieter [Akademischer Betreuer] Katoen. "Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems / Jan Kretinsky. Gutachter: Joost-Pieter Katoen ; Francisco Javier Esparza Estaun. Betreuer: Francisco Javier Esparza Estaun." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1045023493/34.
Full text
19
VASCONCELOS, Marcos Müller. "Decodificação iterativa de códigos baseados em matrizes de verificação de paridade esparsas." Universidade Federal de Pernambuco, 2007. https://repositorio.ufpe.br/handle/123456789/5436.
Full textAbstract:
Made available in DSpace on 2014-06-12T17:39:33Z (GMT). No. of bitstreams: 2
arquivo6919_1.pdf: 4119217 bytes, checksum: 3f1efa22858eeae0d86c8392becd8174 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2007Códigos baseados em matrizes esparsas têm desempenhado um importante papel em teoria da codificação. Os códigos low-density parity-check (LDPC) constituem uma famosa família de códigos definidos a partir de matrizes de verificação de paridade esparsas que apresentam desempenhos excelentes no canal com ruído aditivo Gaussiano branco (RAGB). O sucesso desses códigos se deve a sua representação através de grafos, que permite a operação de um algoritmo de decodificação iterativo cuja complexidade cresce linearmente com o comprimento dos blocos. Esta dissertação apresenta um estudo sobre códigos LDPC e sua principal ferramenta de análise, a density evolution. Para isso, a representação gráfica de códigos de bloco lineares e o funcionamento do algoritmo de decodificação Soma-Produto são apresentados. Algumas técnicas de projeto de códigos LDPC são discutidas e seu desempenho no canal RAGB é avaliado por meio de simulações. Baseando-se nestas ferramentas, a density evolution para os canal RAGB é derivada em forma integral e em forma aproximada. Por fim, uma modificação no algoritmo Soma-Produto é proposta para decodificação de códigos LDPC no canal Gilbert-Elliott
20
Silva, Cleyton Tavares da Silveira. "Da Pena ? Espada: Xenofonte e a Representa??o de Esparta em A Constitui??o dos Lacedem?nios." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/16963.
Full textAbstract:
Made available in DSpace on 2014-12-17T15:25:17Z (GMT). No. of bitstreams: 1
CleytonTSS_DISSERT.pdf: 1577692 bytes, checksum: b389b56a4b9bb7d748505f8f6a52af75 (MD5)
Previous issue date: 2012-08-17Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior
We intend to analyze how, through your own views and social practices, Xenophon composed the image of Spartans and their poliad regime during the period following the end of the 5th century to the early 4th century before BCE a time of great political turbulence in the Hellenic Poleis. In order to do so, we will use the writings in The Constitution of the Lacedaemonians, to point three elements that we believe are essential understanding of the Xenophon?s narrative: who was Xenophon and in which ways his life experiences influenced his narrative style; the idea of City, i.e., Xenophon?s idea of the Polis and how he defined it as a community of Citizens; and finally, to establish through which tools Xenophon build an image of Sparta and Spartans by way of their representations in his writings
Pretende-se analisar como Xenofonte, atrav?s de suas pr?prias vis?es e pr?ticas sociais, constr?i a imagem dos espartanos e seu regime Pol?ade, durante o intervalo cronol?gico que se segue do final do s?culo V ao in?cio do s?culo IV antes da era crist?, per?odo de grande turbul?ncia pol?tica nas P?leis hel?nicas. Para tanto, lan?aremos m?o dos escritos em A Constitui??o dos Lacedem?nios, a fim de apontar tr?s elementos que entendemos essenciais para a compreens?o da narrativa de Xenofonte: quem fora Xenofonte e de que maneira seu estilo narrativo ? influenciado por suas viv?ncias e experi?ncias; a id?ia de Cidade, o que ? a P?lis para Xenofonte e como ele a define enquanto comunidade de Cidad?os; e por fim, estabelecer atrav?s de que ferramentas Xenofonte constr?i uma imagem de Esparta e Espartanos nas representa??es destas personagens em seus escritos
21
INABA, F. K. "Representação Esparsa e Modelo de Esparsidade Conjunta no Reconhecimento de Faces." Universidade Federal do Espírito Santo, 2012. http://repositorio.ufes.br/handle/10/9623.
Full textAbstract:
Made available in DSpace on 2018-08-02T00:00:56Z (GMT). No. of bitstreams: 1
tese_4711_DissKentaro.pdf: 6208552 bytes, checksum: f5dd47fbef24d1bd09fe36e8a972c67c (MD5)
Previous issue date: 2012-06-11Resumo: O trabalho desenvolvido nesta dissertação propõe a utilização do modelo de esparsidade conjunta com complemento de matrizes (JSM-MC) para composição da base de treino no contexto de reconhecimento de faces utilizando o classificador baseado em representação esparsa (SRC). O método proposto visa trabalhar com imagens de faces em diferentes condições de iluminação e oclusão na base de teste e treino. Para oclusões nas imagens de teste, um modelo diferenciado é considerado para abordar o problema. Uma etapa de pré-processamento nas imagens de faces é realizada no intuito de reduzir os efeitos das variações de iluminações presentes nas imagens. Um agrupamento das imagens de treino é realizado visando um menor tempo de processamento. Além disso, uma proposta de modificação no algoritmo SRC é feita de forma a explorar a esparsidade dos coeficientes de representação esparsa. Ao final, os resultados são avaliados usando uma base de dados sujeita a variação de iluminação. Oclusões artificiais são inseridas a fim de investigar o desempenho do sistema nessas condições.
22
Carvalho, Silas Luiz de. "Espectro e dimensão Hausdorff de operadores bloco-Jacobi com perturbações esparsas distribuídas aleatoriamente." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/43/43134/tde-21122010-145625/.
Full textAbstract:
Neste trabalho buscamos caracterizar o espectro de uma classe de operadores bloco--Jacobi limitados definidos em $l^2(\\Lambda,\\mathbb{C}^L)$ ($\\Lambda: \\mathbb{Z}_+\\times\\{0,1,\\ldots,L-1\\}$ representa uma faixa de largura $L\\ge 2$ no semi--plano $\\mathbb{Z}_+^2$) e sujeitos a perturbações esparsas (no sentido que as distâncias entre as ``barreiras\'\' crescem geometricamente à medida que estas se afastam da origem) distribuídas aleatoriamente. Tais operadores são construídos a partir da soma de Kronecker de matrizes de Jacobi $J$, cada qual atuando em uma direção do espaço. Demonstramos, por meio da bloco--diagonalização do operador, que %o estudo de suas principais propriedades espectrais dependem da %se limita à caracterização da ``medida de mistura\'\' $\\frac{1}{L}\\sum_{j=0}^{L-1}\\mu_j$, $\\mu_j$ a medida espectral associada à matriz de Jacobi $J^j=J+2\\cos(2\\pi j/L)I $. Para tanto, buscamos primeiramente caracterizar cada uma das medidas $\\mu_j$, explorando e aperfeiçoando algumas técnicas bastante conhecidas no estudo de operadores esparsos unidimensionais. Demonstramos, por exemplo, que a seqüência de ângulos de Prüfer (variáveis que, juntamente com os raios de Prüfer, parametrizam as soluções da equação de autovalores) é uniformemente distribuída no intervalo $[0,\\pi)$, o %que %resultado que nos permite determinar o comportamento assintótico médio das soluções da equação de autovalores. Tal resultado, aliado às técnicas desenvolvidas por Marchetti \\textit{et. al.} em \\cite{MarWre} e a uma adaptação dos critérios de Last e Simon \\cite{LS} para operadores esparsos, nos permitem demonstrar a existência de uma transição aguda (pontual) entre os espectros singular--contínuo e puramente pontual. Empregamos em seguida os resultados de Jitomirskaya e Last presentes em \\cite{JitLast} e obtemos a dimensão Hausdorff exata associada à medida $\\mu_j$, dada por $\\alpha_j=1+\\frac{4(1-p^2)^2}{p^2(4- (\\lambda-2\\cos(2\\pi j/L))^2)}$ ($\\lambda\\in[-2,2]$), recuperando um resultado análogo obtido por Zlato\\v s em \\cite{Zla}. Por fim, adaptamos tais resultados à situação da medida de mistura associada à matriz bloco--Jacobi, obtendo $\\alpha=\\min_{j\\in\\mathcal{I}(\\lambda)}\\alpha_j$, $\\mathcal{I}(\\lambda):\\{m \\in\\{0,1,\\ldots,L-1\\}:\\lambda\\in[-2+2\\cos(2\\pi j/L),2+2\\cos(2\\pi j/L)]\\}$, como sua dimensão Hausdorff exata. Estudamos modelos idênticos com esparsidades sub e super-geométricas, obtendo na primeira situação um espectro puramente pontual (de dimensão Hausdorff nula) e na segunda um espectro puramente singular--contínuo (de dimensão Hausdorff 1). Finalmente, verificamos a existência de transição entre os espectros puramente pontual e singular--contínuo em um modelo com esparsidade super-geométrica cuja dimensão Hausdorff associada à medida espectral é nula.In this work we attempt to caracterize the spectrum of a class of limited block--Jacobi operators defined in $l^2(\\Lambda,\\mathbb{C}^L)$ ($\\Lambda: \\mathbb{Z}_+\\times\\{0,1,\\ldots,L-1\\}$ represents a strip of width $L\\ge 2$ on the semi--plane $\\mathbb{Z}_+^2$) subject to a sparse perturbation (which means that the distance between the ``barries\'\' grow geometrically with their distance to the origin) randomly distributed. Such operators are defined as Kronecker sums of unidimensional Jacobi matrices $J$, each one acting in different directions of the space. We prove, by means of a block--diagonalization of the operator, that %the study of its most relevant spectral properties depend on %is related to the caracterization of the ``mixture measure\'\' $\\frac{1}{L}\\sum_{j=0}^{L-1}\\mu_j$, $\\mu_j$ the spectral measure of the Jacobi matrix $J^j=J+2\\cos(2\\pi j/L)I$. For this, we must characterize at first each one of the measures $\\mu_j$, exploiting and improving some well known techniques developed in the study of unidimensional sparse operators. We prove, for instance, that the sequence of Prüfer angles (variables which parametrize the solutions of the eigenvalue equation) are uniform distributed on the interval $[0,\\pi)$, a result which gives us condition to determine the average asymptotic behavior of the solutions of the eigenvalue equation. Such result, in association with the techniques developed by Marchetti \\textit{et. al.} in \\cite{MarWre} and with an adaptation of Last--Simon \\cite{LS} criteria for sparse operator, permit us to prove the existence of a sharp transition between singular continuous and pure point spectra. Following on, we use the results from Jitomirskaya--Last of \\cite{JitLast} and obtain the exact Hausdorff dimension of the measure $\\mu_j$, given by $\\alpha_j=1+\\frac{4(1-p^2)^2}{p^2(4-(\\lambda-2\\cos(2\\pi j/L))^2)}$ ($\\lambda\\in[- 2,2]$), recovering an analogous result due to Zlato\\v s in \\cite{Zla}. At last, we adapt these results to the mixture measure of the block--Jacobi matrix, obtaining $\\alpha=\\min_{j\\in\\mathcal{I}(\\lambda)}\\alpha_j$, $\\mathcal{I}(\\lambda):\\{m \\in\\{0,1,\\ldots,L-1\\}:\\lambda\\in[-2+2\\cos(2\\pi j/L),2+2\\cos(2\\pi j/L)]\\}$, as its exact Hausdorff dimension. We study as well identical models with sub and super geometric sparsities conditions, obtaining a pure point spectrum (with null Hausdorff dimension) in the first case, and a purely singular continuous spectrum (such that its Hausdorff dimension is 1) in the second. Finally, we prove the existence of a transition between pure point and singular continuous spectra in a model with sub--geometric sparsity whose Hausdorff dimension related to the spectral measure is null.
23
Grande-Vicente, Daniela Maria. "Memórias autoassociativas esparsas em reticulados completos com aplicações em reconstrução de imagens coloridas." Universidade Estadual de Londrina. Centro de Ciências Exatas. Programa de Pós-Graduação em Matemática Aplicada e Computacional, 2011. http://www.bibliotecadigital.uel.br/document/?code=vtls000161997.
Full textAbstract:
Uma Memória Associativa (AM) é um modelo inspirado na forma com que o cérebro humano armazena e recorda informações. Estes modelos são projetados para armazenar pares de associações. Além disso, uma AM deve ser capaz de recordar um padrão memorizado mesmo após a apresentação de uma versão distorcida ou incompleta de um item memorizado.Esta dissertação apresenta um estudo detalhado das Memórias Autoassociativas Esparsa sem Reticulados Completos (MAERCs) que são equipadas com neurônios que realizam operações de dilatação e erosão da morfologia matemática. Precisamente, a saída de um neurônio é dado ou pelo máximo ou pelo mínimo de algumas de suas entradas. Estas memórias são sintetizadas usando um esquema de armazenamento que geralmente fornece uma rede com conecções esparsas. Portanto, em geral, elas requerem pouco esforço computacional. Além disso, estes modelos são muito gerais, uma vez que necessitam somente de uma estrutura de reticulado.Nesta dissertação são demonstrados resultados teóricos sobre a congergência, capacidade de armazenamento e tolerância a ruído das MAERCs. Uma caracterização dos pontos fixos desses modelos também é apresentada. Adicionalmente, é discutida a relação entre as MAERCs e as memórias associativas morfológicas introduzidas por Ritter e Sussner.Por fim, foi estudada a aplicação das MAERCs para o armazenamento e recordação de imagens coloridas. Existem diversas representações para imagens coloridas como RGB, HSV, HSLe CIELab. Além disso, diferentes esquemas ordenados podem ser definidos de forma a obter uma estrutura de reticulado completo para o conjunto dos valores dos pixels nos diferentes espaços de cores. Dessa forma, são apresentados resultados experimentais sobre o desempenho das MAERCs, definidas em diferentes combinações de espaços de cores e esquemas ordenados,para a reconstrução de imagens coloridas corrompidas com ruído pepper, gaussiano e impulsivo.An associative memory (AM) is a model inspired in the ability of the human brain to storeand recall information. These models are designed for the storage of pairs of associations.Furthermore, an AM must to be able to recall a stored pattern even after the presentation of anincomplete or distorted version of a memorized item.This dissertation presents a detailed study of sparsely connected autoassociative lattice memories(SCALMs), which are AMs equipped with neurons that perform either a dilation or anerosion of mathematical morphology. Precisely, the output of a single neuron is given by eitherthe maximun or the minimun of some of its inputs. These memories are synthesized using arecording recipe that usually yields a sparsely connected network. Therefore, they often requirefew computational resources. Furthermore, these models are very general because they relyonly on a lattice structure.In this work, we demonstrate some theoretical results concerning the convergence, storagecapacity, and noise tolerance of SCALMs. We also characterize the fixed points of thesememory models. Moreover, we discuss the relationship between the SCALMs and the autoassociativemorphological memories introduced by Ritter and Sussner.Finally, we investigate the application of SCALMs for the storage and recall of color images.There exist several representations of color images such as the RGB, HSV, HSL and CIELabcolor models. Furthermore, several different ordering schemes can be defined in order to obtaina complete lattice structure on the set of pixels values in different color spaces. Therefore, wepresent experimental results on the performance of SCALMs, defined on different combinationsof color spaces and ordered schemes, for the reconstruction of color images corrupted by pepper, Gaussian and impulsive noise.
24
Ghidetti, Kamila Ribeiro. "O impacto do reordenamento de matrizes esparsas nos métodos iterativos não estacionários precondicionados." Universidade Federal do Espírito Santo, 2011. http://repositorio.ufes.br/handle/10/6416.
Full textAbstract:
Made available in DSpace on 2016-12-23T14:33:47Z (GMT). No. of bitstreams: 1
Kamila Ribeiro Ghidetti parte 1 p 1-60.pdf: 1277319 bytes, checksum: 04f11c251510276dd05a0c29559e9cb9 (MD5)
Previous issue date: 2011-07-13Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
A análise da influência dos algoritmos de reordenamento de matrizes na resolução de sistemas lineares utilizando os m´métodos iterativos não estacionários GMRES e Gradiente Conjugado, ambos com e sem precondicionamento, é o objeto de estudo desse trabalho. Os algoritmos mais referenciados na literatura para reordenamento de matrizes são Reverse Cuthill-McKee (RCM), Gibbs-Poole-Stockmeyer (GPS), Nested Dissection (ND) e Espectral (ES). Neste trabalho esses algoritmos foram analisados e algumas modificações foram propostas. Todos os algoritmos e suas versões modificadas foram implementados e comparados quanto a qualidade de solução (minimização de largura de banda e minimização de envelope) e tempo de execução. Além disso, os sistemas lineares associados as matrizes esparsas são resolvidos via m´métodos iterativos tipo Krylov precondicionados. Os precondicionadores analisados nesse estudo são baseados na fatoração LU incompleta. Para os testes computacionais é considerado um conjunto de matrizes estruturalmente simétricas oriundas das mais diversas áreas do conhecimento. Nossos estudos concluem que o reordenamento das matrizes, na maioria dos casos, reduz o numero de iterações dos métodos iterativos, entretanto a redução do tempo de processamento é dependente da dimensão e do condicionamento da matriz
This work analyzes the influence of matrices reordering algorithms on solving linear systems using non-stationary iterative methods GMRES and Conjugate Gradient, both with and without preconditioning. The algorithms referenced most often in the literature for the reordering of matrices are Reverse Cuthill-McKee (RCM), Gibbs-Poole-Stockmeyer (GPS), Nested Dissection (ND) and Spectral (ES). We analyze these algorithms and propose some modifications comparing their solution qualities (minimizing bandwidth and minimizing envelope) and CPU times. Moreover, the linear systems associated with sparse matrices are solved via preconditioned Krylov-type iterative methods considering the incomplete LU factorization preconditioners. For the computational tests, we consider a set of structurally symmetric matrices that can come from various fields of knowledge. We conclude that the reordering of matrices, in most cases, reduces the number of iterations in the iterative methods, but the reducing of the CPU time depends on the size and conditioning of the matrix
25
Esparan, Vida [Verfasser]. "Fungal enzymes for the production of vanillin, divanillin & lignans / Vida Esparan." Hannover : Technische Informationsbibliothek (TIB), 2015. http://d-nb.info/1084243210/34.
Full text
26
Alves, Celeny Fernandes. "Planejamento online para robô móvel baseado em amostragem esparsa e macro-operadores." Instituto Tecnológico de Aeronáutica, 2007. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=382.
Full textAbstract:
Modelos baseados na teoria de Processos Decisórios de Markov (PDM) têm sido propostos para situações realistas a serem enfrentadas por robôs móveis aplicados a tarefas que envolvem navegação (vigilância, distribuição de mensagens, etc.). Entretanto, um aspecto crítico em problemas reais é a enorme dimensão do espaço de estados. Como praticamente todos os algoritmos de aprendizagem de controle ou planejamento que utilizam PDM são baseados em um mapeamento explícito entre estados e ações, tal situação normalmente força o uso de representações do espaço de estados compactas, para as quais não existem algoritmos de aprendizagem ou planejamento comprovadamente eficientes, ou mesmo convergentes nos casos mais gerais. O objetivo deste trabalho é a análise de mecanismos que permitam o planejamento online eficiente em robótica móvel, em situações realistas nas quais não é possível o uso de uma representação explícita dos estados devido à dimensão do espaço de estados. É considerada uma técnica de planejamento relatada na literatura conhecida como Amostragem Esparsa (AE). Esta técnica é baseada em amostragem esparsa de instâncias simuladas de um modelo do PDM que representa a interação do robô com o seu ambiente, e pode ser combinada ao uso de opções (macro-operadores) que correspondem a seqüências de ações primitivas. O uso de opções pode ser visto como uma melhoria ao desempenho do algoritmo de AE, pois em tarefas de aprendizagem, seu uso produz exploração mais efetiva do espaço de estados, o que acelera a convergência do aprendizado. Entretanto, o tempo de execução deste algoritmo é exponencial no nível de exploração e no número de amostras a serem gerados. Deste modo, este trabalho propõe uma melhoria para o algoritmo de AE, através da utilização de informações pré-processadas do ambiente a ser explorado. Tais informações são adquiridas a partir da execução do algoritmo de aprendizado por reforço Q-Leaning sobre uma discretização do espaço de estados deste ambiente.
27
Pereira, Ramon Fortes. "Paralelização de inferência em redes credais utilizando computação distribuída para fatoração de matrizes esparsas." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20062017-165535/.
Full textAbstract:
Este estudo tem como objetivo melhorar o desempenho computacional dos algoritmos de inferência em redes credais, aplicando técnicas de computação paralela e sistemas distribuídos em algoritmos de fatoração de matrizes esparsas. Grosso modo, técnicas de computação paralela são técnicas para transformar um sistema em um sistema com algoritmos que possam ser executados concorrentemente. E a fatoração de matrizes são técnicas da matemática para decompor uma matriz em um produto de duas ou mais matrizes. As matrizes esparsas são matrizes que possuem a maioria de seus valores iguais a zero. E as redes credais são semelhantes as redes bayesianas, que são grafos acíclicos que representam uma probabilidade conjunta através de probabilidades condicionais e suas relações de independência. As redes credais podem ser consideradas como uma extensão das redes bayesianas para lidar com incertezas ou a má qualidade dos dados. Para aplicar a técnica de paralelização de fatoração de matrizes esparsas na inferência de redes credais, a inferência utiliza-se da técnica de eliminação de variáveis onde o grafo acíclico da rede credal é associado a uma matriz esparsa e cada variável eliminada é análoga a eliminação de uma coluna.This study\'s objective is the computational performance improvement of credal network inference algorithms by applying computational parallel and distributed system techniques of sparse matrix factorization algorithms. Roughly, computational parallel techniques are used to transform systems in systems with algorithms that can be executed concurrently. And the matrix factorization is a group of mathematical techniques to decompose a matrix in a product of two or more matrixes. The sparse matrixes are matrixes which have most of their values equal to zero. And credal networks are similar to Bayesian networks, which are acyclic graphs representing a joint probability through conditional probabilities and their independence relations. Credal networks can be considered as a Bayesian network extension because of their manner of leading to uncertainty and the poor data quality. To apply parallel techniques of sparse matrix factorization in credal network inference the variable elimination method was used, where the credal network acyclic graph is associated to a sparse matrix and every eliminated variable is analogous to an eliminated column.
28
Castelo, Branco César Augusto Santana. "Algoritmos adaptativos LMS normalizados proporcionais: proposta de novos algoritmos para identificação de plantas esparsas." Universidade Federal do Maranhão, 2016. http://tedebc.ufma.br:8080/jspui/handle/tede/1688.
Full textAbstract:
Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-06-23T20:42:44Z
No. of bitstreams: 1
CesarCasteloBranco.pdf: 11257769 bytes, checksum: 911c33f2f0ba5c1c0948888e713724f6 (MD5)Made available in DSpace on 2017-06-23T20:42:44Z (GMT). No. of bitstreams: 1 CesarCasteloBranco.pdf: 11257769 bytes, checksum: 911c33f2f0ba5c1c0948888e713724f6 (MD5) Previous issue date: 2016-12-12
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPQ)
This work proposes new methodologies to optimize the choice of the parameters of the proportionate normalized least-mean-square (PNLMS) adaptive algorithms. The proposed approaches use procedures based on two optimization methods, namely, the golden section and tabu search methods. Such procedures are applied to determine the optimal parameters in each iteration of the adaptation process of the PNLMS and improved PNLMS (IPNLMS) algorithms. The objective function for the proposed procedures is based on the a posteriori estimation error. Performance studies carried out to evaluate the impact of the PNLMS and IPNLMS parameters in the behavior of these algorithms shows that, with the aid of optimization techniques to choose properly such parameters, the performance of these algorithms may be improved in terms of convergence speed for the identification of plants with high sparseness degree. The main goal of the proposed methodologies is to improve the distribution of the adaptation energy between the coefficients of the PNLMS and IPNLMS algorithms, using parameter values that lead to the minimal estimation error of each iteration of the adaptation process. Numerical tests performed (considering various scenarios in which the plant impulse response is sparse) show that the proposed methodologies achieve convergence speeds faster than the PNLMS and IPNLMS algorithms, and other algorithms of the PNLMS class, such as the sparseness controlled IPNLMS (SC-IPNLMS) algorithm.
Neste trabalho, novas metodologias para otimizar a escolha dos parâmetros dos algoritmos adaptativos LMS normalizados proporcionais (PNLMS) são propostas. As abordagens propostas usam procedimentos baseados em dois métodos de otimização, a saber, os métodos da razão áurea e da busca tabu. Tais procedimentos são empregados para determinar os parâmetros ótimos em cada iteração do processo de adaptação dos algoritmos PNLMS e PNLMS melhorado (IPNLMS). A função objetivo adotada pelos procedimentos propostos é baseada no erro de estimação a posteriori. O estudo de desempenho realizado para avaliar o impacto dos parâmetros dos algoritmos PNLMS e IPNLMS no comportamento dos mesmos mostram que, com o auxílio de técnicas de otimização para escolher adequadamente tais parâmetros, o desempenho destes algoritmos pode ser melhorado, em termos de velocidade de convergência, para a identificação de plantas com elevado grau de esparsidade. O principal objetivo das metodologias propostas é melhorar a distribuição da energia de ativação entre os coeficientes dos algoritmos PNLMS e IPNLMS, usando valores de parâmetros que levam ao erro de estimação mínimo em cada iteração do processo de adaptação. Testes numéricos realizados (considerando diversos cenários nos quais a resposta impulsiva da planta é esparsa) mostram que as metodologias propostas alcançam velocidades de convergência superiores às dos algoritmos PNLMS e IPNLMS, além de outros algoritmos da classe PNLMS, tais como o algoritmo IPNLMS com controle de esparsidade (SCIPNLMS).
29
Schlachter, Uli Christian [Verfasser], Eike [Akademischer Betreuer] Best, and Javier [Akademischer Betreuer] Esparza. "Petri net synthesis and modal specifications / Uli Christian Schlachter ; Eike Best, Javier Esparza." Oldenburg : BIS der Universität Oldenburg, 2018. http://d-nb.info/1176106503/34.
Full text
30
Polo, Jeinny Maria Peralta. "Métodos de programação quadrática convexa esparsa e suas aplicações em projeções em poliedros." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042013-140124/.
Full textAbstract:
O problema de minimização com restrições lineares e importante, não apenas pelo problema em si, que surge em várias áreas, mas também por ser utilizado como subproblema para resolver problemas mais gerais de programação não-linear. GENLIN e um método eficiente para minimização com restrições lineares para problemas de pequeno e médio porte. Para que seja possível a implementação de um método similar para grande porte, é necessário ter um método eficiente, também para grande porte, para projeção de pontos no conjunto de restrições lineares. O problema de projeção em um conjunto de restrições lineares pode ser escrito como um problema de programação quadrática convexa. Neste trabalho, estudamos e implementamos métodos esparsos para resolução de problemas de programação quadrática convexa apenas com restrições de caixa, em particular o clássico método Moré-Toraldo e o \"método\" NQC. O método Moré-Toraldo usa o método dos Gradientes Conjugados para explorar a face da região factível definida pela iteração atual, e o método do Gradiente Projetado para mudar de face. O \"método\" NQC usa o método do Gradiente Espectral Projetado para definir em que face trabalhar, e o método de Newton para calcular o minimizador da quadrática reduzida a esta face. Utilizamos os métodos esparsos Moré-Toraldo e NQC para resolver o problema de projeção de GENLIN e comparamos seus desempenhosThe linearly constrained minimization problem is important, not only for the problem itself, that arises in several areas, but because it is used as a subproblem in order to solve more general nonlinear programming problems. GENLIN is an efficient method for solving small and medium scaled linearly constrained minimization problems. To implement a similar method to solve large scale problems, it is necessary to have an efficient method to solve sparse projection problems onto linear constraints. The problem of projecting a point onto a set of linear constraints can be written as a convex quadratic programming problem. In this work, we study and implement sparse methods to solve box constrained convex quadratic programming problems, in particular the classical Moré-Toraldo method and the NQC \"method\". The Moré-Toraldo method uses the Conjugate Gradient method to explore the face of the feasible region defined by the current iterate, and the Projected Gradient method to move to a different face. The NQC \"method\" uses the Spectral Projected Gradient method to define the face in which it is going to work, and the Newton method to calculate the minimizer of the quadratic function reduced to this face. We used the sparse methods Moré-Toraldo and NQC to solve the projection problem of GENLIN and we compared their performances
31
Ribas, Celso Henrique Herédias. "Identificação de sistemas com resposta esparsa ao impulso utilizando transformada wavelet discreta parcial." Florianópolis, SC, 2006. http://repositorio.ufsc.br/xmlui/handle/123456789/88453.
Full textAbstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.Made available in DSpace on 2012-10-22T09:13:18Z (GMT). No. of bitstreams: 1 228650.pdf: 13529914 bytes, checksum: 024ce0191a6c6114df35a75945644ec8 (MD5)
32
Schlachter, Uli Christian Verfasser], Eike [Akademischer Betreuer] [Best, and Javier [Akademischer Betreuer] Esparza. "Petri net synthesis and modal specifications / Uli Christian Schlachter ; Eike Best, Javier Esparza." Oldenburg : BIS der Universität Oldenburg, 2018. http://nbn-resolving.de/urn:nbn:de:gbv:715-oops-38362.
Full text
33
Pereira, Rodrigo Aparecido Fernandes. "Localização de faltas em alimentadores de distribuição de energia elétrica usando medições esparsas de tensões /." Ilha Solteira : [s.n.], 2007. http://hdl.handle.net/11449/100372.
Full textAbstract:
Orientador: José Roberto Sanches MantovaniBanca: Antonio Padilha Feltrin
Banca: Rubén Augusto Romero Lázaro
Banca: Denis Vinicius Coury
Banca: Walmir de Freitas Filho
Resumo: Neste trabalho, é proposto um algoritmo para localização de faltas em alimentadores radiais aéreos de distribuição de energia elétrica. A técnica proposta aplica-se a alimentadores trifásicos com cargas desequilibradas, que podem possuir ramais laterais trifásicos, bifásicos e monofásicos. As equações da rede que compõem esta técnica foram desenvolvidas com base nos métodos de fluxo de potência do tipo varredura (backward/forward sweep), o que a torna uma ferramenta eficiente e de baixo esforço computacional. No desenvolvimento da mesma, considera-se que haja disponibilidade de medições de tensões no nó inicial do alimentador e também medições esparsas de tensão em alguns pontos ao longo do alimentador de distribuição. Esta técnica apresenta algumas vantagens quando comparada com as técnicas convencionais para localização de faltas que utilizam o deslocamento do local da falta na rede. Nela eliminam-se, dos possíveis locais de falta, os pontos que estão em ramais laterais geograficamente distantes do verdadeiro local da falta e que poderiam ser indicados pelos métodos convencionais de localização da faltas. Adicionalmente à técnica para localização de faltas, é proposto um modelo matemático de programação binária para fazer a alocação otimizada de medidores esparsos de tensões ao longo do alimentador com o propósito de melhorar a precisão do algoritmo desenvolvido, a partir da técnica proposta para a localização de faltas. Neste modelo matemático, busca-se manter a melhor relação custo-benefício para as empresas de energia, em termos de investimentos, custos operacionais e melhorias dos seus índices de confiabilidade, com a localização eficiente de faltas em suas redes de distribuição. Para a solução deste modelo matemático, propõe-se... (Resumo completo, clicar acesso eletrônico abaixo)
Abstract: An algorithm for fault location on overhead and radial electric power distribution feeders is proposed in this work. The proposed technique is able to be applied to three-phase feeders containing unbalanced loads. Also, the proposed technique has the ability to deal with feeders which has three-, two- or single-phase laterals. Equations that describe the network are derived based on the backward/forward sweep load flow methods. This characteristic makes the proposed fault location technique an efficient and fast computational tool. In order to develop this technique, it was considered that voltage measurements are available at the sending node of the feeder, as well sparse voltage measurements at some places on the feeder. Thus, this technique presents some advantages in comparison to the traditional technique for fault location which finds the faulty point by means of sliding the analyzed point on the network. By using traditional techniques, points located geographically far from the actual faulty point can be indicated as a faulty point. The proposed technique eliminates these points from the results. Additionally to the proposed technique, a binary programming model is presented for carrying out the optimized placement of voltage measurement devices along the feeder. The goal of this binary programming model is to enhance the accuracy of the proposed algorithm for fault location. This mathematical model is aimed at keeping the best costbenefit rate for the electric utilities, in terms of operational costs and improvements of reliability indices by means of an efficient fault location. A dedicated genetic algorithm is proposed for solving the optimization model. Results and simulation analyses are presented in order to validate the efficiency... (Complete abstract click electronic access below)
Doutor
34
Pereira, Rodrigo Aparecido Fernandes [UNESP]. "Localização de faltas em alimentadores de distribuição de energia elétrica usando medições esparsas de tensões." Universidade Estadual Paulista (UNESP), 2007. http://hdl.handle.net/11449/100372.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:30:52Z (GMT). No. of bitstreams: 0
Previous issue date: 2007-03-02Bitstream added on 2014-06-13T19:40:20Z : No. of bitstreams: 1
pereira_raf_dr_ilha.pdf: 1085197 bytes, checksum: 8d25137a551ef06a95af7c5112ebbaf6 (MD5)Fundação de Ensino Pesquisa e Extensão de Ilha Solteira (FEPISA)
Neste trabalho, é proposto um algoritmo para localização de faltas em alimentadores radiais aéreos de distribuição de energia elétrica. A técnica proposta aplica-se a alimentadores trifásicos com cargas desequilibradas, que podem possuir ramais laterais trifásicos, bifásicos e monofásicos. As equações da rede que compõem esta técnica foram desenvolvidas com base nos métodos de fluxo de potência do tipo varredura (backward/forward sweep), o que a torna uma ferramenta eficiente e de baixo esforço computacional. No desenvolvimento da mesma, considera-se que haja disponibilidade de medições de tensões no nó inicial do alimentador e também medições esparsas de tensão em alguns pontos ao longo do alimentador de distribuição. Esta técnica apresenta algumas vantagens quando comparada com as técnicas convencionais para localização de faltas que utilizam o deslocamento do local da falta na rede. Nela eliminam-se, dos possíveis locais de falta, os pontos que estão em ramais laterais geograficamente distantes do verdadeiro local da falta e que poderiam ser indicados pelos métodos convencionais de localização da faltas. Adicionalmente à técnica para localização de faltas, é proposto um modelo matemático de programação binária para fazer a alocação otimizada de medidores esparsos de tensões ao longo do alimentador com o propósito de melhorar a precisão do algoritmo desenvolvido, a partir da técnica proposta para a localização de faltas. Neste modelo matemático, busca-se manter a melhor relação custo-benefício para as empresas de energia, em termos de investimentos, custos operacionais e melhorias dos seus índices de confiabilidade, com a localização eficiente de faltas em suas redes de distribuição. Para a solução deste modelo matemático, propõe-se...
An algorithm for fault location on overhead and radial electric power distribution feeders is proposed in this work. The proposed technique is able to be applied to three-phase feeders containing unbalanced loads. Also, the proposed technique has the ability to deal with feeders which has three-, two- or single-phase laterals. Equations that describe the network are derived based on the backward/forward sweep load flow methods. This characteristic makes the proposed fault location technique an efficient and fast computational tool. In order to develop this technique, it was considered that voltage measurements are available at the sending node of the feeder, as well sparse voltage measurements at some places on the feeder. Thus, this technique presents some advantages in comparison to the traditional technique for fault location which finds the faulty point by means of sliding the analyzed point on the network. By using traditional techniques, points located geographically far from the actual faulty point can be indicated as a faulty point. The proposed technique eliminates these points from the results. Additionally to the proposed technique, a binary programming model is presented for carrying out the optimized placement of voltage measurement devices along the feeder. The goal of this binary programming model is to enhance the accuracy of the proposed algorithm for fault location. This mathematical model is aimed at keeping the best costbenefit rate for the electric utilities, in terms of operational costs and improvements of reliability indices by means of an efficient fault location. A dedicated genetic algorithm is proposed for solving the optimization model. Results and simulation analyses are presented in order to validate the efficiency... (Complete abstract click electronic access below)
35
Brito, Adélio Gonçalves. "A construção do herói no percurso narrativo da graphic novel Os 300 de Esparta: Do Dever à Vitória - uma jornada." Pontifícia Universidade Católica de São Paulo, 2012. https://tede2.pucsp.br/handle/handle/4426.
Full textAbstract:
Made available in DSpace on 2016-04-26T18:12:04Z (GMT). No. of bitstreams: 1
Adelio Goncalves Brito.pdf: 55870463 bytes, checksum: 4884765df8fcc405255c564841ce4601 (MD5)
Previous issue date: 2012-08-10The goal of this study is to investigate the semiotic building process of a hero in the graphic novel 300, by Frank Miller, through the identification of a unique style of the author, based on narrative protocols of this media. Object of the investigation and contextualization determinant of this construction, the language of comics is exposed and analyzed in what constitute it, that is, on what defines it as a genre and characterizes it as a singular media, propitious as an entertainment use, especially in its graphic novel format. So, the research predisposes to unravel this language discursive course (Comics in graphic novel format), through which represents and constitutes the character of King Leonidas, leader of the warrior campaign which gives name to the aforementioned graphic novel. Such unraveling is supported by a semiotic analysis of the representation games between the characters and the narrative in the journey of the hero, which justifies the use of a theoretical reflection provided by the narratology of Vladimir Propp, supported by the Haroldian study on Macunaíma and the deepened analysis on that subject made by the studies of Christopher Vogler, and, finally, under the perspective of myth Joseph Campbell. The studies showed a King Leonidas built from a rescue of he old style hero, celebrated in the early days of comics, associated with multiple layers of meanings, which are repeated in two other Miller s characters, while they identified a millerian style, that works with elements of comics language in an unusual way, combining them with other languages, such as film and painting
O objetivo desta pesquisa é investigar o jogo de construção semiótica do herói na graphic novel Os 300 de Esparta, do quadrinista Frank Miller, por meio da identificação de um estilo próprio do autor, embasado nos protocolos narrativos desta mídia. Objeto da investigação e contextualização determinante dessa construção, a linguagem dos quadrinhos é exposta e analisada naquilo que a constitui, ou seja, naquilo que a define como gênero e a caracteriza como uma mídia singular propícia ao uso como entretenimento, especialmente em seu formato de graphic novel. Assim, a pesquisa se predispõe a deslindar os percursos discursivos desta linguagem (História em Quadrinhos em seu formato graphic novel), por meio dos quais se representa e constitui a personagem do Rei Leônidas, que é o condutor da campanha guerreira a que se refere o título da HQ. Tal deslinde está embasado numa análise semiótica dos jogos de representação entre as personagens e a narrativa na jornada do herói, o que justifica o uso da reflexão teórica proporcionada pela narratologia de Vladimir Propp, apoiada pela análise haroldiana do Macunaíma, além dos aprofundamentos que os estudos de Christopher Vogler acrescentam e, por fim, sob a perspectiva do mito de Joseph Campbell. Os estudos apontaram um Rei Leônidas construído a partir do resgate do modelo antigo de herói, celebrado nos primórdios das HQs, associado a múltiplas camadas de significações, que se repetem em outras duas personagens consagradas de Miller, ao mesmo tempo em que identificou-se um estilo milleriano, que trabalha elementos da linguagem dos quadrinhos de maneira inusitada, combinando-os com outras linguagens, como cinema e pintura
36
Junges, Sebastian [Verfasser], Joost-Pieter [Akademischer Betreuer] Katoen, Alessandro [Akademischer Betreuer] Abate, and Javier [Akademischer Betreuer] Esparza. "Parameter synthesis in Markov models / Sebastian Junges ; Joost-Pieter Katoen, Alessandro Abate, Javier Esparza." Aachen : Universitätsbibliothek der RWTH Aachen, 2020. http://d-nb.info/1220729213/34.
Full text
37
Barbosa, Davis Pereira. "Estimação de energia para calorimetria em física de altas energias baseada em representação esparsa." Universidade Federal de Juiz de Fora (UFJF), 2017. https://repositorio.ufjf.br/jspui/handle/ufjf/5839.
Full textAbstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-09-28T18:09:06Z
No. of bitstreams: 1
davispereirabarbosa.pdf: 10683458 bytes, checksum: 8cd37a50126b8e958532ac4b151e99d4 (MD5)Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-10-09T19:24:00Z (GMT) No. of bitstreams: 1 davispereirabarbosa.pdf: 10683458 bytes, checksum: 8cd37a50126b8e958532ac4b151e99d4 (MD5)
Made available in DSpace on 2017-10-09T19:24:00Z (GMT). No. of bitstreams: 1 davispereirabarbosa.pdf: 10683458 bytes, checksum: 8cd37a50126b8e958532ac4b151e99d4 (MD5) Previous issue date: 2017-03-17
Esta tese propõe uma nova abordagem baseada em representação esparsa para o problema de estimação de energia em calorimetria de altas energias em cenários com empilhamento de sinais. Inserida dentro do programa de atualização do experimento ATLAS, no LHC, ela teve como principal motivação o aumento progressivo da luminosidade no colisionador e suas consequências relativas ao problema da estimação da energia nos canais do calorímetro eletromagnético do ATLAS, o LArg. Dois métodos de estimação foram propostos e denominados de SPARSE e SPARSE-COF, ambos utilizando programação linear na busca pela esparsidade. Esses métodos tiveram os seus desempenhos avaliados em diversas simulações e foram comparados com o método clássico utilizado nos calorímetros do ATLAS, denominado OF, e com o DM-COF, método recentemente desenvolvido para o calorímetro hadrônico do ATLAS que trata o problema de empilhamento de sinais em sua formulação. Nas diversas simulações realizadas, os métodos SPARSE e SPARSE-COF apresentaram desempenho superior aos demais, principalmente quando a janela de observação utilizada para a estimação da energia não contém todas as amostras do pulso típico do calorímetro, operando em cenários de empilhamento de sinais. Adicionalmente, através dados de simulações Monte Carlo do LArg, os métodos baseados em representação esparsa foram avaliados utilizando programação linear e também métodos esparsos de menor complexidade computacional,como o IRLS,o OMP e o LS-OMP. Os resultados mostraram que o método LS-OMP apresentou desempenho equivalente aos métodos e SPARSE e SPARSE-COF, qualificando-o como candidato a ser utilizado para estimação on-line de energia no LArg.
This thesis proposes a new approach based on sparse representation for the energy estimation problem in high energy calorimetry operating in pile-up scenarios. This work was mainly motivated by the progressive increase of the LHC luminosity and its consequences on the energy estimation problem for channels of the electromagnetic calorimeter of ATLAS (LArg), in the context of the ATLAS experiment upgrade program at the LHC. Two estimation methods were proposed and named SPARSE and SPARSE-COF, both using linear programming in the search for sparsity. These methods were evaluated in several simulations and compared with the classical method used in ATLAS calorimeters, called OF, and with DM-COF, a recently developed method for the ATLAS hadronic calorimeter that addresses pileup problem in its formulation. In the various simulations performed, SPARSE and SPARSE-COF methods performed better than others, especially when the observation window used for energy estimation does not contain all samples of the typical calorimeter pulse, operating in pile-up scenarios. In addition, through LArg Monte Carlo simulations, the methods based on sparse representation were evaluated using linear programming and also sparse methods with less computational complexity, such as IRLS, OMP and LS-OMP. The results showed that the LS-OMP method presented performance equivalent to the SPARSE and SPARSE-COF methods,qualifying it as a candidate to be used for online energy estimation in LArg.
38
Carmo, Fernanda Cristina do. "Análise da influência de algoritmos de reordenação de matrizes esparsas no desempenho do método CCCG(n)." Universidade Federal de Minas Gerais, 2005. http://hdl.handle.net/1843/SLBS-6GVEVL.
Full textAbstract:
In this work we investigate the influence of reordering algorithms on the performance of controlled Cholesky conjugate gradient method - CCCG(ç). This method has been proved to be ecient in solution of high linear systems with positive definite coecient matrix. It has been considered simple algorithms like column count and reverse thill-McKeeand more sophisticated algorithms like approximate minimum degree. Some numerical results on the eect of orderings on the fill-in and the iteration number have been presented. It is shown experimentally that certain reorderings like aproximated minimum degree can be very beneficial. The benefits consist of a faster convergence of the method and a lower storage requirements. Finally, the situation where a reordering can improve the CCCG(ç) was estabilished.Este trabalho consiste em analisar a influência de algoritmos de reordenação de matrizes esparsas no desempenho do método Cholesky controlado gradiente conjugado - CCCG(?). Este método tem se mostrado muito eficiente na solução de sistemas lineares de alta ordem com matriz simétrica e definida positiva.São estudados algoritmos mais simples como o contagem de colunas e o Cuthill-McKee reverso, além de algoritmos mais sofisticados como o mínimo grau aproximado. Alguns resultados numéricos com o efeito das reordenações no preenchimento e no número de iterações do método são apresentados, mostrando experimentalmente que certos algoritmos, como o mínimo grau aproximado, podem trazer benefícios.Estes benefícios consistem em uma aceleração da convergência do método e em uma redução da quantidade de armazenamento utilizado. Enfim, foi estabelecida a situação onde uma reordenação deve ser utilizada para melhorar o desempenho do CCCG(?).
39
Ribeiro, Danilo Amaral. "Representação esparsa para preenchimento de buracos de expansão em sínteses de vistas baseada em profundidade." reponame:Repositório Institucional da UnB, 2017. http://repositorio.unb.br/handle/10482/31959.
Full textAbstract:
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017.Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-11-21T19:10:40Z No. of bitstreams: 1 2017_DaniloAmaralRibeiro.pdf: 7488946 bytes, checksum: 08f8dcf4395334645d8a78d67d6eace9 (MD5)
Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-05-23T12:23:44Z (GMT) No. of bitstreams: 1 2017_DaniloAmaralRibeiro.pdf: 7488946 bytes, checksum: 08f8dcf4395334645d8a78d67d6eace9 (MD5)
Made available in DSpace on 2018-05-23T12:23:44Z (GMT). No. of bitstreams: 1 2017_DaniloAmaralRibeiro.pdf: 7488946 bytes, checksum: 08f8dcf4395334645d8a78d67d6eace9 (MD5) Previous issue date: 2018-05-23
Vídeo de ponto de vista livre (FVV - do inglês Free Viewpoint Video) permite diferentes opções de pontos de vista de uma mesma cena tri-dimensional (3D). Esse tipo de sistema normalmente possui um custo elevado devido aos equipamentos que devem ser utilizados para captura dos vários pontos de vista. Além disso, para realmente obter um sistema de FVV é necessário sintetizar vistas virtuais baseadas em imagens de referência fornecidas pelo sistema. Essa síntese corresponde a um ponto de vista que não é fornecido, mas que pode ser criado através de relações dos pixels originais. Um exemplo prático consiste em um observador que assiste a cena 3D e as imagens são sintetizadas com base na posição da cabeça do observador, que pode ocorrer em várias direções. Artigos da área retratam principalmente movimentos horizontais em relação a cena sendo que poucos levam em consideração movimentos de aproximação e distanciamento. Independente do deslocamento realizado a vista sintetizada apresenta buracos de pixels sintetizados que não possuem referência na imagem original, isso gera os erros de desoclusão e buracos de expansão. Este trabalho é um dos poucos na literatura que visa implementar esse processo de síntese de vista, preenchendo os buracos de expansão gerados com técnicas de inpainting. Para isso foi utilizando a técnica de representação esparsa com o treinamento de dicionários com regras nãoparamétricas bayesianas. Para avaliar os resultados alcançados foram utilizados métricas objetivas de comparação de imagem. Os resultados indicam um ganho de até 6.19 dB comparado com método de inpainting usado no software referência VSRS+.
Free Viewpoint Video (FVV) allows various observational points of the same threedimensional (3D) scene. A FVV system is usually very expensive due to the equipment that must be used to capture the different view-points. Moreover, in order to achieve real FVV it is required to synthesize a virtual view based on the the acquire images. This synthesis corresponds to a view-point that is not provided, but can be created by spatial relations of the original pixels. A practical example would be that of an observer watching a 3D scene, where the synthesized images are based on the position of the viewer's head, which can occur from several angles. Several articles of the area mainly portray horizontal movements in relation to the acquired signals, only a few consider movements of approximation and distance. Regardless of the displacement performed, the synthesized view has holes, which are synthesized pixels that do not have reference in the original image, this generates the disocclusion errors and expansion holes. This work is one of the few in the literature that aims to implement the synthesis process by filling the expansion holes generated with inpainting techniques. Specifically, we will be using sparse representation with the training of dictionaries with Bayesian nonparametric rules to perform the inpainting process. In order to evaluate the achieved results objective metrics, such as PSNR, were used. Our results yield a gain of up to 6.19 dB compared to the inpainting method used in the reference software VSRS+
40
Müller, David [Verfasser], Christel [Akademischer Betreuer] Baier, and Javier [Gutachter] Esparza. "Alternative Automata-based Approaches to Probabilistic Model Checking / David Müller ; Gutachter: Javier Esparza ; Betreuer: Christel Baier." Dresden : Technische Universität Dresden, 2019. http://d-nb.info/1226942644/34.
Full text
41
Wolff, Maria Cristina. "Tecnicas de resolução de sistemas lineares esparsos e atualização de matrizes esparsas para uso em algoritmos de otimização." [s.n.], 1989. http://repositorio.unicamp.br/jspui/handle/REPOSIP/305920.
Full textAbstract:
Orientador: Ana Friedlander de Martinez PerezDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica e Computação Científica
Made available in DSpace on 2018-07-14T03:58:54Z (GMT). No. of bitstreams: 1 Wolff_MariaCristina_M.pdf: 2694529 bytes, checksum: 9e4ad486b17ca9adb8dedddb2eff5b84 (MD5) Previous issue date: 1989
Resumo: Não informado.
Abstract: Not informed.
Mestrado
Otimização e Pesquisa Operacional
Mestre em Matemática Aplicada
42
Reis, Saulo Roberto Sodré dos. "Um método iterativo e escalonável para super-resolução de imagens usando a interpolação DCT e representação esparsa." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29122014-113437/.
Full textAbstract:
Num cenário em que dispositivos de aquisição de imagens e vídeo possuem recursos limitados ou as imagens disponíveis não possuem boa qualidade, as técnicas de super-resolução (SR) apresentam uma excelente alternativa para melhorar a qualidade das imagens. Nesta tese é apresentada uma proposta para super-resolução de imagem única que combina os benefícios da interpolação no domínio da transformada DCT e a eficiência dos métodos de reconstrução baseados no conceito de representação esparsa de sinais. A proposta busca aproveitar as melhorias já alcançadas na qualidade e eficiência computacional dos principais algoritmos de super-resolução existentes. O método de super-resolução proposto implementa algumas melhorias nas etapas de treinamento e reconstrução da imagem final. Na etapa de treinamento foi incluída uma nova etapa de extração de características utilizando técnicas de aguçamento por máscara de nitidez e construção de um novo dicionário. Esta estratégia busca extrair mais informações estruturais dos fragmentos de baixa e alta resolução do conjunto de treinamento e ao mesmo tempo reduzir o tamanho dos dicionários. Outra importante contribuição foi a inclusão de um processo iterativo e escalonável no algoritmo, reinserindo no conjunto de treinamento e na etapa de reconstrução, uma imagem de alta resolução obtida numa primeira iteração. Esta solução possibilitou uma melhora na qualidade da imagem de alta resolução final utilizando poucas imagens no conjunto de treinamento. As simulações computacionais demonstraram a capacidade do método proposto em produzir imagens com qualidade e com tempo computacional reduzido.In a scenario in which the acquisition systems have limited resources or available images do not have good quality, the super-resolution (SR) techniques have become an excellent alternative for improving the image quality. In this thesis, we propose a single-image super-resolution (SR) method that combines the benefits of the DCT interpolation and efficiency of sparse representation method for image reconstruction. Also, the proposed method seeks to take advantage of the improvements already achieved in quality and computational efficiency of the existing SR algorithms. The proposed method implements some improvements in the dictionary training and the reconstruction process. A new dictionary was built by using an unsharp mask technique to characteristics extraction. Simultaneously, this strategy aim to extract more structural information of the low resolution and high resolution patches and reduce the dictionaries size. Another important contribution was the inclusion of an iterative and scalable process by reinserting the HR image obtained of first iteration. This solution aim to improve the quality of the final HR image using a few images in the training set. The results have demonstrated the ability of the proposed method to produce high quality images with reduced computational time.
43
Apinis, Kalmer [Verfasser], Helmut [Akademischer Betreuer] Seidl, and Estaun Francisco Javier [Akademischer Betreuer] Esparza. "Frameworks for analyzing multi-threaded C / Kalmer Apinis. Gutachter: Helmut Seidl ; Francisco Javier Esparza Estaun. Betreuer: Helmut Seidl." München : Universitätsbibliothek der TU München, 2014. http://d-nb.info/105299542X/34.
Full text
44
Decker, Normann [Verfasser], Martin [Akademischer Betreuer] Leucker, and Javier [Akademischer Betreuer] Esparza. "Model checking for flat systems and temporal logic with counting / Normann Decker ; Akademische Betreuer: Martin Leucker, Javier Esparza." Lübeck : Zentrale Hochschulbibliothek Lübeck, 2021. http://d-nb.info/1225576393/34.
Full text
45
Vieira, Heitor de Freitas. "Provendo resiliência em uma rede de sensores sem fio linear e esparsa através de veículo aéreo não tripulado." Universidade de São Paulo, 2015. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14082015-103230/.
Full textAbstract:
A mitigação de desastres naturais exige respostas rápidas e confiáveis. No Brasil, a estação de chuvas provoca muitos alagamentos em regiões urbanas e, para monitorar esse fenômeno, foi instalada em São Carlos-SP uma rede de sensores sem fio para acompanhar o nível de água dos rios da cidade. Entretanto, essa rede de sensores está suscetível a falhas que podem comprometer o funcionamento do sistema, e a adoção de mecanismos redundantes e de redes móveis 3G podem acarretar em custos proibitivos à monitoração desses rios, além de não garantirem a operação normal desse monitoramento. Assim, este trabalho apresenta uma solução baseada em veículo aéreo não tripulado (VANT) para reduzir os problemas oriundos das falhas em uma rede de sensores para detectar desastres naturais como enchentes e deslizamentos. Na solução proposta, o VANT pode ser transportado para o sítio do desastre para minimizar os problemas provenientes das falhas (por exemplo, para servir como um roteador ou até mesmo para servir como uma mula de dados e transmitir imagens em tempo real para equipes de resgate). Estudos foram conduzidos em um protótipo real, equipado com o UAV Brain (módulo computacional desenvolvido especificamente para este projeto), para uma análise exploratória do consumo energético do VANT e do rádio transmissor que equipa o VANT. Os resultados mostram que a melhor situação para o rádio comunicador se dá quando o VANT está no ar e com uma antena de maior ganho, e os fatores que mais influenciam no consumo energético do rádio são a altura do VANT e o tipo de antena utilizado. Além disso, tais resultados mostram também a viabilidade desta proposta em redes de sensores sem fio linear e esparsa.The mitigation of natural disasters requires quick and reliable answers. In Brazil, the rainy season causes many flooding in urban areas and, to monitor this phenomenon, a wireless sensor network to monitor the water level of the citys rivers was installed in São Carlos-SP. However, this sensor network is susceptible to failures that may jeopardize the operation of the system, and the adoption of redundant mechanisms and 3G mobile networks may result in prohibitive costs to the monitoring of these rivers, and does not guarantee the normal operation of monitoring. This work presents an aerial vehicle-based solution unmanned (UAV) to reduce the problems originated from failures in a network of sensors to detect natural disasters such as floods and landslides. In the proposed solution, the UAV can be transported to the disaster site to minimize problems arising from failures (eg, to serve as a router or even to serve as a data mule and transmit images in real time for rescue teams). Studies were conducted in a real prototype, equipped with UAV Brain (computational module developed specifically for this project), for an exploratory analysis of the energy consumption UAV and radio transmitter fitted to the UAV. The results show that the best situation for the radio communicator is when the UAV is in the air and with a higher gain antenna, and the factors that most influence on the radio energy consumption are the height of the UAV and the type of antenna used. Furthermore, these results also show the feasibility of this proposal in linear and sparse wireless sensor networks.
46
Assumpção, Luis Filipe Bantim de. "Discurso e representação sobre as práticas rituais dos esparciatas e dos seus basileus na Lacedemônia, do século V a.C." Universidade do Estado do Rio de Janeiro, 2014. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=7209.
Full textAbstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorA história da pólis de Esparta como, por vezes, nos foi apresentada tomou uma perspectiva historiográfica dotada de pressupostos Atenocêntricos, os quais acabaram apresentando-a como rústica, dotada de uma economia e uma cultura estática e demasiadamente inclinada às atividades militares. No entanto, através de nossa pesquisa verificamos que as práticas político-culturais dos cidadãos de Esparta eram dinâmicas, para sua época. Seguindo por esse viés, verificamos que as representações de Esparta, sobretudo dos esparciatas e dos seus basileus, variaram de acordo com o grupo social e o contexto histórico em que foram empregadas. Com isso, observamos que embora os cidadãos de Esparta tenham sido, em algumas circunstâncias, criticados pelos pensadores antigos, esta não foi uma tendência hegemônica. Sendo assim, mediante os indícios da documentação literária do período Clássico, notamos que os esparciatas e os seus basileus teriam sido homens dotados de um habitus tradicional, o qual valorizava o aprimoramento físico e mental, assim como a responsabilidade com os deveres sagrados. Através da interação entre os vestígios documentais e dos estudos historiográficos mapeamos parte das representações de Esparta que figuraram os diversos discursos no decorrer da história do Ocidente, no intuito de materializarmos as possíveis motivações político-culturais nas apropriações do habitus espartano. Por conseguinte, recorremos à documentação literária para entendermos como parte dos pensadores clássicos concebeu, por meio de uma memória ancestral, a formação da região da Lacedemônia e da pólis de Esparta, a qual teria se dado concomitantemente com a legitimação político-cultural da identidade étnica dos basileus e dos esparciatas. Por fim, analisamos as práticas rituais em honra ao deus Apolo como um mecanismo empregado pelos segmentos sociais hegemônicos da Lacedemônia para ratificar o seu poder político frente a grupos sociais submetidos.
The history of Sparta sometimes was presented in Athenocentric perspective, which considered Sparta as a rustic society, with static economy and culture, leaning only military activities. However, our research has shown that policies and cultural practices of the citizens of Sparta were dynamic for his time. Following in this way, we find that the representations of Sparta, especially the spartiates and its basileis, ranged according to the historical and social context. Thus, we observe that although the citizens of Sparta were criticized by some ancient thinkers, this wasnt a hegemonic tendency. Upon the evidence of Classical literary documentation, we note that the spartiates and their basileis were men endowed with a traditional habitus, which valued the physical and mental improvement, but also the responsibility to the sacred duties. Through interaction between documentary traces and historiographical studies we charted part of Sparta that figured the discourses throughout the history of the West, in order to materialize the possible political and cultural motivations in the appropriations of Spartans habitus. Therefore, we refer to literary documentation to understand as part of classical thinkers conceived the formation of Lacedaemon region and the polis of Sparta, which would have given concomitantly with the cultural and political legitimation of ethnic identity of the basileus and the spartiates. Finally, we analyze the rituals practices in honor of the god Apollo as a mechanism employed to ratify the political power of hegemonic social segments of Lacedaemon against the subjected social groups.
47
Maranhão, Viviane Teles de Lucca. "Estudo de técnicas de paralelização de métodos computacionais de fatoração de matrizes esparsas aplicados à redes bayesianas e redes credais." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/45/45132/tde-27082013-111753/.
Full textAbstract:
Neste trabalho demos continuidade ao estudo desenvolvido por Colla (2007) que utilizou-se do arcabouço de álgebra linear com técnicas de fatoração de matrizes esparsas aplicadas à inferência em redes Bayesianas. Com isso, a biblioteca computacional resultante possui uma separação clara entre a fase simbólica e numérica da inferência, o que permite aproveitar os resultados obtidos na primeira etapa para variar apenas os valores numéricos. Aplicamos técnicas de paralelização para melhorar o desempenho computacional, adicionamos inferência para Redes Credais e novos algoritmos para inferência em Redes Bayesianas para melhor eciência dependendo da estrutura do grafo relacionado à rede e buscamos tornar ainda mais independentes as etapas simbólica e numérica.In this work we continued the study by Colla (2007), who used the framework of linear algebra techniques with sparse matrix factorization applied to inference in Bayesian networks. Thus, the resulting computational library has a clear separation between the symbolic and numerical phase of inference, which allows you to use the results obtained in the rst step to vary only numeric values. We applied parallelization techniques to improve computational performance, we add inference to Credal Networks and new algorithms for inference in Bayesian networks for better eciency depending on the structure of the graph related to network and seek to become more independent symbolic and numerical steps.
48
Rodrigues, Claudiane Fonseca. "Análise comparativa entre os métodos decomposição em valores singulares e análise de componentes principais envolvendo matrizes esparsas de grande porte." Universidade Federal de Minas Gerais, 2011. http://hdl.handle.net/1843/SLSS-8KEEX2.
Full textAbstract:
The Singular Value Decomposition and Principal Component Analysis techniques are from different areas and have different purposes. Nevertheless, they are often confused. Moreover, apart from more theoretical works, few studies know which technique to use. Questions such as: can a less elaborate choice between the techniques degrade the quality of a task? and when to use each one? are neglected in the literature. In addition, the eficient manipulation and analysis of large volumes of data has become a computational challenge due to the high dimensionality and sparsity of data, which makes it important to use techniques that benefit both the performance and the quality of analysis. However, current studies do not compare the use of those techniques, especially in sparse matrices of high order. So our goal is to compare and find differences between the two techniques on data classification task.As técnicas Decomposição em Valores Singulares e Análise de Componentes Principais são oriundas de áreas diferentes e possuem objetivos distintos. Apesar disso, são comumente confundidas. Mais ainda, salvo em trabalhos mais teóricos, poucos estudos sabem quando preterir o uso de uma técnica frente a outra. Perguntas tais como: a escolha não elaborada entre as técnicas pode degradar a qualidade de uma tarefa? e quando utilizar cada uma delas? são negligenciadas na literatura. Além disso, a manipulação e análise eficientes de grandes volumes de dados é hoje um desafio computacional devido à alta dimensionalidade e esparsidade dos dados, o que torna relevante utilizar técnicas que beneficiem tanto o desempenho quanto a qualidade das análises. No entanto, os trabalhos atuais não comparam o uso das técnicas, principalmente, em matrizes esparsas de alta ordem. Assim, nosso trabalho consiste em comparar e verificar diferenças entre as duas técnicas sobre a tarefa de classificação de dados.
49
Reuß, Andreas [Verfasser], Helmut [Akademischer Betreuer] Seidl, and Estaun Francisco Javier [Akademischer Betreuer] Esparza. "Normalization of Horn Clauses with Disequality Constraints / Andreas Reuß. Gutachter: Helmut Seidl ; Francisco Javier Esparza Estaun. Betreuer: Helmut Seidl." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1036974731/34.
Full text
50
Müller, Alexander Christian [Verfasser], Helmut [Akademischer Betreuer] Seidl, Estaun Francisco Javier [Gutachter] Esparza, and Helmut [Gutachter] Seidl. "Proving Noninterference in Multi-Agent Systems / Alexander Christian Müller ; Gutachter: Francisco Javier Esparza Estaun, Helmut Seidl ; Betreuer: Helmut Seidl." München : Universitätsbibliothek der TU München, 2020. http://d-nb.info/1220831417/34.
Full text