• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 220
  • 90
  • 22
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 341
  • 83
  • 72
  • 45
  • 42
  • 38
  • 31
  • 30
  • 20
  • 19
  • 19
  • 18
  • 18
  • 17
  • 17
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
141

Synthèses de nanoparticules hybrides : de nouveaux agents pour le diagnostic et la thérapie combinés / Synthesis of hybrids nanoparticles : new agents for diagnosis and therapy

Mutelet, Brice 19 September 2011 (has links)
La miniaturisation des systèmes a montré qu’à l’échelle nanométrique, les matériaux possèdent des propriétés différentes de leur état massif. Aujourd'hui, la synthèse d’objets de taille nanométrique est en parfaite adéquation avec les systèmes biologiques pour des applications médicales. La possibilité pour les chimistes de combiner dans un même « nano-objet » différent types de matériaux aux propriétés complémentaires a ouvert la voie au développement de nanoparticules multifonctionnelles pour des applications biologiques. C’est dans ce domaine, en utilisant les propriétés remarquables des terres rares que le LPCML de l’Université de Lyon en collaboration avec le laboratoire MATEIS de l’INSA de Lyon a pu mettre au point des nanoparticules hybrides multifonctionnelles ayant une structure cœur/coquille en combinant un cœur inorganique d’oxyde de lanthanide protégé par une coquille organique composée de polysiloxanes. L’utilisation d’un cœur d’oxyde de terre rare permet de disposer à la fois d’outils de détection (optique avec Eu et Tb, IRM avec Gd, Dy et Ho ou en scintigraphie avec Ho) et d’agent thérapeutique avec Gd et Ho. Après avoir longuement étudié les propriétés comme agent de contraste et de thérapie par capture neutronique du gadolinium, nous nous sommes intéressés aux propriétés atomiques de l’holmium qui après irradiation neutronique émet des rayonnements  et - potentiellement intéressants pour un traitement en curiethérapie. Le travail de thèse présenté ici rend compte de l’étude réalisée d’une part sur les propriétés optiques et magnétiques de ces nanoparticules hybrides à base d’oxyde de terre rare et d’autre part sur les possibilités d’applications médicales avec l’utilisation d’holmium. / The everlasting search for the miniaturization of the processes has shown that at the nanometer scale materials exhibit different properties than from the bulk. Today, the synthesis of nano-sized objects is in perfect harmony with biological systems for medical applications. The opportunity for chemists to combine into a single nano-oject different kind of materials with complementary properties has opened the way for the development of multifunctional nanoparticles for biological applications. In this area, using the remarkable properties of rare earths, LPCML laboratory from Lyon University in collaboration with MATEIS laboratory from INSA-Lyon was able to develop multifunctional hybrid nanoparticles with a core/shell structure by combining an inorganic rare earth oxide core coated by a polysiloxane shell. The using of a lanthanide in the core enables the combination of detection tools (optical with Eu and Tb, MRI with Gd, Dy and Ho or scintigraphy with Ho) and therapeutic agents with Gd and Ho. After having studied the properties of gadolinium as a contrast and neutron capture therapeutic agent, we were interested in atomic properties of holmium after neutron irradiation which emits  and - radiations, potentially interesting for scintigraphic imaging and brachytherapy. The thesis presented here reports studies on the one hand on optical and magnetic properties of these hybrid nanoparticles and on the other hand the possibilities of medical applications by using holmium-based particles.
142

Surviving the Perfect Storm of Diabetes in the World of the Schitsu'umsh

