Academic literature on the topic 'Support dynamique'

La dynamique sous-jacente au soutien des personnes âgées est ici explorée. Un cadre théorique a d'abord été construit et a permis de concevoir les deux logiques sociales auxquelles cette dynamique se rattache, à savoir la prise en charge et la privatisation. L'auteur étudie les rapports entre ces deux logiques de même que les formes de support dont ont bénéficié et bénéficient les Québécois âgés.

Recourir à la visioconférence pour proposer des séances d’éducation, de soutien ou de psychothérapie en groupe est une des solutions pour faciliter l’accès aux soins de support. Très peu de données sont disponibles sur les spécificités interactionnelles que pourrait impliquer ce dispositif encore récent. L’article a pour objectif de rendre compte de la démarche de recherche exploratoire visant à construire une grille d’observation pour étudier cette question relationnelle à partir d’un dispositif d’ateliers thématiques collectifs mené en oncologie.

Abstract. Despite the nationalization of politics in established democracies, the study of local dynamics remains fundamental to our understanding of electoral politics, especially in plurality contests. In plurality systems, local competition indeed has important consequences for the distribution of seats in parliaments and cabinets. While a plethora of measures exists to assess electoral competitiveness, none adequately captures the dynamic nature of party support at the local level. Making use of the Canadian case as an illustration, we propose a new classification of electoral districts that aims at filling this gap. Districts are divided into two categories, strongholds and battlegrounds, depending on the successive performances of parties. We argue that such a classification should be utilized in addition to static measures of competitiveness, notably in the study of political participation.Résumé. Malgré la nationalisation de la politique au sein des démocraties établies, l'étude des dynamiques locales demeure fondamentale pour bien comprendre la politique électorale, particulièrement dans les systèmes pluralitaires où la compétition locale a des conséquences importantes sur la distribution des sièges au parlement et au cabinet. Bien qu'il existe une panoplie de mesures de compétition électorale, aucune ne capture adéquatement la nature dynamique de l'appui aux partis à l'échelle locale. À l'aide du cas canadien, nous proposons une nouvelle classification des districts électoraux qui corrige cette lacune. Les districts sont divisés en deux catégories – bastions et champs de bataille – en fonction des performances successives des partis en présence. Nous suggérons que cette classification soit utilisée en plus d'autres mesures statiques, notamment dans l'étude de la participation électorale.

Résumé Le présent texte cherche à comprendre comment certaines dimensions sociales interviennent dans la dynamique d'une dépression. Après un rapide survol de la littérature portant sur les facteurs sociaux de la dépression, l'auteure propose de regarder comment le chômage vient influer sur les trajectoires des femmes aux prises avec des épisodes dépressifs. De plus, l'auteure tente de considérer le rôle du support social comme un facteur structurant dans l'expérience des femmes dépressives. La démarche de l'auteure se veut inductive et s'appuie sur l'exploration de récits de vie recueillis auprès de femmes francophones du Nouveau-Brunswick.

Résumé Il s’agira ici de faire apparaître la régressivité — possibilité perpétuelle d’adjoindre un degré supplémentaire à l’énoncé — comme le principe même de l’ironie, ce qui conduit à la concevoir non comme une grille sémiotique et axiologique, mais comme une dynamique. La réflexion part de la cellule de base qu’est le signe ironique en tant que structure hiérarchisée à deux degrés, selon la conception traditionnelle. Cette dualité est d’abord analysée du point de vue sémantique, dans le cadre tropologique, puis sur les plans axiologique, actantiel et énonciatif, ce qui aboutit à l’hypothèse de l’ironie comme trope métadiscursif, cumulant l’usage (au premier degré) et la mention (au second degré). Dans ce cadre, l’ironie se conçoit comme une représentation de représentation, comme un processus d’auto-duplication agissant par réflexivité critique et comique, et donc capable de se perpétuer virtuellement à l’infini puisque, s’appliquant à lui-même, il peut toujours ajouter un degré au précédent, sans pour autant l’annuler : le signe à deux niveaux ne constitue que la réalisation minimale de l’ironie, dont le second degré peut lui-même être réfléchi par un troisième, etc. Le « pouvoir réfléchissant » de l’ironie fait ainsi sa « force ascensionnelle » régressive, selon deux expressions empruntées à Proust. Interne au signe, ce dynamisme permet aussi, à l’échelle d’une oeuvre, de greffer différentes sortes d’ironie les unes sur les autres : la puissance créatrice du processus régressif conduit à envisager son rôle dans l’oeuvre d’art, en l’occurrence À la recherche du temps perdu, dont le texte multiplie de façon exemplaire et retorse les strates d’ironie. La Recherche, qui aura préalablement servi de support à toutes les analyses, permettra, par l’intermédiaire de Bergotte — écrivain ironiste dont le génie consiste dans le « pouvoir réfléchissant » et l’énergie créatrice dans la « force ascensionnelle » —, de poser la question de l’actualisation de la régressivité ironique dans l’oeuvre littéraire.

