Ma thèse porte sur l’allocation de registres. Durant cette étape, le compilateur doit assigner les variables du code source, en nombre arbitrairement grand, aux registres physiques du processeur, en nombre limité k. Des travaux récents, notamment ceux des thèses de F. Bouchez et S. Hack, ont montré qu’il était possible de séparer de manière complètement découplée cette étape en deux phases : le vidage (spill) – stockage de variables en mémoire pour libérer des registres – suivi de l’assignation aux registres proprement dite. Ces travaux démontraient la faisabilité de ce découpage en s’appuyant sur un cadre théorique et certaines hypothèses simplificatrices. En particulier, il est suffisant de s’assurer qu’après le spill, le nombre de variables simultanément en vie est inférieur à k.Ma thèse fait suite à ces travaux en montrant comment appliquer ce type d’approche dans un cadre réaliste, en prenant en compte les contraintes liées à l’encodage des instructions, à l’ABI (application binary interface), aux bancs de registres avec aliasing. Différentes approches sont proposées qui permettent soit de s’affranchir des problèmes précités, soit de les prendre en compte directement dans le modèle théorique. Les hypothèses des modèles et les solutions proposées sont évaluées et validées par une étude expérimentale poussée dans le compilateur de STMicroelectronics. Enfin, l’ensemble de ces travaux a été réalisé avec, en ligne de mire, les contraintes de la compilation moderne, la compilation JIT (just-in-time), où rapidité et consommation mémoire du compilateur sont des facteurs déterminants. Nous nous sommes efforcés d’offrir des solutions satisfaisant ces critères ou améliorant les résultats attendus tant qu’un certain budget n’a pas été dépassé, exploitant en particulier la forme SSA (static single assignment) pour définir des algorithmes de type tree scan qui généralisent les approches de type linear scan, proposées pour le JIT. / My thesis deals with register allocation. During this phase, the compiler has to assign variables of the source program, in an arbitrary big number, to actual registers of the processor, in a limited number k. Recent works, for instance the thesis of F. Bouchez and S. Hack, have shown that it is possible to split in two different decoupled step this phase: the spill - store the variables into memory to release registers - followed by the registers assignment. These works demonstrate the feasibility of this decoupling relying on a theoretic framework and some assumptions. In particular, it is sufficient to ensure after the spill step that the number of variables simultaneously live is below k.My thesis follows these works by showing how to apply this kind of approach when real-world constraints come in play: instructions encoding, ABI (application binary interface), register aliasing. Different approaches are proposed. They allow either to ignore these problems or to directly tackle them into the theoretic framework. The hypothesis of the models and the proposed solutions are evaluated and validated using a thorough experimental study with the compiler of STMicroelectronics. Finally, all these works have been done with the constraints of modern compilers in mind, the JIT (just-in-time) compilation, where the compilation time et the memory footprint of the compiler are key factors. We strive to offer solutions that cope with these criteria or improve the result until a given budget is reached. We, in particular, used the SSA (static single assignment) form to define algorithm like tree scan that generalizes linear scan based approaches proposed for JIT compilation.

Recent development in search for external knowledge links the practise with foresight and decouples the process from the actuating firm. Enabling new opportunities for generating insights whilst raising concerns for how change is inflicted on the focal firm. Through an action research study, the implementation of externally generated knowledge is examined whilst producing concepts for future business strategy and models. Complementing the study with a comparative project, using the focal firms own external innovation lab. Resulting in findings that shows how commitment affects the roles of foresight; assimilation steers levels of innovation; and ownership, the degree of utilization. Implications which inform the managing of the search interface between the firm and search agent; the effects of such ventures; and theoretical contributions regarding knowledge transference in decoupled foresight projects. Giving rise to a conceptual model of knowledge transference that explains the dynamics between the focal firm and decoupled agent which can help to evaluate the process and direct efforts to improve upon the value output. Showing that given enough commitment, assimilation, and ownership; findings can be anchored and produce tangible outcomes.

No description available.

