This thesis addresses the development of a weakly non-linear Higher Order Time Domain Rankine Panel Method (TDRPM) for the linear and weakly non-linear seakeeping analysis of floating offshore structures, including wave-current interaction effects. A higher order boundary elements method is adopted based on the body geometry description using Non-uniform Rational B-splines (NURBS) formulation, which can be generated by many standard Computed Aided Design (CAD) softwares widely available, and the several computed quantities (velocity potential, free surface elevation and others) are described using a B-spline formulation of arbitrary degree. The problem is formulated considering wave-current-body interactions up to second order effects, these ones considering the terms obtained by interaction of zero/first order quantities. In order to provide numerical stability, the Initial Boundary Value Problem (IBVP) is formulated in terms of the velocity potential and the local acceleration potential, the later used to predict the hydrodynamic pressure accurately. The zeroth order problem is solved using the double-body linearization instead of the Neumman-Kelvin one in order to allow bluff bodies simulation, leading to very complex expressions regarding the m-terms computation. The method adopts the Rankine sources as Green\'s function, which are integrated using Gauss quadrature in the entire domain, but for the self-influence terms that are integrated using a desingularized procedure. The numerical method is verified initially considering simplified geometries (sphere and circular cylinder) for both, first and second-order computations, with and without current effects. The derivatives of the velocity potential are verified by comparing the numerical m-terms to the analytical solutions for a hemisphere under uniform flow. The mean and double frequency drift forces are computed for fixed and floating structures and the quantities involved in these computations (wave runup, velocity field) are also compared to literature results, including the free floating response of a sphere under current effects. Two practical cases are also studied, namely the wave-induced second order responses of a semi-submersible platform and the wavedrift-damping effect evaluated through the equilibrium angle of a turret moored FPSO. For the former, some specific model tests were designed and conducted in a wave-basin. / Essa tese aborda o desenvolvimento de um método de Rankine de ordem alta no domínio do tempo (TDRPM) para o estudo de problemas lineares e fracamente não lineares, incluindo o efeito de corrente, envolvendo sistemas flutuantes. O método de ordem alta desenvolvido considera a geometria do corpo como descrita pelo padrão Non-uniform Rational Basis Spline (NURBS), que está disponível em diverso0s softwares de Computed Aided Design (CAD) disponíveis, sendo as diversas funções (potencial de velocidades, elevação da superfície-livre e outros) descritos usando B-splines de grau arbitrário. O problema é formulado considerando interações onda-corrente-estrutura para efeitos de até segunda ordem, os de ordem superior sendo calculados considerando as interações somente dos termos de ordem inferior. Para garantir a estabilidade numérica, o problema de contorno com valor inicial é formulado0 com relação ao potencial de velocidade e de parcela local do potencial de acelerações, este para garantir cálculos precisos da pressão dinâmica. O problema de ordem zero é resolvido usando a linearização de corpo-duplo ao invés da linearização de Neumman-Kelvin para permitir a análise de corpos rombudos, o que requer o cálculo de termos-m de grande complexidade. O método adota fontes de Rankine como funções de Green, que são integradas através de quadratura de Gauss-Legendre no domínio todo, exceto com relação aos termos de auto-influência que adotasm um procedimento de dessingularização. O método numérico é inicialmente verificado considerando corpos de geometria simplificada (esfera e cilindro), considerando efeitos de primeira e segunda ordens, com e sem corrente. As derivadas do potencial de velocidade são verificadas comparando os termos-m obtidos numericamente com soluções analíticas disponíveis para a esfera em fluído infinito. As forças de deriva média e dupla-frequência são calculadas para estruturas fixas e flutuantes, sendo as funções calculadas (elevação da superfície, campo de velocidade) comparadas com resultados disponíveis na literatura, incluindo o movimento da esfera flutuante sob a ação de corrente e ondas. São também estudados dois casos de aplicação prática, a resposta de segunda ordem de uma plataforma semi-submersível e o efeito de wave-drift damping para o ângulo de equilíbrio de uma plataforma FPSO ancorada através de sistema turred. No caso da semi-submersível, os ensaios foram projetados e realizados em tanque de provas.