Tiedt, Jane A. 21 October 2010 (has links)
Indiana University-Purdue University Indianapolis (IUPUI) / Diabetes is a significant health problem in the United States which disproportionately affects Native Americans. Despite many new prevention and intervention programs, there has been a prolific increase in the incidence of diabetes among Native Americans. The purpose of this qualitative study was to explore the experience of Coeur d’Alene tribal members living with type 2 diabetes using a Heideggerian hermeneutic framework. Participants were recruited through the local diabetes educator at the tribal clinic using purposive and snowball sampling. Individual interviews were conducted with ten Coeur d’Alene tribal members whom had type 2 diabetes and were willing to share their stories of about living with diabetes. Participants ranged in age from 26-86. Interviews lasted from 25-90 minutes and focused on gathering stories about their daily life with their diabetes, and barriers and supports to their diabetes self-management. These became the data for hermeneutic interpretations. Individual transcripts were read and reread for initial themes. Next, comparisons between and across transcripts were done through interpretive emersion into the texts. Emerging themes and patterns were brought before a group of qualitative nurse researchers and doctoral students as a means of cross-checking and validating interpretations. Perseverance was the overarching pattern in the stories of living with diabetes in the world of Schitsu’umsh. The four themes that emerged under the umbrella of perseverance were valuing tribal traditions, being inattentively caring, struggling with disease burdens, and experiencing tensions in patient-provider relations. Living with diabetes in the world of the Schitsu’umsh was always a tenuous balancing act. There was an ever present dialectic tension between strengths and barriers underlying their daily struggles for balance. By increasing our understanding of Native American experiences of living with diabetes, collaborative partnerships can be developed with the tribes to address these barriers to diabetes self-management and to develop culturally relevant diabetes education programs. There is also a need to address cultural competence by the health care community and to work at eliminating biases and prejudice in our healthcare system. This work brings new cultural understandings of what it means to live with diabetes in one Native American group.
143

Reconstruction d'images en tomographie scintigraphique cardiaque par fusion de données

Coutand, Frédérique 06 December 1996 (has links) (PDF)
La méthode proposée dans ce manuscrit consiste a utiliser la fusion de données anatomiques pour améliorer la quantification des images reconstruites en tomographie d'émission monophotonique (t.e.m.p.). Les données anatomiques (déduites d'autres modalités) sont utilisées afin d'obtenir une modélisation paramétrique (par des fonctions spline) des organes de la coupe a reconstruire. Dans la pratique, on utilise deux types d'images: premièrement des images en transmission qui servent a obtenir les contours des organes tels que le thorax et les poumons. Deuxièmement, des images en émission qui donnent une prelocalisation de l'activité et une première estimation des contours du ventricule gauche, qui sont améliorés au cours du processus de reconstruction. Le modèle géométrique nous permet de mieux caractériser la formation des données scintigraphiques et ainsi d'améliorer le problème direct. Les principales originalités de ces travaux consistent a restreindre le champ de la reconstruction uniquement aux régions actives et d'utiliser un maillage adapte aux contours des régions a reconstruire (pour éviter des erreurs de volume partiel). La réduction du nombre d'inconnus permet de mieux conditionner le problème inverse et ainsi de réduire le nombre de projections nécessaires à la reconstruction. La méthode de reconstruction qui est proposée repose sur une double estimation ; estimation de la distribution de radioactivité a l'intérieur de notre modèle géométrique, et estimation des paramètres optimaux de ce modèle. les reconstructions 2D à partir de données simulées puis enregistrées sur fantôme, ont permis de valider le principe de la méthode et montrent une nette amélioration de la quantification des images scintigraphiques
144

Avenues de synthèse d’un matériau magnétique multifonctionnel à des fins de catalyse hétérogène

