No description available.

Nesta tese estudamos um dos principais problemas na teoria qualitativa das equações diferenciais planares: o problema de determinar a bacia de atração de um ponto de equilíbrio. Damos uma prova rigorosa de que para sistemas lineares por partes de costura com duas zonas no plano, definidas por matrizes Hurwitz o único ponto de equilíbrio na reta de separação é globalmente assintoticamente estável. Por outro lado, provamos que nesta classe de sistemas, podemos ter um ponto de equilíbrio instável na origem quando uma curva poligonal separa as zonas, levando a um resultado contra-intuitivo do comportamento dinâmico de sistemas lineares por partes no plano. Além disso, estudamos os ciclos limites em perturbações suaves por partes de centros Hamiltonianos. Neste cenário, é comum adaptar resultados clássicos de sistemas suaves, como funções de Melnikov, para sistemas não-suaves. No entanto, existe pouca justificativa para este procedimento na literatura. Ao utilizar o método de regularização damos uma prova que suporta o uso de funções de Melnikov diretamente do problema não-suave original. / In this thesis we study one of the main problems in the qualitative theory of planar differential equations: the problem of determining the basin of attraction of an equilibrium point. We give a rigorous proof that for planar sewing piecewise linear systems with two zones, defined by Hurwitz matrices the unique equilibrium point in the separation straight line is globally asymptotically stable. On the other hand, we prove that sewing piecewise linear systems with two zones in the plane, defined by Hurwitz matrices can have one unstable equilibrium point at the origin allowing a broken line to separate the zones, leading to counterintuitive dynamical behaviors of simple piecewise linear systems in the plane. Furthermore, we study limit cycles in piecewise smooth perturbations of Hamiltonians centers. In this setting it is common to adapt classical results for smooth systems, like Melnikov functions, to non-smooth ones. However, there is little justification for this procedure in the literature. By using the regularization method we give a proof that supports the use of Melnikov functions directly from the original non-smooth problem.

Esta tese apresenta o desenvolvimento de uma técnica de processamento numérico capaz de reconstruir o sinal da temperatura do processo original a partir do sinal distorcido, atrasado e ruidoso, medido através de uma sonda intrusiva. Uma técnica de regularização foi adotada para contornar o mau condicionamento do modelo numérico inverso da equação de transdução para obter o sinal do processo, que considera o acúmulo térmico e as transferências de calor convectivo e radiativo entre o meio e o sensor térmico. O método dos mínimos quadrados simplificado foi implementado como técnica de regularização, por ser um método rápido e possuir um código computacional pequeno, permitindo, obter os dados em tempo real e desenvolver um sensor térmico inteligente. Testes numéricos demonstraram as discrepâncias introduzidas pela inércia térmica, convecção e radiação, bem como a extrema sensibilidade da presença de ruídos quando o problema inverso é resolvido. Testes experimentais foram conduzidos para validar o algoritmo de reconstrução sob condições práticas com sinais obtidos por um termopar encapsulado / This thesis presents the development of a numerical processing technique capable of reconstructing the original process temperature signal from distorted, late and noisy measured signal obtained from an intrusive probe. A regularization technique was adopted to palliate the ill conditioning of the inverse numerical model of the transduction equation to obtain the process signal, which considers thermal accumulation and convective and radiative heat transfers between the medium and the thermal sensor. The simplified least square method was implemented as the regularization technique, because it is a fast method and results in a small computational code, which produces on-line information and allow the development an intelligent temperature sensor. Numerical tests demonstrated the discrepancies introduced by thermal inertia, convection and radiation, as well as the extreme sensitivities to the presence of noise when solving the inverse problem. Experimental tests were carried out to validate the reconstruction algorithm under realistic experimental conditions with the signals obtained by the sheathed thermocouple