Nombreux sont les problèmes classiquement rencontrés dans les sciences de l'ingénieur dont la résolution fait appel à l'estimation d'état d'un système par le biais d'un observateur. La synthèse d'un observateur n'est envisageable qu'à la condition de disposer d'un modèle à la fois exploitable et représentatif du comportement dynamique du système. Or, la modélisation du système et la synthèse de l'observateur deviennent des tâches difficiles à accomplir dès lors que le comportement dynamique du système doit être représenté par un modèle de nature non linéaire. Face à ces difficultés, l'approche multimodèle peut être mise à profit. Les travaux présentés dans cette thèse portent sur les problèmes soulevés par l'identification, l'estimation d'état et le diagnostic de systèmes non linéaires représentés à l'aide d'un multimodèle découplé. Ce dernier, composé de sous-modèles qui peuvent être de dimensions différentes, est doté d'un haut degré de généralité et de flexibilité et s'adapte particulièrement bien à la modélisation des systèmes complexes à structure variable. Cette caractéristique le démarque des approches multimodèles plus conventionnelles qui ont recours à des sous-modèles de même dimension. Après une brève introduction à l'approche multimodèle, le problème de l'estimation paramétrique du multimodèle découplé est abordé. Puis sont présentés des algorithmes de synthèse d'observateurs d'état robustes vis-à-vis des perturbations, des incertitudes paramétriques et des entrées inconnues affectant le système. Ces algorithmes sont élaborés à partir de trois types d'observateurs dits à gain proportionnel, à gain proportionnel-intégral et à gain multi-intégral. Enfin, les différentes phases d'identification, de synthèse d'observateurs et de génération d'indicateurs de défauts sont illustrées au moyen d'un exemple académique de diagnostic du fonctionnement d'un bioréacteur / The state estimation of a system, with the help of an observer, is largely used in many practical situations in order to cope with many classic problems arising in control engineering. The observer design needs an exploitable model able to give an accurate description of the dynamic behaviour of the system. However, system modelling and observer design can not easily be accomplished when the dynamic behaviour of the system must be described by non linear models. The multiple model approach can be used to tackle these difficulties. This thesis deals with black box modelling, state estimation and fault diagnosis of nonlinear systems represented by a decoupled multiple model. This kind of multiple model provides a high degree of generality and flexibility in the modelling stage. Indeed, the decoupled multiple model is composed of submodels which dimensions can be different. Thus, this feature is a significant difference between the decoupled multiple model and the classical used multiple model where all the submodels have the same dimension. After a brief introduction to the multiple model approach, the parametric identification problem of a decoupled multiple model is explored. Algorithms for robust observers synthesis with respect to perturbations, modelling uncertainties and unknown inputs are afterwards presented. These algorithms are based on three kinds of observers called proportional, proportional-integral and multiple-integral. Lastly, identification, observers synthesis and fault sensitivity signals generation are illustrated via a simulation example of a bioreactor

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-03-17T15:55:04Z No. of bitstreams: 1 Iverson Farias Costa_.pdf: 1955231 bytes, checksum: 026a292f3b36f9d497620ffb02e502b4 (MD5) / Made available in DSpace on 2016-03-17T15:55:04Z (GMT). No. of bitstreams: 1 Iverson Farias Costa_.pdf: 1955231 bytes, checksum: 026a292f3b36f9d497620ffb02e502b4 (MD5) Previous issue date: 2012-03-29 / Nenhuma / A importância de um suprimento confiável de energia elétrica, para a sociedade industrial atual, é inquestionável. Em um centro de controle de uma rede elétrica, uma importante tarefa computacional é a Análise de Segurança. Nesta tarefa, uma contingência é saída de operação de um ou mais equipamentos, enquanto que a seleção de contingências é a determinação das contingências mais severas existentes no sistema. A despeito dos avanços tecnológicos atuais, uma análise de todas as contingências possíveis é impraticável. Neste trabalho, um método é apresentado para realizar, de forma eficiente, a seleção de contingências múltiplas. O problema é modelado como um problema de otimização combinatória, e é resolvido através de dois algoritmos genéticos. Um método robusto, que considera aspectos de fluxo de potência e tensão, é apresentado e testado em uma rede IEEE e em um sistema real de grande porte, considerando saídas duplas de linha. Os resultados apresentados, obtidos através da varredura de porções reduzidas do espaço de busca, demonstram uma acurácia próxima a 100%, quando comparados a um método exato. / The importance of a reliable supply of electricity to the industrial society is unquestionable. In a control center of an electrical utility, an important computational task is the Security Analysis. In this task, contingency is the out of operation of one or more devices, and contingencies selection is the determination of the most severe contingencies for the system. Despite the current technological advances, an analysis of all possible contingencies, for a real grid, is impracticable. In this work, a method to efficiently perform the selection of multiple contingencies is presented. The problem is modeled as a combinatorial optimization problem, and solved by two genetic algorithms. A robust method, which considers aspects of power flow and voltage, is presented and tested over an IEEE test system and a large real network, considering double outages of branches. The results presented, obtained with scans of reduced portions of search space, shows accuracy close to 100%, when compared with an exact method.