Paradis Fortin, Laura January 2016 (has links)
La catalyse est à la base de la fabrication de médicaments, de produits textiles, d‘engrais, des pots d’échappement, et une multitude d’autres applications de notre quotidien. En effet, dans les pays industrialisés jusqu’à 80% des produits manufacturés utilisés au quotidien ont nécessité au moins une étape de catalyse lors de leur fabrication. Outre être actif, il est primordial pour un catalyseur performant d’être résistant à la désactivation qui se traduit par la perte d’activité ou de sélectivité d’un catalyseur au cours du temps. La synthèse d’un matériau multifonctionnel permet de répondre à ces différents critères. L’objectif d’un design intelligent de matériaux est de mener à des effets synergiques de chacune des composantes. Pour un catalyseur, en plus d’être actif et sélectif pour le produit désiré, il faut en plus qu’il soit durable, stable dans le temps, et permette d’être réutilisable. L’objectif de ce projet est de faire une synthèse originale, simple et reproductible d’un catalyseur actif et résistant à la désactivation. De base, un catalyseur se compose d’un support et d’un matériau actif. La nature, la morphologie et l’agencement de ces derniers dictent le comportement chimique du catalyseur final. Comme matériau actif, les nanoparticules d’or sont très prisées en raison de leur potentiel de catalyse élevée pour de nombreuses réactions. Cependant, aux températures de fonctionnement de la catalyse, les nanoparticules d’or ont tendance à se désactiver par coalescence. Pour remédier à cela, il est possible de déposer une couche de silice mésoporeuse afin de protéger les NPs d’or des rudes conditions de réaction tout en étant perméables aux espèces réactives. Plusieurs types de matériaux peuvent servir de support aux nanoparticules d’or. À ce titre, les particules d’oxydes de fer magnétiques telles que la magnétite (Fe[indice inférieur 3]O[indice inférieur 4]) sont intéressantes pour leur potentiel hyperthermique, phénomène par lequel des nanoparticules (NPs) magnétiques transforment de l’énergie électromagnétique provenant d’un champ externe haute fréquence en chaleur, créant ainsi des nano-fours. Une première couche de silice est utilisée comme matrice de greffage afin de fixer les nanoparticules d’or sur la magnétite. La structure visée est illustrée à la Figure ci-dessous. Figure 1 Structure du catalyseur de Fe2O4@SiO2-Au-SiO2m (Ge, Zhang, Zhang, & Yin, 2008) Plusieurs avenues d’assemblage et de synthèse sont explorées pour chacune des composantes de la structure visée. Les avantages et inconvénients ainsi que des mécanismes sont proposés pour chaque voie de synthèse. Le matériau est utilisé comme catalyseur pour la réaction de réduction du 4-Nitrophénol par du NaBH4. Pour ce qui est de la synthèse de magnétite par voie solvothermique, il a été démontré qu’il était important d’être dans un milieu sous pression puisque l’étape limitante de la réaction est la solubilité des particules de magnétites dans le milieu. Cela est en accord avec le principe de mûrissement d’Ostwald selon lequel les petites particules ont tendance à se dissoudre dans le milieu et précipiter à la surface des plus grosses particules de façon à diminuer l’énergie interfaciale. Cette synthèse a été reproduite avec succès et a mené à la production de nanoparticules de Fe[indice inférieur 3]O[indice inférieur 4] sphériques creuses d’une taille de 150 [plus ou moins] 30nm. Ces sphères creuses ont été recouvertes d’une couche de silice dense par une méthode de Stöber modifiée. Le recouvrement forme des amas de particules et est non uniforme en raison de la présence de poly(éthlyène glycol) à la sur face de la magnétite, un adjuvant présent lors de sa synthèse afin d’améliorer la dispersion de la magnétite. La synthèse et le greffage d’AuNPs sont bien maîtrisés : les AuNPs ont une taille de 17 [plus ou moins] 6nm et la quantité d’or greffé est assez élevée. Ultimement, une méthode de greffage alternative tel que le greffage par croissance in situ de nanoparticules d’or pourrait être emprunté afin d’obtenir des particules plus petites. Pour ce qui est de la formation d’une couche de silice mésoporeuse, la méthode par calcination est une meilleure option que par gravure chimique en raison de sa sélectivité envers la couche externe de silice plus élevée ainsi que la formation apparente de pores.
145

Analyse coût efficacité du pontage coronarien à coeur battant par rapport au pontage aortocoronarien conventionnel

Martin, Janet Frey January 2006 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
146

Effet du CP-3(iv), un ligand du récepteur CD36, sur le stress oxydatif suite à une ischémie cardiaque transitoire chez la souris