Nesta tese, desenvolvemos refinamentos assintóticos em modelos lineares generalizados heteroscedásticos (Smyth, 1989). Inicialmente, obtemos a matriz de covariâncias de segunda ordem dos estimadores de máxima verossimilhança corrigidos pelos viés de primeira ordem. Com base na matriz obtida, sugerimos modificações na estatística de Wald. Posteriormente, derivamos os coeficientes do fator de correção tipo-Bartlett para a estatística do teste gradiente. Em seguida, obtemos o coeficiente de assimetria assintótico da distribuição dos estimadores de máxima verossimilhança dos parâmetros do modelo. Finalmente, exibimos o coeficiente de curtose assintótico da distribuição dos estimadores de máxima verossimilhança dos parâmetros do modelo. Analisamos os resultados obtidos através de estudos de simulação de Monte Carlo. / In this thesis, we have developed asymptotic refinements in heteroskedastic generalized linear models (Smyth, 1989). Initially, we obtain the second-order covariance matrix for the maximum likelihood estimators corrected by the bias of first-order. Based on the obtained matrix, we suggest changes in Wald statistics. In addition, we derive the coeficients of the Bartlett-type correction factor for the statistical gradient test. After, we get asymptotic skewness of the distribution of the maximum likelihood estimators of the model parameters. Finally, we show the asymptotic kurtosis coeficient of the distribution of the maximum likelihood estimators of the model parameters. Monte Carlo simulation studies are developed to evaluate the results obtained.

Dans la première partie de ce manuscrit nous étudions les fonctions rationnelles, c'est-à-dire définies par des transducteurs unidirectionnels. Notre objectif est d'étendre aux transductions les nombreuses correspondances logique-algèbre qui ont été établies concernant les langages, notamment le célèbre théorème de Schützenberger-McNaughton-Papert. Dans le cadre des fonctions rationnelles sur les mots finis, nous obtenons une caractérisation à la Myhill-Nerode en termes de congruences d'indice fini. Cette caractérisation nous permet d'obtenir un résultat de transfert, à partir d'équivalences logique-algèbre pour les langages vers des équivalences pour les transductions. En particulier nous montrons comment décider si une fonction rationnelle est définissable en logique du premier ordre. Sur les mots infinis, nous pouvons également décider la définissabilité en logique du premier ordre, mais avec des résultats moins généraux.Dans la seconde partie nous introduisons une logique pour les transductions et nous résolvons le problème de synthèse régulière : étant donnée une formule de la logique, peut-on obtenir un transducteur bidirectionnel déterministe satisfaisant la formule ? Les fonctions réalisées par des transducteurs bidirectionnels déterministes sont caractérisés par plusieurs modèles différents, y compris par les transducteurs MSO, et ont ainsi été nommées transductions régulières. Plus précisément nous fournissons un algorithme qui produit toujours une fonction régulière satisfaisant une spécification donnée en entrée.Nous exposons également un lien intéressant entre les transductions et les mots avec données. Par conséquent nous obtenons une logique expressive pour les mots avec données, pour laquelle le problème de satisfiabilité est décidable. / In the first part of this manuscript we focus on the study of rational functions, functions defined by one-way transducers.Our goal is to extend to transductions the many logic-algebra correspondences that have been established for languages, such as the celebrated Schützenberger-McNaughton-Papert Theorem. In the case of rational functions over finite words, we obtain a Myhill-Nerode-like characterization in terms of congruences of finite index. This characterization allows us to obtain a transfer result from logic-algebra equivalences for languages to logic-algebra equivalences for transductions. In particular, we show that one can decide if a rational function can be defined in first-order logic.Over infinite words, we obtain weaker results but are still able to decide first-order definability.In the second part we introduce a logic for transductions and solve the regular synthesis problem: given a formula in the logic, can we obtain a two-way deterministic transducer satisfying the formula?More precisely, we give an algorithm that always produces a regular function satisfying a given specification.We also exhibit an interesting link between transductions and words with ordered data. Thus we obtain as a side result an expressive logic for data words with decidable satisfiability.

