Des panneaux sandwichs thermoplastiques imprimés en 3D avec des cœurs en nid d'abeille sont étudiés afin d'être utilisés dans la conception d'engins d'exploration lunaire. C'est dû à leur rigidité en flexion élevée, leur faible densité et leur basse conductivité thermique. Les matériaux thermoplastiques ne sont pas aussi bien documentés en termes de comportement mécanique que d'autres matériaux. La recherche est donc nécessaire pour prédire le comportement mécanique de structures en composite thermoplastique fabriquées par impression 3D. À cette fin, ce projet avait trois objectifs principaux. Le premier était de caractériser le comportement mécanique d'un polymer thermoplastique (polylactide ou PLA) imprimé en 3D. Le deuxième était de prédire le comportement mécanique de panneaux sandwichs en PLA avec des simulations. Le troisième était de développer un modèle homogénéisé du cœur en 2D pour les simulations à grande échelle. Les spécimens en PLA ont été caractérisées en traction et en compression. Un module d'élasticité en traction de 2,46 ± 0,07 GPa et un module d'élasticité en compression de 2,68 ± 0,04GPa ont été mesurés. Des essais ont également été réalisés pour des panneaux imprimés soumis à des chargements de compression hors-plan, de flexion trois-points et d'indentation. Ces essais ont été ensuite modélisés par éléments finis. Les modèles 3D, constitués d'éléments coques 2D pour modéliser les cellules du cœur et les peaux, ont prédit le module d'élasticité et la contrainte maximale à 10 % près pour la compression et la flexion. Les modes de flambement, cependant, n'ont pas été si bien modélisés par les simulations de compression et d'indentation, ce qui montre une limite de la méthode. Ce modèle a été ensuite utilisé pour déterminer les propriétés élastiques équivalentes du cœur Ces propriétés, ainsi que les propriétés calculées par des méthodes analytiques, ont été appliquées à des modèles 2D représentatifs des panneaux sandwichs. En comparant ces modèles, il a été établi que le comportement linéaire en traction et en compression dans le plan était similaire. En flexion, le modèle qui utilise des propriétés équivalentes obtenues analytiquement prédit à moins de 5 % la rigidité du modèle 3D complet, tandis que le modèle qui utilise des propriétés équivalentes obtenues numériquement était à moins de 15 %. Étant donné qu'un modèle analytique précis ne sera pas disponible pour prédire les propriétés équivalentes pour chaque géométrie de cœur et pour des matériaux non-isotropes, utiliser es propriétés équivalentes du cœur obtenues par éléments finis dans un modèles coques 2D qui représente le panneau sandwich est une méthode valide pour prédire le comportement mécanique d'une structure sandwich. Avec ce modèle premier comme base, les travaux de modélisation s'étendre aux composites thermoplastiques renforcé par des fibres de carbone qui serviraient à concevoir un engin d'exploration lunaire résistant à son environnement. D'autres travaux peuvent également être effectués sur différents panneaux qui, grâce à la flexibilité de l'impression 3D, ont une densité ou une géométrie variable. Ces panneaux sandwichs aideront à optimiser la structure d'un engin d'exploration lunaire capable de survivre à des cycles jour-nuit complets sur la lune. / 3D printed thermoplastic composite sandwich panels with honeycomb cores are being researched as a structural element for lunar rovers. This is for their high flexural rigidity, low density, and low thermal conductivity. However, thermoplastic materials are not aswell-documented in terms of structural behaviour as other commonly-used materials like aluminum. Therefore, work is needed to develop a model for these thermoplastics. To that end, this project had three main objectives. The first was to characterize a 3D printed thermoplastic polymer (polylactic acid or PLA). The second was to establish a model to predict the mechanical behaviour of printed honeycomb core sandwich panels. The third was to develop an equivalent core model for large-scale simulations. Parts made with PLA were characterized in tension and compression. These tests measured an elastic modulus in tension of 2.46 ± 0.07 GPa and an elastic modulus in compression of 2.68 ± 0.04 GPa. Tests were also performed for printed panels undergoing out-of-plane compression, three-point bending, and indentation, which were then simulated. Three-dimensional simulation models, constructed by modelling the core cells and the skins with two-dimensional shell elements, accurately predicted the elastic modulus and maximum stress to within 10% for both the compression and bending simulations. The buckling modes were less accurately modelled for both compression and indentation simulations, which shows the limit of the current method's predictive capabilities. This model was then used to determine the equivalent elastic properties of the honeycomb core. These properties, along with properties calculated analytically, were applied to 2D plate models that represented the sandwich panels. Comparing these models, it was found that the linear behaviour for in-plane tension and compression were very similar. In bending it was found that the core model that used analytically determined equivalent properties predicted within 5 % the rigidity of the full 3D model. The 2D core model that used numerically determined equivalent properties was within 15 %. Given that a precise analytical model is not available for every core geometry and for non-isotropic materials, the utilization of a core with equivalent properties obtained from finite element analysis of a sandwich panel represented by 2D shell elements is a valid method to predict the mechanical behaviour of a sandwich structure. With this model, progress can be made on the production and modelling of reinforced thermoplastic composites for a lunar rover. Further work can also be done on different panels that have variable densities or geometries that change throughout the core. These sandwich panels will help to optimize a rover's structure to be the first to survive full lunar day-night cycles.

