Cette thèse s'inscrit dans le cadre général de la tenue au séisme des coeurs de réacteurs nucléaires à eau pressurisée (REP). Plus précisément, l'objectif de cette thèse est l'étude expérimentale du couplage entre assemblages combustibles induit par un écoulement d'eau axial. Les phases de conception, réalisation et mise en service d'une nouvelle installation appelée ICARE EXPERIMENTAL sont présentées. ICARE EXPERIMENTAL a été conçue pour observer simultanément les vibrations de quatre maquettes d'assemblages combustibles (2x2) confinées sous écoulement ascendant. Une nouvelle méthode d'analyse de données combinant analyse temps-fréquence et décomposition sur modes propres orthogonaux (POD) est décrite. Cette méthode, appelée Sliding Window POD (SWPOD), permet l'analyse de signaux à plusieurs composantes dont la répartition spatiale de l'énergie et le contenu fréquentiel varient avec le temps. Dans le cas de systèmes mécaniques (linéaires et non-linéaires), le lien entre les modes propres orthogonaux obtenus par la SWPOD et les modes normaux (linéaires et non-linéaires) est étudié. Les mesures obtenues avec l'installation ICARE EXPERIMENTAL sont analysées avec la SWPOD. Les premiers résultats mettent en évidence des mouvements caractéristiques des assemblages non excités, au passage de leurs résonances. Ce couplage entre assemblages combustibles, induit par le fluide, est reproduit par les simulations réalisées à l'aide du code de calcul COEUR3D. Ce code est basé sur une approche milieu poreux pour simuler un réseau d'assemblages combustibles sous écoulement. / The present study is in the scope of pressurized water reactors (PWR) core response to earthquakes. The goal of this thesis is to measure the coupling between fuel assemblies caused an axial water flow. The design, production and installation a new test facility named ICARE EXPERIMENTAL are presented. ICARE EXPERIMENTAL was built in order to measure simultaneously the vibrations of four fuel assemblies (2x2) under an axial flow. A new data analysis method combining time-frequency analysis and orthogonal mode decomposition (POD) is described. This method, named Sliding Window POD (SWPOD), allows analysing multicomponent data, of which spatial repartition of energy and frequency content are time dependent. In the case of mechanical systems (linear and nonlinear), the link between the proper orthogonal modes obtained through SWPOD and the normal modes (linear and nonlinear) is studied. The measures acquired with the ICARE EXPERIMENTAL installation are analysed using the SWPOD. The first results show characteristic behavior of the free fuel assemblies at their resonances. The coupling between fuel assemblies, induced by the fluid, is reproduced by simulations performed using the COEUR3D code. This code is based on a porous media model in order to simulate a fuel assemblies network under axial flow.

