Objetivo: Comparar as relações de custo-efetividade de duas terapias, Imunoglubulina Intravenosa (IgIV) e Plasmaferese (PE), no tratamento da Síndrome de Guillain-Barré sob a perspectiva do sistema público (SUS). O objetivo secundário foi avaliar a adesão às recomendações da Comissão de Medicamentos do HCPA Métodos: estudo transversal com análise econômica de pacientes tratados por Síndrome de Guillain-Barré no período de junho de 2003 a junho de 2008 no Hospital de Clínicas de Porto Alegre (HCPA). Foi realizada análise de custo-efetividade do emprego de IgIV e de PE nestes pacientes, pelo método de minimização de custos, considerando-se somente os custos diretos sanitários, fornecidos pelo sistema gerencial da instituição . Foram excluídos os pacientes que usaram outro tipo de tratamento associado ou isolado. Coletaram-se os dados através da revisão dos prontuários. A gravidade da doença na internação foi classificada como: doença leve, quando caminhar foi possível; doença moderada, quando caminhar foi impossível; doença grave, quando os pacientes necessitaram de ventilação assistida. A incapacidade na alta foi estabelecida pela escala de sete pontos de Hughes. A adesão às recomendações da Comissão de Medicamentos do HCPA, objetivo secundário, foi avaliada através da dose e o esquema de prescrição da IgIV. Resultados: Vinte e cinco participantes (2 a 70 anos) foram incluídos no estudo, cinco tratados com PE, empregando-se Albumina Humana como substituto do plasma, e 20 tratados com IgIV. O custo total do tratamento de um paciente com PE foi R$10.603,88 (± 2.978,12) e o de um que recebeu IgIV foi R$ 32.103,00 (± 21.454,24). O custo total da internação foi de R$45.027,14 (± 32.750,45) para os tratados com PE e de R$ 60.844,28 (±48.590,52) para os que receberam IgIV. Em relação ao desfecho clínico principal, melhora na escala de incapacidade de sete pontos, após o tratamento com uma das alternativas escolhida, a mediana dos pacientes que internaram com grau de gravidade 3 e que foram tratados com PE foi igual a dos que receberam IgIV. Em relação à permanência hospitalar, permanência em UTI e dias de Ventilação Mecânica, não houve diferença estatisticamente significativa entre os dois tratamentos. Conclusões: Quando comparados os custos médios das duas opções terapêuticas, uma delas aparece claramente com menor custo. Quando comparados os desfechos, após o emprego de cada opção terapêutica, estes não revelam diferença. Concluímos que, no HCPA, a opção pelo procedimento Plasmaferese é mais custo efetiva do que o emprego da IgIV. / Objectives: To compare the cost-effectiveness of two distinct therapies, Intravenous Immunoglobulin (IVIg) and Plasma Exchange (PE) in the treatment of Guillain-Barré Syndrome, concerning the public health care system. Compliance to the guidelines of the Pharmacy and Therapeutics Committee of the Hospital de Clínicas de Porto Alegre was a secondary objective. Methods: A cross-sectional, economical analysis was conducted, including patients treated for GBS in the period from June, 2003 through June, 2008 in Hospital de Clínicas de Porto Alegre (HCPA). The cost-effectiveness of the use of IVIg and PE in such patients was studied through the cost minimization method, considering direct medical costs only (2008 currency), yield by the management of the institution. Patients receiving treatments other than PE or IVIg were excluded. Data were collected by chart reviews. Severity of disease on admittance was classified as follows: mild disease, when the patient was able to walk; moderate disease, when the patient was unable to walk, and severe disease, when assisted ventilation was required. Disability on discharge was established by the 7-point scale of Hughes. Compliance to the guidelines of the Pharmacy and Therapeutics Committee was evaluated through the dose and prescription scheme of IVIg. Results: Twenty-five participants (2 to 70 years of age) were included in the study, 5 were submitted to treatment with PE, using human albumin as replacement for plasma, and 20 were treated with IVIg. The total treatment cost for PE in a single patient was US$6,058.85 (±1,701.78 SD), and the same expense for IVIg was US$18,344.57 (± 12,259.56 SD) (p = 0.035). Total inpatient cost was US$25,729.79 (± 18,714.54 SD) in the PE group, and US$34,768.16 (±27,766.01 SD) (p=0.530) in the IVIg group. The main clinical outcome was improvement in the 7-point disability grade scale. The median of that measure in patients admitted with a severity grade 3 treated either with PE and IVIg was the same. Secondary outcomes, such as in-hospital stay, ICU stay, and number of days on mechanical ventilation revealed no statistically significant difference between treatments. Conclusions: As the mean expenses of both therapeutic options are compared, one clearly stands-out as less onerous. Clinical outcomes, when compared, reveal no statistical difference after each treatment. We concluded that, in HCPA, plasma exchange is more cost-effective than intravenous immunoglobulin.