Esta tese apresenta o desenvolvimento de uma técnica de processamento numérico capaz de reconstruir o sinal da temperatura do processo original a partir do sinal distorcido, atrasado e ruidoso, medido através de uma sonda intrusiva. Uma técnica de regularização foi adotada para contornar o mau condicionamento do modelo numérico inverso da equação de transdução para obter o sinal do processo, que considera o acúmulo térmico e as transferências de calor convectivo e radiativo entre o meio e o sensor térmico. O método dos mínimos quadrados simplificado foi implementado como técnica de regularização, por ser um método rápido e possuir um código computacional pequeno, permitindo, obter os dados em tempo real e desenvolver um sensor térmico inteligente. Testes numéricos demonstraram as discrepâncias introduzidas pela inércia térmica, convecção e radiação, bem como a extrema sensibilidade da presença de ruídos quando o problema inverso é resolvido. Testes experimentais foram conduzidos para validar o algoritmo de reconstrução sob condições práticas com sinais obtidos por um termopar encapsulado / This thesis presents the development of a numerical processing technique capable of reconstructing the original process temperature signal from distorted, late and noisy measured signal obtained from an intrusive probe. A regularization technique was adopted to palliate the ill conditioning of the inverse numerical model of the transduction equation to obtain the process signal, which considers thermal accumulation and convective and radiative heat transfers between the medium and the thermal sensor. The simplified least square method was implemented as the regularization technique, because it is a fast method and results in a small computational code, which produces on-line information and allow the development an intelligent temperature sensor. Numerical tests demonstrated the discrepancies introduced by thermal inertia, convection and radiation, as well as the extreme sensitivities to the presence of noise when solving the inverse problem. Experimental tests were carried out to validate the reconstruction algorithm under realistic experimental conditions with the signals obtained by the sheathed thermocouple

Nesta tese estudamos um dos principais problemas na teoria qualitativa das equações diferenciais planares: o problema de determinar a bacia de atração de um ponto de equilíbrio. Damos uma prova rigorosa de que para sistemas lineares por partes de costura com duas zonas no plano, definidas por matrizes Hurwitz o único ponto de equilíbrio na reta de separação é globalmente assintoticamente estável. Por outro lado, provamos que nesta classe de sistemas, podemos ter um ponto de equilíbrio instável na origem quando uma curva poligonal separa as zonas, levando a um resultado contra-intuitivo do comportamento dinâmico de sistemas lineares por partes no plano. Além disso, estudamos os ciclos limites em perturbações suaves por partes de centros Hamiltonianos. Neste cenário, é comum adaptar resultados clássicos de sistemas suaves, como funções de Melnikov, para sistemas não-suaves. No entanto, existe pouca justificativa para este procedimento na literatura. Ao utilizar o método de regularização damos uma prova que suporta o uso de funções de Melnikov diretamente do problema não-suave original. / In this thesis we study one of the main problems in the qualitative theory of planar differential equations: the problem of determining the basin of attraction of an equilibrium point. We give a rigorous proof that for planar sewing piecewise linear systems with two zones, defined by Hurwitz matrices the unique equilibrium point in the separation straight line is globally asymptotically stable. On the other hand, we prove that sewing piecewise linear systems with two zones in the plane, defined by Hurwitz matrices can have one unstable equilibrium point at the origin allowing a broken line to separate the zones, leading to counterintuitive dynamical behaviors of simple piecewise linear systems in the plane. Furthermore, we study limit cycles in piecewise smooth perturbations of Hamiltonians centers. In this setting it is common to adapt classical results for smooth systems, like Melnikov functions, to non-smooth ones. However, there is little justification for this procedure in the literature. By using the regularization method we give a proof that supports the use of Melnikov functions directly from the original non-smooth problem.

