The subject of this Thesis is to examine nontrivial solutions of boundary value problems for second order ODEs with unilateral jumping nonlinearities. Considered problems can be interpreted as models of a simple beam supported by three types of elastic obstacles. Couples of eigenvalues and eigenfunctions are found and discussed with respect to parameter which represents the strength of the obstacle.

Neste trabalho são discutidos os procedimentos simplificados para a consideração da não linearidade física (NLF) e da não linearidade geométrica (NLG) na análise de edifícios de concreto armado. Deste modo, pretende-se estabelecer o grau de confiabilidade desses processos. Algumas prescrições para redução na inércia dos elementos estruturais são comparadas com os resultados obtidos através de modelos em elementos finitos, permitindo, assim, a avaliação destas prescrições. Um estudo detalhado do parâmetro &#947z, como majorador dos esforços em primeira ordem para a obtenção dos esforços finais em segunda ordem, é efetuada, de modo que se possa estabelecer, de forma mais clara, as vantagens e as limitações deste parâmetro. / This work shows some simplified procedures to consider physical non-linearity (FNL) and geometrical non-linearity (GNL), for reinforced concrete buildings, and discusses its reliability. For FNL, prescriptions for stiffness reduction of structural elements are compared with the results obtained from finite elements analysis, in order to verify its assessment. For GNL, a detailed study of the accuracy of &#947z parameter to evaluate final second order effects is made. The behavior of the parameter along the height of the building and for each effort considered is shown.

In this thesis, the basic tools of spatial statistics and time series analysis are applied to the case study of the earthquakes in a certain geographical region and time frame. Then some of the existing methods for joint analysis of time and space are described and applied. Finally, additional research questions about the spatial-temporal distribution of the earthquakes are posed and explored using statistical plots and models. The focus in the last section is in the relationship between number of events per year and maximum magnitude and its effect on how clustered the spatial distribution is and the relationship between distances in time and space in between consecutive events as well as the distribution of the distances.

Cette thèse traite de modélisation des systèmes complexes. Dans ce cadre, l'approche est basée sur les Modèles Structurés en Second Ordre (MSSO). Afin d'utiliser cette classe de modèles, les propriétés telles que l'atteignabilité, l'observabilité et les grammiens, bien connues pour les réalisations d'états, sont étendues aux MSSO.Lors de la co-simulation d'un système, des éléments de natures différentes (physiques et logicielles) sont intégrés et la simulation est effectuée en temps réel. Or, les modèles d'ordre élevés sont couteux en temps de calcul, ce qui rend difficile ce type de simulation. Ainsi, des méthodes de réduction de modèle sont explorées. En particulier, de nouvelles méthodes, permettant de préserver la structure des modèles avec une bonne erreur d'approximation sont présentées.Ces développements sont appliqués à la co-simulation de modèles véhicules sous forme de MSSO. Le modèle créé est un modèle par blocs, complexe et non-linéaire. Afin d'appliquer les méthodes de réduction de modèle il est nécessaire de le linéariser. La structure par blocs permet de linéariser l'ensemble du modèle ou de ne linéariser que certaines sous parties du modèle.Ensuite, l'identification des paramètres est effectuée pour chaque sous-systèmes du véhicule. Une méthode d'interconnexion est ensuite proposée pour créer une représentation monobloc du modèle afin de réduire ce dernier. Au final, des essais en co-simulation de la partie arrière du véhicule sous forme de modèle interconnectée avec la partie avant du véhicule physiquement présente sur un banc de test, valide notre approche pour effectuer de la co-simulation temps réel avec matériel.x / This thesis studies the modeling of complex systems. In this framework, the approach is based on Second Order Form Model (SOFM). In order to use this kind of models, properties such as the reachability, the observability, the gramians and the Markov parameters, well known for state-space representation, are extended to the SOFM. During the co-simulation of a system, its physical parts are interconnected to models which simulate the system environement and the simulation is performed in real time. However, the simulation of high order models consumes to much time to be performed in real time. Therefore, model order reduction methods are studied. Particularly, new methods preserving SOFM structure with a good approximation error are presented. These developments are applied to the vehicle dynamic. Hence, a vehicle SOFM model is developed. The created model is a blockwise model where each blocks describes a part of the vehicle. This model is complex and non-linear. In order to apply the model order reduction methods, model linearisation is necessary. The block modeling allows to linearise the full model or allows to linearise some part of the model. Then, the identification of the model parameters is done by vehicle sub-system. In addition, an interconnection method is proposed to build a monobloc model in order to reduce it. Finally, co-simulations of the model vehicle rear part interconnected to the physical front part of the vehicle show the capacity to make co-simulation with the reduced models.

