• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 151
  • 65
  • 18
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 240
  • 70
  • 54
  • 40
  • 39
  • 30
  • 29
  • 27
  • 26
  • 25
  • 25
  • 22
  • 21
  • 20
  • 19
  • 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.
71

Système d'interférences radiofréquences pour la cryptographie par chaos appliquée aux transmissions hertziennes

Pallavisini, A. 09 July 2007 (has links) (PDF)
La sécurisation des systèmes de transmission de données est un enjeu majeur de la société de l'information. Ce travail aborde une solution potentielle originale, dédiée aux transmissions radio-fréquences en espace libre, et en utilisant un mode de sécurisation à base de comportements chaotiques. La porteuse chaotique est générée par un oscillateur non linéaire à retard, qui permet d'appliquer la méthode de sécurisation par porteuse chaotique en modulation de fréquence directement au niveau de la couche physique du système de transmission. L'étude et la réalisation expérimentale du principe de génération de chaos en modulation de fréquence (FM) est présentée à partir d'une transformation non linéaire construite par profil de filtrage RF à résonances multiples, et l'autre en utilisant un montage optoélectronique original réalisant la non linéaire à partir d'un interféromètre radio-fréquence à fibre optique. Dans chacun, un système complet d'émission-réception par porteuse chaotique FM démontré.
72

Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire

Wilwert, Cédric 24 March 2005 (has links) (PDF)
L'introduction des systèmes embarqués dans l'automobile à commandes électriques (X-by-Wire) pose des problèmes nouveaux et spécifiques pour la tenue des exigences de sûreté de fonctionnement. En effet, ils sont dépourvus de la redondance mécanique (barre de direction, circuit hydraulique...) capable d'offrir un service minimum en cas de dysfonctionnement important de l'électronique. Ces systèmes largement distribués sont particulièrement sensibles aux perturbations d'ordre électromagnétique, et chaque faute transitoire peut éventuellement être la cause d'une défaillance catastrophique.<br />Dans ce contexte, le travail présenté ici est d'ordre méthodologique. En particulier, nous proposons une méthode de vérification des contraintes temps réel en mode nominal (mode non perturbé), et une méthode de prévision quantitative de fautes (mode perturbé) dont l'objectif est de mesurer l'influence des fautes transitoires liées à l'environnement et des performances temps réel du système sur la sûreté (probabilité d'occurrences de défaillances catastrophiques par zone perturbée) de ce même système. Nos travaux ont été appliqués sur les systèmes de direction Steer-by-Wire, mais les méthodes d'évaluation proposées sont génériques. Pour l'instant, seule des préconisations internes aux entreprises sont ciblées. Ainsi, une exigence dont la garantie devrait être prouvée est, par exemple : la probabilité de défaillance catastrophique doit être inférieure à 1.10-9 par heure de fonctionnement. Grâce à la méthode que nous avons développée, cette garantie sera alors complétée par l'évaluation de la fiabilité comportementale du système. Fournissant des résultats quantitatifs, cette technique permet de réaliser plusieurs études de sensitivité, comme, par exemple, l'influence de la durée du cycle de communication sur un protocole de communication de type TDMA (Time Division Multiple Access), l'influence de la diversification dans la redondance des sous-systèmes, ou encore l'influence d'un mécanisme de tolérance aux fautes proposé par TTP/C et FlexRay.
73

Contribution à l'étude d'une équation de transport à retards décrivant une dynamique de population cellulaire

Pujo-Menjouet, Laurent 17 September 2001 (has links) (PDF)
Nous présentons un modèle de division de cellules sanguines basé sur la présence d'un facteur appelé maturation et le partage du cycle en une phase de prolifération et une phase de repos. Il est représenté par un système S de deux équations de transport structuré en âge et maturité. En intégrant par rapport à l'âge, S devient un système d'équations aux dérivées partielles à retards structuré en maturité. Dans le chapitre 1, nous introduisons le contexte biologique, et nous présentons notre modèle. Dans le chapitre 2, nous étudions le modèle quand la phase de prolifération est fixe et la division est égale. Nous montrons l'existence et l'unicité puis un résultat liant les solutions aux cellules souches ainsi qu'un résultat d'invariance, de comportement asymptotique et d'instabilité. Dans le chapitre 3, nous supposons que la phase de prolifération varie suivant la maturité des cellules. Nous prouvons des résultats analogues au chapitre 2. Dans le chapitre 4, la phase de prolifération est fixe mais nous supposons la division inégale. En utilisant la théorie des opérateurs de Markov, nous prouvons un résultat de stabilité globale.
74

Diagnostic de défauts de systèmes contrôlés via un réseau

Chabir, Karim 09 July 2011 (has links) (PDF)
Aujourd'hui, les réseaux de communications sont largement utilisés pour relier les points de ressources, qui permettent la transmission de données à distance, de réduire la complexité dans le cadre de câblage et les coûts de support et de fournir l'aise dans la maintenance. En raison de ces avantages, les réseaux ont été introduits dans les systèmes automatiques au cours de ces dernières décennies et de nouveaux protocoles de réseau industriel ont été également développés pour assurer le contrôle à distance. Les systèmes contrôlés en réseau SCR (Networked Control System NCS) sont des systèmes automatiques traditionnels où les actionneurs, les capteurs, les contrôleurs et des autres composants sont distribués autour d'un réseau de communication, qui peut être partagé ou non avec d'autres applications. Les données de commande et de diagnostic sont échangées entre les composants du système (capteur, contrôleur, actionneur) via ce réseau partagé. Cette nouvelle architecture de système de contrôle introduit des problèmes originaux, en termes de retard variable affectant la transmission, des pertes de paquets, etc. Dans l'objectif de maintenir de bonnes performances du module de diagnostic face à des éventuelles variations introduites par le réseau, il est intéressant d'introduire des nouvelles approches. Nous avons rapporté les résultats relatifs aux techniques d'estimation optimale à base de filtre de Kalman, de façon à constituer un document aussi complet que possible traitant la génération de résidus et l'isolation des défauts dans SCR. Notre contribution consiste, dans un premier temps, à développer un modèle d'état d'un système contrôlé via un réseau. En deuxième temps, nous proposons un générateur de résidus en se basant sur les hypothèses simulant le retard induit par le réseau. Finalement, nous développons un filtre isolateur pour identifier directement les défauts affectant les actionneurs dans un SCR.
75

Sur les déformations isomonodromiques et la stabilité des équations différentielles

Ben Hamed, Bassem 22 December 2006 (has links) (PDF)
Les activités de recherches menées dans le cadre de cette thèse sont divisées en deux parties: Dans la première partie de cette thèse, nous allons présenter un cas particulier du problème de classification des solutions algébriques de l'équation de Painlevé 6. Ce cas simple se produit quand une solution algébrique donnée satisfait chaque membre d'une famille non-triviale d'équations. Une telle famille non-triviale d'équations contenant au moins deux éléments distincts satisfait toute la famille correspondante à la droite affine contenant ces deux éléments. Ainsi, toute famille non-triviale définie comme précédent, correspondant à un plan affine de l'espace des paramètres. Dans cette partie, nous donnons une classification de tous ces espaces affines avec leurs solutions algébriques associées. La preuve du théorème n'utilise pas la notion d'équations de Picard-Fuchs. On pourra constater que les solutions coïncident avec les solutions obtenues récemment par Doran qui a utilisé des déformations des surfaces elliptiques avec quatres fibres singulières et leurs équations de Picard-Fuchs associées. Dans la suite, on va essayer de donner une explication partielle de cette coïncidence. Rappelons que chaque solution d'une équation de Painlevé 6 donnée est gouvernée par une déformation isomonodromique d'un système Fuchsian approprié possédant quatre points singuliers. Nous disons qu'une telle déformation est géométrique si le système fondamental de solutions est entièrement constituté d'intégrales Abéliennes, qui dépendent algébriquement du paramètre de déformation. Une déformation géométrique d'un système Fuchsien est isomonodormique et définit une solution algébrique d'une équation de Painlevé 6 appropriée. Quand ceci est vrai, nous disons que la solution algébrique de l'équation de Painlevé 6 est d'origine géométrique. Nous montrons que lorsque une solution satisfait une famille d'équations de Painlevé 6, alors ils existent aux moins deux autres familles d'équations de Painlevé 6, telles que cette solution soient d'origine géométrique pour les deux familles. Dans le deuxième partie, on va présenter quelques définitions et notions de base sur les systèmes à retard. Le modèle choisi sera présenté, ainsi que l'existence et l'unicité des solutions pour les équations différentielles fonctionnelles (EDFR) associées. On introduit les méthodes des fonctionnelles de Lyapunov-Krasovskii et de fonction de Razumikhin, qui donnent des conditions suffisantes pour assurer la stabilité de ces systèmes à retard. Puis, on considère des classes de systèmes incertains à retard dans l'état et dans la commande. En utilisant des techniques de Lyapunov, on propose des classes de contrôleurs continus, qui assurent la stabilité globale uniforme exponentielle de ces systèmes en boucle fermée, en imposant quelques conditions assorties sur les incertitudes. La fonction de Laypunov quadratique du système nominal stable (c'est-à-dire, le système assosié en l'absence des incertitudes et du retard) est utilisé comme fonction de Lyapunov candidate du système global. Puis, on va étudier la stabilité absolue d'une classe de systèmes à retard de type de Lurie. Cette classe est présentée comme une interconnexion du feedback d'un système dynamique linéaire et d'une non-linéarité staisfaisant la condition du secteur. En utilisant quelques inégalités intégrales, on obtient une nouvelle condition suffisante de stabilité absolue présentée sous forme d'inégalités matricielles linéaires (LMI). Cette condition améliore celle donnée par Han. Par la suite, on utilisera cette nouvelle condition pour construire un contrôleur basé sur un observateur dépendant du retard, tel que le système erreur soit présenté comme une interconnexion du feedback d'un système linéaire et d'une non-linéarité multiple dépendante aussi du retard et satisfaisant la condition du secteur. Dans la conception de l'observateur, on va étendre les travaux d'Arcak, Kokotovic et Fan dans le cas sans retard.
76

Calcul moulien et théorie des formes normales classiques et renormalisées

Morin, Guillaume 09 June 2010 (has links) (PDF)
La première partie de cette thèse présente le cadre des équations différen- tielles à retard. Ces équations apparaissent notamment dans des modélisations de phénomènes physiques (calcul de marées) et physiologiques. La recherche de forme normale d'équation différentielle à retard est rendue difficile du fait de la dimension infinie de l'espace des conditions initiales. On présente une méthode de calcul due à T. Faria qui permet de réduire cette difficulté en utilisant des variétés centrales de dimension finie, sur lesquelles on peut faire un calcul de forme normale « classique ». On étend ensuite ce résultat à l'aide d'une méthode de G. Gaeta permettant la renormalisation de formes normales usuelles, pour des équations différentielles ordinaires. En utilisant ces deux méthodes, on démontre un théorème donnant l'existence d'une forme renormalisée d'équation différentielle à retard. Dans une deuxième partie, on présente et on étudie le formalisme moulien développé par Jean Ecalle. On utilise ce formalisme pour la recherche de formes normales de champs de vecteurs, et on l'applique à des champs hamiltoniens en coordonnées cartésiennes, puis en coordonnées action-angle. On obtient ainsi une nouvelle démonstration de la version formelle du théorème de Kolmogorov et du théorème de Birkhoff. On présente également une feuille de calcul avec Maple mettant en œuvre certains de ces calculs, et témoignant ainsi de la remarquable aptitude du formalisme moulien à être utilisé dans les logiciels de calcul formel.
77

Ordonnancement sur machines parallèles: minimiser la somme des coûts.

Savourey, David 05 December 2006 (has links) (PDF)
Nous étudions quatre problèmes d'ordonnancement sur machines parallèles. Ces quatre problèmes diffèrent par le critère que l'on cherche à minimiser : la somme des dates de fin, la somme pondérée des dates de fin, le retard total ou le retard total pondéré. Les jobs à ordonnancer sout soumis à des dates de disponibilité. Nous avons proposé pour ces quatres problèmes plusieurs règles de dominance. Une étude des bornes<br />inférieures a également été réalisée. Enfin, nous avons proposé une méthode de résolution exacte utilisant les règles de dominance ainsi que les bornes inférieures.
78

Etude de la vascularisation utéro-placentaire par angiographie Doppler énergie tridimensionnelle : évaluations fondamentales de la technique sur modèles expérimentaux de brebis et lapines gestantes, et évaluations cliniques préliminaires chez la femme enceinte

Morel, Olivier 18 January 2012 (has links) (PDF)
Retard de croissance intra-utérin (RCIU) et prééclampsie (PE) sont des complications majeures de la grossesse humaine et sont le plus souvent due à une insuffisance de vascularisation utéro-placentaire. Notre objectif était d'évaluer l'angiographie Doppler énergie tridimensionnelle (PDA) comme nouvel outil de dépistage de la PE et du RCIU et d'étude de la fonction placentaire et du RCIU sur modèles animaux. La corrélation entre les indices Doppler 3D et l'écoulement de sang réel au sein de l'unité utéro-placentaires a d'abord été évaluée sur modèle de brebis gravide, ainsi que l'impact des réglages de la machine. Un degré de corrélation plus élevé a été observé pour VI et VFI (r = 0,86 et 0,82 respectivement, p <0,0001) que pour FI (r = 0,64, p <0,0001).L'intérêt de la technique a été ensuite démontré dans un modèle de RCIU chez le lapin (femelles traitées par du L-NAME).Troisièmement, la valeur prédictive du PDA comme test de dépistage du RCIU et de la PE a été démontrée par la réalisation d'une étude prospective multicentrique chez 70 femmes enceintes à bas risque (AUC 0,95, 100% VAN avec une spécificité de 85% pour un seuil de 36.784 FI placentaire).
79

Localisation binaurale active de sources sonores en robotique humanoïde

Portello, Alban 10 December 2013 (has links) (PDF)
Cette thèse concerne la définition d'algorithmes pour la localisation de sources sonores (statiques ou mobiles) depuis un capteur binaural mobile en robotique. L'objectif est de développer des stratégies actives, qui combinent les signaux gauche-droite perçus et les ordres moteurs du capteur de façon à compenser les limitations usuelles dans le cas d'un monde statique : levée d'ambiguïtés (par exemple, avant-arrière), récupération de l'observabilité de certaines variables inobservables, etc. L'étude est focalisée sur des stratégies en deux étapes : (1) extraction d'information spatiale et détection d'activité relative à la/les sources par une analyse court-terme des flux audio ; (2) assimilation temporelle de ces données et fusion avec les ordres moteurs du capteur dans un schéma de filtrage stochastique.
80

Caracterización de variantes genómicas. Aplicación de nuevas tecnologías al estudio del retraso mental.

Madrigal Bajo, Irene 28 March 2008 (has links)
Estudios recientes han permitido estimar que aproximadamente un 5% del genoma consiste en duplicaciones segmentarias (DS), secuencias de entre 1-100 kb con un nivel de similitud de más del 95% (Eichler, 2001). Las regiones flanqueadas por duplicaciones segmentarias son susceptibles de sufrir reordenamientos mediante recombinación homóloga no alélica y se ha hipotetizado que estas regiones representan puntos calientes de inestabilidad genómica propensos a variación en número de copia (CNVs). Esta variación estructural (deleciones, duplicaciones e inversiones) representa una fuerza mutacional infravalorada en la contribución a las enfermedades genéticas, y en particular en los loci susceptibles a retraso mental. La aparición de nuevas tecnologías como los arrays de CGH o el MLPA permiten el análisis de alta resolución para la identificación de alteraciones genéticas y variaciones en número de copia a nivel de todo el genoma. La aplicación de estas tecnologías ha permitido, recientemente, establecer la implicación de microdeleciones y microduplicaciones en diversas enfermedades genéticas, como por ejemplo el retraso mental (RM). Las técnicas convencionales (cariotipo, FISH, CGH o PCR) de las que disponemos actualmente para el estudio de enfermedades genéticas como el retraso mental no son los suficientemente sensibles para la detección de reordenamientos submicroscópicos. Disponiendo de la tecnología y el material adecuado, es posible la caracterización molecular nuevas variantes geonómicas en retraso mental. Debido a la gran cantidad de casos de RM en los que se desconoce su etiología, el objetivo principal de esta tesis ha sido la caracterización de variantes genómicas responsables de RM aplicando nuevas tecnologías: aCGH del cromosoma X y MLPA. El MLPA se basa en la detección simultánea del número de copias de una secuencia específica mediante la hibridación genómica del DNA con una mezcla de sondas específicas. La cantidad relativa del producto amplificado se correlaciona con el número de copias de la secuencia diana de esa sonda. Por otro lado, los arrays de CGH permiten detectar reordenamientos cromosómicos desequilibrados de <1 Mb. Con el uso de clones genómicos distribuidos de forma que cubran la totalidad del cromosoma X se puede generar un array específico que permitirá obtener un cariotipo molecular de este cromosoma a nivel de 100kb, lo que permitirá detectar microdeleciones, microduplicaciones e inversiones del cromosoma X. Esta parte del proyecto que incluye tanto el diseño, la construcción y validación del array como la hibridación de las muestras se realiza de forma coordinada con el Centro de Regulación de Barcelona (CRG).Para este estudio se seleccionaron pacientes procedentes de familias con herencia compatible con un RM ligado al cromosoma X. Estas familias procedían del Departamento de Bioquímica y Genética Molecular del Hospital Clínico de Barcelona y del grupo GIRMOGEN (Grupo Investigación Retraso Mental de Origen Genético). A todos ellos se les había realizado previamente un cariotipo, se había descartado la expansión del triplete CGG el gen FMR1, responsable del Síndrome del X frágil y no se habían detectado reordenamientos subteloméricos. Gracias a la aplicación de estas tecnologías hemos identificado y caracterización de nuevas variantes genómicas implicadas en RM (11,5%). La detección de reordenamientos cripticos en pacientes afectos de estas enfermedades nos ha permitido establecer una correlación genotipo/fentipo e identificar nuevos genes y mecanismos implicados en el desarrollo del RM. / "CARACTERIZATION OF GENOMIC VARIANTS. APLICATION OF NEW TECHONOLOGIES TO THE STUDY OF MENTAL RETARDATION" TEXT:Mental Retardation (RM) is a common disorder affecting 1-3% of general population. X-linked MR represents and important group inside MR. Nowadays OMIM lists 359 entries about XLMR although only 44 X-linked genes are known to cause XLMR (syndromic and non-syndromic). On the other hand, subtelomeric rearrangements comprise 5-7% of MR with unknown genetic origin. There are few reports about submicroscopic rearrangements that affect X chromosome due to the difficulties that implicate these studies. CGHarray (array-based comparative genomic hibridization) measures submicroscopic DNA copy number changes and allows the simultaneous high-resolution mapping of these changes onto the genome sequence. With the construction and application of a specific CGH microarray, it will be possible to characterize different molecular variants inside this chromosome in those cases of MRLX without molecular diagnosis. On the other hand, MLPA is based in the simultaneous detection of the number of copies of a specific sequence through hybridization of genomic DNA with a mixture of specific probes. The main objective of the present project is to identify submicroscopic duplications and deletions affecting chromosome X in patients with non-syndromic. For this study we selected patients from families with an inheritance consistent with an XLMR. These families came from the Department of Biochemistry and Molecular Genetics at the Hospital Clinical of Barcelona and the GIRMOGEN group (Research Group for Mental Retardation of Genetic Origin). The application of new techonolgies such as MLPA o aCGH has led to the identification of new rearrangements in the X chromosome responsible for MR (11,5%). The detection of cryptic rearrangements in MR patients has enabled us to establish a gentype/phenotype correlation and to identify new genes and mechanisms involved in the development of MR.

Page generated in 0.0552 seconds