Cette étude s’intéresse aux modes de transport terrestre utilisés pour les biens et marchandises dans l’ancienne Égypte. On en dénombre plusieurs, dont les plus importants sont la palanche, la barre de portage, le traîneau, et le transport à dos d’âne. Cette recherche s’appuie principalement sur des ressources documentaires iconographiques et plastiques, provenant de mastabas et d’hypogées datés de l’Ancien et du Moyen Empire. Elle a pour enjeu de préciser les conditions d’utilisation des différents modes de transport, tant sur un plan chronologique, que sociologique, ou topographique. / This study deals with means of land transport used for goods and merchandises in ancient Egypt. We can count a few, among which the most important are yoke, carrying pole, sledge and donkeys. This research is mainly based on iconographic and sculptural documentary resources from mastabas and hypogea dating from the Old and Middle Kingdom. Its main concern is to explain the conditions of use of the different means of land transport, on a chronological, sociological as well as on a topographical level.

Chez les eucaryotes, la réplication de l'ADN démarre au niveau de multiples origines activées suivant un programme précis, qui peut être analysé à l'échelle du génome sur des populations cellulaires. Cependant, l'étude de la variabilité intercellulaire, la détection d'évènements rares et la mesure de la vitesse des fourches de réplication nécessitent des analyses en molécule unique. Avec les techniques actuelles, l'ADN néosynthétisé est marqué avec des analogues de la thymidine et révélé par des anticorps fluorescents. Les molécules d'intérêt sont identifiées par hybridation fluorescente in situ. Ces étapes sont complexes et le débit est faible. Cette thèse développe de nouvelles méthodes de détection et d'identification des molécules d'ADN réplicatives sans anticorps et à haut débit. L'ADN est répliqué en présence d'un dUTP fluorescent, purifié puis marqué en code-barre spécifique permettant l'alignement sur le génome de référence par coupure avec une endonucléase simple brin et incorporation d'un autre dUTP fluorescent. L'ADN est ensuite coloré avec un intercalant fluorescent, le YOYO-1. Les molécules d'ADN, leurs segments néorépliqués et leurs code-barres sont observés en trois couleurs différentes par épifluorescence directe. Les segments répliqués ont une fluorescence YOYO-1 plus intense, ce qui permet de détecter les bulles de réplication sans marquage métabolique. Ces outils ont été couplés à un dispositif nanofluidique dans lequel l'ADN est conduit dans des milliers de nanocanaux et imagé automatiquement, ce qui augmente massivement le débit. L'ensemble de ces résultats ouvre la voie à la cartographie pangénomique de la réplication de l'ADN en molécule unique. / In eukaryotes, DNA replication starts at multiple origins that are activated following a specific program. Population methods allow genome-wide analysis of DNA replication. However, single-molecule methods are required to monitor cell-to-cell variability, detect rare events and measure individual replication fork speeds. With the existing techniques, newly-synthesized DNA is labelled with thymidine analogs and revealed with fluorescent antibodies. Fibres containing a locus of interest can be identified by fluorescent in situ hybridization. These steps are complex and the throughput is low. This work proposes novel, antibody-free tools to detect replication tracts and identify the locus of origin of all DNA molecules at much higher throughput. DNA replicated in the presence of a fluorescent dUTP was purified and specifically barcoded by using a nicking endonuclease, followed by limited nick-translation with another fluorescent dUTP. This allowed alignment to a reference genome map. DNA was then stained with the fluorescent DNA intercalator YOYO-1. Direct epifluorescence revealed the DNA molecules, their replication tracts and their barcodes in three distinct colours. Replicated segments showed a stronger YOYO-1 fluorescence, demonstrating that replication bubbles can be directly detected without metabolic labelling. Finally, these tools were coupled to a nanofluidic device: DNA was driven into 13,000 parallel nanochannels and automatically imaged, massively increasing the throughput. Altogether, these results provide a starting point for genome-wide, single-molecule mapping of DNA replication in eukaryotic organisms.

