Submitted by Marcel Bertini Ribeiro (marcelbertini@gmail.com) on 2014-02-06T20:29:45Z No. of bitstreams: 1 Dissertação - Marcel Ribeiro.pdf: 509897 bytes, checksum: 04767279e83eb610eee9a0009dc796a0 (MD5) / Approved for entry into archive by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br) on 2014-02-07T18:49:46Z (GMT) No. of bitstreams: 1 Dissertação - Marcel Ribeiro.pdf: 509897 bytes, checksum: 04767279e83eb610eee9a0009dc796a0 (MD5) / Made available in DSpace on 2014-02-07T18:58:09Z (GMT). No. of bitstreams: 1 Dissertação - Marcel Ribeiro.pdf: 509897 bytes, checksum: 04767279e83eb610eee9a0009dc796a0 (MD5) Previous issue date: 2014-01-24 / Este trabalho desenvolve um novo 'canal de Confiança' da política fiscal e caracteriza a política ótima quando esse canal é levado em consideração. Para esse objetivo, utilizamos um modelo estático com (i) concorrência monopolística, (ii) custos de ajustamento fixos para investir, (iii) complementaridade estratégica devido a informação imperfeita com respeito a produtividade agregada, e (iv) bens privados como substitutos imperfeitos de bens privados. Este arcabouço acomoda a possibilidade de falhas de coordenação nos investimentos, mas apresenta um equilíbrio único. Mostramos que a política fiscal tem efeitos importantes na coordenação. Um aumento dos gastos do governo leva a uma maior demanda por bens privados. Mais importante, este também afeta as expectativas de ordem superior com relação a demanda das demais firmas, que amplifica os efeitos do aumento inicial da demanda devido a complementaridade estratégica nas decisões de investimento. Como as demais firmas estão se deparam com uma demanda maior, espera-se que estas invistam mais, que por sua vez, aumenta a demanda individual de cada firma, que aumenta os incentivos a investir. Denominamos isto como o 'canal de confiança' da política fiscal. Sob a ameaça de falhas de coordenação, a política fiscal ótima prescreve produzir além do ponto em que o benefício marginal resultante do consumo de bens públicos é igual ao custo marginal desses bens. Este benefício adicional vem do fato de que a política fiscal pode ampliar a coordenação dos investimentos. / This paper proposes a new 'confidence channel' of fiscal policy and characterizes the optimal policy taking this channel into account. We develop a static macroeconomic model with (i) monopolistic competition, (ii) fixed adjustment costs for investing, (iii) strategic uncertainty owing to imperfect information about aggregate productivity, and (iv) public goods as imperfect substitutes of private goods. This framework accommodates the possibility of investment coordination failures, but presents a unique equilibrium. We show that fiscal policy has important effects on coordination. An increase in government expenditure leads to higher demand for private goods. Importantly, it also affects higher-order expectations of other firms’ demand, which amplifies the effects of the initial increase in demand, owing to the strategic complementarities in investment decisions. Since other firms are facing higher demand, they are expected to invest more, which raises demand for an individual firm and, consequently, raises its incentives to invest. We dub this the 'confidence channel' of fiscal policy. Under the threat of coordination failures, the optimal fiscal policy prescribes producing beyond the point where the marginal benefit from consuming public goods equals their marginal cost. The additional benefit comes from fiscal policy enhancing the investment coordination.