L'amortissement des vibrations de structure joue un rôle important dans de nombreuses applications industrielles. Les méthodes classiques de réduction de vibration par ajout de revêtement viscoélastique donnent généralement lieu à une augmentation de masse importante, ce qui peut être rédhibitoire dans l'industrie des transports pour des raisons écologiques ou économiques. L'effet Trou Noir Acoustique (TN) est une méthode passive permettant d'obtenir un amortissement de la structure sans augmenter sa masse: les ondes de flexion se propageant dans une extrémité de plaque profilée avec une loi de puissance sont efficacement dissipées si l'on place un film amortissant dans la zone terminale.Une étude préliminaire de nature expérimentale confirme le potentiel du TN comme stratégie d'amortissement: une analyse modale montre que le TN augmente significativement le facteur de recouvrement modal (MOF) de la poutre, et réduit donc son caractère résonant. Une analyse basée sur une approche ondulatoire montre que le coefficient de réflexion de l'extrémité TN présente de faibles valeurs. Un modèle numérique 2D d'une poutre, développé pour analyser le comportement de la terminaison, montre que l'augmentation du MOF peut-être expliquée par une augmentation de la densité modale et par un fort amortissement des modes de la structure, causé par une localisation de l'énergie dans la région profilée. La poutre TN possède des modes locaux bi-dimensionnels, et un modèle de guide de la terminaison TN incluant des imperfections, qui ne peuvent être évitées en pratique, montre que l'énergie incidente est diffusée sur de nombreux modes locaux. Les imperfections du TN améliorent ses performances. / Vibration damping of mechanical structures plays an important role in the design of many industrial systems. Classical methods for reducing vibrations using viscoelastic layers glued to the structure usually result in added mass on the treated structure, which may be prohibitive in the transportation industry for ecological and economical reasons. The "Acoustic Black Hole" (ABH) effect is a lightweight passive vibration technique: the flexural waves propagating in a beam extremity tapered with a power law profile are efficiently dissipated if an absorbing layer is placed where the thickness is minimum.A preliminary study experimentally confirms the potential of ABH as an efficient strategy for vibration damping: a modal analysis shows that the ABH significantly increases the Modal Overlap Factor (MOF) of the beam, thus reducing the resonant behaviour of the structure. An analysis based on a wave approach clearly shows that the reflection coefficient of an ABH termination has small values. Further investigations, including a two dimensional numerical model of the structure developed in order to understand its behaviour, show that the increase of MOF can be explained partly by an increase of the modal density and mostly by a high damping of a number of modes of the structure due to energy localisation in the tapered region. It is shown that the ABH beam possesses two-dimensional local modes. A waveguide model of an ABH termination with tip imperfection, which cannot be avoided in practice, shows that incident energy is scattered on local modes and that imperfections enhance the damping effect.

La prestation vibroacoustique est une question primordiale pour les constructeurs de véhicules, qui sont contraints par des lois ainsi que par des besoins commerciales: d'une part, un grand nombre de normes existe, visant à régler les niveaux vibratoires et acoustiques que les occupants d'un véhicule peuvent supporter, d'autre part le constructeur est intéressé à garantir un haut degré de confort pour que son produit soit compétitif. L'industrie du poids lourds comporte des spécificités par rapport à d'autres secteurs industriels, et surtout par rapport au marché des véhicules légers: non seulement l'architecture d'un véhicule industriel est unique, mais en plus ce qui caractérise les poids lourds par rapport à d'autres véhicules terrestres est la grande diversité des configurations disponibles. Une bonne connaissance des mécanismes de transmission des vibrations et du bruit, ainsi que du bilan de leurs sources, permette de fixer des règles de conception plus rigoureuses pour les composants. Par ailleurs, la connaissance des influences des paramètres architecturaux d'un camion sur les prestations vibroacoustiques donne une meilleure clé d'interprétation pour prédire les caractéristiques qu'un composant du véhicule doit avoir. Actuellement ces vérifications sont largement basées sur des essais, soit subjectifs (estimations par des techniciens experts) soit objectifs (acquisitions par microphones et accéléromètres). Cette pratique est très coûteuse car, pour prendre en compte la diversité des camions, il faut tester un grand nombre de véhicules. Pour franchir ces limitations, le prototypage virtuel - au lieu des essais physiques - doit être renforcé. Les méthodologies numériques sont déjà utilisées au sein du Groupe Volvo, mais les outils disponibles sont considérés en partie inappropriés pour les besoins de calcul des prestations NVH. Les activités de cette thèse ont été réalisées dans le cadre du service Noise and Driveline Vibration, qui est responsable de l'estimation du confort acoustique perçu par les occupants du camion, dans toutes ces conditions d'utilisation. Les travaux de thèse sont concentrés sur le comportement du châssis comme composant principale; le châssis est la principale voie de transfert des vibrations depuis le moteur vers la cabine. En outre, une attention particulière sera donnée à l'effet des accessoires sur le comportement dynamique du châssis, bien que peu d'intérêt sera porté sur la signature vibratoire des accessoires mêmes. / The vibroacoustic performance is a matter of primary concern for modern vehicle manufacturers, that are constrained by health and safety legislation as well as by commercial needs: on the one hand, a number of norms exists regulating the level of vibration and noise that vehicle occupants can tolerate, but on the other hand a manufacturer is also interested in guaranteeing a high level of comfort in order to keep products competitive. The commercial vehicle industry presents some peculiarity with respect to other vehicle manufacturing businesses, and especially to the more known car industry: not only the architecture of a commercial vehicle is a class of its own, but what differentiates the most trucks from other ground vehicles are the configuration diversity and customization. A deep knowledge of the vibration and noise transmission mechanisms in trucks as well as source breakdown allows defining more rigorous and strict component specifications. Furthermore, the comprehension of the sensitivity of truck architecture parameters on vibroacoustic features provides even deeper means to assess the needed properties for a component to be installed on a vehicle. At present the verification is largely based on tests, both subjective (assessment by experimented test engineers) and objective (microphone and accelerometer acquisitions). This practice is extremely expensive, since, in order to take into account the large diversity of trucks, a large number of vehicles has to be tested. To overcome this limit, virtual testing - as opposed to physical testing - should be strengthened. Numerical methods are already largely used in the Volvo Group, but the available tools are considered partly unfit to the NVH demands and inappropriate with respect to their specific needs. The activities of the current thesis have been developed in the framework of the Interior Noise and Driveline Vibration group, which is responsible for the estimation of the acoustic comfort perceived by driver and passengers in all driving conditions and vehicle uses. This thesis will focus on the behaviour of the chassis as a primary component. The chassis is the main transfer path for engine-induced vibrations transmitted to the cabin. Besides, a peculiar attention will be given to the effect the chassis equipment components have on the chassis dynamics, even though limited interest will be put on the investigation of the dynamic signature of the equipment itself.