La structure supportant le trafic ferroviaire est un des éléments les plus importants pour assurer la stabilité géométrique de la voie et son bon fonctionnement à long terme. Des couches de sols de faible portance et instables peuvent provoquer sous l’effet de la circulation des trains, des défauts géométriques, accélérant ainsi la dégradation des constituants de la voie. La raideur est considérée comme un indicateur structurel pertinent de la voie. Sa détermination reste difficile et dépend de la méthode utilisée. Ainsi, une étude fut réalisée pour mettre au point une technique automatisée de mesure de la raideur de la voie. Cette technique consiste à mesurer la raideur en continu sous des charges à l’essieu définies. La méthode proposée permet de localiser précisément les sections de voie présentant de fortes variations de raideur. Les essais pour des voies classiques effectués avec un chargement par vérin hydrodynamique et le Portancemètre routier ont montré que la raideur d’une voie dépend fortement des paramètres de charge et de fréquence d’excitation. La technique utilisée permet de connaître le comportement de la structure selon la réponse du sol support. Enfin, les résultats obtenus ont permis de développer un nouvel outil de mesure en continu de la portance.

Face aux changements majeurs que connaît notre démographie, comment pouvons-nous assurer la pertinence culturelle du service social des groupes auprès des différentes populations auxquelles il s'adresse ? Le présent exposé propose une conception du service social des groupes qui tient compte du sens profond et de la nature unique de la vie dans nos milieux multiculturels. Il traite de questions relatives aux différences culturelles et à l'acculturation en termes d'impacts majeurs sur le bien-être psychologique et social des gens. L'article décrit quatre volets de la pratique du service social des groupes : le traitement et le support; l'éducation et la prévention; la défense des droits de la personne; l'accroissement du pouvoir des individus. Cette approche de l'intervention de groupe constitue une façon de repenser le service social des groupes en fonction de la croissance du multiculturalisme.

Cette étude s’articule autour de la question des enjeux interculturels du texte littéraire africain .Elle interroge l’espace du texte dans ses multiples interférences, ces influences socio-culturelles et le travail de réflexion et de création qu’y mènent le critique et l’écrivain. C’est cette dynamique de croisement et de métissage au coeur du texte littéraire africain qui font de lui le lieu d’une constante évolution des formes et des codes; et lui confèrent un statut et une structure fondamentalement modernes, lisibles dans le roman Peuls de Tierno Monénembo, support de notre réflexion.

La cinétique d'adsorption des protéines sur un immunoadsorbant a été étudiée par une nouvelle méthode chromatographique. La théorie, récemment développée au laboratoire, suppose une loi cinétique du second ordre de type Langmuir. Elle est basée expérimentalement sur la détermination et l'étude de la fraction non retenue d'un soluté injecté sur une colonne chromatographique. Cette théorie a été appliquée à l'étude du processus cinétique d'association d'un antigène sur un anticorps immobilisé. Le système étudié est constitué de l'albumine humaine et de l'anticorps anti-albumine humaine. L’immobilisation de l'anticorps a été préférée à l'immobilisation de l'antigène car cette approche permet d'une part d'étudier sur une même colonne chromatographique l'influence de différents paramètres sur la reconnaissance antigène-anticorps, et d'autre part de consommer très peu d'anticorps. Des colonnes d'anticorps polyclonal ayant des capacités variables ont été préparées. La comparaison des résultats obtenus sur ces colonnes par analyse du dédoublement du pic d'élution et par analyse frontale permet de valider la nouvelle technique chromatographique. L’étude cinétique effectuée à l'aide de la méthode du dédoublement du pic d'élution permet de dissocier le phénomène cinétique d'adsorption dû au transfert de matière à travers le film stagnant de celui caractérisant effectivement l'association. Après avoir étudié l'adsorption de l'albumine sur l'anticorps polyclonal, nous nous sommes intéressés à l'adsorption sur des anticorps monoclonaux. La présence d'une substance qui se lie à l'albumine peut modifier son adsorption sur un anticorps. L’étude cinétique sur des anticorps monoclonaux de spécificité connue permet de mettre en évidence ce phénomène. La méthode est particulièrement bien adaptée à cette étude dans le cas de l'albumine glycosylée.