Ménard, Liliane 01 1900 (has links)
Le récepteur éboueur CD36 facilite l’internalisation des acides gras libres non estérifiés (AGNE) au niveau des tissus cardiaque et périphériques. Lors d’une ischémie-reperfusion du myocarde (MI/R), les dommages produits sont en partie liés à l’internalisation des AGNE et à la production d’espèces réactives de l’oxygène, contrairement à ce qui est observé chez des souris déficientes en CD36 (CD36-/-). Nous avons émis l’hypothèse selon laquelle le CP-3(iv), un ligand synthétique du récepteur CD36, exercerait un effet cardioprotecteur en réduisant la taille de la zone myocardique infarcie lors d’une ischémie transitoire du myocarde. Nos objectifs étaient 1) de déterminer l’effet cardioprotecteur du CP-3(iv) et 2) de définir son mécanisme. Pour cela, des études in vivo et ex vivo ont été faites. Des souris de type sauvage ont été traitées avec le CP-3(iv) (289 nmol/kg) par voie sous-cutanée pendant 14 jours avant d’être soumises à 30 minutes d’ischémie suivant la ligature de l’artère coronaire gauche descendante et de sa reperfusion pendant une période de 6 ou 48 heures. De plus, des coeurs isolés de souris ont été perfusés 30 minutes, suivi de 40 minutes à faible débit (10%) et de 30 minutes de reperfusion pendant laquelle le coeur est perfusé avec le CP-3(iv) à une concentration de 10-6 M. Nos travaux ont montré que l’effet cardioprotecteur d’un traitement préventif par le CP-3(iv) permet de diminuer la taille de l’infarctus et préserve l’hémodynamie cardiaque de façon dépendante du CD36 puisque cet effet est non visible chez les souris CD36-/-. De plus, le CP-3(iv) exerce non seulement un effet systémique, mais aussi un effet cardioprotecteur direct sur le coeur isolé. / The scavenger receptor CD36 facilitates the internalization of non-esterified fatty acids (NEFA) on cardiac and peripheral tissues. During myocardial ischemia and reperfusion (MI/R), the damage induced is in part related to the internalization of NEFA and the production of reactive oxygen species, in opposition to what is observed in CD36-deficient mice (CD36-/-). We hypothesized that CP-3(iv), a synthetic ligand of the CD36 receptor, provides a cardioprotective effect by reducing the infarct area during a transient myocardial ischemia. Our objectives were 1) to determine the cardioprotective effect of CP-3(iv) and 2) to define its mechanism. For this, in vivo and ex vivo studies have been done. Wild-type mice were treated with CP-3(iv) (289 nmol/kg) subcutaneously during 14 days before being submitted to 30 minutes of ischemia following left anterior descending coronary artery ligature and reperfusion for a period of 6 to 48 hours. In addition, isolated mouse hearts were perfused 30 minutes, followed by 40 minutes with low flow (10%) and 30 minutes of reperfusion during which the heart is perfused with CP-3(iv) at a concentration of 10-6 M. Our work has shown that the cardioprotective effect of preventive treatment with CP-3(iv) reduces the infarct size and preserves cardiac hemodynamics in a CD36-dependent manner because this effect is not visible in CD36-/- mice. In addition, CP-3(iv) not only exerts a systemic effect, but also a direct cardioprotective effect on the isolated heart.
147

Effets sur le métabolisme énergétique mitochondrial myocardique et hépatique de la carence en donneurs de méthyles au cours de la gestation et de l'allaitement chez le raton / Effects of methyl donor deficiency on mitochondrial energy metabolism of myocardial and hepatic tissues during pregnancy and lactation in the rat pup