De part sa nature multi-physique, un pyromécanisme est un système complexe à modéliser et sa simulation nécessite la mise en oeuvre de plusieurs ressources de calcul spécifiques couplées. Le but de ce travail est de fournir un outil numérique capable de modéliser un pyromécanisme et de simuler son fonctionnement en intégrant les interfaces nécessaires au pilotage des différentes ressources de calcul. La faisabilité d'un tel outil est illustrée pour un pyromécanisme spécifique : l'enrouleur pyrotechnique de ceinture. La conception de l'outil numérique proposé est basée sur l'approche Orienté Objet (OO) pour modéliser la structure technologique du pyromécanisme et l'interfaçage avec les ressources de calcul externes. Le modèle OO technologique est construit par héritage des modèles Core Product Model (CPM) et Open Assembly Model (OAM) développés au NIST (National Institute of Standards and Technology). Grâce aux modèles CPM-OAM, un système mécanique peut être décrit comme une hiérarchie d'assemblages et de pièces, reliés par des liaisons cinématiques. La simulation complète du pyromécanisme enrouleur de ceinture requiert des ressources de calcul spécifiques : Un module simulant le fonctionnement du générateur de gaz de l'enrouleur a été développé, implémenté sous Scilab. Ce module calcule la pression exercée par le générateur de gaz sur la chaîne cinématique chargée de transmettre le mouvement jusqu'à la bobine enroulant la ceinture. L'une d'une bibliothèque C++ de calcul dynamique de solides rigides existante, Chrono::Engine, permet la simulation de la chaîne cinématique soumise à cette pression. L'outil numérique fournit l'ensemble des paramètres nécessaires aux ressources de calcul et pilote la co-simulation entre ces ressources (programme Scilab de combustion et calcul mécanique Chrono::Engine). L'identification des paramètres des modèles mis en oeuvre nécessite de caractériser expérimentalement le comportement des sous-systèmes, comme le générateur de gaz, et des composants déformables (barre de torsion intégrée dans la chaîne cinématique et ceinture de sécurité). Des dispos tifs d'essais conçus spécifiquement permettent l'identification le comportement de ces composants, soumis à des sollicitations dynamiques. La validation du démonstrateur réalisé en C++ est basée sur la comparaison des résultats des simulations avec les résultats d'essais expérimentaux du système entier l'enrouleur de ceinture. / The simulation of a pyromechanism is a complex task because of its multi-physics intrinsic nature. Consequently, various computing resources are needed to simulate each physical aspect. The goal of this project is to provide a numerical tool able to model a pyromechanism and to interface the different computing resources in order to simulate an equipment. Feasibility of such a tool is illustrated with a specific pyromechanism : pyrotechnic belt retractor. The design of the numerical tool is based on an Object Oriented Approach (OOA) to model both the technological aspects of the pyromechanism and the interfaces with computing resources. The technological OO model is based on “Core Product Model” (CPM) and on “Open Assembly Model” (OAM) of the NIST (National Institute of Standards and Technology). Thanks to CPM-OAM model, any mechanism can be described as a hierarchy of assemblies and parts, linked by associations (connections, kinematic link,...). The full simulation of the pyromechanism requires external computing resources: - a model for simulating a gas generator implemented under Scilab. It computes the pressure produced by the gas generator, coupled with displacement of the mechanical load. - a C++ library for mechanical simulation of rigid bodies : ChronoEngine the response of the mechanical system computed kinematic response under pressure from gas generator. The resulting software provides all parameters needed by these external computing resources and drives the ballistic and mechanical co-simulation. Parameter identifications of models ask for experimental characterization of sub-system, as gas generator and deformable part (torsion bar and safety belt). Experimental devices has been developed for identifying behavioral law under dynamic load. Validation of demonstrator, written in C++, is based on comparison between simulation results and experimental results of the pyrotechnic retractor.