Un composant électronique dissipe de la chaleur. L'optimisation « thermique » de la conception des systèmes électroniques ainsi que leur durée d'activation ou de désactivation devient alors nécessaire pour limiter les températures. Il faut donc pouvoir prédire finement et rapidement l'évolution thermique d'un composant pris dans son environnement pour différents scénarios d'utilisation. Les simulations classiques types éléments finis étant trop coûteuses en temps de calcul pour des ensembles complexes, il est nécessaire de réduire la taille du modèle. Les méthodes modales consistent à rechercher la solution sous la forme d'une somme pondérée de champs élémentaires, ces derniers étant appelés modes. Ces modes sont calculés en résolvant numériquement un problème aux valeurs propres. Si ces méthodes ont fait leur preuve pour des composants élémentaires, elles se révèlent inopérantes pour des systèmes comportant plusieurs dizaines de composants placés sur un circuit imprimé.La méthode de sous-structuration modale est une extension des méthodes modales classiques permettant de dépasser ces limitations. Il s'agit de décomposer le système en entités élémentaires (les sous-structures), de calculer les modes de chacune de ces entités, puis de les rassembler pour résoudre le problème d'origine. Des travaux préliminaires ont montré que cette approche est pertinente au premier niveau (composant électronique). On envisage lors de cette thèse d'étendre ces principes aux niveaux supérieurs.La finalité industrielle du présent travail est de simuler à l'aide d'un modèle réduit le comportement thermique d'une carte électronique (circuit imprimé et plusieurs composants implantés). Ce travail peut ouvrir la voie pour l'industriel à la modélisation de systèmes multi-modules. / An electronic component heats. Thermal optimization of the design of electronic packages and of their activation and de-activation duration is essential to cap the temperatures reached. Thus we have to be able to finely and quickly predict the thermal evolution of a component set in its surroundings for multiples scenarios of use. Classical simulations, like finite elements ones, ate too costly in terms of computing time for complex packages, we have to reduce the size of the model. Modal methods consist in seek the solution as a weighted sum of elementary fields, labelled modes. These modes are computed by solving eigenvalue problems. But these methods don't work for packaging containing dozens of components on a printed circuit board.The modal sub-structuring method is an extent of classical modal methods used to overcome their limitations. The principle is to disassemble the system into elementary entities (the sub-structures), to compute the modes of each of these entities and to reassemble them to solve the original problem. Preliminary work has shown the relevance of this method on the first level (electric component). The thesis is aimed to extend these principles to superior levels. The industrial purpose of this work is to simulate, thanks to a reduced model, the thermal behavior of an electronic card.Beside the industrial aspect, this work raises fundamental issues like the definition of the junction conditions between the sub-structures in the modal space and the adaptation of the reducing technique of the sub-structures in view of their pairing.The thesis will give answers to these questions using an electronic card as a study support.This work could pave the way of the industrial for the modeling of multi-modules systems.