Submitted by Daniela Lima (dclima@gmail.com) on 2014-04-10T20:56:55Z No. of bitstreams: 1 Dissertação Entrega Biblioteca.pdf: 452787 bytes, checksum: 4b6841bee37bdbe0805529f651146294 (MD5) / Rejected by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br), reason: Bom dia Daniela, Como seu trabalho é em inglês o ABSTRACT vem antes do resumo. Você configurou as páginas de acordo com as normas? Esquerda - 3 e 2 cm Direita - 3 e 2 cm Grata. Suzi 3799-7876 on 2014-04-11T12:27:54Z (GMT) / Submitted by Daniela Lima (dclima@gmail.com) on 2014-04-14T16:15:51Z No. of bitstreams: 1 Dissertação Entrega Biblioteca.pdf: 452787 bytes, checksum: 4b6841bee37bdbe0805529f651146294 (MD5) / Rejected by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br), reason: Bom dia Daniela, Rejeitei para você encaminhar o arquivo correto. Grata. Suzi on 2014-04-15T11:37:54Z (GMT) / Submitted by Daniela Lima (dclima@gmail.com) on 2014-04-15T12:43:08Z No. of bitstreams: 1 Dissertação Entrega Biblioteca_vf.pdf: 410141 bytes, checksum: 2b12b24430bb9a66258680f9356e6d04 (MD5) / Rejected by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br), reason: Daniela, sua dissertação é inglês então o ABSTRACT vem antes do Resumo. Att. Suzi 3799-7876 on 2014-04-15T14:00:53Z (GMT) / Submitted by Daniela Lima (dclima@gmail.com) on 2014-04-15T14:51:34Z No. of bitstreams: 1 Dissertação Entrega Biblioteca_vf.pdf: 410141 bytes, checksum: a8533d96bc13104589c00e80f7e5a22f (MD5) / Approved for entry into archive by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br) on 2014-04-15T15:09:48Z (GMT) No. of bitstreams: 1 Dissertação Entrega Biblioteca_vf.pdf: 410141 bytes, checksum: a8533d96bc13104589c00e80f7e5a22f (MD5) / Made available in DSpace on 2014-04-15T15:54:35Z (GMT). No. of bitstreams: 1 Dissertação Entrega Biblioteca_vf.pdf: 410141 bytes, checksum: a8533d96bc13104589c00e80f7e5a22f (MD5) Previous issue date: 2014-03-11 / Credit market in Brazil distinguishes from advanced economies in many aspects. One of them is related to collaterals for households borrowing. This work proposes a DSGE framework, based on Gerali et al.(2010), to analyse one pecularity of Brazillian credit market: payroll-deducted personal loans. To original model, we added the possibility to households contract long term debt and compare to differents types of credit constrains: one based on housing and other based on future income. We callibrate and estimate the model to Brazil, using Bayesian technique. Results show that, in a economy where credit constraints are based on income, responses to shocks appear to be stronger, at first, but dissipate faster. This occurs because income responds quickly to shock than housing prices, so does amount available to loans. In order to smooth consumption, agents compensate lower income and borrowing by increasing working hours, restoring loans and debt in a shorter time. / O mercado de crédito brasileiro se diferencia em diversos pontos dos mercados em economias avançadas, com relação à composição do crédito, prazo médio, dentre outros. Uma dessas divergências refere-se ao colateral. Neste sentido, este trabalho propõe um modelo DGSE, com base no arcabouço desenvolvido por Gerali et al. (2010) para analisar uma peculiaridade do mercado de crédito brasileiro, o crédito consignado. Ao modelo original, acrescentamos a possibilidade de indivíduos se endividaram e analisamos dois tipos de restrição ao crédito: uma com base na renda futura esperada outra com base no patrimônio imobiliário do agente. Nós calibramos e estimamos Bayesianamente o modelo para a economia brasileira. Os resultados mostram a reação ao choque na economia cujo crédito se baseia na renda parece ser mais intensa e se dissipar mais rapidamente do que na economia com base em housing. Isso decorre do fato de que a renda responde mais rapidamente a choques do que os preços de imóveis, e, dessa forma, a oferta de crédito consignado também.