Une zone d’élargissement/rétrécissement (ZER) du chenal principal de la Loire moyenne (France), incluant une bifurcation asymétrique, est étudiée par courantométrie, bathymétrie multifaisceaux et jaugeages solides. Elle offre une morphologie dont l’évolution est influencée par la morphodynamique des barres sédimentaires. Les forçages induits par les variations de largeur du chenal et la configuration des barres structurent les flux liquides et solides qui, par rétroaction, conditionnent l’évolution des barres. En crue, les relations entre l’hydrodynamique, le charriage et la dynamique des dunes s’ajustent aux variations de débit et engendrent l’érosion du lit en montée des eaux puis son aggradation en décrue. En période de basses eaux, la forte mobilité des sédiments favorise une active morphogenèse. Le charriage total est estimé à 480 000 t pour 2010. La bifurcation module la structure des écoulements seulement après submersion totale du seuil d’entrée du chenal secondaire. L’exportation de la charge de fond vers l’annexe hydraulique semble facilitée par l’érosion du seuil d’entrée ainsi que par la présence d’une barre au pied de cette même marche. / A widening/narrowing area (ZER) of the main channel of the middle reaches of the Loire River (France), including an asymmetrical bifurcation, are studied from hydraulic measurements, multibeam bathymetries and sediment sampling. The evolution of the ZER’s morphology is influenced by the morphodynamics of bars. The forcing effects induced by channel width variations and by bars configuration determine the structure of water and sediment fluxes which affect, in turn, the bars evolution. During floods, the links between hydrodynamics, bedload transport and dunes dynamics adjust to discharges variations and cause bed erosion before the flood’s peak and bed aggradation after. Due to the high sediment mobility, the low flow periods highly affect the morphological evolution of the ZER. In 2010, the total bedload transport reached 480 000 t. The bifurcation influences the flow structure only after the total submersion of the inlet step of the secondary channel. The exportation of the bed-material load toward the secondary channel becomes probably significant after the erosion of the inlet step as well as by the presence of a bar in front of this step.