La simulation numérique occupe une part de plus en plus importante dans les phases de conception mais aussi de validation de systèmes innovants. Dans le cadre de la conception d’une chaîne de traction d’un véhicule électrique, la simulation numérique peut par exemple être employée pour choisir une technologie de moteur électrique ou encore pour mettre au point des stratégies de pilotage au regard de critères de décision tels que l’autonomie du véhicule, son coût mais aussi sa performance.Les systèmes devenant de plus en plus complexes, ils requièrent des simulations de plus en plus fines afin d’appréhender au mieux les phénomènes qu’ils mettent en œuvre - par exemple l’étude des pertes fer dans une machine électrique. L’utilisation de simulations 3D permet d’avoir des résultats très précis à l’échelle d’un organe mais ne se prête pas encore aujourd’hui à l’étude de systèmes de grande taille (c’est-à-dire avec beaucoup de degrés de liberté, de nombreux paramètres d’optimisation et plusieurs domaines de la Physique en jeu). En effet, les simulations 3D sont d’autant plus coûteuses en temps de calcul que le modèle à étudier contient de degrés de liberté. C’est pourquoi, depuis quelques années les techniques de réduction de modèles attisent les développements. En effet, elles permettent de garantir un bon compromis entre le temps de calcul et la précision des résultats produits par les modèles réduits.Nous nous intéressons ici à l’utilisation de ces techniques dans un contexte industriel autour de deux axes : - l’étude de phénomènes thermiques (dans les modules d’électronique de puissance) - l’étude de phénomènes électromagnétiques (dans les machines électriques) / Numerical simulations are widely used during the design phase of a product but also for the validation of an innovative system. For example, during the conception of an electric vehicle’s powertrain, numerical simulations can be used to select the appropriate electric engine technology or for the development of control strategies taking into account decision criteria such as vehicle’s autonomy, but also its cost and performance.System’s complexity is always increasing, so they require more and more precise simulations in order to better understand the phenomena involved - for example to study iron losses in an electric engine. 3D simulations provide very accurate results to study a body but are still not appropriate today for the study of large scale systems (ie. with many degrees of freedom, many optimization parameters and several areas of Physics). Indeed, 3D simulations computing time cost is directly linked with the number of degrees of freedom. That’s why, in recent years, model order reduction techniques stir developments because they guarantee a good compromise between the computation time and accuracy of results produced by these models.In this study, we are interested in techniques that can be used in an industrial context around two axes: - the study of thermal phenomena (in the power electronics modules) - the study of electromagnetic phenomena (in electric engines)

Unification has been investigated both in modal logics and in description logics, albeit with different motivations. In description logics, unification can be used to detect redundancies in ontologies. In this context, it is not sufficient to decide unifiability, one must also compute appropriate unifiers and present them to the user. For the description logic EL, which is used to define several large biomedical ontologies, deciding unifiability is an NP-complete problem. It is known that every solvable EL-unification problem has a minimal unifier, and that every minimal unifier is a local unifier. Existing unification algorithms for EL compute all minimal unifiers, but additionally (all or some) non-minimal local unifiers. Computing only the minimal unifiers would be better since there are considerably less minimal unifiers than local ones, and their size is usually also quite small. In this paper we investigate the question whether the known algorithms for EL-unification can be modified such that they compute exactly the minimal unifiers without changing the complexity and the basic nature of the algorithms. Basically, the answer we give to this question is negative.