La synthèse de champs sonores est un domaine de recherche actif trouvant de nombreuses applications musicales, multimédias ou encore industrielles. Dans ce dernier cas, la reconstruction précise du champ sonore est souhaitée, ce qui implique de répondre à un certains nombre de questionnements scientifiques. À l'aide de réseaux de microphones et de haut-parleurs, la captation, la synthèse et la reconstruction précise de champs sonores sont théoriquement possibles. Seulement, pour des applications pratiques, la disposition des haut-parleurs et l'influence acoustique du lieu de restitution sont des facteurs cruciaux à prendre en compte pour s'assurer de la bonne reconstruction du champ sonore.Dans ce contexte, cette thèse de doctorat propose des méthodes et des techniques pour la captation, la transformation et la reconstruction précise de champs sonores en trois dimensions en se basant sur la méthode ambisonique d'ordre élevé. Une configuration sphérique pour le réseau de microphones et de haut-parleurs est proposée. Elle suit un maillage de Lebedev à cinquante points qui permet la captation et la reconstruction du champ sonore jusqu'à l'ordre 5 avec le formalisme ambisonique. Les limitations de cette approche, tel le repliement spatial, sont étudiés en détails.De plus, une opération de transformation du champ sonore est présentée. Elle est établie dans le domaine des harmoniques sphériques et permet d'effectuer un filtrage directionnel avant le décodage pour privilégier certaines directions dans le champ sonore, suivant une fonction de directivité choisie.Pour la reconstruction, une approche originale, également établie dans le domaine des harmoniques sphériques, permet de prendre en compte l'influence acoustique du lieu de restitution, ainsi que les défauts du système de restitution. Ce traitement permet alors d'adapter la synthèse de champs sonores au lieu de restitution, en conservant le formalisme théorique établi en champ libre.Finalement, une validation expérimentale des méthodes et des techniques développées au cours de la thèse est faite. Dans ce contexte, une suite logicielle de synthèse et traitement en temps-réel des champs sonore est développée. / Sound field synthesis is an active research domain with various musical, multimedia or industrial applications. In the latter case, the accurate reconstruction of the sound field is targeted, which involves answering several scientific questions. Using arrays of microphones and loudspeakers, the capture, synthesis and accurate reconstruction of sound fields are theoretically possible. However, for practical applications, the arrangement of the loudspeakers and the acoustic influence of the restitution room are critical factors to consider in order to ensure the accurate reconstruction of the sound field.In this context, this thesis proposes methods and techniques for the capture, transformations and accurate reconstruction of sound fields in three dimensions based on the Higher Order Ambisonics (HOA) method. A spherical configuration for the array of microphones and loudspeakers is proposed. It follows a fifty-node Lebedev grid that enables the capture and reconstruction of the sound field up to order 5 with HOA formalism. The limitations of this approach, such as the spatial aliasing, are studied in detail.A transformation operation of the sound field is also proposed. The formulation is established in the spherical harmonics domain and enables a directional filtering on the sound field prior to the decoding step.For the reconstruction of the sound field, and original approach, also established in the spherical harmonics domain, can take into account the acoustic influence of the restitution room and the defects of the playback system. This treatment then adapts the synthesis of sound fields to the restitution room, maintaining the theoretical formalism established in free field.Finally, an experimental validation of methods and techniques developed in the thesis is made. In this context, a digital signal processing toolkit is developed. It process in real-time the microphones, ambisonics, and loudspeaker signals for the sound field capture, transformations, and decoding.

The aim of this study was to investigate the role of Technology teachers’ knowledge in promoting learners’ higher order thinking skills. This aim was addressed by conducting the relevant literature survey and an empirical investigation. Four schools were selected in the Johannesburg West District. Here, twelve Grade 7 Technology teachers, three from each school, were interviewed and observations conducted. The data was analysed and findings presented ultimately. The findings reveal that Technology teachers who possess a greater depth of technological content knowledge, pedagogical knowledge and assessment knowledge are more effective in as far as promoting learners’ higher order thinking. On the other hand, Technology teachers who possess a shallow technological content knowledge, pedagogical knowledge and assessment knowledge struggle to promote learners’ higher order thinking. The main conclusions drawn from this study are that Technology teachers’ knowledge can play a role in learners’ acquisition of higher order thinking skills. Therefore, Technology teachers should acquire a sound technological knowledge in order to be able to promote learners’ acquisition of higher order thinking skills. / Curriculum and Instructional Studies / M. Ed. (Curriculum Studies) / Technology -- Study and teaching (Secondary) -- South Africa -- Johannesburg -- Case studies / Critical thinking -- South Africa -- Johannesburg -- Case studies