This thesis deals with selecting the optimal portfolio for a risk averse investor. Firstly, we present the risk measures, specifically spectral risk me- asures which consider an individual risk aversion of the investor. Then we propose a diversification-consistent data envelopment analysis model. The model is searching for an efficient portfolio with respect to second-order sto- chastic dominance. The crux of the thesis is a model based on the theory of multi-criteria optimization and spectral risk measures. The presented mo- del is searching for an optimal portfolio suitable for the investor with a given risk aversion. In addition, the optimal portfolio is also consistent with second- order stochastic dominance efficiency. The topic of the practical part is a nu- merical study in which both models are implemented in MATLAB. Models are applied to a dataset from real financial markets. Personal contribution lies in comparing the diversification-consistent data envelopment analysis model and model based on multi-criteria optimization, both with respect to second order stochastic dominance efficiency.

Dans cette thèse, nous étudions diverses largeurs de graphes autour de la largeur arborescente ainsi que de la largeur de clique. Nous commençons avec une étude comparative entre la largeur arborescente d’un graphe et la largeur de clique du graphe d’incidence associé, de laquelle nous extrayons des résultats algorithmiques encourageants. Puis nous présentons quelques propriétés structurelles liées à la largeur arborescente spéciale, largeur relativement récente qui est à mi-chemin entre les deux largeurs précédentes. Enfin nous nous intéressons à une notion plus générale connue sous le nom de fonction de partition sous-modulaire qui englobe, entre autres, les largeurs arborescentes « classique » et spéciale, la largeur de chemin ainsi que la largeur linéaire et les largeurs de branches de coupe et de découpe. Nous présentons alors un algorithme linéaire à paramètre fixé pour le calcul de ces différentes largeurs, lequel généralise un certain nombre de résultats propres à chacune de ces largeurs. / In this thesis, we study some width parameters on graphs, beyond tree-width and clique-width. Our first investigation is a comparative study between the tree-width of a graph and the clique-width of the associated incidence graph, from which we extract some strong algorithmic results. Then we present a few structural properties over a recently defined width called special tree-width and which takes its definition through both tree-width and clique-width. Finally, we end our journey with a more general notion named sub-modular partition fonction and which encompass both “classic” and special tree-widths, path-width, branch-width, linear-width, cut-width and carvingwidth among others. So, we introduce a fixed parameter tractable algorithm computing those widths parameters and thus we generalize a number of results specific to each of them.

Orientador: Jose Roberto Sanches Mantovani / Resumo: Neste trabalho são propostos modelos matemáticos determinístico e estocástico de programação cônica de segunda ordem em coordenadas retangulares para o problema de fluxo de potência ótimo de geração e controle de potência reativa no sistemas elétricos de potência, considerando as minimização dos custos de geração de energia, perdas ativas da rede e emissão de poluentes no meio ambiente. Os modelos contemplam as principais características físicas e econômicas do problema estudado, assim como os limites operacionais do sistema elétrico. Os modelos são programados em linguagem AMPL e suas soluções são obtidas através do solver comercial CPLEX. Os sistemas testes IEEE30, IEEE118 e ACTIVSg200 são utilizados nas simulações computacionais dos modelos propostos. Os resultados obtidos pelo modelo determinístico desenvolvido são validados através de comparações com os resultados fornecidos pelo software MATPOWER , onde ambos consideram apenas a existência de gerações termoelétricas. No modelo estocástico utiliza-se a técnica de geração de cenários e considera-se um período de um ano (8760 horas), e geradores que utilizam fontes de geração renováveis e não renováveis. / Abstract: In this work we propose deterministic and stochastic mathematical models of second order conical programming in rectangular coordinates for the optimal power flow problem of reactive power generation and control in electric power systems, considering the minimization of energy generation costs, losses networks and emission of pollutants into the environment. The models contemplate the main physical and economic characteristics of the studied problem, as well as the operational limits of the electric system. The models are programmed in AMPL language and their solutions are obtained through the commercial solver CPLEX. The IEEE30, IEEE118 and ACTIVSg200 test systems are used in the computer simulations of the proposed models. The results obtained by the deterministic model developed are validated through comparisons with the results provided by the software MATPOWERR , where both consider only the existence of thermoelectric generations. The stochastic model uses the scenario generation technique and considers a period of one year (8760 hours), and generators using renewable and non-renewable generation sources. / Mestre

