Le contrôle des écoulements est un domaine en forte croissance visant à modifier un écoulement à l’aide d’actionneurs et d’algorithmes de contrôle. Un axe important du contrôle des écoulements est le contrôle des décollements car le décollement de la couche limite provoque des augmentations de traînée et donc des pertes énergétiques et des coûts en carburant. Cette thèse vise à développer des algorithmes de contrôles pour le recollement des écoulements à l’aide de jets pulsés. La première partie de cette thèse expose une technique d’identification de modèle basée sur des données expérimentales. Les modèles sont déduits de considérations physiques et de l’Automatique. Ils offrent une bonne correspondance aux données tout en restant simple et en contenant peu de coefficients. La seconde partie de cette thèse utilise ces modèles pour élaborer deux algorithmes de contrôle : le premier est un contrôle optimal en boucle ouverte et le second un contrôle robuste en boucle fermée. Ces algorithmes ont été implémentés sur diverses maquettes expérimentales (LML, ONERA, LAMIH) et leurs propriétés a été testée expérimentalement. Les tests ont été réalisés en utilisant un Arduino Uno pour les mesures et le calcul du contrôle, ce qui montre que la méthode développée est simple à appliquer et requiert peu de puissance de calcul / Flow control is a strongly growing field aiming at modifying fluid flows using actuators and control algorithms. An important part of flow control is the control of flow separation as boundary layer separation increases drag and therefore energy losses and fuel consumption. This thesis focuses on developing control algorithms for flow reattachment using pulsed jets actuators. The first part of this work develops a model identification technique based on experimental data. The models are derived from physical and control theory considerations. They provide a good fit to the data while remaining simple and using few coefficients. The second part of this work uses this models in order to design two different control algorithms : the first one is an optimal feedforward control while the second one is a robust feedback control. The control algorithms have been applied on several experimental setups (LML, ONERA, LAMIH) and their properties have been experimentally tested. The tests were conducted using a simple Arduino Uno for the measurements and computation of the control, showing that the developed method is easy to apply and requires very few computational resources

Les neurosciences computationnelles consistent en l’étude du système nerveux par la modélisation et la simulation. Plus le modèle sera proche de la réalité et plus les ressources calculatoires exigées seront importantes. La question de la complexité et de la précision est un problème bien connu dans la simulation. Les travaux de recherche menés dans le cadre de cette thèse visent à améliorer la simulation de modèles mathématiques représentant le comportement physique et chimique de récepteurs synaptiques. Les modèles sont décrits par des équations différentielles ordinaires (EDO), et leur résolution passe par des méthodes numériques. Dans le but d’optimiser la simulation, j’ai implémenté différentes méthodes de résolution numérique des EDO. Afin de faciliter la sélection du meilleur algorithme de résolution numérique, une méthode nécessitant un minimum d’information a été proposée. Cette méthode permet de choisir l’algorithme qui optimise la simulation. La méthode a permis de démontrer que la dynamique d’un modèle de récepteur synaptique influence plus les performances des algorithmes de résolution que la structure cinétique du modèle lui-même. De plus, afin de caractériser des comportements pathogènes, une phase d’optimisation est réalisée. Cependant, certaines valeurs de paramètres rendent le modèle instable. Une étude de stabilité a permis de déterminer la stabilité du modèle pour des paramètres fournis par la littérature, mais également de remonter à des contraintes de stabilité sur les paramètres. Le respect de ces contraintes permet de garantir la stabilité des modèles étudiés, et donc de garantir le succès de la procédure permettant de rendre un modèle pathogène. / Computational Neuroscience consists in studying the nervous system through modeling and simulation. It is to characterize the laws of biology by using mathematical models integrating all known experimental data. From a practical point of view, the more realistic the model, the largest the required computational resources. The issue of complexity and accuracy is a well known problem in the modeling and identification of models. The research conducted in this thesis aims at improving the simulation of mathematical models representing the physical and chemical behavior of synaptic receptors. Models of synaptic receptors are described by ordinary differential equations (ODE), and are resolved with numerical procedures. In order to optimize the performance of the simulations, I have implemented various ODE numerical resolution methods. To facilitate the selection of the best solver, a method, requiring a minimum amount of information, has been proposed. This method allows choosing the best solver in order to optimize the simulation. The method demonstrates that the dynamic of a model has greater influence on the solver performances than the kinetic scheme of the model. In addition, to characterize pathogenic behavior, a parameter optimization is performed. However, some parameter values lead to unstable models. A stability study allowed for determining the stability of the models with parameters provided by the literature, but also to trace the stability constraints depending to these parameters. Compliance with these constraints ensures the stability of the models studied during the optimization phase, and therefore the success of the procedure to study pathogen models.