Dans le contexte médico-chirurgical, la robotique peut être d’un grand intérêt pour des procédures plus sûres et plus précises. Les contraintes d’encombrement sont cependant très fortes et des mobilités complexes peuvent être nécessaires. A ce jour, la conception de mécanismes non conventionnels dédiés est alors difficile à réaliser faute d’outils génériques permettant une évaluation rapide de leurs performances. Cette thèse associe la continuation de haut-degré et la différentiation automatique pour répondre à cette problématique en introduisant une méthode de modélisation et un formalisme génériques pour la conception de mécanismes. Nos contributions concernent en particulier le développement d’outils numériques pour l’évaluation de l’espace de travail, et de la localisation et la nature des singularités d’un mécanisme, et une analyse de sensibilité de haut-degré. Ceux-ci sont évalués sur des mécanismes de référence. / In the medical and surgical background, robotics can be of great interest for safer and more accurate procedures. Size constraints are however strong and complex movements may be necessary. To date, the design of dedicated non-conventional mechanisms is then a difficult task because of a lack of generic tools allowing a fast evaluation of their performances. This thesis combines higher-order continuation and automatic differentiation to adress this issue through the introduction of a generic modelling method and a generic formalism for mechanism design. Our contributions especially concern the development of numerical tools for the evaluation of the workspace, of the singularity localization and nature, and for a higher-order sensitivity analysis. These tools are evaluated on reference mechanisms.

L'objectif de ce travail de thèse est d'étudier analytiquement et numériquement le comportementdynamique non-linéaire des rotors, en prenant en compte des effets significatifs comme les grandesdéformations en flexion, les non-linéarités géométriques et le cisaillement. Le manuscrit est diviséen trois parties principales. Dans la première partie, le principe de Hamilton est utilisé pour formulerles équations du mouvement qui prennent en compte un ensemble d’effets non-linéaires comme desdéformations d'ordre supérieur en flexion et le cisaillement. De plus, si les supports du rotor nepermettent pas à l'arbre de se déplacer dans la direction axiale, il y a alors une force dynamiqueharmonique agissant axialement sur le rotor en fonctionnement. Ces modèles se composentd’équations différentielles non-linéaires du deuxième et du quatrième ordre.Les deux parties suivantes sont consacrées à la résolution des différents modèles non-linéairesdéveloppés dans la première partie. Des méthodes analytiques et numériques sont appliquées afin detraiter les équations non-linéaires du mouvement. Une méthode basée sur des développementsasymptotiques, la méthode des échelles multiples (MEM) est utilisée. Les courbes de réponse sonttracées pour différentes résonances possibles et l'effet de la non-linéarité est discuté par rapport àl'analyse linéaire. La réponse forcée du système provoquée par un balourd est également présentéepour plusieurs configurations du rotor. Lorsque les déformations de cisaillement sont prises encompte, l'analyse est effectuée pour différents élancements afin de mettre en évidence cet effet sur ladynamique d’un système arbre-disque / The objective of the present work is to investigate the nonlinear dynamic behavior of the rotorsystems analytically and numerically, taking into account the significant effects, for example, higherorder large deformations in bending, geometric nonlinearity and shear effects.This thesis is dividedinto two major parts. In the first part, Hamilton’s principle is used to derive the equations of motionwhich take into account various effects, for example, nonlinearity due to higher order largedeformations in bending and shear effects. In addition, if the supports of the rotor do not allow theshaft to move in the axial direction, then there will be a dynamical force acting axially on the rotoras it operates. The mathematical models are composed of coupled nonlinear differential equations ofthe 2nd and the 4th order.In the second part, the resolution of various nonlinear models developed in the first part isaddressed. Analytical and numerical methods are applied for treating the nonlinear equations ofmotion. A method based on asymptotic developments, the method of multiple scales (MMS) is used.The response curves are plotted for different possible resonance conditions and the effect ofnonlinearity is discussed with respect to the linear analysis. The forced response of the system due toa mass unbalance is also presented for various configurations of the rotor. When shear deformationsare taken into account, the analysis is performed for various slenderness ratios to highlight sheareffects on the dynamics of the shaft-disk rotor systems