L’installation et la maintenance des ancrages passifs scellés au rocher représentent un coût important dans le budget de fonctionnement des infrastructures de transport sujettes à l’aléa rocheux. Dans ce contexte, clarifier et optimiser les méthodes de dimensionnement actuellement employées représente un enjeu fort. Or le comportement d’un ancrage passif scellé au rocher est très complexe : il fait intervenir non seulement la rupture des matériaux constituants mais également la rupture des interfaces. Par ailleurs, la résistance de l’interface barre-scellement lors de l’arrachement d’un ancrage dépend du caractère dilatant de cette interface, liée à la géométrie de la barre (verrous) et à la plastification du matériau de scellement. Le travail de cette thèse porte sur une meilleure compréhension du comportement en traction d’un ancrage passif scellé au rocher, l’objectif étant d’améliorer la conception et le dimensionnement des ancrages sollicités axialement. Premièrement, le travail a consisté à définir le comportement de l’interface barre-scellement, Pour cela, un modèle numérique a été développé afin de reproduire des essais d’arrachement, sous différentes contraintes de confinement radial, de barres d’acier de haute adhérence (HA) scellées sur une longueur de 15 cm dans un cylindre de coulis de ciment (Moosavi et al. 2005). La géométrie réelle de l’interface acier–scellement a été considérée dans le modèle. Le comportement du coulis de scellement a été représenté par un modèle de type «concrete damage plasticity» (CDP), modèle de Lubliner (1986), implémenté dans Abaqus (2012). La représentation dans une approche continue de la plastification locale et de la fissuration, a nécessité un calage pour tenir compte des effets d’échelle. Le comportement de l’interface barre-scellement a ainsi été identifié comme cohésif dommageable avec frottement, dans une bande de cisaillement de largeur entre 2 et 3 fois la hauteur des verrous. Dans l’objectif de simuler un ancrage sur le terrain, des éléments d’interface représentant le contact acierscellement (sans les verrous) ont été développés.. La performance des éléments a été testée par la modélisation d’essais réalisés par Benmokrane et al. (1995) pour des barres de HA scellées en forage dans un bloc de béton, c’est-à-dire avec des conditions-limites radiales à rigidité constante. En parallèle, afin de tester l’influence de différents paramètres (géométrie, propriétés de matériau, accessoires de mise en oeuvre) sur le comportement de l’ancrage, une campagne insitu de 36 essais d’arrachement de barres d’acier HA scellées dans un massif calcaire résistant a été réalisée. Certaines barres équipées de fibre optique ont permis d’étudier finement la mobilisation de l’interface entre la barre d’acier et le matériau de scellement lors de la sollicitation axiale. Ces observations expérimentales, comparées aux résultats de la simulation numérique des essais, ont permis de valider le modèle numérique développé et en particulier les éléments d’interface. Par ailleurs, dans nos conditions d’essais, il n’est pas noté d’effet de la longueur de scellement ou de la résistance du coulis de scellement sur la résistance de l’ancrage : la résistance est limitée par la résistance en traction de la barre d’acier. Quant à la rigidité de l’ancrage, c’est le rapport diamètre de la barre/diamètre du forage ou un coulis plus résistant qui tend à rigidifier le comportement de l’ancrage. Pour un rocher résistant et homogène, la longueur de scellement efficace est au maximum de 65cm pour les diamètres usuels de barre. Elle tend à augmenter quand le système est plus déformable : coulis de scellement moins résistant ou, pour un diamètre de barre donné, diamètre de forage plus grand. La présence de la canule d’injection ne semble pas perturber le comportement de l’ancrage. Par contre, une attention particulière doit être portée à la mise en oeuvre de la chaussette géotextile. / Fully grouted rockbolts have been used for decades for transport infrastructure exposed to rockfall hazards. However their installation and maintenance are usually costly. Therefore, understanding and optimizing of the current design method for this type of anchorage is a major challenge. This study is not simple because of the complexity of fully grouted rockbolt behavior: its failure involves not only the failure of constituent materials (rockbolt, grout, rock), but also the failure of bolt-grout and grout-rock interfaces. Moreover, the strength of bolt-grout interface depends on the interface dilatancy, which is likely linked to the geometry of ribs and to the plastification of grout material. This thesis which includes two different parts, a numerical modeling and an experimental work, contributes hence to a better understanding of fully grouted rockbolt behavior under an axial tensile load, in order to improve the current design method. Firstly the bolt-grout interface behavior in particular the force transmission between the bolt and the grout, was studied. For this purpose, a numerical model was proposed to simulate the pull-out test of a short length of 15cm of bolt grouted in a cylinder of cement hardened paste, under constant confinement pressure (Moosavi et al., 2005). In this model, the bolt-grout interface was modeled with its real geometry, including ribs. To consider the different types of behavior and failure (tension, compression and shear) of the grout, this one was modeled by the concrete damage plasticity model (CDP model), which was developed by Lubliner et al. (1986) and implemented in Abaqus (2012). Moreover, the localization of plastic strain and the fracture of grout imply different size effects, which were also taken into consideration within the calibration of the parameters of the CDP model. The bolt-grout interface behavior was also identified to be a cohesive-damage friction interface within a 2 or 3 times the height of the ribs wide shear band. From these numerical modeling results, a constitutive model for the bolt-grout interface was developed to replace the real geometry of bolt-grout contact, in order to model in-situ anchors, whose length is much longer than that of anchors in laboratory tests. The interface model was then validated by performing the numerical simulation of the pullout tests of grouted bolt in borehole drilled in concrete block, carried out by Benmokranne et al. (1995), under constant rigidity of confinement instead of constant pressure of confinement. For the second part of this study, a series of 36 pull-out field tests of fully grouted rockbolt in a rigid limestone rock wall was conducted in order to study the influence of different parameters on the behavior of rock anchors (geometry, material characteristics, accessories). Certain of the bolts equipped with optical fiber allowed bolt strains to be measured along their length, and hence, the stress mobilization along the bolt-grout interface to be studied. The comparison between experimental and numerical results permitted us to validate the numerical simulation, in particular the proposed interface model. With our field test conditions, no influence of grouting length or grout resistance on the strength of anchor was noticed and the bolt strength was limited by the tensile strength of the steel rebar. It is the ratio of bolt diameter/borehole diameter or a stronger grout that tends to stiffen anchor. In a resistant and homogeneous rock and for usual rebar diameters, the efficient grouting length is lower than 65cm. This length increases when the system is more deformable, by using a less resistant grout or a higher grout thickness. The instalation of the cannula seem not to affect the anchor’s strength. However, a particular attention must be paid to the use of the geotextile sock.

