Présentation et discussion des développements vers diverses améliorations possibles du temps de détection, obtenues par le biais de modification du circuit. Un test hors ligne peut être dérive directement par le regroupement de toutes les procédures de test.

Ce travail de thèse s'intéresse principalement à la régulation de la respiration mitochondriale in situ dans les cellules de muscle cardiaque et squelettiques. L'oxygraphie, la spectrophotométrie et la microscopie confocale sur cellules isolées ou fibres musculaires perméabilisées à la saponine ont été utilisées ainsi que la modélisation mathématique. Dans les cellules musculaires, les mitochondries sont organisées de manière très précise tel un ‘cristal'. Cet arrangement intracellulaire serait la base d'une organisation à la fois structurale et fonctionnelle au sein desquelles les mitochondries sont couplées fonctionnellement par le cytosquelette aux autres organelles : réticulum sarcoplasmique et myofibrilles: les ICEUs (ou unités énergétiques intracellulaires). Au sein des cellules cardiaques, il existe 2 niveaux de régulation de la respiration mitochondriale par l'ADP exogène : la perméabilité de la membrane mitochondriale externe (VDAC) et des restrictions localisées de diffusion de l'ADP au voisinage des mitochondries. La Β-tubuline participe indirectement à ces mécanismes de régulation de même que la protéine STOP, une protéine associée aux microtubules. Ces données expérimentales sont utiles pour expliquer les aspects métaboliques de la loi de Frank-Starling dans le cœur. Cette notion d'ICEU peut servir de diagnostique lors de l'étude clinique du métabolisme énergétique chez des transplantés pulmonaires avant et après un programme d'entraînement à domicile.

Nous étudions l'antiferromagnétisme et la supraconductivité dans les systèmes fermioniques quasi-unidimensionnels à partir du modèle de Hubbard bidimensionnel anisotrope. Le diagramme de phases est obtenu en utilisant une approche de groupe de renormalisation fonctionnelle. Nous mettons en évidence l'existence d'un passage entre un régime unidimensionnel à haute température et un régime bidimensionnel à basse température. Dans ce dernier, selon les propriétés d'emboîtement de la surface de Fermi et la portée effective de l'interaction entre électrons, les fluctuations de spin et de charge peuvent induire une phase antiferromagnétique, une phase supraconductrice singulet de symétrie d, une phase supraconductrice triplet f ou une onde de densité de charge. Ces résultats sont comparés aux résultats expérimentaux obtenus dans les conducteurs organiques (TMTSF)_2X de la famille des sels de Bechgaard, qui pourraient indiquer l'existence d'une phase supraconductrice triplet au voisinage de la phase antiferromagnétique. Nous étudions également l'effet d'un potentiel supplémentaire de période double dans la direction perpendiculaire à celle de forte conductivité, situation réalisée dans le composé (TMTSF)_2ClO_4. Il y a dans ce cas deux bandes électroniques au niveau de Fermi. Plusieurs composantes de Fourier des fluctuations de spin sont alors en compétition, et parfois couplées. C'est également vrai pour les fluctuations supraconductrices. Il en résulte un diagramme de phases très riche, comprenant deux phases antiferromagnétiques et deux phases supraconductrices, l'une de symétrie dominante d, l'autre g.