Une ligne de recherche présente dans la littérature depuis les années soixante est celle des \emph{théorèmes de représentation}. Son résultat fondateur est le théorème de Chomsky--Schützenberger qui stipule qu'un langage est algébrique si et seulement si il est l'image par homomorphisme de l'intersection entre un langage régulier et le langage de Dyck. Ce résultat a connu depuis diverses généralisations à différentes familles de langages. Dans cette thèse, nous proposons plusieurs généralisations de ce résultat aux langages d'ordres supérieurs. En particulier, nous introduisons une notion de langages de Dyck d'ordres supérieurs, nous définissons et étudions des classes de transductions que nous qualifions d'$\varepsilon$-sûres et nous montrons qu'un langage appartient à un niveau $k+l$ de la hiérarchie des ordres supérieurs si et seulement si il est l'image d'un langage de Dyck de niveau $k$ par une transductions $\varepsilon$-sûre de niveau $l$. Ces résultats nous permettent aussi d'obtenir d'autres types de caractérisations tels que des caractérisations logiques. / Amongst the classical results of the language theory, one can cite the known characterization of algebraic languages proved by Chomsky and Schützenberger and which states that a language is algebraic if and only if it is the homomorphic image of a regular set intersected with the Dyck language. This result has opened a new line of research and defined a new type of characterizations known as \emph{representation theorems}. In this thesis, we prove various representation theorems for the higher order languages hierarchy. In particular, we introduce a notion of higher order Dyck languages and a hierarchy of classes of transductions that we call $\varepsilon$-stable (or $\varepsilon$-safe) transductions and we prove that a language belongs to some level $k+l$ of the higher order hierarchy if and only if it can be represented as the image of a level-$k$ Dyck language by a level-$l$ $\varepsilon$-stable transduction. These representations also allow us to approach other types of characterizations such as logical characterizations.