La course d'ultra-trail en montagne provoque de nombreuses altérations d'ordre biomécaniques, physiologiques, neuro-musculaires, posturales et psychologiques qui peuvent engendrer certaines blessures. Cependant, assez peu d'études se sont intéressées aux modifications que peuvent subir les pieds. C'est dans ce cadre que nous avons réalisé 3 études. La première effectuée auprès de 10 coureurs a montré que les avants-pieds s'élargissent et la pression plantaire sous l'avant-pied augmente à partir de la mi-distance d'une épreuve d'ultra-trail de 170 km (UTMB®). La surpression sous l'avant-pied qui est due au déplacement vers l'avant du centre de pression, est susceptible d'accroitre le risque de fracture de fatigue des métatarses. Ces modifications qui ont été observées jusqu'à la fin de la compétition sont probablement liées à la fatigue des sujets. Pour contrecarrer ces modifications, nous avons proposé d'utiliser des semelles orthopédiques moulées comportant chacune une barre rétro capitale (BRC) placée en arrière des têtes métatarsiennes. La 2ème étude réalisée chez 48 coureurs a montré que cet élément orthopédique permet lors du maintien de la posture debout de diminuer les pressions plantaires sous les avants-pieds, de reculer le centre de pression, mais aussi les centres articulaires de la hanche, des épaules et de la tête. La 3ème étude avait pour objectif d'évaluer chez 10 coureurs à pieds l'effet immédiat, à court terme (après 4 semaines) et moyen terme (après 12 semaines) du port des semelles BRC sur la répartition des pressions plantaires et la cinématique articulaire. Un groupe contrôle de taille égale a utilisé pendant la même période des semelles moulées qui ne comportaient aucun élément orthopédique. Cette étude longitudinale a montré que les pressions plantaires sous les têtes métatarsiennes étaient réduites immédiatement avec le port des semelles BRC. Après 4 semaines, cette réduction s'accentuait et l'angle de flexion de la cheville était augmenté lors de l'appui. Après 12 semaines, l'extension maximale du genou était augmentée et la plupart de ces modifications étaient aussi observées même si les sujets utilisent des semelles plates. Aucune variable n'a été modifiée chez les sujets du groupe contrôle. En ce qui concerne les applications pratiques de ces travaux de thèse, au regard de nos résultats, nous pouvons conseiller aux coureurs de longue distance soufrant de douleur au niveau de l'avant-pied de choisir des chaussures un peu plus larges et, d'utiliser des semelles orthopédiques BRC pour réduire la pression sous l'avant-pied. / Mountain Ultra Marathon is causing many biomechanical, physiological, neuromuscular, postural and psychological alterations which can lead to certain injuries. However, there are few studies has been focused on the feet. In this context, we conducted three original studies. The first one, performed with 10 runners has shown that the front feet width and the plantar pressure under the forefoot has increased from the mid-distance of a 170km ultra-trail race (UTMB®). The overpressure under the forefoot is due to the forward displacement of the center of pressure which may increase the risk of stress fracture of the metatarsals. These changes that were observed until the end of the competition are probably related to the increase of muscular fatigue of the subjects. In opposition of these changes, we proposed to use moulded orthopaedic insoles that comprising a metatarsal retro-capital bar (MRCB) placed behind the metatarsal heads. The second study carried out in 48 runners has shown that this MRCB element allows to reduce the plantar pressures under the front feet during the standing support by moving backward the center of pressure, and also the hip, the shoulders and the head. The objective of the third study was to evaluate the immediate, short-term (after 4 weeks) and medium-term (after 12 weeks) effect of wearing MRCB insoles on plantar pressure distribution and joint kinematics during running with 10 runners. A similar control group of equal size used during the same period of training moulded insoles without orthopaedic element. This longitudinal study showed that the plantar pressures under the metatarsal heads were reduced immediately with wearing MRCB soles. After 4 weeks, this reduction was accentuated and the ankle's angle of flexion was increased during the stride support. After 12 weeks, the maximum knee extension was increased and most of these changes described aboved were also observed even if the subjects used flat insoles. Any significant changes have been observed in the control group whatever the test period. Regard to these results, we can advise long-distance runners that suffer of pain in the forefoot region to choose slightly larger shoes and to use MRCB orthopaedic insoles to reduce pressure under the forefoot.

Cette thèse de théorie de la démonstration étudie les interactions entre le λ-calcul différentiel d'Ehrhard et Regnier d'un côté, et certaines émanations calculatoires de la logique classique (le λμ-calcul de Parigot et le λ-barre-μ-calcul de Herbelin) de l'autre. L'étude est initiée et guidée par la décomposition de ces calculs dans des extensions de la logique linéaire de Girard.<br /><br />Dans une première partie, on définit un cadre commun pour ces extensions, dans le formalisme des réseaux d'interaction de Lafont, et on y rappelle des résultats de la littérature ou du folklore. On donne en particulier la traduction du λμ-calcul et du λ-barre-μ-calcul dans les réseaux polarisés de Laurent et celle du fragment finitaire du λ-calcul différentiel dans les réseaux différentiels d'Ehrhard et Regnier.<br /><br />Dans la deuxième partie, on introduit les réseaux différentiels polarisés (RDP), comme l'extension par une polarisation à la Laurent des réseaux différentiels. La pertinence des règles de réduction nouvelles est soulignée par l'étude d'un modèle dénotationnel commun aux réseaux différentiels et aux réseaux polarisés.<br /><br />Enfin, on présente trois calculs de termes, chacun pouvant être considéré comme une lecture en arrière de tout ou partie des interactions définies par les RDP : un λμ-calcul différentiel, qui correspond à la réunion des réseaux différentiels et des réseaux polarisés ; un λ-barre-μ-calcul avec produit de convolution sur les piles, qui fait intervenir la structure de bigèbre des types polarisés introduite dans les RDP, mais pas la dérivée ; enfin, un λ-barre-μ-calcul différentiel qui développe toute l'expressivité des RDP.

L'objectif de ce travail est d'étudier la diffusion de l'eau (vieillissement hydrothermique) dans un matériau composite époxy utilisé pour l'isolation des barres d'alternateurs, et ses conséquences sur les propriétés diélectriques et électriques du matériau.<br />Le champ de claquage décroît fortement en présence d'eau. La spectroscopie diélectrique à basse fréquence (<10-1Hz) et à basse tension montre une grande sensibilité des propriétés diélectriques (Ε' et tanΔ) vis à vis de la teneur en eau absorbée tandis que les mêmes mesures à haute tension ne montrent pratiquement pas de variation par rapport aux premières. En analysant des mesures de spectroscopie diélectrique et des mesures du courant DC, le matériau apparaît comme étant formé par des clusters d'eau entre lesquels le transfert de charge dépend de la température et de la direction du champ appliqué. <br />Un modèle a été développé pour calculer la distribution du potentiel et du champ dans le matériau vieilli dans une structure de barre. Le calcul du champ met en évidence la chute de fiabilité lors que le matériau subit un vieillissement hydrothermique. Il suggère également une nouvelle méthode efficace de diagnostic de l'isolation.

Ce travail porte sur la mise en oeuvre en 3d de la méthode des éléments naturels contrainte CNEM en vue de son utilisation pour la simulation du cisaillage à grande vitesse. La CNEM est une approche à mi-chemin des approches sans maillage et des éléments finis. La construction de son interpolation utilise le diagramme de Voronoï contraint (dual du maillage de Delaunay contraint) associé à un nuage de noeud réparti sur le domaine étudié muni d'une description de sa frontière. La mise en oeuvre de la CNEM comporte trois aspects principaux : i) la construction du diagramme de Voronoï contraint, ii) le calcul des fonctions de forme éléments naturels Sibson, iii) la discrétisation d'une formulation variationnelle générique par utilisation de l'intégration nodale stabilisée conforme, SCNI, introduite par Chen et Al en 2001. Une partie importante de ce travail concerne les deux derniers points. Pour le calcul des fonctions de formes Sibson 3d cinq algorithmes sont présentés, dont deux développés au cours de la thèse, et sont comparés en terme de performance. Par ailleurs, une discrétisation est proposée pour être applicable au cas des domaines fortement non convexes. La mise en oeuvre proposée est validée sur des exemples en élasticité linéaire 3d en petites perturbations (vis à vis de solutions analytiques et de résultats éléments finis) puis en grandes transformations (test de la barre de Taylor). L'application de la CNEM au cisaillage grande vitesse est finalement abordée. Les développements effectués ont été intégrés à la plateforme logicielle Nessy. Cette plateforme a pour objectif la capitalisation du savoir faire du LMSP en simulation numérique.