Pooya, Shabnam 04 June 2012 (has links)
Au cours du développement, les modifications du métabolisme des monocarbones liées à une malnutrition peuvent être délétères autant pour la mère que pour le nouveau-né. De plus, les conséquences à long terme d'une carence en période gestationnelle et périnatale sont mal connues, notamment en ce qui concerne les pathologies cardiaques et hépatiques. Nous avons mis en oeuvre un modèle nutritionnel de rates adultes carencées en donneurs de groupements méthyles (vitamines B12, folates et choline) avant la gestation. Ces micronutriments participent à la régulation de différentes enzymes impliquées dans le métabolisme de l'homocystéine. Afin de se placer dans un contexte de physiopathologie, proche de la situation clinique évaluée, nous avons choisi d'alimenter les rates avec un régime carencé un mois avant la mise en accouplement et de poursuivre ce régime pendant la période d'allaitement. Nous avons évalué les répercussions métaboliques et fonctionnelles du régime sur les tissus myocardique et hépatique, chez le nouveau né à 21 jours. Nous avons étudié l'effet de cette carence en groupements méthyles sur le métabolisme énergétique lipidique et sur la carnitine. Conséquences de la carence au niveau myocardique : Le régime carencé en donneurs de méthyles induit une hypertrophie cardiaque avec une augmentation de l'épaisseur du myocarde et un agrandissement des cardiomyocytes. L'étude protéomique du myocarde et l'analyse des données par bioinformatique identifient PGC-1[alpha], PPAR[alpha] et ERR[alpha] comme principaux déterminants des variations d'expression des protéines du métabolisme oxydatif mitochondrial. Nous avons observé une diminution d'expression de PPAR[alpha] et ERR[alpha] et une inactivation de PGC1[alpha] par hypométhylation et hyperacétylation, en lien avec une diminution d'expression de PRMT1 et de SIRT1 et une augmentation de SAH. Conséquences de la carence au niveau du foie : La carence s'accompagne de l'apparition d'une stéatose hépatique microvésiculaire, avec une élévation des taux tissulaires de lipides et de triglycérides. De plus, nous avons observé une augmentation des marqueurs pro inflammatoires sans augmentation des marqueurs de fibrose. A cet égard, nos résultats ont montré qu'un déficit de synthèse de carnitine, impliquée dans la bêta-oxydation et le stockage des acides gras, jouerait un rôle déterminant dans la pathogenèse de la stéatose chez le nouveau-né. Il existe également une dérégulation du métabolisme oxydatif des acides gras, avec diminution d'activité des complexes I et II de la chaîne respiratoire, qui résulte d'une hypométhylation de PGC1 et d'une diminution d'expression de PPAR[alpha], ER[alpha] et ERR[alpha]. En conclusion, nos résultats montrent que la carence maternelle en donneurs de méthyles, induit des modifications sur la fonction de PGC-1[alpha]. Ces modifications sont associées à des altérations de l'oxydation des acides gras et sur la fonction mitochondriale pendant la période néonatale, ce qui entraîne l'accumulation de lipides dans les tissus myocardique et hépatique. Le lien entre la carence en donneurs de méthyles et l'altération de la méthylation de PGC-1[alpha] modifie les activités des enzymes impliquées dans la méthylation et l'acétylation de PGC-1. Ces enzymes sont aussi liées à des modifications épigénomiques qui modulent la fonction et l'expression des protéines. Nos résultats sont en accord avec les études de population de Barker et al, qui suggèrent que la nutrition maternelle pendant les étapes précoces de la vie est corrélée avec le risque de maladies cardio-vasculaires dans la vie adulte indépendamment des autres facteurs de risque / During development, changes in carbon metabolism related to malnutrition may be deleterious for both the mother and the newborn. In addition, long-term consequences of a methyl deficiency gestational and prenatal are poorly understood. We are particularly interested in studying these effects on the heart and liver. We have used a nutritional model of adult rats deficient in methyl donors (vitamin B12, folate and choline) before pregnancy. To be placed in a context of pathophysiology, close to the clinical situation, we chose to feed the rats with a methyl deficient diet one month before mating and continue this diet during the suckling period. We evaluated the metabolic and functional effects of this diet on myocardial and hepatic tissues, in the newborn pups in 21 days old. We studied the effects of methyl deficient diet on lipid and energy metabolism and carnitine. Consequences of the deficiency at the myocardial: The diet deficient in methyl donors induces cardiac hypertrophy with an increase in myocardial thickness and enlargement of cardiomyocytes. The proteomics analysis of the bioinformatics data identifies PGC-1[alpha], ERR[alpha] and PPAR[alpha] as major determinants of changes in protein expression of mitochondrial oxidative metabolism. We observed a decreased expression of PPAR[alpha] and ERR[alpha] and an inactivation of PGC1[alpha] by hypomethylation and hyperacetylation, in conjunction with a decrease in the expression of PRMT1 and SIRT1 and increased the level of SAH. Consequences of the deficiency at liver: Deficiency is accompanied by the appearance of microvesicular hepatic steatosis, with elevated tissue levels of lipids and triglycerides. Increase of inflammation was observed in this model with no changes in fibrosis score. In this respect, our results showed a deficiency of carnitine synthesis, involved in the beta-oxidation and storage of fatty acids, play a role in the pathogenesis of hepatic steatosis in the newborn. There is also a deregulation of the oxidative metabolism of fatty acids, with decreased activity of complex I and II of the respiratory chain, resulting in hypomethylation of PGC1 and decreased expression of PPAR[alpha], ER[alpha] and ERR[alpha]. In conclusion, our results show that maternal deprivation in methyl donors impaired the function of PGC-1[alpha]. These changes are associated with alterations in fatty acid oxidation and mitochondrial function during the neonatal period, with lipid accumulation in myocardial tissue and liver. The link between the methyl donor deficiency and impaired methylation of PGC-1[alpha] alters the activities of enzymes involved in methylation and acetylation of PGC-1[alpha]. These enzymes are also associated with epigenetic changes and the function and gene expression. Our results are consistent with population studies by Barker and colleagues, who suggest that maternal nutrition during early stages of life is correlated with the risk of cardiovascular disease in adult, independent of other risk factors
148