Les unités de calculs qui composent les systèmes intégrés numériques d'aujourd'hui sont complexes, hétérogènes, et en nombre toujours croissant.La simulation, largement utilisée tant dans les phases de conception logicielle que matérielle de ces systèmes devient donc un vrai défi.Lors de la simulation du système, la performance est en grande partie édictée par la stratégie de simulation des jeux d'instructions des processeurs.La traduction binaire dynamique (DBT) est une technique qui a fait ses preuves dans ce contexte.Le principe de cette solution est de traduire au fur et à mesure les instructions du programme simulé (la cible), en instructions compréhensibles par la machine exécutant la simulation (l'hôte).C'est une technique rapide, mais la réalisation de simulateurs fondée sur cette technologie reste complexe.Elle est d'une part limitée en terme d'architectures cibles supportées, et d'autre part compliquée dans sa mise en œuvre effective qui requiert de longs et délicats développements.Les travaux menés dans cette thèse s'articulent autour de deux contributions majeures.La première s'attaque au support des architectures cibles de type Very Long Instruction Word (VLIW), en étudiant leurs particularités vis-à-vis de la DBT.Certaines de ces spécificités, tel le parallélisme explicite entre instructions, rendent la traduction vers un processeur hôte scalaire non triviale.La solution que nous proposons apporte des gains en vitesse de simulation d'environ deux ordres de grandeur par rapport à des simulateurs basés sur des techniques d'interprétation.La seconde contribution s'intéresse à la génération automatique de simulateurs basés sur la DBT.À partir d'une description architecturale de la cible et de l'hôte, nous cherchons à produire un simulateur qui soit optimisé pour ce couple.L'optimisation est faite grâce au processus de mise en correspondance des instructions du couple afin de sélectionner la ou les meilleures instructions hôtes pour simuler une instruction cible.Bien qu'expérimental, le générateur réalisé donne des résultats très prometteurs puisqu'il est à même de produire un simulateur pour l'architecture MIPS aux performances comparables à celles d'une implémentation manuelle
Computing units embedded into modern integrated systems are com-plex, heterogeneous and numerous. Simulation widely used during both software and hardware designof these systems is becoming a real challenge. The simulator performance ismainly driven by the processors instruction set simulation approach, among which Dynamic BinaryTranslation (DBT) is one of the most promising technique. DBT aims at transla-ting on the fly instructions of the simulated processor (the target) into instructions that canbe understood by the computer running the simulation (the host). This technique is fast,but designing a simulator based on it is complex. Indeed, the number of target architecturesis limited, and furthermore, implementing a simulator is a complicated process because oflong and error prone development.This PhD contributes to solve two major issues. The first contribution tackles the problem ofsupporting Very Long Instruction Word (VLIW) architectures as simulation targets,by studying their architecture peculiarities with regards to DBT. Some of these specificities,like explicit instruction parallelism make the translation to scalar hosts nontrivial. Thesolutions we propose bring simulation speed gains of two orders of magnitude compared tointerpreter based simulators. The second contribution addresses the problem of automaticgeneration of DBT based simulators. With both target and host architectural descriptions,we produce a simulator optimised for this pair. This optimisation is done with an instructionsmatching process that finds host instruction candidates to simulate a target instruction.Although being experimental, our generator gives very promising results. It is able toproduce a simulator for the MIPS architecture whose performances are close to a hand writtenimplementation

La thèse adresse la problématique du transport de trafic oriente sans connexion, notamment du trafic ip, sur des connexions atm ou la gestion des ressources est par nature différente. Nous présentons des mécanismes de gestion dynamique de la bande passante ayant pour objectif de permettre l'optimisation des ressources du réseau ainsi que de garantir la qualité de service requise par les applications. Les mécanismes se basent sur l'observation de l'activité du trafic ip de la source pour adapter dynamiquement le débit des connexions atm. Les mécanismes assument l'utilisation de protocoles de l'uit-t en association avec les capacités de transfert atm dbr ou abt-dt mais ils n'excluent pas l'utilisation d'autres protocoles de contrôle de ressources tels que le protocole rsvp. L'algorithme tba (algorithme a seuils discrétises), est base sur l'observation de franchissements de seuils dans la file d'attente de l'unité d'interfonctionnement ip/atm. Le pma (algorithme de modification périodique), améliore les limitations inhérentes du mécanisme tba. Il met en œuvre une politique d'attribution des débits différente associée à des observations périodiques du contenu de la file d'attente. La combinaison de certaines fonctionnalités du tba et du pma donne lieu à la définition de l'algorithme hybride à seuils discrétise appelé le dtba. Les performances des algorithmes ont été testées par des méthodes de simulation à évènements discrets. L'algorithme icrea (algorithme d'estimation du débit cellulaire instantané) se base sur l'observation des variations du débit instantané du trafic de la source et a abouti à une implémentation et expérimentation en grandeur nature entre le site du cnet a Lannion et le site du cselt a turin dans le cadre du projet dasl2 (distributed atm high speed lab. Phase 2). Une analyse comparative renseigne dans quelles conditions et pour quel type de mécanisme de gestion dynamique propose, une capacité de transfert atm donnée est mieux adaptée.