Este trabalho trata da modelagem de sinais ultrassônicos gerados por transdutores circulares (plano e côncavo) no modo de pulso-eco, inspecionando uma região de interesse predeterminada. Para essa análise, dois modelos da resposta impulsiva de um transdutor piezelétrico foram implementados: um do transdutor circular plano e outro do transdutor circular côncavo focalizado. Este último sendo o modelo proposto pelo autor com uma geometria baseada em anéis concêntricos como elementos de área do emissor. A adição de diversos anéis concêntricos, deslocados ao longo de seu eixo e de raios sucessivamente menores, permitiu calcular o campo acústico, gerado por uma abertura côncava, bem como seu eco refletido. A resposta impulsiva de cada anel resulta da diferença entre as respostas impulsivas calculadas para um emissor circular grande e um pequeno. O modelo implementado para o cálculo dos sinais de eco foi utilizado na varredura de uma região contendo um conjunto de pontos com refletividade acústica igual a 1. A reconstrução da imagem foi feita com esses sinais aplicando-lhes a técnica de regularização de Tikhonov. A qualidade das reconstruções das imagens obtidas foi avaliada e comparada a das imagens convencionais. Dentre as métricas de avaliação das imagens reconstruídas estão a influência na variação da velocidade de propagação da onda acústica no meio, a extensão e a discretização do grid e o parâmetro de regularização alfa. Todas as reconstruções foram analisadas segundo o Erro Médio Quadrático (MSE). Finalmente, ensaios experimentais foram conduzidos para a obtenção de A-scans (imagens em modo de amplitude) os quais foram inseridas no modelo teórico para a reconstrução de imagens e analisadas pelo MSE. / This work deals with the modeling of ultrasonic signals generated by circular transducers (planar and concave pistons) in pulse-echo mode, inspecting a predetermined region of interest (ROI). For this analysis, two models of the impulse response of a transducer were implemented: one using a plane piston transducer and the other, a model proposed by the author of this work, using a concave transducer with concentric rings as elements of the emitting area. The addition of several concentric rings moved along its axis allowed us to calculate the acoustic field generated by a concave opening and the echo reflected from each point in space. The impulse response of each ring represents the difference between the impulse responses calculated for a large circular transmitter and a small one. The model implemented for calculating the echo signals is used to scan a region, within a ROI, containing a set of points with acoustic reflectivity of 1. Simulations of the regions are made with these signals by applying the Tikhonov regularization method. To evaluate the quality of image reconstruction, the images are compared with the conventional images. Among the metrics to evaluate the reconstructed images are the influence of the variation of the acoustic wave propagation in the media, the grid range and discretization and the parameter of regularization alpha. All of the image reconstructions were analyzed through the Mean Square Error (MSE) criterion. Finally, experiments were conducted in order to obtain A-scans which were then re-inserted in the theoretical model to reconstruct and analyze the images.