由於時間序列在不同範疇的廣泛應用，許多實證結果已明白指出時間序列 資料普遍地存在非線性(nonlinearity)，使得非線型方法在最近幾年受到 極大的重視。然而，對於某些特定的非線型模式，縱然現在已有學者提出 模式選取之檢定方法，但是它們的模式階數確認問題至今卻仍無法有效率 地解決，更遑論得到最佳的模式配適與預測結果了。所以，我們試圖利用 一已於其他科學領域成功應用之新技術──神經網路，來解決非線型時間 序列之預測問題，而我們之所以利用神經網路的原因是其多層前輸網路是 泛函數的近似器(functional approximator)，對任意函數均有極佳之逼 近能力，使我們免除對時間序列資料之屬性(線性或非線性)作事先檢定或 假設的必要。在本篇論文中，我們首先建構15組雙線型時間序列資料，然 後對於這些數據分別以神經網路與自我迴歸整合移動平均(ARIMA) 模式配 適。藉著比較兩者間的配適與預測結果，我們發現神經網路對於預測非線 型時間序列是較具有穩健性。最後，我們以台幣對美元之即期匯率作為我 們的實證資料，結果亦證實了神經網路對於預測一般經濟時間序列亦較具 穩健性。 / With rapid development at the study of time series, the nonlinear approaches have attracted great attention in recent years. However, there are no efficient processes for the problem of identification to many specifically nonlinear models . Even if many testing methods have been proposed, we still can not find the best fitted model and obtain the best forecast performance. Hence, we try to solve the forecast problems by a new technique -- neurocomputing, which has been successfully applied in many scientific fields. The reason why we apply the neural networks is that the multilayer feedforward networks are functional approximators for the unknown function. In this paper, we will first construct several sets of bilinear time series and then fit these series by neural networks and ARIMA models. In this simulation study, we have found that the neural networks perform the robust forecast for some nonlinear time series. Finally, forecasting performance with favorable models will also be compared through the empirical realization of Taiwan.

La présente thèse vise à explorer différents types de modèles log-bilinéaires dans le domaine des sciences actuarielles. Le point de départ consiste en le modèle de Lee-Carter, utilisé pour les problèmes de projection de la mortalité. Différentes variantes sont développées, et notamment le modèle de Poisson log-bilinéaire. L'introduction de variables explicatives est également analysée. Enfin, une tentative de d'exportation de ces modèles au cas des triangles IBNR est effectuée.

La présente thèse vise à explorer différents types de modèles log-bilinéaires dans le domaine des sciences actuarielles. Le point de départ consiste en le modèle de Lee-Carter, utilisé pour les problèmes de projection de la mortalité. Différentes variantes sont développées, et notamment le modèle de Poisson log-bilinéaire. L'introduction de variables explicatives est également analysée. Enfin, une tentative de d'exportation de ces modèles au cas des triangles IBNR est effectuée.

No description available.

This study compares four recently developed decline curve methods and the traditional Arps or Fetkovich approach. The four methods which are empirically formulated for shale and tight gas wells are: 1. Power Law Exponential Decline (PLE). 2. Stretched Exponential Decline (SEPD). 3. Duong Method. 4. Logistic Growth Model (LGM). Each method has different tuning parameters and equation forms. The main objective of this work is to determine the best method(s) in terms of Estimated Ultimate Recovery (EUR) accuracy, goodness of fit, and ease of matching. In addition, these methods are compared against each other at different production times in order to understand the effect of production time on forecasts. As a part of validation process, all methods are benchmarked against simulation. This study compares the decline methods to four simulation cases which represent the common shale declines observed in the field. Shale wells, which are completed with horizontal wells and multiple traverse highly-conductive hydraulic fractures, exhibit long transient linear flow. Based on certain models, linear flow is preceded by bilinear flow if natural fractures are present. In addition to this, linear flow is succeeded by Boundary Dominated Flow (BDF) decline when pressure wave reaches boundary. This means four declines are possible, hence four simulation cases are required for comparison. To facilitate automatic data fitting, a non-linear regression program was developed using excel VBA. The program optimizes the Least-Square (LS) objective function to find the best fit. The used optimization algorithm is the Levenberg-Marquardt Algorithm (LMA) and it is used because of its robustness and ease of use. This work shows that all methods forecast different EURs and some fit certain simulation cases better than others. In addition, no method can forecast EUR accurately without reaching BDF. Using this work, engineers can choose the best method to forecast EUR after identifying the simulation case that is most analogous to their field wells. The VBA program and the matching procedure presented here can help engineers automate these methods into their forecasting sheets.