En service, les pièces aéronautiques en matériaux composites et structures sandwiches subissent des dommages qui nécessitent des réparations. Les réparations par patch interne en biseau, en escalier ou par combinaison des deux offrent une excellente restauration de la résistance mécanique pour ces structures composites. Cependant, l’environnement de réparation peut se révéler être un défi de taille quant à leur mise en œuvre, au choix des paramètres géométriques (angle de biseau, nombre de plis extra), à leur comportement mécanique sous différents chargements ainsi qu’à leur processus d’endommagement. Cette thèse présente une étude expérimentale et numérique (éléments finis) du comportement mécanique de réparations par patch interne effectuées sur des structures avec des peaux en composites à renforts tissés fabriquées hors autoclave et âme en Nomex en nid d’abeille. Afin de déterminer l’effet de différents paramètres géométriques sur la résistance de la réparation et de comprendre son comportement mécaniqueet son processus d’endommagement, une série de tests de caractérisation sous différents chargements (traction, compression, flexion) a été effectuée sur des structures sandwiches faite avec deux matériaux composites tissés pour la peau : soit du composite tissé taffetas (PW) ou satin de 8 (8HS) Des simulations numériques ont été effectuées afin de prédire le comportement mécanique de la réparation. Cette étude numérique a été effectuée en plusieurs étapes. Un premier modèle 2D qui suppose que la colle ait un comportement linéaire élastique a été développé et permet d’étudier la distribution des contraintes dans le joint de colle pour différentes configurations de réparation rectangulaire. Ensuite, le modèle 2D est modifié pour tenir compte du comportement élastoplastique de la colle et ceci permet de prédire le comportement mécanique d’une réparation rectangulaire jusqu’à la rupture. Par la suite, un modèle 3D est développé pour prédire le comportement de réparations circulaires sous des chargements de compression. Ce modèle tient compte de l’endommagement progressif des peaux en composite. Les résultats de ces simulations numériques sont comparés par la suite aux mesures expérimentales. Les modèles par éléments finis, avec une loi de comportement élastoplastique pour le joint de colle, permettent une estimation adéquate de la résistance ainsi que de l’endommagement des structures sandwiches réparées. Une étude paramétrique a eu lieu afin d’étudier l’effet de différents paramètres géométriques sur la résistance de la réparation. La mise en œuvre et la détermination de la performance mécanique des réparations par patch interne des structures sandwiches est une tâche complexe avec de multiples paramètres de matériaux et de procédés. D’une manière générale, cette thèse contribue à une meilleure compréhension du comportement mécanique des structures sandwiches réparées et de leur processus d’endommagement. Les modèles par éléments finis développés dans ces travaux ont été validés expérimentalement et des simulations paramétriques ont contribué à une meilleure compréhension de l’influence des différents paramètres géométriques sur la résistance de la réparation par patch interne. / In service, aeronautical components made of composite materials and sandwich structures are subject to type of damages that require repairs. Adhesively bonded repairs (scarf-scarf, step-step or scarf-step) offer an excellent mechanical strength recovery for these composite structures. However, the repair environment can be a significant challenge in terms of the choice of geometrical parameters (scarf angle, addition of an overply), damage process parameters and mechanical behavior under different loads.This thesis presents both experimental and numerical investigations of the mechanical behavior of internal patch repairs carried-out on Nomex honeycomb composite sandwich structures. The skins use an out-of-autoclave woven fabric made of carbon-epoxy composite materials. In order to determine the effect of different geometric parameters on the resistance of the internal patch repair and to better understand its mechanical behavior and damage processes, a series of mechanical tests under different loads (tensile, compression, bending) is conducted on the repaired sandwich panels made with either plain weave or 8 harness satin textile composites. Numerical simulations were carried out, in several stages, in order to determine the mechanical behavior of the repair. First, a 2D model that assumes a linear elastic behavior of the adhesive film was developed. This simple model allows to study the distribution of the stresses in the adhesive joint for different configurations of rectangular patch repair. Then, the 2D model is modified in order to account for the elastoplastic behavior of the adhesive film. The latter allows to predict the mechanical behavior of a rectangular internal patch repair until rupture. Subsequently, a 3D model is developed to predict the mechanical behavior of circular internal patch repairs under compressive loadings. This model takes into account the progressive damage and failure of the woven fabric skins. The results of these numerical simulations are validated by comparing them to experimental measurements. The finite element models that account for the elastoplastic behavior law for the adhesive joint allow predictions of the strength as well as the damage morphology of the repaired sandwich structures. A parametric study has also been conducted in order to determine the influence of the geometrical design parameters in the repair strength. Processing and assessment of the mechanical performance of internal patch repairs on sandwich structures is a complex task with multiple material and process parameters. In general, this thesis contributes to a better understanding of the mechanical behavior of adhesively bonded repaired sandwich structures and their damage process. The finite element models developed in this work and validated experimentally have contributed through parametric numerical simulations to an economical better understanding of the influence of different geometric parameters on the strength and failure of internal patch repaired sandwich panels.