Dans le cadre de la modélisation de structures comportant des paramètres incertains, nous nous intéressons aux caractéristiques spectrales des systèmes mécaniques. Alternatives aux méthodes de Monte-Carlo pour le traitement des problèmes de propagation d'incertitudes dans les modèles mécaniques structuraux, les méthodes d'éléments finis stochastiques (MEFS) connaissent un succès grandissant depuis une dizaine d'années, concrétisé par de nombreux travaux de recherche internationaux. Le présent travail s'inscrit dans le cadre de ces recherches. Dans cette optique, nous décrivons dans une première partie les caractéristiques spectrales, aussi bien les valeurs propres que les modes propres, des structures comportant des paramètres modélisés par des variables aléatoires ou par des champs aléatoires. Pour ce faire, nous utilisons la méthode spectrale des éléments finis stochastiques, que nous avons étendue au calcul des valeurs et vecteurs propres. Les propriétés du matériau sont modélisées par un développement de Karhunen-Loève, alors que les valeurs et les vecteurs propres sont développés sur la base du chaos polynomial. Une méthode de résolution adoptée est proposée pour le découplage du système d'équations. La méthode proposée, essentiellement valable pour les problèmes linéaires, présente l'intérêt de permettre la prise en compte, non seulement de variables aléatoires, mais également de champs stochastiques pour la modélisation probabiliste des paramètres incertains du modèle. Quatre applications à différents niveaux de complexité permettent de juger de ses possibilités. Nous étudions ensuite le couplage de la conception robuste et de la MEFSS, cette dernière représente un outil puissant pour l'optimisation de la performance dynamique des systèmes mécaniques, puisqu'elle permet d'obtenir, à moindre coût, la moyenne et l'écart-type de la réponse, afin d'évaluer la solution robuste. L'intérêt de l'outil présenté est illustré par deux exemples sur des structures en automobile.

Le test est l'une des méthodes les plus utilisées pour la validation du logiciel. L'activité de test consiste à exécuter le logiciel sur un sous-ensemble de ses entrées possibles de manière à déceler d'éventuelles erreurs. La présence d'erreurs est établie par confrontation du comportement du logiciel avec un objet de référence. Le processus de test est généralement décomposé en trois phases : la sélection du sous-ensemble des entrées sur lequel le logiciel sera exécuté, la soumission de ces entrées au logiciel en collectant les sorties (les réponses du logiciel) et la décision de l'adéquation de ces sorties avec les sorties attendues.<br /><br />La sélection des données à soumettre au logiciel peut être effectuée selon différentes approches. Lorsque la phase de sélection d'un jeu de tests est opérée à partir d'un objet de référence décrivant plus ou moins formellement le comportement du logiciel, sans connaissance de l'implantation elle-même, on parle de test « boîte noire ». Une des approches de test boîte noire pour laquelle un cadre formel a été proposé est celle qui utilise comme objet de référence une spécification logique du système sous test.<br /><br />Le cadre général de test à partir de spécifications logiques (ou axiomatiques) pose les conditions et les hypothèses sous lesquelles il est possible de tester un système. La première hypothèse consiste à considérer le système sous test comme un modèle formel implantant les opérations dont le comportement est décrit par la spécification. La seconde hypothèse a trait à l'observabilité du système sous test. Il faut fixer la forme des formules qui peuvent être interprétées par le système, c'est-à-dire qui peuvent être des tests. On se restreint généralement au moins aux formules qui ne contiennent pas de variables. Une fois ces hypothèses de test posées, on dispose d'un jeu de tests initial, celui de toutes les formules observables qui sont des conséquences logiques de la spécification. <br /><br />Le premier résultat à établir est l'exhaustivité de cet ensemble, c'est-à-dire sa capacité à prouver la correction du système s'il pouvait être soumis dans son intégralité. Le jeu de tests exhaustif étant le plus souvent infini, une phase de sélection intervient afin de choisir un jeu de tests de taille finie et raisonnable à soumettre au système. Plusieurs approches sont possibles. L'approche suivie dans ma thèse, dite par partition, consiste a diviser le jeu de tests exhaustif initial en sous-jeux de tests, selon un certain critère de sélection relatif à une fonctionnalité ou à une caractéristique du système que l'on veut tester. Une fois cette partition suffisamment fine, il suffit de choisir un cas de test dans chaque sous-jeu de test obtenu en appliquant l'hypothèse d'uniformité (tous les cas de test d'un jeu de test sont équivalents pour faire échouer le système). Le deuxième résultat à établir est que la division du jeu de tests initial n'ajoute pas (correction de la procédure) et ne fait pas perdre (complétude) de cas de test.<br /><br />Dans le cadre des spécifications algébriques, une des méthodes de partition du jeu de tests exhaustif qui a été très étudiée, appelée dépliage des axiomes, consiste à procéder à une analyse par cas de la spécification. Jusqu'à présent, cette méthode s'appuyait sur des spécifications équationnelles dont les axiomes avaient la caractéristique d'être conditionnels positifs (une conjonction d'équations implique une équation).<br /><br />Le travail de ma thèse a eu pour but d'étendre et d'adapter ce cadre de sélection de tests à des systèmes dynamiques spécifiés dans un formalisme axiomatique, la logique modale du premier ordre. La première étape a consisté à généraliser la méthode de sélection définie pour des spécifications équationnelles conditionnelles positives aux spécifications du premier ordre. Ce cadre de test a ensuite été d'adapté à des spécifications modales du premier ordre. Le premier formalisme de spécification considéré est une extension modale de la logique conditionnelle positive pour laquelle le cadre de test a été initialement défini. Une fois le cadre de test adapté aux spécifications modales conditionnelles positives, la généralisation aux spécifications modales du premier ordre a pu être effectuée. <br /><br />Dans chacun de ces formalismes nous avons effectué deux tâches. Nous avons d'une part étudié les conditions nécessaires à imposer à la spécification et au système sous test pour obtenir l'exhaustivité du jeu de tests initial. Nous avons d'autre part adapté et étendu la procédure de sélection par dépliage des axiomes à ces formalismes et montré sa correction et sa complétude. Dans les deux cadres généraux des spécifications du premier ordre et des spécifications modales du premier ordre, nous avons montré que les conditions nécessaires à l'exhausitivité du jeu de test visé étaient mineures car faciles à assurer dans la pratique, ce qui assure une généralisation satisfaisante de la sélection dans ce cadre.