Visual object category recognition is one of the most challenging problems in computer vision. Even assuming that we can obtain a near-perfect instance level representation with the advances in visual input devices and low-level vision techniques, object categorization still remains as a difficult problem because it requires drawing boundaries between instances in a continuous world, where the boundaries are solely defined by human conceptualization. Object categorization is essentially a perceptual process that takes place in a human-defined semantic space. In this semantic space, the categories reside not in isolation, but in relation to others. Some categories are similar, grouped, or co-occur, and some are not. However, despite this semantic nature of object categorization, most of the today's automatic visual category recognition systems rely only on the category labels for training discriminative recognition with statistical machine learning techniques. In many cases, this could result in the recognition model being misled into learning incorrect associations between visual features and the semantic labels, from essentially overfitting to training set biases. This limits the model's prediction power when new test instances are given. Using semantic knowledge has great potential to benefit object category recognition. First, semantic knowledge could guide the training model to learn a correct association between visual features and the categories. Second, semantics provide much richer information beyond the membership information given by the labels, in the form of inter-category and category-attribute distances, relations, and structures. Finally, the semantic knowledge scales well as the relations between categories become larger with an increasing number of categories. My goal in this thesis is to learn discriminative models for categorization that leverage semantic knowledge for object recognition, with a special focus on the semantic relationships among different categories and concepts. To this end, I explore three semantic sources, namely attributes, taxonomies, and analogies, and I show how to incorporate them into the original discriminative model as a form of structural regularization. In particular, for each form of semantic knowledge I present a feature learning approach that defines a semantic embedding to support the object categorization task. The regularization penalizes the models that deviate from the known structures according to the semantic knowledge provided. The first semantic source I explore is attributes, which are human-describable semantic characteristics of an instance. While the existing work treated them as mid-level features which did not introduce new information, I focus on their potential as a means to better guide the learning of object categories, by enforcing the object category classifiers to share features with attribute classifiers, in a multitask feature learning framework. This approach essentially discovers the common low-dimensional features that support predictions in both semantic spaces. Then, I move on to the semantic taxonomy, which is another valuable source of semantic knowledge. The merging and splitting criteria for the categories on a taxonomy are human-defined, and I aim to exploit this implicit semantic knowledge. Specifically, I propose a tree of metrics (ToM) that learns metrics that capture granularity-specific similarities at different nodes of a given semantic taxonomy, and uses a regularizer to isolate granularity-specific disjoint features. This approach captures the intuition that the features used for the discrimination of the parent class should be different from the features used for the children classes. Such learned metrics can be used for hierarchical classification. The use of a single taxonomy can be limited in that its structure is not optimal for hierarchical classification, and there may exist no single optimal semantic taxonomy that perfectly aligns with visual distributions. Thus, I next propose a way to overcome this limitation by leveraging multiple taxonomies as semantic sources to exploit, and combine the acquired complementary information across multiple semantic views and granularities. This allows us, for example, to synthesize semantics from both 'Biological', and 'Appearance'-based taxonomies when learning the visual features. Finally, as a further exploration of more complex semantic relations different from the previous two pairwise similarity-based models, I exploit analogies, which encode the relational similarities between two related pairs of categories. Specifically, I use analogies to regularize a discriminatively learned semantic embedding space for categorization, such that the displacements between the two category embeddings in both category pairs of the analogy are enforced to be the same. Such a constraint allows for a more confusing pair of categories to benefit from a clear separation in the matched pair of categories that share the same relation. All of these methods are evaluated on challenging public datasets, and are shown to effectively improve the recognition accuracy over purely discriminative models, while also guiding the recognition to be more semantic to human perception. Further, the applications of the proposed methods are not limited to visual object categorization in computer vision, but they can be applied to any classification problems where there exists some domain knowledge about the relationships or structures between the classes. Possible applications of my methods outside the visual recognition domain include document classification in natural language processing, and gene-based animal or protein classification in computational biology. / text