Cette these s'inscrit dans le domaine de l'ingenierie des Interfaces Homme-Machine. Elle a pour theme la conception et la realisation des systemes interactifs. Parmi ces systemes, nous etudions les interfaces utilisateur qui integrent les aspects innovants de la technologie actuelle en communication homme-machine : les systemes a caracteristiques multiples. L'approche adoptee s'appuie sur une analyse conceptuelle des systemes e caracteristiques multiples en prenant en compte a la fois les activites du systeme et de lÕutilisateur. Cette etude nous conduit a distinguer des etapes dans les mecanismes d'abstraction et de concretisation des informations echangees entre l'utilisateur et le systeme que nous organisons en un canevas : l'espace Pipe-lines. De l'espace Pipe-lines, canevas integrateur des activites de l'utilisateur et du systeme, nous derivons une methode de raisonnement et de classification des systemes en fonction de leurs utilisations : la methode UOM. En adoptant comme fondement l'espace Pipe-lines, nous identifions les besoins pour la realisation logicielle. Nous proposons un modele d'architecture logicielle, PAC- Amodeus qui repond a ces besoins. Ce modele est complete d'un guide d'application constitue d'un ensemble de regles heuristiques que nous avons concretisees par un systeme expert PAC-Expert. En symbiose avec PAC-Amodeus, nous proposons un moteur de fusion des informations specifiees par l'utilisateur. De part ses criteres et sa technique de representation des informations, le moteur est generique. PAC-Amodeus correle au moteur de fusion constitue une plate-forme pour la realisation logicielle de systemes a caracteristiques multiples.

Comment les managers fonctionnels experts des enjeux sociaux participent-ils, dans les entreprises néolibérales, à l'institutionnalisation de la politique de Responsabilité Sociale de l'Entreprise (RSE) ? Nous faisons l'hypothèse que la conversion à la RSE est la manifestation d'une exigence exacerbée de la société sur les grandes entreprises capitalistes. Nous suivons l'émergence de cette logique institutionnelle pour le cas des accidents du travail dans le BTP. L'analyse de contenu, à l'aide du logiciel Alceste, d'articles du Moniteur du BTP depuis 1906, montre que la période 1997-2007 se caractérise par un traitement managérial du risque accident. Nous formulons des propositions quant aux activités de ces experts, par la mise en regard historique du fonctionnement des organisations bureaucratiques et néolibérales. Puis, nous analysons les activités de responsables sécurité au travail dans des filiales d'une entreprise de construction et vérifions quatre rôles majeurs : ajustement mutuel avec les parties prenantes internes, travail à la frontière de traduction et de diffusion des rationalisations, organisation d'un circuit d'informations et mise en œuvre de la contrainte douce. L'observation révèle une distance critique vis-à-vis de cette philosophie gestionnaire, un découplage entre performances réelles et communiquées et des luttes politiques fondées sur le contrôle de l'information. Les dimensions culturelles et politiques du travail institutionnel imbriquent institutions et routines organisationnelles. Nous mettons à jour les modèles de la Corporate Social Responsiveness et soulignons les limites de l'entreprise néolibérale en situation d'incertitude.