Grâce aux progrès réalisés dans le domaine des semi-conducteurs, les plateformes matérielles embarquées sont capables de satisfaire les contraintes de performances d'applications de plus en plus complexes. Cette augmentation conduit à une explosion des coûts de conception, ce qui pousse les concepteurs de ces plateformes à utiliser des outils travaillant à des niveaux d’abstraction plus élevés. Aujourd’hui, les outils de synthèse de haut niveau opèrent sur des descriptions C/C++ pour en générer des accélérateurs matériels spécialisés. Ces outils offrent des gains en productivité significatifs par rapport à la génération précédente, qui opérait sur des descriptions structurelles de l’architecture en VHDL ou Verilog. Ces descriptions algorithmiques doivent être retravaillées pour que les outils puissent générer des circuits performants. Pour faciliter cette tâche, une solution consiste à mettre en œuvre une boite à outils pour des transformations source-à-source orientées synthèse de haut niveau. En particulier, cette thèse s’intéresse aux transformations de boucles, avec pour objectif d’améliorer les performances en exposant des boucles parallèles et en améliorant la localité des accès mémoire. En nous appuyant sur une représentation des boucles dans le modèle polyédrique, nous proposons une approche qui améliore l’applicabilité du pipeline de nids de boucles en vérifiant sa légalité de manière plus précise que les approches existantes. De plus, lorsque la vérification échoue, nous proposons une technique de correction qui insère statiquement des états d’attente pour assurer la légalité du pipeline. Enfin, ce pipeline est mis en œuvre en utilisant une technique de génération de code qui met les nids de boucles à plat. Ces contributions ont été implémentées dans l’infrastructure de compilation source-à-source Gecos, avant d’être appliquées à un ensemble de benchmarks représentatifs des noyaux de calculs cibles de la synthèse de haut niveau. Les résultats montrent un gain en performances significatif, avec un surcoût en surface modéré. / Due to the advances in semiconductor technologies, embedded hardware is capable of satisfying the performance constraints of increasingly complex applications. This leads to a design cost explosion, thus pushing the hardware designers to use tools working with higher levels of abstractions. High-Level Synthesis tools generate custom hardware accelerators out of C/C++ specifications. They offer significant productivity gains compared to the previous generation of tools that worked at the level of hardware description languages, such as VHDL or Verilog. These higher level specifications have to be reworked in order for the High-Level Synthesis tools to generate efficient hardware accelerators. To ease this task, one solution is to provide a source-to-source transformation toolbox targeting High-Level Synthesis. Specifically, this thesis explores loop transformations in order to improve performance by exposing parallel loops and improving the locality of memory accesses. Using polyhedral representation of loop nests, we propose an approach to improve the applicability of nested loop pipelining by verifying its legality in a more precise way than existing approaches. Moreover, we propose a correction mechanism that statically inserts wait states for enforcing the pipeline legality for cases when the verification fails. The resulting pipeline is implemented using a code generation technique that flattens the loop nests. These contributions have been implemented within the GeCoS source-to-source compilation infrastructure, and applied to a set of benchmarks targeted towards High-Level Synthesis. Results show significant performance improvement at the price of a moderate area overhead.