Fiabilité et sûreté des systèmes informatiques critiques / Reliability and Safety of Critical Device Software Systems

Singh, Neeraj Kumar 15 November 2011 (has links)
Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la complexité des logiciels modernes et au manque de connaissances adéquates et propres. Le développement logiciel fournit un cadre contribuant à simplifier la conception de systèmes complexes, afin d'en obtenir une meilleure compréhension et d'assurer une très grande qualité à un coût moindre. Dans les domaines de l'automatique, de la surveillance médicale, de l'avionique..., les systèmes embarqués hautement critiques sont candidats aux erreurs pouvant conduire à des conséquences graves en cas d'échecs. La thèse vise à résoudre ce problème, en fournissant un ensemble de techniques, d'outils et un cadre pour développer des systèmes hautement critiques, en utilisant des techniques formelles à partir de l'analyse des exigences jusqu'à la production automatique de code source, en considérant plusieurs niveaux intermédiaires. Elle est structurée en deux parties: d'une part des techniques et des outils et d'autre part des études de cas. La partie concernant des techniques et des outils présente une structure intégrant un animateur de modèles en temps-réel, un cadre de correction de modèles et le concept de charte de raffinement, un cadre de modélisation en vue de la certification, un modèle du coeur pour la modélisation en boucle fermée et des outils de générations automatiques de code. Ces cadres et outils sont utilisés pour développer les systèmes critiques à partir de l'analyse des exigences jusqu'à la production du code, en vérifiant et en validant les étapes intermédiaires en vue de fournir un modèle formel correct satisfaisant les propriétés souhaitées attendues au niveau le plus concret. L'introduction de nouveaux outils concourt à améliorer la vérification des propriétés souhaitées qui ne sont pas apparentes aux étapes initiales du développement du système. Nous évaluons les propositions faites au travers de cas d'études du domaine médical et du domaine des transports. De plus, le travail de cette thèse a étudié la représentation formelle des protocoles médicaux, afin d'améliorer les protocoles existants. Nous avons complètement formalisé un protocole réel d'interprétation des ECG, en vue d'analyser si la formalisation était conforme à certaines propriétés relevant du protocole. Le processus de vérification formelle a mis en évidence des anomalies dans les protocoles existants. Nous avons aussi découvert une structure hiérarchique pour une interprétation efficace permettant de découvrir un ensemble de conditions qui peuvent être utiles pour diagnostiquer des maladies particulières à un stade précoce. L'objectif principal du formalisme développé est de tester la correction et la consistance du protocole médical / Software systems are pervasive in all walks of our life and have become an essential part of our daily life. Information technology is one major area, which provides powerful and adaptable opportunities for innovation, and it seems boundless. However, systems developed using computer-based logic have produced disappointing results. According to stakeholders, they are unreliable, at times dangerous, and fail to provide the desired outcomes. Most significant reasons of system failures are the poor development practices for system development. This is due to the complex nature of modern software and lack of adequate and proper understanding. Software development provides a framework for simplifying the complex system to get a better understanding and to develop the higher fidelity quality systems at lower cost. Highly embedded critical systems, in areas such as automation, medical surveillance, avionics, etc., are susceptible to errors, which can lead to grave consequences in case of failures. This thesis intends to contribute to further the use of formal techniques for the development computing systems with high integrity. Specifically, it addresses that formal methods are not well integrated into established critical systems development processes by defining a new development life-cycle, and a set of associated techniques and tools to develop highly critical systems using formal techniques from requirements analysis to automatic source code generation using several intermediate layers with rigorous safety assessment approach. The approach has been realised using the Event-B formalism. This thesis has mainly two parts: techniques and tools and case studies. The techniques and tools section consists of development life-cycle methodology, a framework for real-time animator, refinement chart, a set of automatic code generation tools and formal logic based heart model for close loop modeling. New development methodology, and a set of associated techniques and tools are used for developing the critical systems from requirements analysis to code implementation, where verification and validation tasks are used as intermediate layers for providing a correct formal model with desired system behavior at the concrete level. Introducing new tools help to verify desired properties, which are hidden at the early stage of the system development. We also critically evaluate the proposed development methodology and developed techniques and tools through case studies in the medical and automotive domains. In addition, the thesis work tries to address the formal representation of medical protocols, which is useful for improving the existing medical protocols. We have fully formalised a real-world medical protocol (ECG interpretation) to analyse whether the formalisation complies with certain medically relevant protocol properties. The formal verification process has discovered a number of anomalies in the existing protocols. We have also discovered a hierarchical structure for the ECG interpretation efficiently that helps to find a set of conditions that can be very helpful to diagnose particular disease at the early stage. The main objective of the developed formalism is to test correctness and consistency of the medical protocol
149