Ce travail traite du calcul fonctionnel des op\'rateurs dont le spectre est contenu dans les nombres r\'{e}els positifs. On s'int\'resse en particulier aux th\'{e}or\`{e}mes de multiplicateurs spectraux.\\ On aborde le calcul abstrait et optimal, c'est-\`{a}-dire les homomorphismes $u : C(K) \to B(X)$. Si $X$ est un espace de Hilbert, alors l'extension naturelle $\hat{u} : C(K;[u]') \to B(X)$ de $u$ sur l'ensemble des op\'rateurs est \` nouveau born\'{e}e. En utilisant la $R$-bornitude, un renforcement de la bornitude uniforme, on donne une extension de ce r\'sultat \` des espaces de Banach g\'{e}n\'raux $X$ et on l'applique au calcul $H$ infini et aux bases inconditionnelles dans des espaces $L^p$.\\ On d\'{e}veloppe des calculs associ\'s \` des op\'{e}rateurs sectoriels. Les exemples classiques en sont les th\'or\`mes spectraux de Mihlin et H\"{o}rmander donnant des classes de fonctions lisses qui forment des multiplicateurs de Fourier sur $L^p$. Ces th\'{e}or\`{e}mes ont d\'{e}j\`{a} \'{e}t\'{e} \'{e}tendus \`{a} une large classe d'op\'{e}rateurs de type Laplacien. On les regroupe sous une forme unifi\'{e}e gr\^{a}ce \`{a} la th\'{e}orie des op\'{e}rateurs: on compare le calcul de Mihlin et de H\"rmander \` la bornitude des familles classiques associ\'{e}es \`{a} un op\'rateur sectoriel.\\ Pour la famille des puissances imaginaires, on donne une caract\'{e}risation de leur croissance polynomiale en fonction d'un calcul fonctionnel qui raffine le calcul de Mihlin.\\ On \'tudie des semi-groupes de diffusion qui agissent sur une \'{e}chelle d'espaces de Banach. Il est connu que le semi-groupe a une extension analytique sur un secteur dans le plan complexe si cette \'chelle consiste des espaces $L^p$. On donne une g\'{e}n\'ralisation de ce r\'{e}sultat \`{a} des espaces $L^p$ non commutatifs en utilisant la th\'orie des espaces d'op\'{e}rateurs.

Le mouvement brownien fractionnaire (mbf) constitue un important outil de modélisation utilisé dans plusieurs domaines (biologie, économie, finance, géologie, hydrologie, télécommunications, etc.) ; toutefois, ce modèle ne parvient pas toujours à donner une description suffisamment fidèle de la réalité, à cause, entre autres, des deux limitations suivantes : d'une part le mbf est un processus gaussien, et d'autre part, sa rugosité locale (mesurée par un exposant de Hölder) reste la même tout le long de sa trajectoire, puisque cette rugosité est partout égale au paramètre de Hurst H qui est une constante. En vue d'y remédier, S. Stoev et M.S. Taqqu (2004 et 2005) ont introduit le mouvement multifractionnaire stable linéaire (mmsl) ; ce processus stochastique strictement α-stable (StαS), désigné par {Y(t)}, est obtenu en remplaçant la mesure brownienne par une mesure StαS et le paramètre de Hurst H par une fonction H(.) dépendant de t. On se place systématiquement dans le cas où cette fonction est continue et à valeurs dans l'intervalle ouvert ]1/α,1[. Il convient aussi de noter que l'on a pour tout t, Y(t)=X(t,H(t)), où {X(u,v)} est le champ stochastique StαS, tel que pour tout v fixé, le processus {X(u,v)} est un mouvement fractionnaire stable linéaire. L'objectif de la thèse est de mener une étude approfondie du mmsl, au moyen de méthodes d'ondelettes ; elle consiste principalement en trois parties. (1) On détermine de fins modules de continuité, globaux et locaux de {Y(t)} ; cela repose essentiellement sur une nouvelle représentation de {X(u,v)}, sous la forme d'une série aléatoire, dont on montre la convergence presque sûre dans certains espaces de Hölder. (2) On introduit, via la base de Haar, une autre représentation de {X(u,v)} en série aléatoire ; cette dernière permet la mise en place d'une méthode de simulation efficace du mmsl, ainsi que de ses parties hautes et basses fréquences. (3) On construit des estimateurs par ondelettes du paramètre fonctionnel H(.) du mmsl, ainsi que de son paramètre de stabilité α.

Les travaux réalisés portent sur la conception de ligands protéiques capables de cibler le site catalytique des métalloprotéases matricielles (MMPs) grâce à une méthode d'ingénierie développée au laboratoire qui repose sur le greffage de motifs fonctionnels. Le motif fonctionnel choisi correspond aux 4 résidus N-terminaux du TIMP-2, un inhibiteur naturel des MMPs. Des plates-formes protéiques possédant des motifs d'acides aminés dans une topologie similaire à celle du motif de référence dans le complexe TIMP-2/MMP-14 ont été identifiées par criblage systématique de la PDB à l'aide du logiciel STAMPS (Search for Three-dimensional Atom Motif in Protein Structure). Dix candidats ligands satisfaisant les contraintes topologiques, stériques et de similarité électrostatique avec le ligand naturel TIMP-2 ont été sélectionnés. Ces ligands ont été produits par synthèse chimique ou par voie recombinante puis leur capacité à inhiber une série de 6 MMPs a été évaluée. Les résultats indiquent que tous les ligands protéiques conçus in silico sont capables de lier les sites catalytiques des MMPs avec des constantes d'association allant de 450 nM à 590 mM, sans optimisation supplémentaire. La caractérisation structurale par diffraction X de 2 variants d'un de ces ligands protéiques a permis de montrer que les interactions établies par le motif 1-4 dans ces ligands étaient similaires à celles observées dans le complexe TIMP-2/MMP-14, avec cependant des différences dans la géométrie de certaines d'entre elles. Des études de simulation par dynamique moléculaire ont également permis de mettre en évidence de possibles différences dans la géométrie et la stabilité de certaines des interactions reproduites dans les 10 plates-formes, pouvant contribuer aux affinités modestes observées pour ces ligands. Cependant, les résultats obtenus montrent que la méthode de conception in silico utilisée est capable de fournir une série de ligands protéiques de 1ère génération ciblant de manière spécifique un site catalytique d'intérêt avec un bon rendement. Cette méthode pourrait constituer la 1ère étape d'une approche hybride de conception in silico de ligands combinée à des techniques de sélection expérimentales.

Cette thèse aborde les formalismes pour la modélisation multi-physique en support au cycle en V de conception. Ce travail a été réalisé dans le cadre du projet ANR-MoCoSyMec, selon la méthodologie du prototypage virtuel fonctionnel (PVF) et illustré sur des systèmes électromagnétiques. Nous nous sommes principalement intéressés au langage VHDL-AMS, en tant que support aux différents niveaux de modélisation apparaissant dans le cycle en V de conception. Cela nous a conduits à traiter la portabilité et l'interopérabilité en VHDL-AMS de diverses méthodes et outils de modélisation. Nous avons proposé et validé, via le formalisme des composants logiciels ICAr, des solutions aux limites de l'utilisation de VHDL-AMS pour modéliser certains phénomènes physiques reposants sur des calculs numériques. Nous avons étendu la norme ICAr pour supporter des modèles dynamiques décrits par des équations différentielles algébriques (DAE) ; et pour des besoins de co-simulation, nous pouvons également y associer un solveur. Ces développements sont désormais capitalisés dans le framework CADES. Enfin, nous avons proposé une architecture pour le portage de modèles d'un formalisme à un autre. Elle a été définie et mise en oeuvre plus particulièrement pour des modèles magnétiques réluctants (Reluctool) et des MEMS magnétiques (MacMMems) vers le VHDL-AMS. Ces formalismes et méthodologies sont mis en oeuvre autour du PVF d'un contacteur électromagnétique.

L'étude est dédiée à la conception d'un système expert d'aide au tolérancement assurant la gestion multi-utilisateurs, multi-produits et temporelle des tolérances et des dimensions nominales de pièces pour des mécanismes complexes. Ce travail rentre dans le projet "usine numérique" de grandes entreprises et constitue un maillon manquant de cette chaîne numérique. Les travaux de thèse contribuent à la méthode CLIC (Cotation en Localisation avec Influence des Contacts) sur des liaisons complexes en proposant la spécification adéquate et le calcul de chaîne de cotes tridimensionnelle au pire des cas, dans un contexte de pièces non déformables. L'étude a abouti à onze nouvelles propositions de spécification, qui ne sont pas disponibles actuellement dans les normes utilisées par les industriels. La généralisation des conditions de respect d'un état virtuel aux liaisons complexes est un point fort. Un nouveau critère d'association géométrique a été proposé pour des surfaces constituant une liaison hybride ayant un double comportement, à la fois surfacique et avec jeu. Un algorithme de recherche des points de contact a été élaboré afin d'obtenir la résultante tridimensionnelle en fonction des tolérances et des paramètres nominaux des pièces, en vue d'effectuer la synthèse des tolérances. D'autres algorithmes utilisent une formulation analytique pour d'déterminer la situation au pire des cas. Ces algorithmes sont le fruit de la résolution du problème par la méthode des droites d'analyses.