Le contrôle actif a souvent été considéré pour la maîtrise du bruit basse fréquence rayonné par les panneaux d'habillage dans les cabines des avions et hélicoptères. Ces panneaux sont classiquement réalisés en matériaux sandwich nid d'abeille (nida), du fait de leur très bon rapport résistance/masse. La mise en oeuvre des techniques de contrôle actif sur des panneaux de type nida n'a pas toujours donné des résultats à la hauteur des attentes. Le travail présenté dans cette thèse introduit un modèle coque/volume/coque (SVS) de panneau nida équipé de pastilles piézoélectriques, valide ce modèle expérimentalement et propose une analyse des limitations de performance du contrôle actif. Pour la modélisation des panneaux nida, la principale difficulté est d'estimer les propriétés effectives d'un matériau homogène équivalent au coeur. On introduit une procédure d'homogénéisation numérique à partir d'un modèle 3D très détaillé de la structure du nida. Cette procédure est basée sur la corrélation des modes périodiques du modèle 3D et du modèle SVS. L'utilisation de modes périodiques permet l'analyse détaillée de l'influence des constituants dans le comportement vibratoire du nida, en particulier de la couche de colle et des peaux du sandwich. Des essais vibratoires mettent en évidence les effets viscoélastiques présents pour les nida à base de papier Nomex. Ces effets sont pris en compte dans le modèle SVS en utilisant des paramètres élastiques dépendant de la fréquence. On intègre ensuite des actionneurs et capteurs piézoélectriques au modèle de panneau nida validé. Différentes stratégies pour l'intégration du modèle proposé dans un processus de conception sont discutées. On montre enfin que la réponse statique à une tension électrique correspond à une cloque, flexion très localisée des peaux plutôt que flexion globale du panneau. Il en résulte une mauvaise performance des actionneurs. Cet effet local est retrouvé sur un modèle de panneau d'habillage réaliste étudié à l'ONERA.

Cette thèse a porté sur l'étude d'une classe de matériaux cellulaires, les micro nids d'abeille, destinés à combiner des propriétés mécaniques et acoustiques afin d'être employés comme absorbants acoustiques dans les tuyères des turbomachines. Les bonnes qualités d'absorption acoustique prédites par les modèles théoriques ont tout d'abord été vérifiées expérimentalement. Le travail s'est ensuite porté sur la modélisation des propriétés élastiques de ces structures. Pour ce faire une approche par milieu équivalent a été retenue et, de manière à tenir compte des effets d'échelle présents dans la structure, un milieu de substitution du type " élasticité du second gradient " a été choisi. Pour cela une méthode de construction par homogénéisation des opérateurs de cette loi de comportement a était introduite. Devant l'absence de résultats concernant les classes d'anisotropie des opérateurs d'élasticité du<br />second ordre, une étude détaillée de ce point a conduit à l'identification des matrices à implémenter dans un code éléments finis. Les opérateurs du second ordre construits par homogénéisation ont pu ensuite être comparés à leurs formes théoriques. Ceci nous a permis de montrer que vis-à-vis du comportement de matériaux nida les effets du second ordre sont, dans certain cas, d'un ordre de grandeur comparable à ceux de l'élasticité classique. Les méthodes mises en place pour l'étude théorique des symétries des opérateurs d'élasticité sont généralisables à toutes lois de comportement linéaire.