Métodos de simulação baseados em dinâmica de fluidos computacional (DFC) têm sido empregado em diversas areas de estudo, tais como aeroacústica, dinâmica dos gases, fluidos viscoelásticos, entre outros. Entretanto, a necessidade de maior acurácia e desempenho destes métodos têm dado origem a soluções representadas por conjuntos de dados cada vez mais complexos. Neste contexto, técnicas voltadas à extração de estruturas relevantes (features), e sua posterior visualização, têm um papel muito importante, tornando mais fácil e intuitiva a análise dos dados gerados por simulações. Os métodos de extração de estruturas detectam e isolam elementos significativos no contexto da análise dos dados. No caso da análise de fluidos, estas estruturas podem ser isosuperfícies de pressão, vórtices, linhas de separação, etc. A visualização, por outro lado, confere atributos visuais a estas estruturas, permitindo uma análise mais intuitiva através de sua inspeção visual. Tradicionalmente, métodos de DFC representam suas soluções como funções lineares definidas sobre elementos do domínio. Entretanto, a evolução desses métodos tem dado origem a soluções representadas analiticamente através de funções de alta ordem. Apesar destes métodos apresentarem características desejáveis do ponto de vista de eficiência e acurácia, os dados gerados não são compatíveis com os métodos de extração de estruturas ou de visualização desenvolvidos originalmente para dados interpolados linearmente. Uma alternativa para este problema consiste na redução da ordem dos dados através de reamostragem e posterior aplicação de métodos tradicionais para extração de estruturas e visualização. Porém, o processo de amostragem pode introduzir erros nos dados ou resultar em excessivo consumo de memória, necessária ao armazenamento das amostras. Desta forma, torna-se necessário o desenvolvimento de métodos de extração e visualização que possam operar diretamente sobre os dados de alta ordem. As principais contribuições deste trabalho consistem em dois métodos que operam diretamente sobre dados de alta ordem. O primeiro consiste em um método para extração e visualização de isosuperfícies. O método baseia-se em uma abordagem híbrida que, ao distribuir o esforço computacional envolvido na extração e visualização das isosuperfícies em operações executadas nos espaços do objeto e da imagem, permite a exploração interativa de isosuperfícies através da troca de isovalores. O segundo método consiste em uma técnica para extração de estruturas lineares, onde a avaliação da forma intervalar do operador parallel vectors, em conjunto com métodos de subdivisão adaptativa, é utilizada como critério de pesquisa destas estruturas. Ambos os métodos foram projetados para tirarem proveito do paralelismo do hardware gráfico. Os resultados obtidos são apresentados tanto para dados sintéticos quanto para dados de simulações gerados através do método de Galerkin discontínuo. / Computational fluid dynamics (CFD) methods have been employed in the studies of subjects such as aeroacoustics, gas dynamics, turbo machinery, viscoelastic fluids, among others. However, the need for accuracy and high performance resulted in methods whose solutions are becoming increasingly more complex. In this context, feature extraction and visualization methods play a key role, making it easier and more intuitive to explore and analyze the simulation data. Feature extraction methods detect and isolate relevant structures in the context of data analysis. In the case of flow analysis, these structures could be pressure isocontours, vortex cores, detachment lines, etc. By assigning visual attributes to these structures, visualization methods allow for a more intuitive analysis through visual inspection. Traditionally, CFD methods represent the solution as piecewise linear basis functions defined over domain elements. However, the evolution of CFD methods has led to solutions represented analytically by higher-order functions. Despite their accuracy and efficiency, data generated by these methods are not compatible with feature extraction and visualization methods targeted to linearly interpolated data. An alternative approach is resampling, which allows the use of existing low order feature extraction and visualization methods. However, resampling is not desirable since it may introduce error due to subsampling and increase memory consumption associated to samples storage. To overcome these limitations, attention has recently been given to methods that handle higher-order data directly. The main contributions of this thesis are two methods developed to operate directly over higher-order data. The first method consists of an isocontouring method. It relies on a hybrid technique that, by splitting the isocontouring workload over image and object space computations, allows for interactive data exploration by dynamically changing isovalues. The second method is a line-type feature extraction method. The search for features is accomplished using adaptive subdivision methods driven by the evaluation of the inclusion form of the parallel vectors operator. Both methods were designed to take advantage of the parallelism of current graphics hardware. The obtained results are presented for synthetic and real simulation higher-order data generated with the discontinuous Galerkin method.