Dans une problématique d'analyse de la durabilité des structures en béton armé, la quantification de la localisation des déformations et des propriétés des fissures sont deux points clés. Ce travail présente une méthode permettant, dans le cadre de la mécanique des milieux continus, d'améliorer la description de l'évolution de la localisation des déformations. En se basant sur une approche continue du problème, l'évolution des nonlinéarités dans le béton est décrite au travers d'un modèle d'endommagement régularisé. Pour améliorer la description de la localisation des déformations, une modification de la méthode de régularisation nonlocale intégrale sur les variables internes est proposée. L'influence de l'état de contrainte sur les interactions nonlocales est introduite dans la régularisation, afin de prendre en compte la dégradation de la structure ainsi que l'influence des conditions aux limites sur les interactions nonlocales. Cette méthode, implantée dans le code aux éléments finis Cast3M, est validée sur différents cas tests analysant l'évolution des nonlinéarités de l'enclenchement de l'endommagement jusqu'à la rupture et permet notamment de résoudre des pathologies identifiées pour la méthode nonlocale originale. La comparaison avec des résultats expérimentaux montre également la capacité du modèle à décrire l'évolution de la fissuration dans une structure. Le modèle développé est ensuite utilisé pour analyser le comportement de structures en béton armé et sert de base pour introduire une description de la fissuration dans une modélisation simplifiée de type poutre multifibre. A partir de calcul 3D sur des éléments en béton armé utilisant le modèle développé, une loi uniaxiale est identifiée pour déterminer la fissuration dans une fibre en fonction de l'énergie dissipée par le modèle d'endommagement. Une comparaison avec des résultats expérimentaux est effectuée et montre la capacité de cette approche simplifiée à estimer la fissuration. / For the durability analysis of reinforced concrete structures, the modelling of strain localization and the estimation of cracking properties are hot topics. This work introduces a method allowing, in the framework of continuous mechanics, to improve the description of the evolution of strain localization. Based on a continuous description of the problem, the evolution of nonlinearities in concrete is described with a regularized damage model. In order to improve the description of strain localization, a modification of the nonlocal integral regularization method is proposed. The influence of the stress state on the nonlocal interactions is introduced in the regularization method, in order to take into account the degradation of the structure (decrease of the bearing capacities) as well as the influence of free boundary conditions. This method, implemented in the finite element code Cast3M, is validated against several cases of study, by analyzing the evolution of nonlinearities from damage initiation up to failure. It allows solving several pathologies pointed out for the original nonlocal method. The comparison with experimental results shows also the capacity of the proposed model to describe the evolution of cracking in a structure. Then, the model developed is used to analyse the behaviour of reinforced concrete structures and to develop a method to quantify cracking in a multifiber beam element modelling. From 3D calculation on reinforced concrete element with the new nonlocal model developed, a uniaxial law is identified in order to estimate cracking as a function of the energy dissipated by the damage model. A comparison with experimental data is performed and shows the potentiality of this simplified approach to estimate cracking.

Este trabalho trata da modelagem de sinais ultrassônicos gerados por transdutores circulares (plano e côncavo) no modo de pulso-eco, inspecionando uma região de interesse predeterminada. Para essa análise, dois modelos da resposta impulsiva de um transdutor piezelétrico foram implementados: um do transdutor circular plano e outro do transdutor circular côncavo focalizado. Este último sendo o modelo proposto pelo autor com uma geometria baseada em anéis concêntricos como elementos de área do emissor. A adição de diversos anéis concêntricos, deslocados ao longo de seu eixo e de raios sucessivamente menores, permitiu calcular o campo acústico, gerado por uma abertura côncava, bem como seu eco refletido. A resposta impulsiva de cada anel resulta da diferença entre as respostas impulsivas calculadas para um emissor circular grande e um pequeno. O modelo implementado para o cálculo dos sinais de eco foi utilizado na varredura de uma região contendo um conjunto de pontos com refletividade acústica igual a 1. A reconstrução da imagem foi feita com esses sinais aplicando-lhes a técnica de regularização de Tikhonov. A qualidade das reconstruções das imagens obtidas foi avaliada e comparada a das imagens convencionais. Dentre as métricas de avaliação das imagens reconstruídas estão a influência na variação da velocidade de propagação da onda acústica no meio, a extensão e a discretização do grid e o parâmetro de regularização alfa. Todas as reconstruções foram analisadas segundo o Erro Médio Quadrático (MSE). Finalmente, ensaios experimentais foram conduzidos para a obtenção de A-scans (imagens em modo de amplitude) os quais foram inseridas no modelo teórico para a reconstrução de imagens e analisadas pelo MSE. / This work deals with the modeling of ultrasonic signals generated by circular transducers (planar and concave pistons) in pulse-echo mode, inspecting a predetermined region of interest (ROI). For this analysis, two models of the impulse response of a transducer were implemented: one using a plane piston transducer and the other, a model proposed by the author of this work, using a concave transducer with concentric rings as elements of the emitting area. The addition of several concentric rings moved along its axis allowed us to calculate the acoustic field generated by a concave opening and the echo reflected from each point in space. The impulse response of each ring represents the difference between the impulse responses calculated for a large circular transmitter and a small one. The model implemented for calculating the echo signals is used to scan a region, within a ROI, containing a set of points with acoustic reflectivity of 1. Simulations of the regions are made with these signals by applying the Tikhonov regularization method. To evaluate the quality of image reconstruction, the images are compared with the conventional images. Among the metrics to evaluate the reconstructed images are the influence of the variation of the acoustic wave propagation in the media, the grid range and discretization and the parameter of regularization alpha. All of the image reconstructions were analyzed through the Mean Square Error (MSE) criterion. Finally, experiments were conducted in order to obtain A-scans which were then re-inserted in the theoretical model to reconstruct and analyze the images.