Companies financed through borrowed capital are allowed a tax deduction for the costs re-lated to their borrowed capital. A similar tax relief for companies financed through share-holder’s equity does not exist, why these companies are taxed higher than companies fi-nanced by borrowed capital. The result is that there is an asymmetric tax treatment of companies depending on how they are financed. The autumn of 2012, the Swedish government presents a proposal for an investor deduc-tion which seeks to equalize the above mentioned asymmetry. The proposed investor de-duction is a tax relief for investments in shares in a startup- or small company equal to 50 percent of the acquisition cost of that investment. The venture capital deduction, which in this thesis is treated as an alternative to the inves-tor deduction, is an interest-free tax credit which significate that two-thirds of the acquisi-tion cost is deductible from taxation at the time of the acquisition. Another alternative is the UK's Enterprise Investment Scheme (EIS), which offers a package of tax reliefs that becomes applicable when an individual invests in a company for example a tax credit of 30 percent of the cost of acquisition. A final option is the Notional Interest Deduction (NID) which is a tax deduction for companies regarding a fictitious interest on equity. Of these models, only the NID deduction equalizes the tax asymmetry, because of that it is a relief that is comparable to the tax credit deduction for interest on borrowed capital. However entails all models, except the venture capital deduction, to make external capital more accessible by reducing the external investor's required rate of return by allowing a permanent tax relief. Aside from the NID deduction all models includes conditions that reduces the risk of the use of the models for purpose of tax avoidance which results in that that models can be perceived as complex.

Depuis l'adoption en 2001 d'une nouvelle loi sur les forêts souscrivant aux principes de développement durable, le maintien de la biodiversité est devenu un enjeu de poids pour l'aménagement forestier au Québec. Pour atteindre cet objectif, certains auteurs suggèrent de conserver les cavités qui constituent une ressource faunique importante autour de laquelle interagissent les pics, certains oiseaux forestiers et d'autres petits mammifères tels que le Grand Polatouche (Glaucomys sabrinus). Ce dernier est un rongeur arboricole nocturne qui utilise les cavités comme refuge diurne et site de mise bas, et pour lequel l'utilisation de l'habitat est peu connue en forêt boréale de l'est du Canada. Puisque les cavités sont souvent peu disponibles en forêt boréale et qu'elles pourraient offrir une isolation thermique supérieure à celle d'autres types de nids, les cavités ont le potentiel de limiter la présence du Grand Polatouche dans un climat rigoureux. L'objectif de cette étude était de déterminer si les cavités affectent l'utilisation de l'habitat par le Grand Polatouche et de décrire les caractéristiques des nids utilisés en période hivernale. En forêt boréale, puisque la majorité des cavités sont excavées dans le Peuplier faux-tremble (Populus tremuloides), nos hypothèses étaient que le Grand Polatouche utiliserait les forêts matures de feuillus et qu'il éviterait les milieux ouverts qui nuisent à sa dispersion. Aussi, le Grand Polatouche occuperait les sites avec une plus grande disponibilité de cavités et il préfèrerait les cavités comme refuge en période froide. Nous avons déterminé les facteurs d'habitat qui influençaient l'occupation de site et les facteurs climatiques qui affectaient la probabilité de détection de l'espèce à différentes échelles spatiales. D'abord, nous avons visité 149 paires de nichoirs à l'hiver 2008 et utilisé un SIG pour extraire des variables de composition du paysage à partir des cartes écoforestières. Ensuite, nous avons piégé 59 sites feuillus représentant un gradient de disponibilité de cavités à l'automne 2008 et échantillonné ces peuplements pour quantifier les variables d'habitat susceptibles d'influencer l'occupation de site par le Grand Polatouche. Finalement, 46 individus parmi les 85 individus capturés ont été suivis par télémétrie entre septembre 2008 et juin 2009 afin d'identifier leurs refuges diurnes, et de tester l'effet de la température sur leur sélection. Les résultats supportent partiellement nos hypothèses. À l'échelle du paysage, le Grand Polatouche évite les forêts de conifères et ne semble pas être influencé par la proportion de forêt mature ou de milieux ouverts. De plus, à l'échelle du peuplement, il a été détecté dans 58% des sites échantillonnés dominés par le Peuplier faux-tremble. Par contre, la disponibilité de cavités n'influence pas l'occupation de sites par le Grand Polatouche. À l'échelle du nid, les localisations télémétriques montrent qu'en période hivernale les femelles utilisent principalement les nids au sol (44%) alors que les mâles semblent sélectionner surtout les nids externes (57%). Lorsque la température diminue, les femelles comme les mâles évitent les cavités, leur préférant respectivement les nids au sol et les nids externes. Les résultats confirment que les forêts de feuillus sont importantes pour le Grand Polatouche en forêt boréale de l'est du Canada. De plus, bien que les cavités soient utilisées par le Grand Polatouche, celles-ci ne semblent pas représenter un facteur limitant l'espèce en période froide. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Glaucomys sabrinus, nid, climat froid, télémétrie et occupation de site.