Understanding the complex dynamics that underpin the response of structures in the occurrence of earthquakes is of paramount importance in ensuring community resilience. The operational continuity of structures is influenced by the performance of nonstructural components, also known as secondary structures. Inherent vulnerability characteristics, nonlinearities and uncertainties in their properties or in the excitation pose challenges that render their response determination as a non-straightforward task. This dissertation settles in the context of mathematical modelling and response quantification of seismically driven secondary systems. The case of bilinear hysteretic, rigid-plastic and free-standing rocking oscillators is first considered, as a representative class of secondary systems of distinct behaviour excited at a single point in the primary structure. The equations governing their full dynamic interaction with linear primary oscillators are derived with the purpose of assessing the appropriateness of simplified analysis methods where the secondary-primary feedback action is not accounted for. Analyses carried out in presence of pulse-type excitation have shown that the cascade approximation can be considered satisfactory for bilinear systems provided the secondary-primary mass ratio is adequately low and the system does not approach resonance. For the case of sliding and rocking systems, much lighter secondary systems need to be considered if the cascade analysis is to be adopted, with the validity of the approximation dictated by the selection of the input parameters. Based on the premise that decoupling is permitted, new analytical solutions are derived for the pulse driven nonlinear oscillators considered, conveniently expressing the seismic response as a function of the input parameters and the relative effects are quantified. An efficient numerical scheme for a general-type of excitation is also presented and is used in conjunction with an existing nonstationary stochastic far-field ground motion model to determine the seismic response spectra for the secondary oscillators at given site and earthquake characteristics. Prompted by the presence of uncertainty in the primary structure, and in line with the classical modal analysis, a novel approach for directly characterising uncertainty in the modal shapes, frequencies and damping ratios of the primary structure is proposed. A procedure is then presented for the identification of the model parameters and demonstrated with an application to linear steel frames with uncertain semi-rigid connections. It is shown that the proposed approach reduces the number of the uncertain input parameters and the size of the dynamic problem, and is thus particularly appealing for the stochastic assessment of existing structural systems, where partial modal information is available e.g. through operational modal analysis testing. Through a numerical example, the relative effect of stochasticity in a bi-directional seismic input is found to have a more prominent role on the nonlinear response of secondary oscillators when compared to the uncertainty in the primary structure. Further extending the analyses to the case of multi-attached linear secondary systems driven by deterministic seismic excitation, a convenient variant of the component-mode synthesis method is presented, whereby the primary-secondary dynamic interaction is accounted for through the modes of vibration of the two components. The problem of selecting the vibrational modes to be retained in analysis is then addressed for the case of secondary structures, which may possess numerous low frequency modes with negligible mass, and a modal correction method is adopted in view of the application for seismic analysis. The influence of various approaches to build the viscous damping matrix of the primary-secondary assembly is also investigated, and a novel technique based on modal damping superposition is proposed. Numerical applications are demonstrated through a piping secondary system multi-connected on a primary frame exhibiting various irregularities in plan and elevation, as well as a multi-connected flexible secondary system. Overall, this PhD thesis delivers new insights into the determination and understanding of the response of seismically driven secondary structures. The research is deemed to be of academic and professional engineering interest spanning several areas including seismic engineering, extreme events, structural health monitoring, risk mitigation and reliability analysis.