Un algorithme de fouille de données générique et parallèle pour architecture multi-coeurs / A generic and parallel pattern mining algorithm for multi-core architectures.

Negrevergne, Benjamin 29 November 2011 (has links)
Dans le domaine de l'extraction de motifs, il existe un grand nombre d'algorithmes pour résoudre une large variété de sous problèmes sensiblement identiques. Cette variété d'algorithmes freine l'adoption des techniques d'extraction de motifs pour l'analyse de données. Dans cette thèse, nous proposons un formalisme qui permet de capturer une large gamme de problèmes d'extraction de motifs. Pour démontrer la généralité de ce formalisme, nous l'utilisons pour décrire trois problèmes d'extraction de motifs : le problème d'extraction d'itemsets fréquents fermés, le problème d'extraction de graphes relationnels fermés ou le problème d'extraction d'itemsets graduels fermés. Ce formalisme nous permet de construire ParaMiner qui est un algorithme générique et parallèle pour les problèmes d'extraction de motifs. ParaMiner est capable de résoudre tous les problèmes d'extraction de motifs qui peuvent ˆtre décrit dans notre formalisme. Pour obtenir de bonne performances, nous avons généralisé plusieurs optimisations proposées par la communauté dans le cadre de problèmes spécifique d'extraction de motifs. Nous avons également exploité la puissance de calcul parallèle disponible dans les archi- tectures parallèles. Nos expériences démontrent qu'en dépit de la généricité de ParaMiner ses performances sont comparables avec celles obtenues par les algorithmes les plus rapides de l'état de l'art. Ces algorithmes bénéficient pourtant d'un avantage important, puisqu'ils incorporent de nombreuses optimisations spécifiques au sous problème d'extraction de motifs qu'ils résolvent. / In the pattern mining field, there exist a large number of algorithms that can solve a large variety of distinct but similar pattern mining problems. This variety prevent broad adoption of data analysis with pattern mining algorithms. In this thesis we propose a formal framework that is able to capture a broad range of pattern mining problems. We illustrate the generality of our framework by formalizing three different pattern mining problems: the problem of closed frequent itemset mining, the problem of closed relational graph mining and the problem of closed gradual itemset mining. Building on this framework, we have designed ParaMiner, a generic and parallel algorithm for pattern mining. ParaMiner is able to solve any pattern mining problem that can be formalized within our framework. In order to achieve practical efficiency we have generalized important optimizations from state of the art algorithms and we have made ParaMiner able to exploit parallel computing platforms. We have conducted thorough experiments that demonstrate that despite being a generic algorithm, ParaMiner can compete with the fastest ad-hoc algorithms.
150

