21 |
Aide au pilotage d'une démarche en conception de produits : vers un cahier des charges "augmenté"Lattuf, José Antonio 18 December 2006 (has links) (PDF)
Le contexte économique qui règne dans l'industrie et les marchés nationaux et mondiaux impose aux entreprises la nécessité d'innover pour rester compétitif. Ce besoin n'est plus à démontrer. Innover signifie mener un processus capable de produire des résultats novateurs exploitables et exploités. Ce processus d'innovation est difficile à maîtriser car complexe et incertain en degré et nature variables (par projet, par entreprise, par technologie ... ). Il n'est donc ni figé ni prédictible. La conception et utilisation de méthodes et outils s'inscrivant dans une démarche d'innovation visent une certaine reproductibilité des différents sous-processus impliqués. Cette contradiction en apparence est au coeur de nos réflexions: ce qui doit être reproductible (voire anticipé) tout en intégrant des incertitudes, est censé garantir la variabilité. Pour y faire face, nous proposons une approche méthodologique basée sur des concepts issus des théories d'évolution en biologie et en technologie. Une structuration « évolutionniste» de plusieurs techniques de créativité est formulée et une représentation intermédiaire du produit dite « augmentée» est préconisée. Comme résultat de nos recherches un cahier des charges évolutif et transversal à changements intentionnels et contrôlés: Le Cahier des Charges Augmenté (CDCEVA). Le tout pour favoriser le processus de conception innovante et aider à l'apprentissage et l'appropriation du projet par l'entreprise en l'appuyant dans la construction de sa stratégie prospective-produit. Nous privilégions le contexte des petites structures industrielles comme les PME et nous plaçons le processus de conception de produit comme source d'innovation et des connaissances pour l'entreprise. Deux expérimentations industrielles sur des produits « non techniques » ont montré la pertinence de l'approche et ont permis l'amélioration du modèle initial proposé vers le modèle PIANO qui intègre une démarche globale de pilotage.
|
22 |
Dynamique de l'Onzin au sein de la voie endocytaire : une étude biochimique et morphologique.Chemali, Magali 19 December 2006 (has links) (PDF)
Une analyse protéomique de la fraction membranaire d'un échantillon foie de rat fortement enrichi en lysosomes a mené à la découverte de l'Onzin parmi les protéines les plus abondantes. Nous avons montré que cette petite protéine riche en cystéines et fortement conservée entre différentes espèces est majoritairement présente dans les organes lymphoïdes et dans le tube digestif. La distribution intracellulaire de l'Onzin dans le foie de souris a été étudiée par des techniques de centrifugation, notamment en induisant in vivo par différentes substances (invertase de levure, Triton WR-1339 et billes de latex) le changement de la densité des lysosomes et des phagosomes. Nous déduisons de ces expériences que l'Onzin est associée à un compartiment de la voie endocytaire en relation dynamique avec le lysosome des cellules de Kupffer. Ces résultats ont également été confirmés et précisés par des approches biochimiques et morphologiques en utilisant des macrophages péritonéaux de souris.
|
23 |
Classification des signaux EMG utérins afin de détecter les accouchements prématurésDiab, M.O. 17 December 2007 (has links) (PDF)
L'accouchement prématuré reste la principale cause de mortalité et de morbidité néonatales. Le signal EMG utérin semble un vecteur potentiel d'indication du risque d'accouchement prématuré.<br /> Dans la suite des travaux réalisés pour la détection, le traitement et la classification des événements dans le signal EMG Utérin, notre travail s'est orienté vers la classification des contractions à partir des signaux EMG utérins, afin de séparer les deux types d'accouchement : accouchement prématuré et accouchement à terme.<br /> Les contractions utérines ont été manuellement segmentées à partir du signal EMG utérin. Puis chaque contraction est modélisée et des paramètres sont extraits avant de faire la classification. Cette modélisation est faite par ondelettes et par analyse de la densité spectrale de puissance de chaque contraction.<br /> La classification est ensuite réalisée en utilisant 2 types de méthodes : tout d'abord une classification non supervisée, qui regroupe les contractions sans connaissance a priori des classes, permettant ensuite une interprétation des groupes en fonction des semaines d'aménorrhées et du terme d'accouchement. Dans ce contexte nous avons développé une méthode originale de classification non supervisée basée sur le test de Fisher combiné avec la méthode de k-moyenne (USCM, Unsupervised Statistical Classification Method).<br /> L'autre type de classification est supervisée. Après avoir sélectionné d'une façon précise les femmes qui peuvent être utilisées pour l'apprentissage de notre méthode de classification, nous avons utilisé différentes méthodes supervisées de classification. Tout d'abord, nous avons testé des méthodes classiques (Réseaux de neurones, Parzen,...). Puis une méthode originale basée sur le réseau d'ondelettes a été développée pour cette classification, cette méthode ayant été précédemment utilisée pour la régression mais jamais pour la classification.<br /> Nous avons été confrontés à un problème lié au faible nombre de d'éléments pour l'apprentissage. Nous avons donc aussi utilisé une méthode basée sur la modélisation autorégressive pour augmenter l'ensemble d'apprentissage.<br /> En ce qui concerne les applications, et pour la séparation entre les signaux d'EMG (application clinique), nous avons utilisé deux approches. Dans la première approche, nous avons utilisé des contractions ayant le même nombre de SAR (Semaines d'Aménorrhée à l'Enregistrement) mais des SAA (semaines d'Aménorrhée à l'accouchement) différent (petite différence et grande différence). La deuxième approche est de classifier les événements acquis avec différentes (SAR) pour des femmes ayant le même SAA.<br /> D'après les résultats obtenus, nous avons pu conclure que nous pouvons distinguer le terme d'accouchement des femmes enregistrés aux mêmes termes de grossesse. Et nous avons pu également conclure que les contractions changent de caractéristiques en fonction du terme de grossesse. D'un point de vue clinique, le résultat important est que, pour un terme de grossesse donné à l'enregistrement, il est possible de distinguer une contraction normale et une contraction conduisant à un accouchement prématuré.
|
24 |
CERTAINS PROBLEMES SPECTRAUX POUR DES OPERATEURS DESCHRODINGERJia, Xiaoyao 23 May 2009 (has links) (PDF)
ON ETUDIE DANS CETTE THESE CERTAINS PROBLEMES SPECTRAUX POUR DES OPERATEURS DESCHRODINGER. ON S'INTERESSE D'ABORD A LA LIMITE SEMI-CLASSIQUE POUR LE NOMBRE D'ETATS PROPRESDE L'OPERATEUR DE SCHRODINGER A N CORPS. ON UTILISE ENSUITE LE CROCHET DE DIRICHLET-NEUMANN POUR OBTENIR LA LIMITE SEMI-CLASSIQUE DES MOYENNES DE RIESZ DES VALEURS PROPRES DISCRETES POUR L'OPERATEUR DE SCHR¨ODINGER A N CORPS. ON CONSIDERE EGALEMENT LE POTENTIEL EFFECTIF DE L'OPERATEUR DE SCHRODINGER A N CORPS AVEC POTENTIEL DE COULOMB ET ON OBTIENT QU'IL A UNE DECROISSANCE CRITIQUE A L'INFINI. ON ETUDIE DONC L'OPERATEUR DE SCHRODINGER A POTENTIEL CRITIQUE. ON S'INTERESSE AU SEUIL POUR LA CONSTANTE DE COUPLAGE ET AU DEVELOPPEMENT ASYMPTOTIQUE DE LA RESOLVANTE DE L'OPERATEUR DE SCHRODINGER, PUIS ON UTILISE CE DEVELOPPEMENT POUR ETUDIER LA LIMITE A BASSE ENERGIE DE LA DERIVEE DE LA FONCTION DE DECALAGE SPECTRAL POUR UNE PERTURBATION A DECROISSANCE CRITIQUE. FINALEMENT, ON UTILISE CE RESULTAT AVEC LE RESULTAT CONNU POUR LE DEVELOPPEMENT ASYMPTOTIQUE A HAUTE ENERGIE DE CETTE FONCTION DE DECALAGE SPECTRAL POUR OBTENIR LE THEOREME DE LEVINSON.
|
25 |
ETUDE DU MECANISME DE LA REACTION DE TSUJI-TROST<br />CATALYSEE PAR LES COMPLEXES DU PALLADIUMMensah, Laure 10 October 2005 (has links) (PDF)
Le 1,3-diphényl-3-acétoxypropène PhCH=CHPh-OAc est très utilisé pour tester l'efficacité des ligands chiraux. Nous avons étudié séparément son addition oxydante avec différents complexes de palladium (0) (Pd°(PPh3)4 et Pd(dba)2 + P,P = dppb ou 2xPPh3 ) et la substitution nucléophile avec la morpholine et la pipéridine.<br />L'addition oxydante conduit à la formation d'un complexe cationique [(eta3-PhCH-CH-CHPh)Pd(PPh3)2]+. Elle est réversible et constituée de deux étapes. L'étape de complexation formant le complexe neutre : [(eta2-PhCH=CHPh-OAc)Pd°(P,P)] est plus rapide que l'étape d'ionisation dans les conditions étudiées. <br />La substitution nucléophile est équilibrée avec dppb. Elle est irréversible avec PPh3 et plus rapide que l'étape cinétiquement déterminante de l'addition oxydante : l'étape d'ionisation. <br /><br />Les carboxylates allyliques cycliques substitués en 5 s'isomérisent en présence de complexes de palladium(0). L'étude de l'addition oxydante des p-Z-benzoates de cis-5-phénylcyclohex-2-enyl (cis-1Z, Z = NO2, Cl, H, Me, MeO) avec les précurseurs de palladium(0) cités plus haut nous a permis de déterminer l'influence du groupe partant sur l'isomérisation en position allylique<br />Quel que soit le benzoate de départ, la vitesse d'isomérisation est plus grande avec Pd0(PPh3)4 qu'avec Pd0(dba)(PPh3)2. C'est en accord avec le mécanisme SN2 lors de l'isomérisation du complexe cationique eta3-allylique formé lors de l'addition oxydante. Pour le même précurseur de palladium(0), plus le groupe partant est bon, plus la concentration en complexe cationique eta3-allylique est élevée, plus l'isomérisation est rapide.
|
26 |
Supersymmetric Gauge Theories from String TheoryMetzger, Steffen 06 December 2005 (has links) (PDF)
Cette thèse traite de plusieurs façons de construire une théorie quantiques des champs en quatre dimensions à partir de la théorie des cordes.<br /><br />Dans une première partie nous étudions la construction d'une théorie Yang-Mills supersymétrique, couplée à un superchamp chiral dans la représentation adjointe, à partir de la théorie des cordes de type IIB sur une variété Calabi-Yau non compacte, avec des D-branes qui enroulent certaines sousvariétés. Les propriétés de<br />la théorie de jauge sont alors reflétées dans la structure<br />géométrique de la variété Calabi-Yau. En particulier, on peut calculer en principe le superpotentiel effectif de basse énergie qui décrit la structure des vides de la théorie de jauge en utilisant la théorie des cordes (topologiques). Malheureusement, en pratique, ceci n'est pas faisable. Il est remarquable qu'on puisse cependant montrer que la dynamique de basse énergie de la<br />théorie de jauge est codée par la géométrie d'une autre variété Calabi-Yau non compacte, reliée à la première par une transition géométrique. La théorie des cordes de type IIB sur cette deuxième variété, dans laquelle sont allumés des flux de fond appropriés, génère une théorie de jauge en quatre dimensions, qui n'est d'autre que la théorie effective de basse énergie de la théorie de<br />jauge originale. Ainsi, pour obtenir le superpotentiel effectif de basse énergie il suffit simplement de calculer certaines intégrales dans la deuxième géométrie Calabi-Yau, ce qui est faisable, au moins perturbativement. On trouve alors que le problème extrêmement difficile d'étudier la dynamique de basse<br />énergie d'une théorie de jauge non Abelienne a été réduit à celui de calculer certaines intégrales dans une géométrie connue. On peut démontrer que ces intégrales sont intimement reliées à certaines quantités dans un modèle de matrices holomorphes, et on peut alors calculer le superpotentiel effectif comme fonction de<br />certaines expressions du model de matrices. Il est remarquable que la série perturbative du modèle de matrices calcule alors le superpotentiel effectif non-perturbatif.<br /><br />Ces relations étonnantes ont été découvertes et élaborée par plusieurs auteurs au cours des dernières années. Les résultats originaux de cette thèse comprennent la forme précise des relations de la ``géométrie spéciale" sur une variété Calabi-Yau<br />non compacte. Nous étudions en détail comment ces intégrales géométriques dépendent du cut-off, et leur relation à l'énergie libre du modèle de matrices. En particulier, sur une variété Calabi-Yau non compacte nous proposons une forme bilineaire sur le<br />produit direct de l'espace des formes avec l'espace des cycles, qui élimine toutes les divergences, sauf la divergence logarithmique. Notre analyse détaillée du modèle de matrices holomorphes clarifie aussi plusieurs aspects reliés à la méthode du col de ce modèle de matrices. Nous montrons en particulier qu'exiger une densité spectrale réelle restreint la forme de la<br />courbe Riemannienne qui apparaît dans la limite planaire du modèle de matrices. Çela nous donne des contraintes sur la forme du contour sur lequel les valeurs propres sont intégrées. Tous ces<br />résultats sont utilisés pour calculer explicitement l'énergie libre planaire d'un modèle de matrices avec un potentiel cubique.<br /><br />La deuxième partie de cette thèse concerne la génération de théories de jauge supersymétriques en quatre dimensions comportant des aspects caractéristiques du modèle standard à partir de<br />compactifications de la supergravité en onze dimensions sur une variété G_2. Si cette variété contient une singularité conique, des fermions chiraux apparaissent dans la théorie de jauge en quatre dimensions ce qui conduit potentiellement à des anomalies. Nous montrons que, localement à chaque singularité, les anomalies<br />correspondantes sont annulées par une non-invariance de l'action classique au singularités (``anomaly inflow"). Malheureusement, aucune métrique d'une variété G_2 compacte n'est connue explicitement. Nous construisons ici des familles de métriques sur des variétés compactes faiblement G_2, qui contiennent deux singularités coniques. Les variétés faiblement G_2 ont des propriétés semblables aux propriétés des variétés G_2, et alors ces exemples explicites pourraient être utiles pour mieux comprendre la situation générique. Finalement, nous regardons la<br />relation entre la supergravité en onze dimensions et la théorie des cordes hétérotiques E_8\times E_8. Nous étudions en détail les anomalies qui apparaissent si la supergravité est formulée sur le produit d'un espace de dix dimensions et un intervalle. Encore une fois nous trouvons que les anomalies s'annulent localement sur<br />chaque bord de l'intervalle si on modifie l'action classique d'une façon appropriée.
|
27 |
Etude des mécanismes d'excitation électronique associés au claquage des diélectriques induit par un champ laser intenseQuere, Fabien 09 October 2000 (has links) (PDF)
Quels sont les processus d'excitation électronique impliqués dans le claquage optique des solides diélectriques ? Cette question, débattue depuis la fin des années 60, a récemment connu un regain d'intérêt, dans le cas où le claquage est induit par des impulsions laser picoou femtosecondes. Dans cette gamme de durée, un modèle a récemment été proposé, selon lequel les électrons de conduction seraient essentiellement injectés par une très forte avalanche électronique, initiée par une faible densité de porteurs libres excités par absorption multiphotonique. Jusqu'à présent, les seules observations expérimentales en faveur de ce modèle sont des mesures de seuils de claquage en fonction de la durée de l'impulsion laser. Nous avons adopté une approche expérimentale plus directe de ce problème, fondée sur deux expériences pompe-sonde. Grâce à la technique d'interférométrie fréquentielle, nous avons mesuré la densité totale d'électrons de conduction excités par une impulsion laser ultra-brève, en fonction de la durée et de l'intensité de cette dernière, aussi bien en-dessous qu'au-dessus du seuil de claquage. Ces mesures démontrent de façon très directe que l'absorption multiphotonique par les électrons de valence est le processus dominant d'injection de porteurs : aucune avalanche électronique ne se produit avec des impulsions lasers de moins de quelques picosecondes. L'ionisation par impact des électrons de valence par les électrons de conduction est une étape cruciale dans les modèles d'avalanche. Nous avons donc réalisé une expérience de photoémission résolue en temps, afin d'évaluer l'efficacité de ce processus dans les diélectriques. Des électrons étaient injectés dans la bande de conduction, au-dessus du seuil d'ionisation par impact, grâce à une impulsion pompe UV (40 eV) femtoseconde. La relaxation de ces électrons était ensuite sondée au moyen d'une impulsion infrarouge intense. En mesurant la distribution en énergie des photoélectrons émis par le solide en fonction du délai pompe-sonde, nous avons montré que le processus d'ionisation par impact se produit sur une échelle de temps caractéristique de quelques dizaines de picosecondes pour des électrons de conduction de quelques dizaines d'eV dans SiO2 : cette faible efficacité pourrait expliquer pourquoi il ne peut pas se produire d'avalanche électronique avec des impulsions ultra-brèves, comme nous l'avons démontré par interférométrie fréquentielle.
|
28 |
Paramétrage quasi-optimal de l'intersection de deux quadriques : théorie, algorithmes et implantationDupont, Laurent 06 October 2004 (has links) (PDF)
Cette thèse présente un algorithme robuste et efficace du calcul<br /> d'une forme paramétrée exacte de la courbe d'intersection de deux<br /> quadriques définies par des équations implicites à coefficients rationnels. Pour la première fois, le<br /> paramétrage que nous obtenons contient toutes les informations<br /> topologiques de la courbe et est assez simple pour être exploité<br /> dans des applications géométriques non triviales.<br /><br /> De nombreux progrès, dans différents domaines, ont été<br /> nécessaires pour atteindre ce résultat. Nous avons réalisé une étude<br /> exhaustive de tous les cas possibles d'intersection, d'abord dans<br /> $\Pp^3(\C)$ en nous basant sur les travaux de Segre, puis dans $\Pp^3(\R)$ <br /> en exploitant les résultats d'Uhlig sur la réduction simultanée de<br /> deux formes quadratiques réelles. Cette étude systématique nous a<br /> permis de maîtriser complètement la géométrie inhérente à<br /> l'intersection de deux quadriques. Nous sommes maintenant capables<br /> de déterminer toutes les caractéristiques de la courbe<br /> d'intersection, à savoir son genre, ses points singuliers, le nombre<br /> de ses composantes algébriques et connexes, et les incidences entre<br /> ces composantes. Quand il en existe, nous<br /> trouvons un paramétrage rationnel des composantes de la courbe<br /> d'intersection. En ce sens, notre algorithme est optimal.<br /> Nous avons aussi fait des progrès significatifs sur la complexité de l'expression radicale des<br /> coefficients du paramétrage obtenu.<br /> Notre résultat est quasi-optimal dans le sens où les coefficients du paramétrage<br /> de la courbe d'intersection que nous calculons contiennent au plus<br /> une racine carrée non nécessaire dans leur expression. <br /> De plus, notre résultat est optimal dans le cas le pire,<br /> dans le sens où pour chaque type de courbe d'intersection<br /> (par exemple une quartique régulière, ou une cubique et une droite, ou<br /> deux coniques), il existe des paires de quadriques pour lesquelles le<br /> nombre de racines carrées apparaissant dans l'expression des<br /> coefficients de notre paramétrage est minimal.<br /><br /> Enfin, nous avons réalisé une implantation complète de notre<br /> algorithme en MuPAD qui nous a permis d'afficher des<br /> performances inédites, tant en terme de vitesse d'exécution qu'en terme de<br /> simplicité du résultat obtenu.
|
29 |
Recherche de signaux impulsionnels sur le détecteur d'ondes gravitationnelles VirgoClapson, André-Claude 27 April 2006 (has links) (PDF)
Le détecteur d'ondes gravitationnelles par interférométrie optique Virgo atteindra bientôt sa sensibilité nominale. <br />Les sources astrophysiques attendues sont principalement les coalescences de systèmes binaires d'objets compacts et les supernovas gravitationnelles. Les amplitudes des signaux sont à la limite de la sensibilité de l'instrument, les taux d'événements observables sont faibles et les formes d'ondes mal connues, notamment pour les effondrements gravitationnels. <br />L'analyse des données repose sur la recherche de signaux de faible amplitude dans du bruit coloré. Dans ce contexte, ce travail propose l'utilisation de décompositions temps-fréquence des séries temporelles pour la détection de signaux courts. Les performances de cette approche sont estimées en simulation et comparées à celles d'autres méthodes de détection disponibles dans la communauté. <br />Une autre difficulté pour l'analyse est la présence de structures spectrales étroites dans la distribution d'énergie en fréquence des données. Elles proviennent de résonances mécaniques des miroirs et du système d'isolation sismique de l'instrument. L'utilisation de filtres de Kalman pour éliminer ces bruits bien modélisés avant l'analyse est présentée. Le problème essentiel <br />de l'estimation des paramètres du modèle est traité, avec l'objectif d'une réestimation dynamique. <br />Enfin ces outils sont appliqués aux données Virgo disponibles, avec comme résultat principal la mise en évidence de sources de bruits instrumentaux importantes, dont la suppression demandera une amélioration du fonctionnement et une meilleure isolation de l'environnement.
|
30 |
Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunicationsStratulat, Sorin 30 November 2000 (has links) (PDF)
Le processus de certification de logiciels est dans la plupart des<br /> cas une tâche laborieuse et coûteuse qui nécessite aussi bien des<br /> méthodes mathématiques, pour exprimer sans ambiguïté et de façon<br /> structurée le comportement attendu du logiciel, que des outils<br /> automatiques pour vérifier ses propriétés. Parmi les techniques de<br /> preuve, la récurrence est parfaitement adaptée pour raisonner sur<br /> des structures de données infinies, comme les entiers et les<br /> listes, ou des systèmes paramétrés.<br /> <br /> Cette thèse comprend deux parties, l'une théorique, l'autre<br /> applicative. La première partie est centrée autour d'un nouveau<br /> concept, l'\emph(ensemble couvrant contextuel) (ECC). Le principe<br /> de preuve par récurrence avec ECC est exprimé par un système<br /> d'inférence abstrait qui introduit des conditions suffisantes pour<br /> son application correcte. La conception modulaire de règles<br /> d'inférence concrètes est un avantage de cette approche. Comme<br /> étude de cas, nous spécifions le système d'inférence du<br /> démonstrateur SPIKE en tant qu'instance de ce système.<br /> <br /> Dans la deuxième partie, nous analysons tout d'abord le problème<br /> d'interactions de services téléphoniques. Nous proposons une<br /> méthodologie pour les détecter et les résoudre, reposant sur des<br /> techniques basées sur la réécriture conditionnelle et la<br /> récurrence. Dans une autre application, nous obtenons, à l'aide<br /> du démonstrateur PVS, la première preuve formelle de l'équivalence<br /> entre deux algorithmes de conformité du protocole ABR. Puis,<br /> nous utilisons SPIKE pour vérifier complètement automatiquement<br /> la majorité des 80 lemmes de cette preuve.
|
Page generated in 0.0567 seconds