L'hypothèse des proies alternatives suggère que la réponse fonctionnelle et numérique des prédateurs à la fluctuation des populations de proies influence le risque de prédation annuel sur d'autres proies comme les œufs d'oiseaux. Dans certains systèmes du Haut-Arctique caractérisés par des populations cycliques de lemmings, le comportement de changement de préférence des prédateurs a été mis en lien avec les fluctuations observées chez des populations d'oiseaux co-existantes. Le but général de cette thèse était d'étudier les effets en cascade des interactions prédateur-proie sur une proie alternative, les œufs d'oiseaux de rivage. Les deux principaux objectifs étaient : 1) d'étudier les effets de l'abondance de proies préférées (lemmings) et de proies alternatives (oies), sur les tendances temporelles et spatiales du risque de prédation et de la survie des nids d'oiseaux de rivage, et 2) d'investiguer les tendances spatiales du risque de prédation à grande échelle dans l'Arctique canadien. Pour atteindre ces objectifs, des données sur le risque de prédation (mesuré à l'aide de nids artificiels) et sur la survie des nids d'oiseaux de rivage (mesurée avec les nids naturels) ont été recueillies sur une période de 5 ans à l'île Bylot (Nunavut). Des données sur l'identité et l'activité des prédateurs (par caméra) ainsi que l'abondance des prédateurs (renard arctique) et l'abondance des proies alternatives (lemmings et oies) ont également été recueillies. Pour caractériser les tendances à grande échelle spatiale, le risque de prédation sur des nids artificiels a été mesuré à 7 sites le long d'un gradient latitudinal de 3350 km dans l'Arctique canadien. À l'île Bylot, les caméras de surveillance ont révélé que le renard arctique est le principal prédateur des œufs dans les nids artificiels de même que dans les véritables nids d'oiseaux de rivage. Les données récoltées sur une période de 5 ans ont démontré un effet négatif significatif de l'abondance de lemmings sur le risque de prédation. Les probabilités de survie des nids artificiels étaient quant à elles reliées négativement à l'abondance de renards mais, positivement à l'abondance d'oiseaux prédateurs. De même, le meilleur facteur expliquant les variations interannuelles de la survie journalière des nids d'oiseaux de rivage était l'abondance de lemmings. En effet, la survie des nids fut plus basse dans les années de faible abondance de lemmings. Les risques de prédation des nids d'oiseaux de rivage dans une colonie d'oies étaient positivement reliés à la densité de nids d'oies. Toutefois cette relation était forte et significative seulement l'année de faible abondance de lemmings, soit une augmentation de près de 600% quand la densité de nids d'oies est passée de 0 à 24 nids par hectare. Puisque nous avons confirmé que le renard arctique est un prédateur commun des lemmings, des œufs d'oies et des œufs d'oiseaux de rivage, ces données supportent l'hypothèse d'effets en cascade de l'abondance des proies préférées et alternatives sur le risque de prédation de proies accidentelles comme les oiseaux de rivage. En ce qui a trait au risque de prédation à plus grande échelle spatiale, nous avons observé une diminution significative du risque de prédation avec la latitude, ce qui indique que les oiseaux qui migrent plus vers le nord peuvent bénéficier d'avantages en termes de reproduction sous la forme d'une diminution du risque de prédation des nids. Sur la base de ces résultats, le risque de prédation semble jouer, à plusieurs échelles spatiales, un rôle central dans l'écologie de la reproduction des oiseaux de rivage nichant dans l'Arctique. Les recherches futures devraient étudier les mécanismes qui relient les interactions trophiques des proies préférées, alternatives et accidentelles à l'échelle locale avec les tendances à grande échelle spatiale du risque de prédation sur les oiseaux nichant dans l'Arctique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : risque de prédation, proies alternatives, oiseaux de rivage, oies, lemmings