Effets de température sur les nanoparticules de CoAg : structure et effets de ségrégation / Temperature effects on CoAg nanoparticles : structure and segregation effects

Kataya, Zeinab 18 December 2013 (has links)
Cette étude a pour objectif de comprendre comment les effets de température, de cinétiques de croissance, ou les effets d’environnement peuvent influencer la structure (cristalline ou non cristalline) et la configuration chimique (mélange/ ségrégation/ séparation de phase) de nanoparticules supportées d’Ag et de CoAg. Pour cela, des nanoparticules de CoAg de différentes tailles et compositions ont été préparées par condensation sous ultravide selon différents modes de croissance (co-dépôt ou dépôts séquentiels des deux métaux). Afin d’accéder à l’ensemble des caractéristiques des nanoparticules, des techniques complémentaires ont été couplées: la diffusion de rayons X aux petits et aux grands angles en incidence rasante et les techniques de microscopie en mode d’imagerie haute résolution ou filtrée en énergie. L’analyse préliminaire de particules d’Ag a montré l’existence de structures cristallines et non cristallines (icosaédriques) pour les petites (2-2.5nm) et grandes tailles (6-8nm). Une dominance de la structure décaédrique a été montrée entre ces deux extrêmes. Cette dernière disparaît complètement lors de l’élaboration en température. Pour le système bimétallique Co-Ag, à température ambiante et indépendamment de la taille, de la composition et du mode d’élaboration, les nanoparticules présentent une ségrégation avec une configuration de type coeur d’argent entouré d’une coquille plus ou moins continue à base de Co métallique et d’oxyde de Co. Lorsque les échantillons sont soumis à un traitement thermique, une transition s’opère conduisant à une ségrégation plus importante de type Janus. / This study aims to understand how the temperature, the kinetic growth conditions or the environment can influence the structure (crystalline or non-crystalline) and the chemical order (mixing/ segregation/phase separation) of Ag and CoAg supported nanoparticles. Different samples of CoAg nanoparticles with different sizes and compositions were prepared by condensation under ultrahigh vacuum with different growth modes (co-deposition or sequential deposition of the two metals) and different thermal treatements. To access all the characteristics of the nanoparticles, complementary techniques were coupled: the X ray scattering at small and wide angles under grazing incident X Ray beam and the electron microscopy techniques: (high resolution and energy filtered modes). Preliminary analysis of Ag particles prepared at room temperature showed the existence of crystalline and non-crystalline (icosahedral) structures for small (2-2.5nm) and large sizes (6-8nm). A dominant feature of the decahedral structure was shown between these two extremes. This structure disappears completely when increasing elabration temperature. For the bimetallic Co-Ag system, at room temperature and independently of the size, composition and growth mode, the nanoparticles present a segregated configuration with a silver core surrounded by a more or less continuous shell, based on metallic Co or cobalt oxyde. After heating the samples, a transition takes place, leading to a more important segregation such as Janus one.

Page generated in 0.018 seconds