Graph-based semi-supervised learning (SSL) algorithms have been widely studied in the last few years. Most of these algorithms were designed from unconstrained optimization problems using a Laplacian regularizer term as smoothness functional in an attempt to reflect the intrinsic geometric structure of the datas marginal distribution. Although a number of recent research papers are still focusing on unconstrained methods for graph-based SSL, a recent statistical analysis showed that many of these algorithms may be unstable on transductive regression. Therefore, we focus on providing new constrained methods for graph-based SSL. We begin by analyzing the regularization framework of existing unconstrained methods. Then, we incorporate two normalization constraints into the optimization problem of three of these methods. We show that the proposed optimization problems have closed-form solution. By generalizing one of these constraints to any distribution, we provide generalized methods for constrained graph-based SSL. The proposed methods have a more flexible regularization framework than the corresponding unconstrained methods. More precisely, our methods can deal with any graph Laplacian and use higher order regularization, which is effective on general SSL taks. In order to show the effectiveness of the proposed methods, we provide comprehensive experimental analyses. Specifically, our experiments are subdivided into two parts. In the first part, we evaluate existing graph-based SSL algorithms on time series data to find their weaknesses. In the second part, we evaluate the proposed constrained methods against six state-of-the-art graph-based SSL algorithms on benchmark data sets. Since the widely used best case analysis may hide useful information concerning the SSL algorithms performance with respect to parameter selection, we used recently proposed empirical evaluation models to evaluate our results. Our results show that our methods outperforms the competing methods on most parameter settings and graph construction methods. However, we found a few experimental settings in which our methods showed poor performance. In order to facilitate the reproduction of our results, the source codes, data sets, and experimental results are freely available. / Algoritmos de aprendizado semissupervisionado baseado em grafos foram amplamente estudados nos últimos anos. A maioria desses algoritmos foi projetada a partir de problemas de otimização sem restrições usando um termo regularizador Laplaciano como funcional de suavidade numa tentativa de refletir a estrutura geométrica intrínsica da distribuição marginal dos dados. Apesar de vários artigos científicos recentes continuarem focando em métodos sem restrição para aprendizado semissupervisionado em grafos, uma análise estatística recente mostrou que muitos desses algoritmos podem ser instáveis em regressão transdutiva. Logo, nós focamos em propor novos métodos com restrições para aprendizado semissupervisionado em grafos. Nós começamos analisando o framework de regularização de métodos sem restrições existentes. Então, nós incorporamos duas restrições de normalização no problema de otimização de três desses métodos. Mostramos que os problemas de otimização propostos possuem solução de forma fechada. Ao generalizar uma dessas restrições para qualquer distribuição, provemos métodos generalizados para aprendizado semissupervisionado restrito baseado em grafos. Os métodos propostos possuem um framework de regularização mais flexível que os métodos sem restrições correspondentes. Mais precisamente, nossos métodos podem lidar com qualquer Laplaciano em grafos e usar regularização de ordem elevada, a qual é efetiva em tarefas de aprendizado semissupervisionado em geral. Para mostrar a efetividade dos métodos propostos, nós provemos análises experimentais robustas. Especificamente, nossos experimentos são subdivididos em duas partes. Na primeira parte, avaliamos algoritmos de aprendizado semissupervisionado em grafos existentes em dados de séries temporais para encontrar possíveis fraquezas desses métodos. Na segunda parte, avaliamos os métodos restritos propostos contra seis algoritmos de aprendizado semissupervisionado baseado em grafos do estado da arte em conjuntos de dados benchmark. Como a amplamente usada análise de melhor caso pode esconder informações relevantes sobre o desempenho dos algoritmos de aprendizado semissupervisionado com respeito à seleção de parâmetros, nós usamos modelos de avaliação empírica recentemente propostos para avaliar os nossos resultados. Nossos resultados mostram que os nossos métodos superam os demais métodos na maioria das configurações de parâmetro e métodos de construção de grafos. Entretanto, encontramos algumas configurações experimentais nas quais nossos métodos mostraram baixo desempenho. Para facilitar a reprodução dos nossos resultados, os códigos fonte, conjuntos de dados e resultados experimentais estão disponíveis gratuitamente.