Grâce aux progrès réalisés dans le domaine des semi-conducteurs, les plateformes matérielles embarquées sont capables de satisfaire les contraintes de performances d'applications de plus en plus complexes. Cette augmentation conduit à une explosion des coûts de conception, ce qui pousse les concepteurs de ces plateformes à utiliser des outils travaillant à des niveaux d'abstraction plus élevés. Aujourd'hui, les outils de synthèse de haut niveau opèrent sur des descriptions C/C++ pour en générer des accélérateurs matériels spécialisés. Ces outils offrent des gains en productivité significatifs par rapport à la génération précédente, qui opérait sur des descriptions structurelles de l'architecture en VHDL ou Verilog. Ces descriptions algorithmiques doivent être retravaillées pour que les outils puissent générer des circuits performants. Pour faciliter cette tâche, une solution consiste à mettre en œuvre une boite à outils pour des transformations source-à-source orientées synthèse de haut niveau. En particulier, cette thèse s'intéresse aux transformations de boucles, avec pour objectif d'améliorer les performances en exposant des boucles parallèles et en améliorant la localité des accès mémoire. En nous appuyant sur une représentation des boucles dans le modèle polyédrique, nous proposons une approche qui améliore l'applicabilité du pipeline de nids de boucles en vérifiant sa légalité de manière plus précise que les approches existantes. De plus, lorsque la vérification échoue, nous proposons une technique de correction qui insère statiquement des états d'attente pour assurer la légalité du pipeline. Enfin, ce pipeline est mis en œuvre en utilisant une technique de génération de code qui met les nids de boucles à plat. Ces contributions ont été implémentées dans l'infrastructure de compilation source-à-source Gecos, avant d'être appliquées à un ensemble de benchmarks représentatifs des noyaux de calculs cibles de la synthèse de haut niveau. Les résultats montrent un gain en performances significatif, avec un surcoût en surface modéré.

Le dimensionnement des inserts pour les structures sandwich se fait usuellement par les méthodes proposées par le « Insert design handbook » de l'ESA, ou le « Military handbook 23A ». Ces méthodes analytiques basées sur la formulation développée par Ericksen en 1953 mènent à des erreurs de la charge admissible à l’arrachement d’environ ±20 % pour certains cas. Dans cette thèse, les principaux modes de rupture d’inserts sont étudiés ; l’endommagement du nid d’abeille Nomex® en cisaillement et la rupture du potting. Une analyse fine du postflambement en cisaillement du nid d’abeille Nomex® est effectuée qui permet de proposer un modèle d'endommagement à 2 paramètres.Puis, les résultats obtenus sont utilisés pour développer un modèle virtuel d’insert qui est validé par comparaison à des essais d'arrachement puis utilisé pour tracer des cartographies des modes de rupture. En utilisant cette méthode, la charge admissible à l’arrachement peut être estimée plus précisément. Cette méthode peut être une alternative face aux modèles analytiques pour le dimensionnement des inserts. Les graphiques obtenus peuvent être fournis aux ingénieurs pour le dimensionnement des inserts comme un outil qui peut réduire le temps de conception-validation. / The insert sizing for sandwich structures is usually made using the methods proposed in the “Insert design handbook” of the ESA and the “Military handbook 23A”. These analytical methods based in the in the research carried by Ericksen in 1953 could lead to errors of the pull-out allowable load prediction in the range of ±20 % for some cases.In this thesis, the principal failure modes of inserts are investigated; the core shear damage of the Nomex honeycomb core, and the potting failure. A detailed analysis of the shear postbuckling of the Nomex honeycomb core is made, allowing to propose a two variables damage model. Then, the obtained results are used to develop an insert virtual model that is validated through comparison with pull-out tests, and then used to draw failure mode maps of inserts. Using this method, the admissible pull-out load of inserts can be estimated more precisely. This method could be an alternative to using the analytical methods for the insert sizing. The resulting charts could be given to engineers as a tool for the insert sizing which could reduce the insert’s design-validation time.