Orientador: José Roberto Sanches Mantovani / Resumo: Neste trabalho propõem-se formulações matemáticas e metodologias para resolver o problema de planejamento da expansão e operação de sistemas de distribuição de energia elétrica de longo prazo com instalação de geração distribuída despachável, renovável e dispositivos armazenadores de energia, considerando as incertezas nos parâmetros e variáveis envolvidas no comportamento do sistema. No modelo de otimização desenvolvido considera- se uma formulação com espaço de busca convexo como um problema de programação cônica inteira de segunda ordem. Como primeira metodologia de solução para o modelo matemático proposto, usam-se solvers de otimização comerciais através de linguagem de programação matemática. Em segundo lugar é proposta a técnica de otimização meta-heurística VND combinada com um solver de otimização para resolver o modelo de otimização desenvolvido. Os algoritmos e modelos matemáticos de otimização usados para resolver o planejamento de sistemas de distribuição são implementados em AMPL e testados em sistemas presentes na literatura. Finalmente são comparadas as metodologias segundo a solução obtida e desempenho em tempo computacional. / Abstract: This work proposes mathematical formulations and methodologies to solve the long-term electric power distribution system operation and expansion planning with distributed renewable energy sources and energy storage devices, considering the uncertainties in the involved parameters and variables in the system behavior. In the developed optimization model, a convex formulation is considered as integer second-order conic programming problem. The first solution methodology for the proposed mathematical model, the commercial optimization solvers that uses mathematical modelling language is used. In the second way, the VND meta-heuristic optimization technique is proposed combined with the optimization solver to analyze the obtained solutions of the search through optimal neighborhoods. The mathematical optimization model and the proposed algorithm used to solver the planning of distribution systems are implemented in AMPL and tested in literature’s systems. Finally, the methodologies according to the obtained solution and computational time performance are compared. / Doutor

No description available.

Nesta tese, desenvolvemos refinamentos assintóticos em modelos lineares generalizados heteroscedásticos (Smyth, 1989). Inicialmente, obtemos a matriz de covariâncias de segunda ordem dos estimadores de máxima verossimilhança corrigidos pelos viés de primeira ordem. Com base na matriz obtida, sugerimos modificações na estatística de Wald. Posteriormente, derivamos os coeficientes do fator de correção tipo-Bartlett para a estatística do teste gradiente. Em seguida, obtemos o coeficiente de assimetria assintótico da distribuição dos estimadores de máxima verossimilhança dos parâmetros do modelo. Finalmente, exibimos o coeficiente de curtose assintótico da distribuição dos estimadores de máxima verossimilhança dos parâmetros do modelo. Analisamos os resultados obtidos através de estudos de simulação de Monte Carlo. / In this thesis, we have developed asymptotic refinements in heteroskedastic generalized linear models (Smyth, 1989). Initially, we obtain the second-order covariance matrix for the maximum likelihood estimators corrected by the bias of first-order. Based on the obtained matrix, we suggest changes in Wald statistics. In addition, we derive the coeficients of the Bartlett-type correction factor for the statistical gradient test. After, we get asymptotic skewness of the distribution of the maximum likelihood estimators of the model parameters. Finally, we show the asymptotic kurtosis coeficient of the distribution of the maximum likelihood estimators of the model parameters. Monte Carlo simulation studies are developed to evaluate the results obtained.

Cette thèse est consacrée dans un premier temps à l’élaboration d’un modèle variationnel dedébruitage d’ordre deux, faisant intervenir l’espace BV 2 des fonctions à hessien borné. Nous nous inspirons ici directement du célèbre modèle de Rudin, Osher et Fatemi (ROF), remplaçant la minimisation de la variation totale de la fonction par la minimisation de la variation totale seconde, c’est à dire la variation totale de ses dérivées. Le but est ici d’obtenir un modèle aussi performant que le modèle ROF, permettant de plus de résoudre le problème de l’effet staircasing que celui-ci engendre. Le modèle que nous étudions ici semble efficace, entraînant toutefois l’apparition d’un léger effet de flou. C’est afin de réduire cet effet que nous introduisons finalement un modèle mixte, permettant d’obtenir des solutions à la fois non constantes par morceaux et sans effet de flou au niveau des détails. Dans une seconde partie, nous nous intéressons au problème d’extraction de texture. Un modèle reconnu comme étant l’un des plus performants est le modèle T V -L1, qui consiste simplement à remplacer dans le modèle ROF la norme L2 du terme d’attache aux données par la norme L1. Nous proposons ici une méthode originale permettant de résoudre ce problème utilisant des méthodes de Lagrangien augmenté. Pour les mêmes raisons que dans le cas du débruitage, nous introduisons également le modèle T V 2-L1, consistant encore une fois à remplacer la variation totale par la variation totale seconde. Un modèle d’extraction de texture mixte est enfin très brièvement introduit. Ce manuscrit est ponctué d’un vaste chapitre dédié aux tests numériques. / This thesis is devoted in a first part to the elaboration of a second order variational modelfor image denoising, using the BV 2 space of bounded hessian functions. We here take a leaf out of the well known Rudin, Osher and Fatemi (ROF) model, where we replace the minimization of the total variation of the function with the minimization of the second order total variation of the function, that is to say the total variation of its partial derivatives. The goal is to get a competitive model with no staircasing effect that generates the ROF model anymore. The model we study seems to be efficient, but generates a blurry effect. In order to deal with it, we introduce a mixed model that permits to get solutions with no staircasing and without blurry effect on details. In a second part, we take an interset to the texture extraction problem. A model known as one of the most efficient is the T V -L1 model. It just consits in replacing the L2 norm of the fitting data term with the L1 norm.We propose here an original way to solve this problem by the use of augmented Lagrangian methods. For the same reason than for the denoising case, we also take an interest to the T V 2-L1 model, replacing again the total variation of the function by the second order total variation. A mixed model for texture extraction is finally briefly introduced. This manuscript ends with a huge chapter of numerical tests.