Les problèmes de complétion de données interviennent dans divers domaines de la physique, tels que la mécanique, l'acoustique ou la thermique. La mesure directe des conditions aux limites se heurte souvent à l'impossibilité de placer l'instrumentation adéquate. La détermination de ces données n'est alors possible que grâce à des informations complémentaires. Des mesures surabondantes sur une partie accessible de la frontière mènent à la résolution d'un problème inverse de type Cauchy. Cependant, dans certains cas, des mesures directes sur la frontière sont irréalisables, des mesures de champs plus facilement accessibles permettent de pallier ce problème. Cette thèse présente des méthodes de régularisation évanescente qui permettent de trouver, parmi toutes les solutions de l'équation d'équilibre, la solution du problème de complétion de données qui s'approche au mieux des données de type Cauchy ou de champs partiels. Ces processus itératifs ne dépendent pas d'un coefficient de régularisation et sont robustes vis à vis du bruit sur les données, qui sont recalculées et de ce fait débruitées. Nous nous intéressons, dans un premier temps, à la résolution de problèmes de Cauchy associés à l'équation d'Helmholtz. Une étude numérique complète est menée, en utilisant la méthode des solutions fondamentales en tant que méthode numérique pour discrétiser l'espace des solutions de l'équation d'Helmholtz. Des reconstructions précises attestent de l'efficacité et de la robustesse de la méthode. Nous présentons, dans un second temps, la généralisation de la méthode de régularisation évanescente aux problèmes de complétion de données à partir de mesures de champs partielles. Des simulations numériques, pour l'opérateur de Lamé, dans le cadre des éléments finis et des solutions fondamentales, montrent la capacité de la méthode à compléter et débruiter des données partielles de champs de déplacements et à identifier les conditions aux limites en tout point de la frontière. Nous retrouvons des reconstructions précises et un débruitage efficace des données lorsque l'algorithme est appliqué à des mesures réelles issues de corrélation d'images numériques. Un éventuel changement de comportement du matériau est détecté grâce à l'analyse des résidus de déplacements. / Data completion problems occur in many engineering fields, such as mechanical, acoustical and thermal sciences. Direct measurement of boundary conditions is often confronting with the impossibility of placing the appropriate instrumentation. The determination of these data is then possible only through additional informations. Overprescribed measurements on an accessible part of the boundary lead to the resolution of an inverse Cauchy problem. However, in some cases, direct measurements on the boundary are inaccessible, to overcome this problem field measurements are more easily accessible. This thesis presents fading regularization methods that allow to find, among all the solutions of the equilibrium equation, the solution of the data completion problem which fits at best Cauchy or partial fields data. These iterative processesdo not depend on a regularization coefficient and are robust with respect to the noise on the data, which are recomputed and therefore denoised. We are interested initially in solving Cauchy problems associated with the Helmholtz equation. A complete numerical study is made, usingthe method of fundamental solutions as a numerical method for discretizing the space of the Helmholtz equation solutions. Accurate reconstructions attest to the efficiency and the robustness of the method. We present, in a second time, the generalization of the fading regularization method to the data completion problems from partial full-field measurements. Numerical simulations, for the Lamé operator, using the finite element method or the method of fundamental solutions, show the ability of the iterative process to complete and denoise partial displacements fields data and to identify the boundary conditions at any point. We find precise reconstructions and efficient denoising of the data when the algorithm is applied to real measurements from digital image correlation. A possible change in the material behavior is detected thanks to the analysis of the displacements residuals.