La localisation de source Distribuée Cohérente (DC) présente un défi du traitement d'antenne. Les contributions de cette thèse s’articulent principalement autour de trois aspects. Premièrement, un estimateur conjoint de l'angle, la distance, la dispersion et la forme de la source appelée JADSSE est proposé pour le cas champ proche. L’estimation d’un paramètre de forme de distribution de la dispersion permet d’éviter des erreurs de modèles sur l’a priori de la forme de la distribution. Deuxièmement, on généralise l'estimateur Decoupled DSPE en champ proche. Cette approche permet de découpler l'estimation de la Direction D’Arrivée (DDA) et de la distance de l'estimation de la dispersion. Afin de permettre l’estimation de la dispersion sans connaître a priori les formes de distribution, on propose le DADSSE qui consiste à estimer successivement la DDA, la distance et ensuite la dispersion et la forme de la distribution de la source. Troisièmement, on généralise le modèle DC avec une dispersion spatiale bidimensionnelle de la source ainsi que l’estimateur JADSSE. Deux approches sont proposées pour l’estimation de la puissance prenant en compte le modèle d’étalement des sources. Les méthodes proposées sont testées sur les données expérimentales de la soufflerie de Renault. Les résultats mettent en évidence des sources aéro-acoustiques proches et de faibles puissances. L’ensemble de ces travaux permet de fournir un outil pour une meilleure cartographie et caractérisation des sources aéro-acoustiques grâce à l’estimation de la position, l'étalement, la puissance et la forme. / Localization of Coherently Distributed (CD) source presents a challenge in the array signal processing. Our work motivates the localization of aero-acoustic source based on its spatial extension. This challenge is practically ignored in the literature of acoustic imaging field where many applications consist in mapping noisy source to reduce its contribution. The thesis presents the three following contributions. First, we propose a Joint Angle, Distance, Spread and Shape Estimator called JADSSE. The estimation of the so-called spread shape distribution parameter proposed by JADSSE avoids the modeling error due to the required a priori knowledge on the source shape when using classical estimators. Second, we expand the Decoupled DSPE to the near field. This method decouples the Direction of Arrival (DoA) and the range estimation from the spread estimation. Meanwhile, this method prevents the spread estimation for unknown shape distribution. Therefore, we propose the DADSSE to successively estimate the DOA, the range and then the spread and the shape distribution of the source. Third, we generalize the CD model and the JADSSE to consider the bi-dimensional spread of the source. Next, we propose two source power estimation approaches accounting the spatial spread of the source. The proposed methods are tested using a set of experimental data of the Renault wind tunnel application. Results show the presence of new aero-acoustic sources especially the overlapped ones with weak powers. We provide a tool to better map and characterize the aero-acoustic source by estimating the position, spread, power and shape.