Cette thèse porte sur la localisation et la manipulation de la lumière à l'échelle de la longueur d'onde. Les travaux ont d'abord porté sur des micro-cavités à grands facteurs de qualité (Q) intégrées sur des guides rubans reposant sur un substrat (SOI). L'optimisation des miroirs grâce à une ingénierie de mode basée sur l'adaptation des profils des modes, a permis d'obtenir des Q allant jusqu'à 60000 pour un volume modal de 0,6(lambda/n)3. Le confinement a pu être observé par microscopie en champ proche et nous avons montré qu'il était possible de contrôler ces cavités par une pointe SNOM. . Enfin, nous nous sommes intéressés aux modes lents en abordant de façon théorique l'injection efficace de la lumière dans un mode lent.

Le but de cette thèse est la définition de la construction avec aunque, la sélection modale qui y est opérée et l'analyse de deux traductions possibles en français : la construction avec bien que et la construction avec même si. Après un examen des différentes propositions explicatives qui ont essayé de rendre compte de cette construction, il apparaît que ce qui définit une construction du type A aunque B est la présupposition d'une relation implicative sous-jacente selon laquelle la déclaration A implique l'absence de la déclaration B. La sélection modale opérée dans la proposition en aunque est expliquée au moyen de l'opposition qui s'établit en langue entre un mode de type actualisant [canto, canté, cantaré] et un mode de type inactualisant [cantaba, cantaría, cante, cantara]. Cette nouvelle description des formes du système verbal espagnol permet non seulement de fournir une explication plus simple et plus générale, mais aussi plus objective du mode qui est employé dans ce type de propositions. La traduction de celle-ci exige que l'on tienne compte de la valeur spécifique des formes verbales qui suivent aunque et de celle qu'il faut accorder en langue aux locutions conjonctives bien que et même si.