Ce doctorat est issu d'un partenariat entre SAFRAN Transmission Systems et le laboratoire LaMCoS de l'INSA de Lyon et dans le cadre la chaire INSA-SAFRAN "Transmissions mécaniques innovantes pour l'aéronautique". L'introduction de trains planétaires dans les turbofans a récemment émergé comme une solution technologique prometteuse pour réduire la vitesse de rotation des aubes dans la prochaine génération de moteurs d'avions. Au vu des vitesses de rotation et des charges au cours du fonctionnement, les paliers hydrodynamiques apparaissent comme une solution intéressante puisque d'une part ils permettent de supporter une charge élevée à haute vitesse, et d'autre part ils apportent un amortissement significatif dans les systèmes mécaniques. Cette thèse a pour but de comprendre les couplages statiques et dynamiques entre les paliers hydrodynamiques et les engrènements dans les trains épicycloïdaux. Un modèle à paramètres concentrés du solaire, des satellites et de la couronne est couplé à un modèle éléments finis condensé du porte-satellite en utilisant les paliers hydrodynamiques comme interface. Les réactions paliers sont linéarisées autour de l'équilibre quasi-statique du système afin d'utiliser des algorithmes classiques pour l'intégration temporelle. L'élasticité des dentures aux interfaces d'engrènement est modélisée par une approche de type "tranches minces", pour laquelle une raideur élémentaire est attachée à chaque cellule de discrétisation le long de la ligne de contact. Des ensembles de déviations normales sont ajoutés aux cellules de discrétisation afin de prendre en compte les effets des erreurs d'assemblage et de fabrication, mais aussi des corrections de dentures. Le modèle est confronté à des résultats issus de la littérature afin de valider la précision du modèle, particulièrement par rapport au contenu fréquentiel des signaux de sortie de la simulation. Ce travail concerne deux aspects principaux: a) L'effet des corrections longitudinales de dentures sur le comportement statique et dynamique du train planétaire et b) L'influence des paliers hydrodynamiques comme supports des satellites par rapport à des paliers à éléments roulants. Une attention particulière est mise sur les propriétés de raideur et d'amortissement apportées par les paliers hydrodynamiques
This PhD has been carried out within a partnership between SAFRAN Transmission Systems and the LaMCoS laboratory of INSA Lyon in the framework of the INSA-SAFRAN Chair on Innovative Mechanical Transmissions for Aeronautics. The introduction of planetary gears in turbofans has recently emerged as a promising technological solution to reduce fan rotational speeds in the next generation of aircraft engines. In view of the rotational speeds and loads, journal bearings appear as interesting since, beyond their load carrying capacity at high speeds, they bring significant damping in mechanical systems. The present work aims at understanding the static and dynamic couplings between journal bearings and gear meshes in epicyclic gears. Lumped parameters models of the sun-gear, planets and ring-gear are coupled with a condensed finite elements model of the carrier using the planets bearings as interface elements. The journal bearings reactions are linearized around the quasi-static equilibrium of the system in order to use classical algorithms for the time-step integration. The gear teeth elasticity at the mesh interfaces are modelled using a thin-slices approach with an elemental stiffness attached to each discrete cell on the lines of contact. Sets of normal deviations are added to the discrete cells to account for the effect of manufacturing and assembly errors, as well as toot modifications. A number of comparisons with results from the literature validate the precision of the model, especially regarding the frequency contents of the output signals of the simulation. This work focuses on two main aspects: a) the effect of tooth lead modifications on the static and dynamics of a planetary gear set and, b) the influence of journal bearings as planet supports compared with rolling elements bearings. Particular emphasis is placed on the stiffness and damping properties brought by journal bearings

La Thérapie photodynamique (PDT) est une technique innovante de traitement de tumeurs localisées, accessibles directement par la lumière ou par voie endoscopique (cancer de la peau, rétinoblastome). Elle est basée sur la combinaison d'une molécule photosensibilisante, préférentiellement retenue dans les cellules tumorales et d'une lumière de longueur d'onde appropriée, permettant de cibler sélectivement les tissus tumoraux par rapport aux tissus sains. Les travaux de recherche à l'Institut Curie se concentrent sur des porphyrines substituées dissymétriquement par des glycosyles, susceptibles d'être reconnues par les cellules tumorales. Les porphyrines substituées par deux ou trois sucres sont les plus phototoxiques. L'objectif de ce travail de thèse est d'optimiser la synthèse de porphyrines glycoconjuguées méso cis-disubstituées grâce à l'utilisation de la chimie sur support solide. En effet, la synthèse en solution de tels composés conduit à un mélange statistique de six molécules très difficiles à séparer et à purifier. La chimie sur support solide est une méthode efficace permettant de s'affranchir de ces purifications et de désymétriser un macrocycle symétrique par une mono ou diprotection sélective. Le greffage sur résine d'un bras espaceur, précurseur de porphyrine, de type triarylbenzène permettant la diprotection du macrocycle, suivi de sa transformation en porphyrine et de son clivage laissent envisager l'obtention de molécules cis-disustituées
PDT (PhotoDynamic Therapy) is a relatively new therapeutic approach for the treatment of localized malignant tumours, directly accessible to light or by endoscopy way (retinoblastoma, skin cancer) Treatment is based upon non-toxic photoactivated molecules, "photosensitizers", which are preferentially retained in tumour cells and light at on appropriate wave length, allowing to target tumour cells. At the Institut Curie, research works is focalized on dissymmetrical porphyrins, substituted by carbohydrates, which seem to be recognised by tumour cells. A structure/activity study showed a planar structure and an amphiphilic character are important factors for good photodynamic activity. Moreover, porphyrins substituted by two or three sugars are the most phototoxic known molecules. The objective of this thesis is the optimization of the meso cis-disubstituted glycoconjugated porphyrins using to solid phase chemistry. The classical solution phase synthesis of these compounds leads to a statistical mixture of molecules which are difficult to separate and purify. Solid phase chemistry is an effective method allowing to avoid purification and to "dessymetrize" a symmetrical macrocycle by a selective mono or diprotection. In this way, we can produce meso cis-disubstitued porphyrins from a resin allowing the diprotection of the macrocycle. The attachment of a linker, like a triarylbenzene precursor of porphyrin, on the resin followed by its transformation into a porphyrin and its cleavage can lead to these target compounds

Les simulations numériques ont négligé jusqu’ici l’influence du support de silice amorphe sur la structure des nanoparticules métalliques déposées car l’interaction métal-silice amorphe est faible. Toutefois les études expérimentales montrent un effet de troncature sur la structure des nanoparticules. L’idée de ce travail a donc été d’étudier l’influence de ce support sur la structure et la morphologie des nanoparticules d’argent au moyen de la modélisation moléculaire (Monte Carlo et dynamique moléculaire). L’objectif de ce travail a été tout d'abord de déterminer le potentiel interatomique permettant de décrire l’interaction argent-silice. Ce potentiel a été obtenu sur la base des données expérimentales d'angles de mouillages en phase liquide et en phase solide. D’autre part, l'intensité d'interaction argent-silice a été déterminée par calculs DFT sur la cristobalite qui est un polymorphe de la silice cristalline présentant la même densité que la silice amorphe. Les énergies d'adhésions obtenues ont ainsi permis d'ajuster les paramètres du potentiel argent-silice de type Lennard-Jones. L’étude de la stabilité structurale des nanoparticules d'argent supportées à température nulle a été effectuée pour trois degrés d'approximation du support. (1) : un support parfaitement lisse décrit par un puits carré dont la profondeur est reliée à l’énergie d’adhésion, (2) : un support atomique de silice amorphe de surface plane et (3) : un support atomique de silice amorphe présentant une rugosité de surface. L’influence de la température sur la structure a été étudiée par fusion et recristallisation des nanoparticules d’argent sur les deux supports de silice amorphe. Afin d’étudier la stabilité structurale des nanoparticules en température, le calcul d’énergie libre des nanoparticules a été abordé
Numerical simulations have so far neglected the influence of amorphous silica substrate on the structure of metallic nanoparticles due to its relatively weak interaction with deposited nanoparticles. However, experimental studies have often shown a truncation effect on the structure of nanoparticles. The idea of this work was to study the influence of this substrate on the structure of silver nanoparticles using molecular modeling (Monte Carlo and molecular dynamics). The objective of this work was firstly to determine silver-silica interatomic potential. This was achieved using experimental data of wetting angles in solid and liquid phase. On the other hand, silver-silica interaction intensity was determined by DFT calculations on cristobalite which is a polymorph of crystalline silica having the same density as amorphous silica. The adhesions energies obtained were used to fit the Lennard-Jones parameters for the silver-silica interaction. The study of the structural stability of silver nanoparticles supported at zero temperature was performed for three levels of approximation of the support. (1): the smooth wall approximation where the support is described by a square-well whose depth is related to the adhesion energy of the nanoparticle, (2): an atomistic model of flat amorphous silica, (3): an atomistic model of rough amorphous silica. The influence of the temperature on the structure was investigated by melting and recrystallization of the silver nanoparticles deposited on the two silica supports. In order to study the temperature stability of the nanoparticles the free energy calculation of the nanoparticles was discussed

L'analyse statique des programmes permet de calculer automatiquement des propriétés sémantiques valides pour toutes les exécutions. En particulier, dans le cas des programmes manipulant des structures de données complexes en mémoire, l'analyse statique peut inférer des invariants utiles pour prouver la sûreté des accès à la mémoire ou la préservation d'invariants structurels. Beaucoup d'analyses de ce type manipulent des états mémoires abstraits représentés par des conjonctions en logique de séparation dont les prédicats de base décrivent des blocs de mémoire atomiques ou bien résument des régions non-bornées de la mémoire telles que des listes ou des arbres. De telles analyses utilisent souvent des disjonctions finies d’états mémoires abstraits afin de mieux capturer leurs dissimilarités. Les analyses existantes permettent de raisonner localement sur les zones mémoires mais présentent les inconvénients suivants: (1) Les prédicats inductifs ne sont pas assez expressifs pour décrire précisément toutes les structures de données dynamiques, du fait de la présence de pointeurs vers des parties arbitraires (i.e., non-locales) de ces structures ; (2) Les opérations abstraites correspondant à des accès en lecture ou en écriture sur ces prédicats inductifs reposent sur une opération matérialisant les cellules mémoires correspondantes. Cette opération de matérialisation crée en général de nouvelles disjonctions, ce qui nuit à l'impératif d'efficacité. Hélas, les prédicats exprimant des contraintes de structure locale ne sont pas suffisants pour déterminer de façon adéquate les ensembles de disjonctions devant être fusionnés, ni pour définir les opérations d'union et d'élargissement d'états abstraits. Cette thèse est consacrée à l'étude et la mise au point de prédicats en logique de séparation permettant de décrire des structures de données dynamiques, ainsi que des opérations abstraites afférentes. Nous portons une attention particulière aux opérations d'union et d'élargissement d’états abstraits. Nous proposons une méthode pratique permettant de raisonner globalement sur ces états mémoires au sein des méthodes existantes d'analyse de propriétés structurelles et autorisant la fusion précise et efficace de disjonctions. Nous proposons et implémentons une abstraction structurelle basée sur les variables d'ensembles qui lorsque elle est utilisée conjointement avec les prédicats inductifs permet la spécification et l'analyse de propriétés structurelles globales. Nous avons utilisé ce domaine abstrait afin d'analyser une famille de programmes manipulant des graphes représentés par liste d'adjacence. Nous proposons un critère sémantique permettant de fusionner les états mémoires abstraits similaires en se basant sur leur silhouette, cette dernière représentant certaines propriétés structurelles globales vérifiées par l'état correspondant. Les silhouettes s'appliquent non seulement à la fusion de termes dans les disjonctions d'états mémoires mais également à l'affaiblissement de conjonctions de prédicats de logique de séparation en prédicats inductifs. Ces contributions nous permettent de définir des opérateurs d’union et d'élargissement visant à préserver les disjonctions requises pour que l'analyse se termine avec succès. Nous avons implémenté ces contributions au sein de l'analyseur MemCAD et nous en avons évaluées l'impact sur l'analyse de bibliothèques existantes écrites en C et implémentant différentes structures de données, incluant des listes doublement chaînées, des arbres rouge-noir, des arbres AVL et des arbres "splay". Nos résultats expérimentaux montrent que notre approche est à même de contrôler la taille des disjonctions à des fins de performance sans pour autant nuire à la précision de l'analyse
Shape analyses rely on expressive families of logical properties to infer complex structural invariants, such that memory safety, structure preservation and other memory properties of programs dealing with dynamic data structures can be automatically verified. Many such analyses manipulate abstract memory states that consist of separating conjunctions of basic predicates describing atomic blocks or summary predicates that describe unbounded heap regions like lists or trees using inductive definitions. Moreover, they use finite disjunctions of abstract memory states in order to take into account dissimilar shapes. Although existing analyses enable local reasoning of memory regions, they do, however, have the following issues: (1) The summary predicates are not expressive enough to describe precisely all the dynamic data structures. In particular, a fairly large number of data structures with unbounded sharing, such as graphs, cannot be described inductively in a local manner; (2) Abstract operations that read or write into summaries rely on materialization of memory cells. The materialization operation in general creates new disjunctions, yet the size of disjunctions should be kept small for the sake of efficiency. However, local predicates are not enough to determine the right set of disjuncts that should be clumped together and to define precise abstract join and widen operations. In this thesis, we study separating conjunction-based shape predicates and the related abstract operations, in particular, abstract joining and widening operations that lead to critical modifications of abstract states. We seek a lightweight way to enable some global reasoning in existing shape analyses such that shape predicates are more expressive for abstracting data structures with unbounded sharing and disjuncts can be clumped precisely and efficiently. We propose a shape abstraction based on set variables that when integrated with inductive definitions enables the specification and shape analysis of structures with unbounded sharing. We implemented the shape analysis domain by combining a separation logic-based shape abstract domain of the MemCAD analyzer and a set abstract domain, where the set abstractions are used to track unbounded pointer sharing properties. Based on this abstract domain, we analyzed a group of programs dealing with adjacency lists of graphs. We design a general semantic criterion to clump abstract memory states based on their silhouettes that express global shape properties, \ie, clumping abstract states when their silhouettes are similar. Silhouettes apply not only to the conservative union of disjuncts but also to the weakening of separating conjunctions of memory predicates into inductive summaries. Our approach allows us to define union and widening operators that aim at preserving the case splits that are required for the analysis to succeed. We implement this approach in the MemCAD analyzer and evaluate it on real-world C libraries for different data structures, including doubly-linked lists, red-black trees, AVL-trees and splay-trees. The experimental results show that our approach is able to keep the size of disjunctions small for scalability and preserve case splits that takes into account dissimilar shapes for precision

Dans cette thèse nous nous intéressons à l'accélération des accès mémoire dans la traduction binaire dynamique.Pour cela, nous nous basons sur des méthodes dont la principale finalité est de gérer l'espace mémoire de la cible avec le matériel de l'hôte.Deux grandes méthodes pour cela ont été exploré, l'une basé sur la support matériel à la virtualisation, et l'autre sur un module Linux.Dans le cas du support matériel à la virtualisation, nous avons utilisé le simulateur comme un invité spécifique.Celui ci jouant un rôle analogue à celui d'un OS, en plus de son rôle de simulateur, pour la cible.En particulier il se charge de lui créer un espace d'adressage enchevêtré, qui puisse être utiliser directement, sans simulation logicielle de la gestion de la mémoire virtuelle.Dans le cas de la méthode basée sur un module Linux, les mêmes finalités sont poursuivi.Mais le simulateur continue de fonctionner comme un processus normal.En revanche, il possède désormais un module compagnon, avec lequel il peut communiquer au travers d'ioctl.Ce module est chargé de manipuler la gestion de la mémoire virtuelle de l'hôte et ce afin de créer un espace d'adressage enchevêtré pour la cible.Ces méthodes ont été implémenté dans Qemu et Linux et mène à des gains de performances significatifs
In this thesis we are interested in the acceleration of memory accesses in dynamic binary translation.For this, we base ourselves on methods whose main purpose is to manage the target's address space with the host's hardware.Two main methods for this have been explored, one based on hardware assisted virtualization, and the other on a Linux module.In the case of hardware assisted virtualization, we used the simulator as a specific guest.This one playing a role similar to that of an OS, in addition to its role of simulator, for the target.In particular, it is responsible for creating an enmbedded address space that can be used directly, without software simulation of an MMU.In the case of a method based on a Linux module, the same purpose is pursued.But the simulator continues to operate as a normal process.On the other hand, it now has a companion module, with which it can communicate through ioctl.This module is responsible for manipulating the host's virtual memory management to create an embedded address space for the target.These methods have been implemented in Qemu and Linux and lead to significant performance gains

L’usinage à grande vitesse joue aujourd’hui un rôle très important dans l’industrie mécanique. Cependant, les phénomènes vibratoires en usinage peuvent être néfastes à la qualité des pièces usinées, à la productivité et à la durabilité des accessoires, etc. La maîtrise du comportement dynamique du système couplé (machine-outil/broche/outil/pièce/porte-pièce) est la clé primordiale pour la réussite de l’usinage à grande vitesse. Le premier objectif de la thèse a consisté à appliquer des techniques existantes d’identification modale opérationnelle et à proposer de nouvelles techniques d’identification mieux adaptées en tenant compte des spécificités de l’usinage à savoir : la présence des harmoniques très prépondérants, l’excitation aléatoire non contrôlée et non-mesurée, et les réponses seules enregistrées. Trois nouvelles procédures d’identification modale opérationnelle ont été proposées : la méthode de transmissibilité (PSDTM-SVD) (i) combinée avec les valeurs de kurtosis et les histogrammes, (ii) ou hybridée avec les fonctions d’autocorrélation, (iii) et la nouvelle méthode SCA-FDD basée sur la séparation aveugle de sources. L’efficacité des méthodes proposées a été validée par des exemples numériques et un test expérimental. Le deuxième objectif de la thèse a consisté à proposer une nouvelle conception du support de pièce en utilisant des matériaux innovants, afin de rendre le comportement dynamique optimal vis-à-vis de la stabilité d’usinage. Pour augmenter les performances d’usinage, le nouveau support en matériau composite doit posséder une raideur au moins égale à celle du support existant en aluminium tout en ayant un taux d’amortissement plus élevé. Un nouveau composite stratifié hybride renforcé par des fibres de carbone et des fibres de lin est alors proposé. Cette combinaison permet d’allier les avantages des deux types de fibres dans un même composite. Des supports de pièce en composite stratifié hydride carbone-lin avec différentes séquences d’empilement ont été fabriqués pour des essais de validation. Dans le cas d’usinage avec les supports de pièce en composite, la stabilité d’usinage est fortement augmentée par rapport au support initial en aluminium. Parmi les différentes séquences d’empilement, le support de pièce en composite hybride carbone-lin [C6/L8/C6] est la solution optimale en termes de performance d’usinage et d’impact environnemental. Cette solution permet d’augmenter la stabilité d’usinage de 283 % avec un taux de fibres végétales de 14 %
High-speed machining plays a very important role in the engineering industry today. However, vibration phenomena during machining process can be detrimental to the quality of machined workpiece, the productivity and the durability of accessories, etc. Mastering the dynamic behavior of the coupled system (machine tool/spindle/tool/workpiece/workpiece holder) is the primordial key to successful high speed machining. The first objective of the thesis consisted in applying existing techniques of operational modal identification and proposing new identification techniques better adapted to take into account the specificities of machining: the presence of very predominant harmonics, the uncontrolled and unmeasured random excitation, and responses only recorded. Three new operational modal identification procedures have been proposed: the transmissibility method (PSDTM-SVD) (i) combined with kurtosis values and histograms, (ii) or hybridized with autocorrelation functions, (iii) and the new SCA-FDD method based on blind source separation. The effectiveness of the proposed methods has been validated by numerical examples and an experimental test. The second objective of the thesis was to propose a new design of the workpiece support using innovative materials, in order to make the dynamic behavior optimal with respect to machining stability. To increase the machining performance, the new composite workpiece holder must have a stiffness at least equal to that of the initial aluminum workpiece holder while having a higher damping ratio. A new hybrid composite laminate reinforced by carbon and flax fibers is then proposed. This combination enables to combine the advantages of two fiber types in a composite. Workpiece holders in carbon-flax hybrid composite laminates with different stacking sequences were fabricated for validation tests. In the case of machining with the composite workpiece holders, the machining stability is greatly increased compared to the initial aluminum workpiece holder. Among the different stacking sequences, the carbon-flax hybrid composite workpiece holder [C6/L8/C6] is the optimal solution in terms of machining performance and environmental impact. This solution increases machining stability by 283 % with a vegetable fiber volume ratio of 14 %

The endangered bonobo (Pan paniscus), endemic to the Democratic Republic of Congo (DRC), is threatened by hunting and habitat loss. Two recent wars and ongoing conflicts in the DRC greatly challenge conservation efforts. This chapter demonstrates how spatial data and maps are used for monitoring threats and prioritizing locations to safeguard bonobo habitat, including identifying areas of highest conservation value to bonobos and collaboratively mapping community-based natural resource management (CBNRM) zones for reducing deforestation in key corridor areas. We also highlight the development of a range-wide model that analysed a variety of biotic and abiotic variables in conjunction with bonobo nest data to map suitable habitat. Approximately 28 per cent of the range was predicted suitable; of that, about 27.5 per cent was located in official protected areas. These examples highlight the importance of employing spatial data and models to support the development of dynamic conservation strategies that will help strengthen bonobo protection. Le bonobo en voie de disparition (Pan paniscus), endémique à la République Démocratique du Congo (DRC), est menacé par la chasse et la perte de l’habitat. Deux guerres récentes et les conflits en cours dans le DRC menacent les efforts de conservation. Ici, nous montrons comment les données spatiales et les cartes sont utilisées pour surveiller les menaces et prioriser les espaces pour protéger l’habitat bonobo, inclut identifier les zones de plus haute valeur de conservation aux bonobos. En plus, la déforestation est réduite par une cartographie collaborative communale de gestion de ressources dans les zones de couloirs essentiels. Nous soulignons le développement d’un modèle de toute la gamme qui a analysé un variété de variables biotiques et abiotiques en conjonction avec les données de nid bonobo pour tracer la carte d’un habitat adéquat. Environ 28 per cent de la gamme est prédit adéquat; de cela, environ 27.5 per cent est dans une zone officiellement protégée. Ces exemples soulignent l’importance d’utiliser les données spatiales et les modèles pour soutenir le développement de stratégies de conservations dynamiques qui aideront à renforcer la protection des bonobos.

Les dernières technologies informatiques ainsi que le développement des imprimantes 3D ouvrent des perspectives intéressantes en terme de diagnostic et de thérapeutique en implantologie (1). Le plan de traitement prothétique doit guider le choix du nombre et du positionnement des implants. Les logiciels de planification implantaire permettent de superposer les fichiers DICOM (Digital Imaging and Communications in Medicine) de limagerie tridimensionnelle issue du CBCT et les données numériques de surface issues d’empreintes optiques ou de la numérisation de modèles conventionnels (2). Les modélisations occlusales peuvent être elles aussi réalisées virtuellement en statique et dynamique via l’utilisation darticulateurs virtuels (3,4). Un guide chirurgical est alors imprimé permettant de positionner les implants selon la planification virtuelle. Dans certains cas, la restauration provisoire peut être prévue à l’avance et mise en place à lissue de lintervention (5,6). Bien quil soit établit que la chirurgie guidée soit plus précise que la chirurgie à main levée (7), son utilisation en pratique quotidienne a été ralentie en grande partie à cause du coût de fabrication élevé. Le développement récent dimprimantes 3D de bureau de haute précision (8,9) et la multiplicité des logiciels de planification implantaire ont permis le développement de la chirurgie guidée. Cependant, à chaque étape du flux numérique, des imprécisions peuvent se cumuler pouvant aboutir à des erreurs de positionnement ayant des conséquences potentiellement graves : proximité avec les racines adjacentes, perforation des racines, lésion nerveuse. La précision des guides chirurgicaux sté- réolithographiques dépend de nombreux paramètres : lempreinte, l’impression du guide, le matériau utilisé, la nature du support, lexpérience du praticien. Les empreintes optiques réalisées avec des scanners intra-oraux de plus en plus puissants présentent de nombreux avantages par rapport aux techniques conventionnelles en terme de rapidité, de précision et de reproductibilité. (10-14). Les guides peuvent être à appui osseux, muqueux, dentaire ou mixte. Une revue systématique de la littérature de Gallardo et coll. en 2017 (15) compare la précision des guides chirurgicaux en fonction du type de support. Cette revue conclut que les guides à appui osseux présentent le plus de déviation au niveau de langle, du point dentrée et de la localisation de lapex de l’implant par rapport aux guides à appuis dentaires. Les guides à appuis muqueux montrent moins de déviation par rapport aux guides à appuis osseux. Les auteurs nont pas trouvé de différence statistiquement significative entre les guides à appuis dentaires et muqueux. Selon L’étude de Cassetta publiée en 2017 (16), lexpérience du praticien influence la précision du positionnement des implants en chirurgie guidée. Un praticien novice en implantologie présente plus de déviation sur le positionnement des implants avec lutili- sation d’un guide chirurgical stéréolithographique quun praticien expérimentée. La chirurgie implantaire guidée reste un outil et nécessite une expérience chirurgicale. Le flux numérique en implantologie peut aujourdhui se réaliser de la prise d’empreintes d’étude à la fabrication de la restauration prothétique implantaire en passant par la conception et l’impression d’un guide chirurgi- cal. Ce flux est une aide précieuse en terme de communication avec le patient mais aussi avec le prothésiste, il permet daugmenter la reproductibilité des résultats et daboutir à une restauration prothétique esthétique et fonctionnelle.