Métodos de simulação baseados em dinâmica de fluidos computacional (DFC) têm sido empregado em diversas areas de estudo, tais como aeroacústica, dinâmica dos gases, fluidos viscoelásticos, entre outros. Entretanto, a necessidade de maior acurácia e desempenho destes métodos têm dado origem a soluções representadas por conjuntos de dados cada vez mais complexos. Neste contexto, técnicas voltadas à extração de estruturas relevantes (features), e sua posterior visualização, têm um papel muito importante, tornando mais fácil e intuitiva a análise dos dados gerados por simulações. Os métodos de extração de estruturas detectam e isolam elementos significativos no contexto da análise dos dados. No caso da análise de fluidos, estas estruturas podem ser isosuperfícies de pressão, vórtices, linhas de separação, etc. A visualização, por outro lado, confere atributos visuais a estas estruturas, permitindo uma análise mais intuitiva através de sua inspeção visual. Tradicionalmente, métodos de DFC representam suas soluções como funções lineares definidas sobre elementos do domínio. Entretanto, a evolução desses métodos tem dado origem a soluções representadas analiticamente através de funções de alta ordem. Apesar destes métodos apresentarem características desejáveis do ponto de vista de eficiência e acurácia, os dados gerados não são compatíveis com os métodos de extração de estruturas ou de visualização desenvolvidos originalmente para dados interpolados linearmente. Uma alternativa para este problema consiste na redução da ordem dos dados através de reamostragem e posterior aplicação de métodos tradicionais para extração de estruturas e visualização. Porém, o processo de amostragem pode introduzir erros nos dados ou resultar em excessivo consumo de memória, necessária ao armazenamento das amostras. Desta forma, torna-se necessário o desenvolvimento de métodos de extração e visualização que possam operar diretamente sobre os dados de alta ordem. As principais contribuições deste trabalho consistem em dois métodos que operam diretamente sobre dados de alta ordem. O primeiro consiste em um método para extração e visualização de isosuperfícies. O método baseia-se em uma abordagem híbrida que, ao distribuir o esforço computacional envolvido na extração e visualização das isosuperfícies em operações executadas nos espaços do objeto e da imagem, permite a exploração interativa de isosuperfícies através da troca de isovalores. O segundo método consiste em uma técnica para extração de estruturas lineares, onde a avaliação da forma intervalar do operador parallel vectors, em conjunto com métodos de subdivisão adaptativa, é utilizada como critério de pesquisa destas estruturas. Ambos os métodos foram projetados para tirarem proveito do paralelismo do hardware gráfico. Os resultados obtidos são apresentados tanto para dados sintéticos quanto para dados de simulações gerados através do método de Galerkin discontínuo. / Computational fluid dynamics (CFD) methods have been employed in the studies of subjects such as aeroacoustics, gas dynamics, turbo machinery, viscoelastic fluids, among others. However, the need for accuracy and high performance resulted in methods whose solutions are becoming increasingly more complex. In this context, feature extraction and visualization methods play a key role, making it easier and more intuitive to explore and analyze the simulation data. Feature extraction methods detect and isolate relevant structures in the context of data analysis. In the case of flow analysis, these structures could be pressure isocontours, vortex cores, detachment lines, etc. By assigning visual attributes to these structures, visualization methods allow for a more intuitive analysis through visual inspection. Traditionally, CFD methods represent the solution as piecewise linear basis functions defined over domain elements. However, the evolution of CFD methods has led to solutions represented analytically by higher-order functions. Despite their accuracy and efficiency, data generated by these methods are not compatible with feature extraction and visualization methods targeted to linearly interpolated data. An alternative approach is resampling, which allows the use of existing low order feature extraction and visualization methods. However, resampling is not desirable since it may introduce error due to subsampling and increase memory consumption associated to samples storage. To overcome these limitations, attention has recently been given to methods that handle higher-order data directly. The main contributions of this thesis are two methods developed to operate directly over higher-order data. The first method consists of an isocontouring method. It relies on a hybrid technique that, by splitting the isocontouring workload over image and object space computations, allows for interactive data exploration by dynamically changing isovalues. The second method is a line-type feature extraction method. The search for features is accomplished using adaptive subdivision methods driven by the evaluation of the inclusion form of the parallel vectors operator. Both methods were designed to take advantage of the parallelism of current graphics hardware. The obtained results are presented for synthetic and real simulation higher-order data generated with the discontinuous Galerkin method.