The estimation of motion of multi-camera systems is one of the most important tasks in computer vision research. Recently, some issues have been raised about general camera models and multi-camera systems. Using many cameras as a single camera is studied [60], and the epipolar geometry constraints of general camera models is theoretically derived. Methods for calibration, including a self-calibration method for general camera models, are studied [78, 62]. Multi-camera systems are an example of practically implementable general camera models and they are widely used in many applications nowadays because of both the low cost of digital charge-coupled device (CCD) cameras and the high resolution of multiple images from the wide field of views. To our knowledge, no research has been conducted on the relative motion of multi-camera systems with non-overlapping views to obtain a geometrically optimal solution. ¶ In this thesis, we solve the camera motion problem for multi-camera systems by using linear methods and convex optimization techniques, and we make five substantial and original contributions to the field of computer vision. First, we focus on the problem of translational motion of omnidirectional cameras, which are multi-camera systems, and present a constrained minimization method to obtain robust estimation results. Given known rotation, we show that bilinear and trilinear relations can be used to build a system of linear equations, and singular value decomposition (SVD) is used to solve the equations. Second, we present a linear method that estimates the relative motion of generalized cameras, in particular, in the case of non-overlapping views. We also present four types of generalized cameras, which can be solvable using our proposed, modified SVD method. This is the first study finding linear relations for certain types of generalized cameras and performing experiments using our proposed linear method. Third, we present a linear 6-point method (5 points from the same camera and 1 point from another camera) that estimates the relative motion of multi-camera systems, where cameras have no overlapping views. In addition, we discuss the theoretical and geometric analyses of multi-camera systems as well as certain critical configurations where the scale of translation cannot be determined. Fourth, we develop a global solution under an L∞ norm error for the relative motion problem of multi-camera systems using second-order cone programming. Finally, we present a fast searching method to obtain a global solution under an L∞ norm error for the relative motion problem of multi-camera systems, with non-overlapping views, using a branch-and-bound algorithm and linear programming (LP). By testing the feasibility of LP at the earlier stage, we reduced the time of computation of solving LP.¶ We tested our proposed methods by performing experiments with synthetic and real data. The Ladybug2 camera, for example, was used in the experiment on estimation of the translation of omnidirectional cameras and in the estimation of the relative motion of non-overlapping multi-camera systems. These experiments showed that a global solution using L∞ to estimate the relative motion of multi-camera systems could be achieved.

The thesis contributes to the theoretical study of Petri net theory. We conduct boundedness and liveness structural analysis of Synchronized Choice nets (SNC) based on fundamental structures in Petri nets and identified as first-order structures. By studying these structures, the study proposes two ways of preserving good properties: addition of second-order structures or other asymmetric structures. Liveness of these new SNC nets is studied based on the concept of siphons and traps. We prove that SNC nets thus formed are structurally bounded and live. The thesis extends this class of nets to those with pure TP and PT first-order structures and explores its structural and marking conditions. Based on this, we introduce a new class of Synchronized Choice nets called Expanded Synchronized Choice nets.

A rather complete picture of automatic plastic-hinge analysis onto steel frames under static loads is made in the present thesis. One/two/three-linear behaviours of mild steel are considered. The frames are submitted to fixed or repeated load. The geometric nonlinearity is taken into account. The beam-to-column joints of structures could be rigid or semi-rigid. The compact or slender cross-sections are examined. The investigation is carried out using direct or step-by-step methods. Both analysis and optimization methodologies are applied. From the fundamental theory to the computer program aspect are presented. Various benchmarks in open literatures are tested demonstrating the efficiency of the implementation.