En stor del av jordbrukets växthusgasutsläpp kommer från nötköttssektorn. Dess produktion påverkas i Sverige och EU av EU:s jordbrukspolitik. En större del av jordbrukssubventionerna var tidigare kopplade till produtionen vilket gav incitament att öka produktionen. 2003 infördes en reform med gårdsstöd som var frikopplat från produktionen. I uppsatsen studeras litteraturen kring hur nötköttsproduktionen påverkas av gårdsstödet, och utifrån detta görs egna beräkningar om förändringar i växthusgasutsläpp. Prognoser från ekonomiska modeller för jordbruksektorn används för att beräkna produktionen, för att uppskatta förändringar i utsläppen av växthusgaser. Då stöden har frikopplats har produktionen, och således utsläppen minskat något. Om gårdsstödet helt togs bort skulle det kunna ge stora utsläppsminskningar. Hur utsläppen totalt påverkas beror dock på världens konsumtion.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This master thesis proposes a current control technique based on sliding mode strategy and disturbance observer for high-performance drive applied to permanent magnet synchronous motors and can be extended to other systems. The combination of sliding mode control and disturbance observer applied to the current control presents the characteristics necessary to minimize the coupling between the axes, rejection of external disturbances and parametric variations. A continuous time control scheme is developed, the stability proofs are performed from the Lyapunov analysis. The performance of the propose technique is evaluates through simulation results. Moreover, this master thesis presents a discrete-time sliding mode controller combined with a discrete-time disturbance observer. The development in discrete-time enables the implementation in digital processors. The conditions of reach of the proposed controller considering the transport delay of digital implementation are still evaluated. The stability proofs of the proposed scheme are presented. Simulation results are shown. In addition, it is developed an experimental platform for drive and control of the permanent magnet synchronous motor in which the experimental results are obtained. / Esta dissertação propõe uma técnica de controle de corrente baseada na estratégia por modos deslizantes e observador de distúrbios para acionamento de alto desempenho aplicada a motores síncronos de ímãs permanentes, podendo ser estendida a outros sistemas. A combinação do controle por modos deslizantes e do observador de distúrbio aplicada ao controle de corrente apresenta as características necessárias para minimização do acoplamento existente entre os eixos, rejeição a distúrbios externos e variações paramétricas. É desenvolvido um esquema de controle em tempo contínuo, são apresentadas as provas de estabilidade a partir de critério de Lyapunov. O desempenho da técnica proposta é avaliado através de resultados de simulação. Além disso, é apresentado um controlador por modos deslizantes associado ao observador de distúrbio em tempo discreto. O desenvolvimento em tempo discreto possibilita a implementação em processadores digitais de sinais. Ainda são avaliadas as condições de alcance do controlador proposto considerando o atraso de transporte da implementação digital. Provas de estabilidade do esquema proposto e resultados de simulação são apresentados. Este trabalho faz o desenvolvimento de uma bancada experimental para o acionamento e controle do motor síncrono de ímãs permanentes na qual são obtidos os resultados experimentais apresentados.

La localisation de source Distribuée Cohérente (DC) présente un défi du traitement d'antenne. Les contributions de cette thèse s’articulent principalement autour de trois aspects. Premièrement, un estimateur conjoint de l'angle, la distance, la dispersion et la forme de la source appelée JADSSE est proposé pour le cas champ proche. L’estimation d’un paramètre de forme de distribution de la dispersion permet d’éviter des erreurs de modèles sur l’a priori de la forme de la distribution. Deuxièmement, on généralise l'estimateur Decoupled DSPE en champ proche. Cette approche permet de découpler l'estimation de la Direction D’Arrivée (DDA) et de la distance de l'estimation de la dispersion. Afin de permettre l’estimation de la dispersion sans connaître a priori les formes de distribution, on propose le DADSSE qui consiste à estimer successivement la DDA, la distance et ensuite la dispersion et la forme de la distribution de la source. Troisièmement, on généralise le modèle DC avec une dispersion spatiale bidimensionnelle de la source ainsi que l’estimateur JADSSE. Deux approches sont proposées pour l’estimation de la puissance prenant en compte le modèle d’étalement des sources. Les méthodes proposées sont testées sur les données expérimentales de la soufflerie de Renault. Les résultats mettent en évidence des sources aéro-acoustiques proches et de faibles puissances. L’ensemble de ces travaux permet de fournir un outil pour une meilleure cartographie et caractérisation des sources aéro-acoustiques grâce à l’estimation de la position, l'étalement, la puissance et la forme. / Localization of Coherently Distributed (CD) source presents a challenge in the array signal processing. Our work motivates the localization of aero-acoustic source based on its spatial extension. This challenge is practically ignored in the literature of acoustic imaging field where many applications consist in mapping noisy source to reduce its contribution. The thesis presents the three following contributions. First, we propose a Joint Angle, Distance, Spread and Shape Estimator called JADSSE. The estimation of the so-called spread shape distribution parameter proposed by JADSSE avoids the modeling error due to the required a priori knowledge on the source shape when using classical estimators. Second, we expand the Decoupled DSPE to the near field. This method decouples the Direction of Arrival (DoA) and the range estimation from the spread estimation. Meanwhile, this method prevents the spread estimation for unknown shape distribution. Therefore, we propose the DADSSE to successively estimate the DOA, the range and then the spread and the shape distribution of the source. Third, we generalize the CD model and the JADSSE to consider the bi-dimensional spread of the source. Next, we propose two source power estimation approaches accounting the spatial spread of the source. The proposed methods are tested using a set of experimental data of the Renault wind tunnel application. Results show the presence of new aero-acoustic sources especially the overlapped ones with weak powers. We provide a tool to better map and characterize the aero-acoustic source by estimating the position, spread, power and shape.

No description available.