No description available.

Les systèmes piles à combustible de type PEM pour des applications de transport reposent sur un ensemble d’auxiliaires (stockage d’hydrogène, compresseur d’air, convertisseur de puissance, humidificateur, etc) qui assurent le bon fonctionnement du système pile. La mise en place d’observateurs permet de disposer d’un outil pour reconstruire les états non mesurés de ce système; cela permet de mettre en place un contrôle par retour de sortie en vue d’optimiser les performances du système pile et ainsi d'améliorer la détection et l’isolation de défauts (FDI). Cette thèse est basée sur l’étude et la synthèse d'observateurs adaptatifs par mode glissant d’ordre supérieur, pour deux principaux auxiliaires de la pile que sont, le système d'alimentation en air et les convertisseurs de puissance associés à la pile. La première partie de la thèse est consacrée à la synthèse d’observateurs pour la reconstruction des états et à la détection et l’isolation des défauts sur le système d’alimentation en air de la PEMFC. Dans un premier temps, un observateur algébrique par mode glissant d’ordre supérieur est synthétisé pour la reconstruction de la pression partielle de l'oxygène et de l'azote. Dans un deuxième temps, un nouvel observateur adaptatif par mode glissant d’ordre deux est synthétisé pour assurer l'observation simultanée des états, l'identification des paramètres, la surveillance et la reconstruction de défaut dans le circuit d’air. Les performances des observateurs proposées ont été validées grâce à un simulateur Hardware-In-Loop (HIL) du système pile à combustible.Dans la deuxième partie, nous nous sommes intéressés à l’élaboration d’observateurs et de commande par retour de sortie pour les convertisseurs associé au système pile dans une application transport. Ainsi, une commande novatrice par mode glissant d’ordre deux, de type retour de sortie, a été élaborée pour le convertisseur AC/DC. Dans un second temps, un observateur de type modes glissants d’ordre 2 adaptatif est synthétisé pour un convertisseur de type multicellulaire. / Automotive PEM Fuel Cell systems rely upon a set of auxiliary systems for proper operation, such as humidifier, air-feed compressor, power converter etc. The internal physical states of the latter are often unmeasurable, yet required for their precise control. Observers provide a means of obtaining the unmeasured states of these auxiliary systems for feedback control, optimal energy consumption and Fault Diagnosis and Isolation (FDI). This thesis is based on higher order sliding mode observer design studies for two major PEMFC auxiliary systems found in modern automobiles, the air-feed system and the power electronics system.The first part is focused on robust observation and FDI of the PEMFC air-feed systems. Sliding mode observer design and their applications to FDI have been studied in detail for this purpose and the key observation problems in this system have been identified. Based on this study, two solutions are proposed, a sliding mode algebraic observer for oxygen and nitrogen partial pressures and a novel robust adaptive-gain Second Order Sliding Mode (SOSM) observer based FDI for simultaneous state observation, parameter identification, health monitoring and fault reconstruction of the PEMFC air-feed system. The performance of the proposed observers has been validated on an instrumented Hardware-In-Loop (HIL) test bench.The observation and output feedback control problems of different power electronic converters, commonly found in fuel cell vehicles, are addressed in the next part. Robust output feedback SOSM control for three phase AC/DC converters have been presented. A robust SOSM observer for multi-cell converters has also been designed. The performance of all these designs has been demonstrated through a multi-rate simulation approach. The results highlight the robustness of the observers and controllers against parametric uncertainty, measurement noise and external disturbance.

Cette thèse d'HDR en anglais, présente l'essentiel de mes travaux de 1996 à 2005. Voir le résumé anglais pour plus de détails.