Submitted by CARLOS HUGO CORONADO VILLALOBOS (c_h_c_v_22@hotmail.com) on 2017-04-03T19:43:47Z No. of bitstreams: 1 Tese-Doutorado-final.pdf: 867658 bytes, checksum: bf510d7b44f1aa75cd8f00c2a6dbc943 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-04-11T20:35:11Z (GMT) No. of bitstreams: 1 coronadovillalobos_ch_dr_guara.pdf: 867658 bytes, checksum: bf510d7b44f1aa75cd8f00c2a6dbc943 (MD5) / Made available in DSpace on 2017-04-11T20:35:11Z (GMT). No. of bitstreams: 1 coronadovillalobos_ch_dr_guara.pdf: 867658 bytes, checksum: bf510d7b44f1aa75cd8f00c2a6dbc943 (MD5) Previous issue date: 2017-03-03 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Na presente tese abordaremos quatro tópicos importantes: espinores, covariantes bilineares, classificação de Lounesto e o teorema da inversão. Apresentamos a construção de covariantes bilineares para o espinor Elko e mostraremos a necessidade da deformação dos elementos da base da álgebra de Clifford com a finalidade de que as identidades de Fierz-Pauli-Kofink sejam satisfeitas. Estudamos também os ingredientes principais da classificação de espinores elaborada por Lounesto. Por último, construiremos três novas classes de espinores via o teorema da inversão a partir da premissa que o covariante bilinear $J_{\mu}$ seja nulo. Como consequência desta consideração esses novos espinores não possuem a dinâmica de Dirac, haja visto que $J_{\mu}$ na teoria de Dirac representa a corrente conservada. O surgimento de apenas três novas classes de espinores é uma consequência direta da imposição de que as identidades de Fierz-Pauli-Kofink sejam satisfeitas. / The present thesis covers four important topics: spinors, bilinear covariants, Lounesto's classification and the inversion theorem. We show and explicit the construction of bilinear covariants for the Elko spinors and the necessity of deformation of the Clifford algebra basis elements in order to satisfy the Fierz-Pauli-Kofink identities. We also study the main ingredients of the classification of spinors elaborated by Lounesto. Finally, we construct three new classes of spinors via the inversion theorem from the premise that the bilinear covariant $J_{\mu}$ is null. As a consequence, these new spinors do not have usual dynamics of Dirac, have seen that $J_{\mu}$ in Dirac's theory represents the conserved current. The emergence of only three new classes of spinors is a direct consequence of the requeriment that Fierz-Pauli-Kofink's identities must hold.

Orientador: Marco Aurelio Amaral Henriques / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T22:16:21Z (GMT). No. of bitstreams: 1 Oliveira_MatheusFernandesde_M.pdf: 924070 bytes, checksum: b0355f2150875c0a6c636bf2da2ea8a9 (MD5) Previous issue date: 2010 / Resumo: Emparelhamentos bilineares sobre curvas elípticas são funções matemáticas que viabilizam o desenvolvimento de uma série de novos protocolos criptográficos, entre eles, os criptossistemas baseados em identidades. Esses criptossistemas representam uma nova forma de se implementar criptografia de chaves públicas na qual são atenuadas ou completamente retiradas as restrições relativas ao tipo, tamanho e formato das chaves públicas. Este trabalho apresenta um estudo sobre a implementação de criptossistemas baseados em emparelhamentos bilineares sobre curvas elípticas em cartões inteligentes de oito bits. O trabalho mostra ainda o desenvolvimento de equações específicas baseadas no método conhecido como Montgomery's Ladder para multiplicação escalar de curvas elípticas supersingulares em corpos binários. Estas novas equações tornam o algoritmo mais rápido sem perder suas características de segurança originais. O trabalho apresenta também a técnica de delegação segura de emparelhamentos, na qual um dispositivo computacionalmente restrito, como um cartão inteligente, delega o cálculo do emparelhamento para um dispositivo com maior poder computacional. É proposta uma modificação nesta técnica que diminui o número de operações executadas pelo cartão inteligente / Abstract: Bilinear pairings over elliptic curves are mathematical functions that enable the development of a set of new cryptographic protocols, including the so called identity based cryptosystems. These cryptosystems represent a new way to implement public- key cryptography in such a way that the restrictions related to public keys type, size and format are reduced or completely removed. This work presents a study about implementation of pairing based cryptosystems in 8-bit smart cards. It also presents new equations to be used in Montgomery's Ladder algorithm for scalar multiplication of supersingular ellipitic curves over binary fields. These equations make the algorithm faster without compromising its security characteristics. Finally, it discusses the secure delegation of pairing computation, that enables a computationally limited device, like a smart card, to delegate the computation of pairings to a more powerful device. It is proposed a modification in this technique to decrease the number of operations executed by the smart card / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica