nglaura/hal-summarization huggingface dataset:
La formation à distance (FAD) connaît un nouvel essor dû entre autres, au souci d'une formation tout au long de la vie afin de répondre à la complexification croissante de la société ; et, à la prise en compte d'objectifs et de rythmes d'apprentissage nouveaux. Avec l'avènement des nouvelles technologies de l'information et de la communication (NTIC), on assiste à l'émergence de la FAD en ligne, médiatisée par les ordinateurs et Internet. La FAD en ligne pose encore de nombreuses questions non résolues du fait que les plates-formes de télé-formations manquent de certains outils et fonctionnalités. Nous avons eu l'occasion de le constater lors d'une expérimentation de FAD, SimuLigne, menée dans le cadre d'un projet de recherche qui impliquait des chercheurs appartenant à des laboratoires français et britanniques. Il faut doter les plates-formes de téle-formation d'outils capables d'indiquer, aux utilisateurs la bonne marche de la formation notamment la progression de la session de formation, l'état et la durabilité des groupes. Les environnements informatiques dédiés à la FAD en ligne sont ouverts, complexes, flexibles et évolutifs. Leur développement ne peut plus se contenter des paradigmes classiques de l'informatique. Il nous faut recourir à des paradigmes qui prennent en compte les exigences mentionnées plus haut. Le paradigme d'agent logiciel est celui qui prend le mieux en compte toutes ces exigences. La mise en oeuvre de systèmes à base d'agents souffre encore d'un manque de méthodologies, de langages et d'outils de développements pour réaliser des implémentations concrètes.

One attends an explosion of distance learning (DL) phenomenon. Deep mutations occur in DL, it spreads out on the big information networks as Internet. We must immediately say that this evolution of DL instead of being an effect of fashion, corresponds to the new needs of users: learning all life long, considering the amount of the diversity of learning rhythms and spaces, considering the amount of learners' requirements that can not be anymore satisfied by stereotyped learning objectives. During a DL training named Simuligne conducted by researchers belonging to French and British laboratories, we experienced the lack of features that DL platforms still endure, notably an absence of indicators of group interaction rates that could permit to appreciate the state of groups involved, their durability and the progression of the session. Due to the particular characteristics that must have the computer systems dedicated to DL: open and complex, evolutionary, flexible and autonomous; we resorted to the agent paradigm for their design and construction. Unfortunately, the big promises related to this new paradigm still endure a lack of methods and languages for the development of related systems.
Cet article présente une méthode de caractérisation de l’état de santé de panneaux photovoltaïques par mesure d’impédance. L’objectif est d’évaluer les possibilités d’intégration d’algorithmes de diagnostic dans le système de contrôle afin d’optimiser la disponibilité des installations photovoltaïques et les performances énergétiques de manière autonome et intégrée. Un dispositif expérimental est mis en place afin de caractériser divers défauts et conditions de fonctionnement des générateurs photovoltaïques par mesure des courbes de polarisation et du spectre d’impédance. Une campagne de mesure a permis de réaliser une classification des résultats selon le niveau de santé, le type et l’emplacement de défauts ou de perturbations. Les possibilités d’intégration des algorithmes de mesure au système de contrôle ainsi que l’aptitude à l’identification de défauts et à l’évaluation de l’état de santé sont ensuite discutées.
Le travail porte globalement sur le développement d'un outil de pronostic de défaillances basé sur l'utilisation d'un système de prédiction neuro-flou. Plus particulièrement, cet article vise la proposition d'une architecture de prédiction basée sur l'utilisation du système ANFIS (système d'inférence floue paramétré par apprentissage neuronal), et pour laquelle différents axes d'améliorations des prédictions sont proposés. La stabilité des erreurs de prédictions en fonction de l'horizon de prédiction est étudiée expérimentalement et une solution visant à intégrer les sollicitations "futures" connues dans le modèle prédictif est proposée. L'ensemble est illustré sur un benchmark de prédiction : la série de données dite de Box-Jenkins.
Cet article présente les différents aspects de la recherche dans le domaine des microaiguilles. Les différents types de microaiguilles sont abordés ainsi que leurs méthodes de fabrication. Les travaux dans les domaines connexes que sont la mécanique de la rupture et celle de la pénétration dans la peau seront abordés. Enfin les rares applications industrielles sont présentées.
Le développement des réseaux et notamment les réseaux de capteurs incite les industries à considérer pour leurs systèmes de communication des alternatives amenant une réduction des coûts et de la complexité tout en garantissant la ﬁabilité. Ce papier décrit la validation formelle par réseaux de Petri temporels et model checking d'un nouveau protocole de synchronisation avec qualité de service pour réseau maillé de capteurs sans ﬁl utilisant le standard de communication IEEE 802.15.4/ZigBee. L'utilisation des méthodes formelles dans le cadre des réseaux sans ﬁl est assez récente et les résultats obtenus dans cet article prouvent que ces méthodes sont intéressantes dans ce contexte.
Cet article est dédié à la validation des politiques d’adaptation en utilisant une approche de tests à partir de modèles; à la mise en place d’un verdict basé à la fois sur la vérification à l’exécution et aux propriétés temporelles; à la détection d’inconsistances entre les politiques d’adaptation et les reconfigurations implémentées dans le système. Nous proposons un moyen d’établir un verdict de tests basé sur le respect des politiques d’adaptation ainsi que les mesures de couverture des règles. Ces verdicts nous donnent des informations sur les règles pour détecter d’éventuelles reconfigurations qui n’auraient pas dû avoir lieu, des règles avec une priorité haute qui ne sont jamais déclenchées ou des règles avec une priorité faible qui sont déclenchées trop souvent, des inconsistances dans les règles, ou une mauvaise interprétation des priorités. Les verdicts sont obtenus en analysant les traces d’exécution du système qui est stimulé par un modèle d’usage à transitions probabilistes. Afin d’illustrer notre approche, nous utilisons un système de peloton de voitures autonomes.
Le développement continu des services et outils informatiques engendre une consommation électrique croissante qui participe au réchauffement climatique. Par ailleurs la concentration des moyens de stockage et de calcul au sein de centres de données ou centres de calcul fait que la consommation électrique de ces derniers prend une part toujours croissante dans la consommation globale. C’est pourquoi de nombreux travaux visent à la réduction de la consommation énergétique. Dans cet article nous nous intéressons au problème de l’alimentation d’un centre de calcul par des sources d’énergie renouvelables. Le problème consiste donc à utiliser au mieux l’énergie produite pour minimiser les temps de traitements, un challenge vu le comportement intermittent de la production. Nous proposons une évaluation de plusieurs algorithmes pour ordonnancer un ensemble de tâches indépendantes dont les caractéristiques sont connues à l’avance, sous contraintes de puissance. La contribution décrite est la mise en place de procédures de génération de données, de tâches et d’intervalles de puissance, pour comparer les performances de ces algorithmes par rapport à l’optimal et une étude par simulation des performances de plusieurs algorithmes.
Dans le cadre de la Licence SPI (Sciences Pour l’Ingénieur) de l’UFC (université de Franche-Comté) à Besançon, les étudiants sont amenés à étudier la mécanique de solides déformables dans plusieurs unités d’enseignement. Les étudiants en deuxième année de Licence SPI suivent des cours de dimensionnement des structures et une introduction au calcul des structures par éléments finis. Les étudiants en troisième année de Licence SPI parcours Mécanique suivent des cours de mécanique des milieux continus et d’élasticité linéaire. Afin de proposer une offre de formation cohérente, l’équipe enseignante en mécanique a mis en oeuvre une démarche par compétences. L’objectif de ce papier est de présenter l’application de la démarche par compétences dans le cadre de travaux pratiques de 2e et 3e année de Licence SPI en mécanique des solides déformables. Ce papier met l’accent sur les apports pédagogiques pour l’étudiant des travaux pratiques présentés. Le dispositif expérimental utilisé est un cylindre à paroi mince sous pression interne, ouvert ou fermé à ses extrémités. Il permet aux étudiants d’aborder de façon simple les états de contrainte uniaxial et biaxial. La présentation vise à montrer comment les travaux pratiques, proposant mise en évidence expérimentale, calculs et simulations, permettent, au cours de ces deux ans de formation, d’atteindre le niveau de compétences attendu en début de Master à dominante Mécanique.
La transformée en ondelettes est un outil efficace pour le traitement de signaux modulés en amplitude et en phase puisqu’elle permet d’obtenir les variations temporelles de l’amplitude et la phase instantanées de chaque composante du signal. La transformée en ondelettes a déjà été utilisée avec succès pour identifier les caractéristiques modales de structures linéaires. Dans cette communication son utilisation est étendue aux réponses libres d’oscillateurs possédant des nonlinéarités en amortissement et en raideur. A partir du squelette de la transformée en ondelettes nous pouvons identifier les paramètres nonlinéaires du système en vibration. Des résultats numériques et expérimentaux sont présentés.
La métaphore sarrazacienne du « carrefour naturalo-symboliste » est particulièrement pertinente lorsqu'on considère, bien avant les circulations de répertoire entre le Théâtre Libre et le Théâtre de l'OEuvre, les positions des figures tutélaires des théâtres naturalistes et symbolistes que sont Emile Zola et Stéphane Mallarmé, notamment en matière de théorie du drame. Leurs réflexions critiques ont trouvé leurs origines dans des prémisses intellectuelles quasi opposées, et ont induit des rénovations théâtrales que l'on peut aisément confronter, terme à terme, de manière presque binaire. Mais comme les travaux de Jean-Pierre Sarrazac l'ont bien montré, cette séduisante symétrie est trop systématique pour ne pas être artificielle, et les réelles divergences thématiques et formelles sont en partie réversibles lorsqu'on les pense ensemble et non successivement, de manière complémentaire et non séparément. Là où les deux routes critiques tracées par les deux écrivains se rencontrent, au delà des «connivences de socialité et de solidarité littéraire à l'intérieur du champ conflictuel de la république des lettres », à l'exacte intersection du carrefour naturalo-symboliste donc, leurs écrits peuvent ainsi résonner pour qui les regarde à la lumière de la poétique du drame moderne et contemporain.
Cette étude universitaire préalable à la mise en place d'un contrat éducatif local a d'abord permis un diagnostic territorial des positions et des souhaits des différents partenaires concernés par un éventuel aménagement des temps et des activités des enfants : enseignants, intervenants locaux, parents, enfants. Elle a débouché ensuite sur un ensemble de préconisations qui, pour l'essentiel portent sur le cadre formel et organisationnel du contrat, sur les conditions et les modalités du partenariat, et non sur ses contenus.
Nous présentons dans cette publication un algorithme permettant au sein d’un système multi agents (SMA) d’instaurer une cohérence au niveau des données recueillies par chacun des agents à travers un nouveau mode de synchronisation. Nous nous focalisons essentiellement sur une flotte de drones comme application de l’algorithme de synchronisation. Notre approche est fondée sur l’assimilation de données.

We present in this publication an algorithm allowing within a multi-agent system (SMA) to establish coherence at the level of the data collected by each agent through a new synchronization mode. We focus essentially on a fleet of drones as application of the synchronization algorithm. Our approach is based on data assimilation.
Cette étude se situe dans le cadre du développement de fluxmètres thermiques. Dans une première partie, nous étudions les effets d’intrusion d’un fluxmètre à gradient à sondes résistives en platine déposées sur un substrat en verre à l’aide d’une étude par éléments finis. Dans une deuxième partie, nous déterminons les incertitudes de mesures associées à l’utilisation de la loi de Fourier pour calculer le flux. Dans une troisième partie, nous étudions un banc d’étalonnage en flux par comparaison à des fluxmètres de référence. Nous présentons des résultats de mesure pour différentes valeurs de flux qui montrent une bonne concordance entre les valeurs mesurées par les capteurs de référence et celle de notre capteur.
Le stockage d’hydrogène comprimé à haute pression est réalisé dans de nombreuses applications à l’aide de réservoirs renforcés par des matériaux composites.Les réservoirs de type IV fabriqués par enroulement filamentaire sont composés d’un liner interne polymérique utile à l’étanchéité au gaz, renforcé par un matériau compositegénéralementà base de résine organique et de fibres de carbone. Ces réservoirs doivent pouvoir travailler sur une large gamme d’environnement thermique et de pression [1]. En particulier la variation de pression lors d’une dépressurisation rapide, peut désolidariser le liner du composite quiensuite peut s’effondrer sur lui-même, impliquant ainsi la ruine du réservoir. La cause de ce phénomène,connu sous le nom de cloquage, ne semble pas parfaitement identifiée. Pour gagner en connaissance sur le sujet, diverses conditions expérimentales préalables sont appliquées sur des éprouvettes du liner, comme des traitements thermiques, reproduisant les conditions de fabrication des réservoirs de type IV (cycle de polymérisation du composite et d’autres traitements thermiques). De plus, nous avons également exposé ces échantillons à une pression d’hydrogène jusqu’à saturation; suivie de dépressurisations lente et rapide.

Composite materials are used in high-pressure hydrogen storage for numerous applications. Containers type IV consist of an internal polymer liner which provides gas tightness,reinforced by an external support made out of a composite material based on epoxy resin and winded carbon fibers. This type of container have to stand extreme temperature and internal pressure conditions [1]. Noticeably pressure variation during a rapid depressurization, may cause that the liner detaches and collapsesto the inside, which implies the loss of the container. The cause of this phenomenon,known as blistering, seems not to be perfectly identified. Thus, in order to gain understanding on the subject, we have studied polymerliner samples under experimental conditions such as thermal treatments, reproducing the conditions exerted to liner material during container production (composite polymerization cycle and other thermal treatments). Moreover, we have exposed samples to hydrogen pressure until saturation, and performed fast and slow depressurizations.
Lors de l'application de la classe de modèles stochastiques non-gaussiens définis-positifs à paramétrage minimale proposé par Soize [1] pour le champ du tenseur d'élasticité d'un matériau aléatoire anisotrope, on constate que le niveau d'anisotropie du milieu augmente avec son niveau de fluctuation. Cette communication propose un élargissement du paramétrage du modèle de Soize en ajoutant un para-mètre contrôlant l'indice anisotrope moyen du milieu.
Dans les analyses sismiques des structures étendues ou des structures à multi-supports, une des méthodes les plus réalistes consiste à prendre en compte la variabilité spatiale du champ sismique. Cette variabilité peut être due aux effets aléatoires et déterministes. Les études abordées dans ce papier ont pour but de distinguer ces deux effets sur la variabilité spatiale du champ sismique afin de pouvoir valider une approche commune qui consiste à modéliser séparément ces deux différents effets dans les études d'interaction sol-structure prenant en compte la variabilité spatiale du champ sismique.
Les projets de conception de produits complexes nécessitent des acteurs pluridisciplinaires afin de réaliser l'intégralité des activités du projet. Les chefs de projet ont besoin d'outils d'aide à l'affectation des ressources humaines en fonction de l'évolution des compétences. Dans cet article, un modèle d'affectation permettant de modéliser le développement des compétences sur plusieurs périodes et sur plusieurs projets est proposé. Nous cherchons un compromis entre le coût supplémentaire lié au manque de compétence et le coût pénalisant dû à l'écart de l'objectif de compétences. Un cas d'études est présenté. Nous utilisons un algorithme de recuit simulé pour résoudre le problème.
Après une mise en contexte de nos travaux, proposant une classification des indicateurs quantitatifs de suivi des interactions humaines médiatisées par les LMS (Learning Management System), cette prépublication de chapitre aborde diverses notions proposées par les réseaux sociaux (Social Network Analysis), en vue de les intégrer dans un tableau de bord du tuteur pour le suivi de la formation à distance, basée sur la production collaborative. Quelques-uns de nos résultats antérieurs concernant la mesure et la représentation de la cohésion sont repris pour discuter de la validité, de l'expressivité et de la transférabilité des modèles issus des réseaux sociaux dans le contexte des communications médiatisées. Basée par essence sur l'analyse des relations, l'analyse structurale (autre nom des réseaux sociaux) dépend avant tout d'une bonne définition des relations étudiées. Elle passe par la construction d'un graphe des relations appelé sociogramme. Des algorithmes sont appliqués sur ces graphes pour construire des représentations synthétiques mettant en relief certaines propriétés du groupe ou la place singulière qu'y ont les individus. On peut alors proposer des images de la cohésion du groupe, de l'intermédiarité ou de la centralité d'un individu pour le situer dans la structure de communication du groupe afin d'en déduire son rôle, son pouvoir ou son implication.
Le travail présenté dans cet article porte sur le calcul analytique du champ magnétique dans une machine synchrone à aimants montés en surface et à rotor intérieur. Ce modèle est établi en résolvant les équations de Laplace/Poisson par la méthode de séparation des variables, en considérant deux régions annulaires : l'entrefer modifié par le coefficient de Carter et la région comprenant les aimants et l'espace inter-aimants. Dans une seconde partie, après identification des paramètres influençant l'induction magnétique à vide dans l'entrefer, les auteurs proposent une expression analytique de l'épaisseur optimale de l'aimant permettant de maximiser l'induction dans l'entrefer. Les formules obtenues pourront être utilisées pour des machines synchrones à rotor intérieur possédant une direction d'aimantation radiale ou parallèle. Les résultats analytiques sont comparés avec les résultats obtenus par une analyse numérique utilisant la méthode des éléments finis [1].
Cet article traite de la démagnétisation dans l'air des aimants permanents (AP) d'un inducteur cylindrique de machines à AP montés en surface. Les auteurs présentent d'abord un calcul analytique exact du champ pour une telle structure, puis les résultats obtenus sont confirmés par des simulations numériques 2D et 3D. Les auteurs déterminent ainsi, dans un cas concret, les limites en température et en épaisseur d'aimants pour se prémunir de la désaimantation dans l'air.
Pour le futur, l’un des enjeux majeurs de civilisation concerne l’énergie, son utilisation, son accessibilité. La population mondiale augmentant, même en limitant (voire réduisant ?) nos besoins énergétiques, ceux-ci ne vont pas tendre à baisser dans un futur proche. Si on y regarde de près, beaucoup de nouveaux développements technologiques sont associés à l’énergie, ainsi que, malheureusement bon nombre de tensions géopolitiques.
Le travail rapporté ici traite globalement de la spécification et du développement d'un système de pronostic de défaillances. De ce point de vue, beaucoup de développements visant la proposition de méthodes de prévision existent dans la littérature. La majorité d'entre elles portent sur la construction de modèles capables de minimiser l'erreur de prédiction d'une situation future. Cependant, peu traitent de la maitrise de cette erreur. C'est ce qui fait l'objet de ce papier et pour lequel nous proposons d'exploiter le système ANFIS (système d'inférence floue paramétré par apprentissage neuronal). Après avoir positionné l'activité de pronostic dans le cadre de la maintenance industrielle, nous présentons le réseau ANFIS. Nous étudions les pistes permettant de maîtriser l'erreur de prédiction d'un tel système, notamment lors de la phase d'apprentissage (optimisation des paramètres du réseau). Les éléments théoriques nécessaires à cette analyse sont décrits, une nouvelle fonction de coût est proposée et l'influence de celle-ci sur les performances du réseau est discutée. Nous illustrons l'ensemble sur un benchmark. La modification proposée permet de réduire la phase d'apprentissage du système de pronostic.
Cet article concerne la génération automatique de tests de vulnérabilité à partir de modèles pour applications Web. Les technologies de génération de tests à partir de modèles sont aujourd'hui principalement mises en œuvre dans le contexte du test fonctionnel. L'application de ces techniques au test de vulnérabilité sur applications Web en renouvelle les problématiques de recherche, tant au niveau de la modélisation, du pilotage de la génération des tests qu'au niveau de l'assignation du verdict de test. Cet article présente une approche originale pour la génération de tests de vulnérabilité fondée sur une modélisation du comportement fonctionnel de l'application sous test et sur la formalisation des attaques à tester sous la forme de schémas de tests. Ces schémas définissent ainsi la stratégie de génération des tests de vulnérabilité. Cette approche est illustrée sur un exemple de site Web vulnérable (l'application DVWA).
Le travail présenté dans cet article a pour objet de fournir à la communauté médicale un outil distribué de calcul pour le télédiagnostic semi-automatique pour identifier et quantifier les complications cardio-vasculaires potentielles d'un patient : cet outil est nommé VACODIS (VAscular COllaborative teleDIagnosiS). Une première phase consiste à produire une détection automatique des anomalies cardio-vasculaires à partir d'images d'écho-doppler. La deuxième phase (qui est le cœur de ce travail informatique) consiste à partager de manière collaborative et adaptée les images et résultats de la première phase afin de favoriser un diagnostic collaboratif. Ainsi ce travail permettra à plusieurs personnels hospitaliers distants de contribuer conjointement à un diagnostic collaboratif dans le domaine cardio-vasculaire.
La présente étude explicite une méthode de dimensionnement d'un réservoir d'hydrogène haute pression soit 700 bar. Ce type de réservoir est composé d'un liner métallique et d'un renfort en composite. Un bon dimensionnement est nécessaire pour l'utilisation de ce type de réservoir en toute sécurité dans la mesure où des problèmes de fatigue apparaissent lorsque la structure est soumise à des hautes pressions de façon répétée.
Le but de cette étude est de déterminer quelle est le type de fibre optique le plus approprié pour une insertion dans une structure composite. En effet, il semble inutile de développer des capteurs à fibres optiques très sophistiqués, si l'effort subi par la structure n'est pas transmise au capteur. Tout d'abord, la mécanique de la rupture est utilisée pour évaluer les propriétés mécaniques des fibres optiques. Les fibres optiques monomodes et multimodes sont soumises à un test de traction uniaxial. Celle-ci se comporte comme un matériau fragile qui casse avant d'avoir subi une déformation plastique significative. Puis, une analyse de l'adhésion de la fibre optique avec une structure composite est présentée en s'appuyant sur un test de pull-out.
Cet article présente une méthode de génération assistée de tests. Elle applique des critères dynamiques de sélection des tests (TP) sur un modèle formel comportemental (M) utilisé auparavant, par exemple par LTG, pour générer des tests fonctionnels à partir de critères statiques de sélection. On peut appliquer à M un critère dynamique de sélection TP mais ceci nécessite de représenter M par un automate. Pour des applications réelles, sa taille en nombre d'états et de transitions est beaucoup trop grande (voir infinie) pour être utilisable. Nous proposons une méthode pour extraire une abstraction de M à partir d'un objectif de test TP. Nous effectuons un produit synchronisé de cette abstraction avec TP afin de cibler les exécutions du système sous test qui satisfont TP. Puis nous générons des tests abstraits symboliques à partir de ce modèle réduit en appliquant les critères de couverture tous les états ou toutes les transitions. Cet ensemble de tests est valué à partir de M, concrétisé puis exécuté sur l'implémentation sous test. Cette méthode est proposée pour compléter la méthode BZ-TT de génération de tests à partir de critères statiques de sélection. L'utilisateur obtient des tests complémentaires en fournissant un critère dynamique de sélection. La méthode réutilise M, la couche de concrétisation des tests et l'infrastructure d'exécution des tests. L'originalité de l'approche est de construire une abstraction du modèle issue automatiquement de l'analyse statique d'un objectif de test formalisant des besoins de test d'une propriété dynamique du système.
Le travail porte globalement sur le développement d'un outil de pronostic de défaillances basé sur l'utilisation d'un système de prédiction neuro-flou. Plus particulièrement, cet article vise la proposition d'une architecture de prédiction basée sur l'utilisation du système ANFIS (système d'inférence floue paramétré par apprentissage neuronal), et pour laquelle différents axes d'améliorations des prédictions sont proposés. La stabilité des erreurs de prédiction en fonction de l'horizon de prédiction est étudiée expérimentalement et une solution visant à intégrer les sollicitations "futures" connues dans le modèle prédictif est proposée. L'ensemble est illustré sur un benchmark de prédiction : la série de données dite de Box-Jenkins.
Cet article se propose d'introduire les utilisateurs de LaTeX Ã XSL-FO. Son but n'est pas de donner une vue exhaustive de XSL-FO, mais de faciliter la prise en main. Nous montrons quelles sont les ressemblances et dissemblances entre ces deux approches pour la composition de textes.
Les matériaux actifs sont de plus en plus utilisés en tant qu'actionneurs dans les systèmes mécatroniques et micro-mécatroniques. Les matériaux piézoélectriques et les alliages à mémoire de forme sont les deux exemples les plus représentatifs à l'heure actuelle dans ces domaines. Les alliages à mémoire de forme magnétiques sont des matériaux relativement récents et ils apparaissent très intéressants de par leur rapidité d'actionnement et leur grande déformation ; cependant, leur comportement fortement non-linéaire reste un frein à leur développement et les méthodes de conception et de commande les concernant se doivent d'évoluer.
Ce résultat s'inscrit dans la continuité de nos efforts précédents concernant l'ordonnancement périodique de tâches sous contraintes de stockage. Notre contexte est l'optimisation de programmes embarqués. Nos tâches représentent les instructions répétitives d'une boucle POUR d'un programme. Certaines instructions écrivent des résultats dans des registres. Un registre ne peut être libéré (et par conséquent pouvant contenir le résultat d'une autre instruction) que lorsque tous les consommateurs (i.e. lecteurs) de la donnée ont été exécutés. Le but est de trouver un ordonnancement périodique de ces instructions tel que le besoin en registres soit minimisé ou borné. Nous avons déjà apporté une étude théorique au problème [1] et mis en place une heuristique performante [2]. <p> Cet exposé apporte une réponse à un problème ouvert pour l'optimisation de codes embarqués pour une famille spécifique de processeurs, appelés VLIW ou DSP. Dans cette famille de processeurs, les latences d'écriture et de lecture dans les registres sont visibles au niveau du programme. En d'autres termes, lorsqu'une instruction lit ou écrit dans un registre, le programme doit faire en sorte de garantir la latence d'accès en registres. Cette spécificité des processeurs VLIW ou DSP rend l'optimisation des registres plus délicate mais simplifie la conception architecturale de ces processeurs. Jusqu'à présent, il n'y a pas eu de réponse satisfaisante dans la communauté d'optimisation de codes concernant l'optimisation des registres dans ce type de processeurs. Notre modèle théorique [1] définit bien le problème mais n'a apporté qu'une solution partielle jusqu'à présent. Dans cet exposé, nous vous présentons notre dernier développement sur ce sujet en apportant une heuristique itérative se basant sur la programmation linéaire.
Ce travail vise à évaluer les performances mécaniques et le vieillissement de biocomposites en vue d'une utilisation potentielle de ces matériaux prometteurs dans des applications structurales. 4 types de composites ont été fabriqués par compression à chaud à partir de matrices thermoplastiques organiques d'origines fossiles et biosourcées : Polypropylène (PP) et Acide Polylactique (PLA), et de fibres synthétiques et végétales : Verre et Chanvre. L'objectif est d'évaluer les performances rhéologiques du biocomposite PLA/Chanvre comparativement aux autres matériaux fabriqués. Les différents composites ont été soumis à des traitements hygrothermiques afin de reproduire un vieillissement environnemental accéléré. Les variations des propriétés physiques et mécaniques ont été suivies à l'aide de plusieurs techniques expérimentales : mesure des masses et des dimensions, essais de traction, analyse mécanique dynamique et observation en microscopie électronique. Le biocomposite PLA/Chanvre présente un pouvoir hygroscopique relativement important avec une teneur en eau à saturation supérieure à 9%, à l'origine de variations dimensionnelles non négligeables. L'eau joue également un rôle plastifiant, conduisant à une diminution des propriétés élastiques du matériau et à l'abaissement de la température de transition vitreuse. Enfin la présence d'eau entraîne la dégradation de l'adhésion fibrematrice, la microfissuration et l'hydrolyse de la matrice biosourcée, l'ensemble se traduisant par une chute sévère des performances mécaniques du matériau.
Dans le cadre d’un projet plus vaste de formalisation de la combinatoire, nous présentons dans cet article deux opérations sur les permutations, leur implémentation en C sous forme de fonctions modifiant des tableaux d’entiers, et leur spécification formelle en ACSL. Après avoir spécifié des invariants de boucle adaptés, nous prouvons automatiquement que ces fonctions préservent les permutations, avec l’outil Frama-C et son greffon WP.
Cet article présente un algorithme d'adaptation en raisonnement à partir de cas appliqué au diagnostic technique. La phase d'adaptation est considérée dans quelques travaux comme le coeur du processus du raisonnement à partir de cas. Il y a plusieurs axes de recherche concernant cette phase, nous nous intéressons aux démarches unificatrices. Dans ce cadre, nous proposons un algorithme d'adaptation pour le diagnostic technique traitant des cas ayant des valeurs de descripteurs modales. Cet algorithme prend appui sur la hiérarchie des descripteurs, leurs contextes ainsi que les dépendances entre le problème et la solution des cas sources. Une étude de la faisabilité de notre algorithme est faite sur un cas réel de diagnostic industriel. Trois cas de figures sont traités dans cette étude concernant les différentes valeurs des relations de dépendances et de l'appartenance aux classes hiérarchiques des descripteurs.
La modélisation mathématique du comportement d'un phénomène réel est un point essentiel pour mieux comprendre et si possible pour maîtriser ce phénomène. Cependant, Les informations disponibles sur les paramètres de conception des systèmes multiphysiques, leur géométrie, leur physique et les actions appliquées, sont souvent insuffisantes. Dans un contexte fiabiliste, la prise en compte des incertitudes sur ces paramètres est devenue incontournable dans une démarche de conception robuste. On rencontre, généralement des problèmes de modélisation des incertitudes pour connaître parfaitement le problème étudié, liés à l'insuffisance du modèle pour décrire les phénomènes physiques mis en jeu. La simulation de Monte Carlo reste l'outil le plus fiable pour la détermination de la probabilité de défaillance ses résultats sont la seule référence, mais elle est très coûteuse surtout pour les systèmes complexes comportant des modèles éléments finis de grandes tailles, des phénomènes multiphysiques couplés, de nombreux paramètres de conception ... Dans ce travail, nous proposons un couplage de la méthode de fiabilité en dynamique avec des métamodèles (modèles condensés) pour bien mener des études de fiabilité et d'optimisation fiabiliste sur de tels systèmes. En fonction de l'information disponible sur les paramètres de conception incertains, un modèle hybride combinant les approches possibiliste et probabiliste est envisagée dans ce travail pour la propagation des incertitudes dans le modèle. La méthode proposée a été mise en oeuvre et appliquée à des structures académiques pour les différents métamodèles. Les résultats obtenus ont été comparés aux résultats de référence utilisant la simulation directe de Monte Carlo. Ils ont permis de mettre en évidence la robustesse et l'efficacité de la méthodologie proposée pour le calcul de la fiabilité en dynamique des structures complexes.
Cet article présente une méthode de réduction adaptée aux problèmes de dynamique non-linéaire. La non-linéarité étudiée est de type géométrique en grands déplacements. La réduction est basée sur la méthode des approximations combinées qui consiste à construire une base de série binomiale actualisée. Cette base est issue du comportement non-linéaire considéré comme une modification du modèle linéaire. La simulation numérique de la réponse temporelle d'une plaque mince modélisée en éléments finis montre l'intérêt de la méthode proposée.

This paper presents a reduced order method adapted to a nonlinear dynamic problem. Geometrical non-linearity with large displacements behaviour is considered. The reduction tool is based on the combined approximation method that consists in expansing a binomial series. This basis is issued from the nonli-near behaviour considered as a modification of the linear model. The numerical simulation of the time response of a thin plate modeled by the finite element method (FEM) shows the applicability of the proposed method.
Le calcul prévisionnel en vibro-acoustique est toujours un problème qui nécessite un coût de calcul important (temps CPU et mémoire). La discrétisation des domaines fluides et structuraux conduit à des modèles éléments finis de grandes tailles, pratiquement inexploitables. Dans ce cas, la réduction de modèle est une procédure incontournable et son utilisation est bien justifiée. On présente ici une méthode de sous-structuration dynamique de type Craig-Bampton adaptée au problème d'interaction fluide-structure. La variable dans le fluide est le potentiel de déplacement qui est défini de sorte que le problème soit bien posé dans le cas statique. La méthodologie est illustrée par le calcul vibro-acoustique dans le cas d'un modèle simple de cavité et celui d'un modèle axisymétrique simplifié d'une ligne d'échappement. Les performances de la méthode sont mises en évidence en comparant les résultats obtenus à ceux de la condensation classique par les bases modales découplées du fluide et de la structure et à ceux du calcul de référence sur le modèle complet.

Solving numerical vibroacoustic problems requires a high calculation time. Meshing of both fluid and structural domains often results in large finite elements models. Theses models can be reduced in order to be efficiently solved. The Craig-Bampton dynamic sub-structuring method adapted to fluid–structure interaction is presented. The choice of displacement potential as the state variable in the fluid is done, it is defined in order to have a correct solution even in the static case ($\omega=0$). A simple plate-cavity model is studied to valid the method and furthermore a test with a more complex model of a part of an exhaust system is presented. Numerical results are compared with the non-reduced case.
Le contexte de ce travail est la mise en place d'outils d'aide à la décision en conception robuste de structures mécaniques dans un environnement incertain. Nous proposons d'étudier le problème inverse de l'identification paramétrique des structures mécaniques à partir d'observations incertaines et d'apprécier si le gain d'information obtenu grâce à d'éventuelles mesures expérimentales justifie le coût de ces dernières. Nous utilisons dans cette étude une formulation probabiliste des problèmes inverses qui combine, sous forme de distribution de probabilité, les informations a priori sur les paramètres et les modèles d'incertitudes sur les mesures réelles ou simulées. La distribution a posteriori ainsi construite permet de générer des modèles grâce à une méthode de Monte Carlo. L'étude des modèles obtenus ouvrira alors des pistes au concepteur quant à l'utilité des expériences envisagées ou la pertinence des paramètres identifiés.

The context of this work is the setting up of decision aiding tools in robust design of mechanical structures in an uncertain environment. We propose to study the inverse problem of the parametric identification of mechanical structures starting from uncertain observations and to appreciate if the information gain obtained thanks to possible experimental measurements justifies the cost of these last. In this study, we use a probabilistic formulation of the inverse problems which combines, in the form of probability distribution, a prior information on the parameters and models of uncertainties on the real or simulated measurements. The a posteriori distribution permit to generate models thanks to a Monte Carlo method. The study of the models obtained will guide the designer as for the usefulness of the experiments considered or the pertinence of the identified parameters.
La maîtrise du calcul dynamique des stators de moteurs ferroviaires représente un enjeu majeur pour le concepteur. Parmi les difficultés de modélisation de ces derniers figurent le comportement de leur cœur hétérogène feuilleté et bobiné ainsi que la complexité de leur assemblage. L'objectif de ce travail consiste à construire et valider, par une approche allant des composants à la structure complète, le modèle d'un stator d'architecture type en effectuant des corrélations calculs-essais. Ceci permet à terme de caractériser son comportement moyen et d'établir des règles de modélisation transposables à d'autres architectures.

Accurate determination of values of resonant frequencies and vibration characteristics of railway motor stators is an important issue for designers. The presence of heterogeneous laminated core, windings and assembling complexity of stators represent its main modelling difficulties. The aim of this paper consists on developing and validating, with a step by step approach, a model of a typical design stator by confronting it to experimental results. This approach leads finally to characterize mean behaviour of a typical design stator and to establish generic modelling rules for such structures.
Cet article propose une variante de la méthode de réanalyse de structures par approximations combinées. Tout en conservant les caractéristiques propres à la méthode originale, elle pallie certains problèmes de convergence des solutions approchées par la création d’une base unique de réduction, valable pour l’ensemble des modes contenus dans la bande de fréquence d’intérêt. On généralise ensuite l’emploi de cette base robuste dans le cadre de la sous-structuration dynamique et on compare sa prédictivité à celle d’une base classique.
Dans ce papier une caractérisation expérimentale d'un amortisseur de vibration par microparticules sous excitation harmonique a été effectuée. La procédure développée permet d'identifier les propriétés intrinsèques des microparticules en fonction de la fréquence. Certains paramètres qui influent sur la mesure de la puissance dissipée sont pris en compte dans ce papier.

In this paper, an experimental characterisation of a particle enclosure under harmonic excitation is performed. The developed procedure allows the identification of the intrinsic properties of the microparticles versus frequency. Some parameters influencing the measurement of dissipated power are considered.
Ce travail concerne sur l’optimisation séquentielle et l’optimisation globale du procédé de Moulage par Injection de Poudres (MIP). Dans le procédé MIP la réalisation d’un composant comprend quatre étapes consécutives: mélangeage de poudres et de liants thermoplastiques, moulage par injection, élimination du liant qui a servi de fluide porteur et densification conduisant à la géométrie du composant final. La première partie concerne une méthodologie d’optimisation appliquée à l’étape d’injection, basée la détermination des paramètres influents grâce à la méthode des plans d’expérience, suivie une procédure d’optimisation construite à partir d’une méthode de surfaces de réponses adaptatives. Dans la seconde partie, l’identification par méthode inverse des paramètres de la loi de densification à l’aide d’essai de dilatométrie est mise en place. Finalement, une méthodologie d’optimisation globale du procédé MIM est proposée. Cette approche est appliquée sur un cas test correspondant à une prothèse de hanche réalisée à partir d’un mélange de poudres céramiques.

This work is focused on the global and sequential optimization of the Powder Injection process (PIM). This process is composed by four stages: mixing both metallic powders and thermoplastic binder, injection stage in order to obtain a shaped component, thermal or solvent debinding to remove the binder and last stage is a solid state sintering. In the first part the injection stage is optimized in order to minimize the segregation defects. The second part is concentred on the shrinkage prediction during sintering stage. The third part is the global optimization is order to determine the size of the mould cavities in order to manufacture a HIP prosthesis by Ceramic Injection Molding process.
Un modèle de comportement de type viscoplastique est formulé pour représenter la densification par diffusion à l'état solide de poudres métalliques ou céramiques. Le modèle est ensuite implémenté dans un logiciel de simulation par élément finis, et ces paramètres de modèle sont identifiés par comparaison entre résultats expérimentaux et résultats de simulation obtenus sur des éprouvettes types des densification. Le modèle physique ainsi identifié, ainsi que la procédure de simulation par élément finis sont ensuite utilisés dans le cadre de simulation 3D de composants obtenus par moulage par injection de poudres en prenant en compte la gravité, le frottement, ainsi que la distribution initiale hétérogènes des poudres. Les résultats de simulation obtenus corroborent les résultats expérimentaux, validant ainsi que le modèle physique et la procédure de simulation.

A viscoplastic material model is firstly formulated for accounting the solid state sintering of metallic or ceramic powders. Then the proposed model is implemented into a commercial FE simulation code, then material and physical parameters are identified by comparison between experimental results and numerical ones, for different sintering experiments. The resulting identified model and the associated finite element procedure are then used for the simulation of 3D complex shapes, resulting from powder injection moulding process. The results obtained from 3D FE simulations accounting the effects of gravity, friction and initial heterogeneous powder volume fraction are in good agreement with the experimental ones, proving the validity of the proposed model and identification strategy.
La stratégie présentée dans cet article consiste à coupler les approches spectrales du chaos polynomial ou la méthode des perturbations basée sur un développement en séries de Taylor amélioré par les Approximants de Padé avec une méthode de condensation dynamique robuste vis-à-vis des modifications paramétriques stochastiques. L'intérêt de la méthode proposée et ses performances, sont illustrés par un exemple de simulation numérique.

The strategy presented in this article consists in coupling the spectral approaches of polynomial chaos or the method of the perturbations based on a development in Taylor series improved by Padé Approximant with a robust dynamic condensation method with respect to the stochastic parametric modifications. The interest of the proposed method and its performances, are illustrated for an numerical simulation example.
Dans le domaine de l'aéronautique, l'optimisation du rendement énergétique global, la réduction des masses embarquées et la nécessité de répondre aux besoins énergétiques croissants conduisent à développer des solutions innovantes pour générer l'énergie électrique, pour la distribuer, la convertir et la stocker dans un aéronef. Dans ce contexte, le projet CETIP a été mené pour développer une poutre électrique d'hélicoptère. Ce projet consiste à étudier et à évaluer de nouvelles architectures électriques et de nouvelles technologies de composants pour des hélicoptères plus électriques. Pour mener à bien cette étude, une modélisation de la poutre électrique est nécessaire en vue de réaliser des simulations numériques pour évaluer son fonctionnement. Dans une première partie, l'architecture et le modèle de la poutre électrique sont définis. Ensuite, une structure de contrôle est proposée ainsi qu'une stratégie de gestion de l'énergie adaptée aux contraintes de l'application. Enfin, le fonctionnement de la poutre est évalué sur une mission. Les résultats de simulation sont présentés et commentés dans cet article.