No description available.

En fournissant des services financiers aux pauvres et aux exclus du système bancaire traditionnel, la microfinance remplit une mission sociale et de développement tout en étant ancrée dans le secteur marchand. Cette ambivalence lui confère un statut atypique parmi les instruments de l'aide au développement. Elle bénéficie ainsi de soutiens fiscaux, financiers et réglementaires, tout en gardant une autonomie relative à l'égard des États et des bailleurs de fonds. Pour éclairer ce mode singulier de gouvernance, ont été examinées les interactions entre des acteurs publics et privés, à buts lucratifs et non lucratifs. Celles-ci portent notamment sur la définition de standards, codes de conduite, bonnes pratiques, chartes, labels, procédures d'audit, mesures de performance et autres critères visant à encadrer l'activité de ce secteur. L'objectif consistait à démontrer qu'au-delà de leurs spécificités techniques, les normes qui prescrivent ou évaluent l'action des IMF constituent le support de conceptions distinctes de ce qu'est et de ce que doit être la microfinance. Au travers de l'étude des référentiels qui sont venus encadrer la dimension financière, puis sociale, de ce champ mondialisé, cette thèse explicite ainsi les structures d'autorité qui l'organisent.

Product tolerancing decisions made in product design have a significant effect on manufacturing environmental and cost performances by strongly influencing both the selection and operation of processing machinery. These decisions however are typically made without quantitative knowledge of their effects in manufacturing. With estimates of environmental and cost performances of manufacturing processes required to achieve specific part designs earlier in the product design cycle, designers may make more informed, and potentially better, design decisions with respect to manufacturing environmental and cost performance goals. In this thesis a method for quantifiably relating product tolerancing decisions to environmental and cost performances in manufacturing in order to provide decision support for cost and environmentally conscious design for manufacturing is developed. The method is instantiated as an Excel-based tool and exercised by two illustrative examples of increasing complexity, as well as a study of the manufacture of automotive transmission pinion gears with differing tolerance requirements. Uncertainty analysis is performed through the use of @RISK software; the uncertainty of parameters associated with manufacturing operations and machinery is captured through the use of probability density functions and Monte Carlo simulation is performed. Simulation results provide insight into the uncertainty of performance estimates and the risks associated with ensuing decision making. This method may be useful to product designers, as well as process planners, to support decision making efforts related to cost and environmental consciousness in the manufacturing phase of the product life cycle.

Linear elastic and nonlinear analysis procedures of 2006 Turkish Seismic Rehabilitation Code are applied to medium rise reinforced concrete buildings. In this study, four storey residential buildings are designed according to the 1998 and 1975 Turkish Seismic Design Codes, and the analysis procedures are verified on these case studies. In addition to these buildings, the analysis procedures are tested on an existing school building before and after retrofitting. The assessment procedures employed in the 2006 Turkish Seismic Rehabilitation Code are based on linear elastic analysis (equivalent lateral load method, mode superposition method) / non-linear analysis (pushover analysis with equivalent lateral load method and mode superposition method) and non-linear time history analysis. In this study, linear elastic analysis with equivalent lateral loads and non-linear static analysis (pushover analysis) with equivalent lateral loads are investigated comparatively. SAP2000 software is used for pushover analysis / however the plastic rotation values obtained from SAP2000 are not used directly but defined according to the code procedures. Post-elastic rotations at yielding sections are transferred to Excel and the corresponding strains are calculated from these rotations by Excel Macro. These strains are compared with strain limits described in the 2006 Turkish Seismic Rehabilitation Code to obtain the member performances. In the linear elastic procedure, structural analysis is performed also by SAP2000 to obtain the demand values, whereas the capacity values are calculated by another Excel Macro. With these demand and capacity values, corresponding demand to capacity ratios are calculated and compared with demand to capacity ratio limits described in 2006 Turkish Seismic Rehabilitation Code to obtain the member performances. Global performances of the buildings are estimated from the member performances and from the inter-storey drifts for both two methods. The results are compared to each other, and critically evaluated.

La performance et l'efficacité de la gestion sont devenues une préoccupation au sein de la communauté de gestion de réseaux et de services depuis maintenant. Cette préoccupation est due ssentiellement aux dimensions grandissantes de réseaux et de services, à l'intégration de plan de gestion dans le plan fonctionnel de ses réseaux et ses services et la précision qu'elle doit offrir la gestion afin d'accomplir ses tâches convenablement avec des délais raisonnables. Les études existantes qui ont tentées de quantifier la performance de la gestion présentent plusieurs limites au niveau des métriques et des méthodes employées. En effet, les principales lacunes de ces études sont l'absence de métriques standards et les caractères non comparables, non reproductibles et non représentatives de leurs méthodologies de mesure.<br /><br />Etant donné ce cadre, nous avons travaillé sur la définition d'un ensemble de métriques primaires et secondaires pour mesurer la performance d'une approche de gestion. Les métriques primaires sont regroupées en trois familles : rapidité, coût et qualité. Les métriques secondaires proposées reposent sur ces dernières et permettent de quantifier l'efficacité, le passage à l'échelle et l'incidence de la gestion. Nous avons élaboré une méthodologie pour mesurer ces métriques primaires. Afin de valider cette proposition, nous avons conçu et implanté un banc de mesure dédié à l'évaluation de performances de l'approche de gestion JMX.<br /><br /><br />La seconde partie de notre travail a porté sur l'élaboration de fines campagnes de mesures de performances de JMX. Les résultats de ces mesures, nous ont permis de caractériser le passage à l'échelle, l'incidence de la gestion sur la performance d'un système géré et les délais de l'approche JMX sous différents scénarios. Nous avons trouvé que les délais que subissent les opérations JMX suivent approximativement une distribution statistique de Weibull. Grâce à ce rapprochement, nous avons pu identifier l'effet des délais sur le comportement d'un algorithme de supervision, notamment la distorsion temporelle de la vue observée par le gestionnaire par rapport à la vue réelle du système géré.

Cette thèse est consacrée à l'implémentation de PEPSys (Parallel ECRC Prolog System) sur un multiprocesseur à mémoire partagée et à l'évaluation de cette implémentation. Le projet PEPSys vise à exploiter le parallélisme en programmation logique pour obtenir, sur les multiprocesseurs existants actuellement, des gains de performances relativement aux systèmes Prolog les plus efficaces. Un langage, extension de Prolog, un modèle de calcul et une machine abstraite basée sur la WAM ont été définis et validés par une implémentation sur multiprocesseur et une simulation d'architecture parallèle extensible. Le modèle de calcul supporte les parallélismes OU et ET indépendant ainsi que leur combinaison avec l'exécution séquentielle et le retour-arrière. L'implémentat,ion de PEPSys qui fait l'objet de cette thèse constitue l'un des premiers systèmes logiquesO.U-parallèles à procurer des gains de performances, relativement aux systèmes Prolog séquentiels efficaces. Les nombreuses mesures présentées dans la thèse permettent de valider cette implémentation ainsi que les principaux mécanismes du modèle de calcul, tout en suggérant des optimisations

La recherche dans le domaine des systèmes contrôlés en réseau a considérablement évolué depuis qu'Ethernet est de plus en plus utilisé en remplacement des traditionnels réseaux locaux industriels. Si ce choix d'Ethernet se justifie par sa faculté intrinsèque à supporter toutes les communications de l'entreprise (du bureau à l'atelier), il s'accorde difficilement avec les contraintes temporelles des applications de contrôle / commande distribuées. Contrairement aux réseaux de terrain, l'indéterminisme de l'accès à la voie d'Ethernet ne permet pas de garantir le respect des contraintes temporelles strictes.<br />La contribution de cette thèse est la définition d'une approche analytique permettant de majorer les délais de communication de bout en bout dans les systèmes contrôlés en réseau lorsqu'ils reposent sur une architecture Ethernet commutée. Les travaux se sont focalisés sur l'adaptation de la théorie du calcul réseau à ce type d'environnement. Dans ce cadre, cette thèse développe la modélisation d'un commutateur IEEE 802.1D ainsi qu'une méthode de calcul des délais de bout en bout basée sur l'augmentation du volume des rafales. Plusieurs expérimentations réelles ont permis de valider l'efficacité des bornes obtenues par calcul.<br />Outre l'évaluation de performances, ces travaux s'intéressent également à la Classification de Service (IEEE 802.1D/p) et à l'optimisation de l'ordonnancement des trames sur Ethernet. Cette thèse montre enfin comment une méthode d'évaluation de performances peut être utilisée pour dimensionner et optimiser la conception d'architectures Ethernet commutées.

Le démarrage de l'expérience ATLAS auprès du LHC au CERN est prévu pour l'année 2007. Le programme de physique de l'expérience couvre un domaine vaste allant du Modèle Standard (mise en évidence du boson de Higgs) jusqu'au delà avec les nouvelles théories (supersymétrie, dimensions supplémentaires ....etc). Le travail présenté dans cette thèse rentre dans le cadre de préparation au démarrage de cette expérience. Après avoir présenté le run combiné de 2004, ses installations et les analyses des données de calibration et des piédestaux du calorimètre électromagnétique, nous développons une méthode d'étalonnage de l'énergie des<br />électrons dans le calorimètre électromagnétique basée totalement sur les données de la simulation GEANT4 du run combiné. Nous exposons ensuite l'étude des performances du calorimètre électrom\-agnétique ainsi que les résultats obtenus: un terme d'échantillonnage de la résolution en énergie de 10.6$\%$ GeV$^{0.5}$ et un terme constant local de 0.43$\%$, une non-uniformité de réponse de 0.44$\%$ donnant un terme constant global de 0.6$\%$ et une linéarité en fonction de l'énergie meilleure que 0.2$\%$ pour des énergies d'électrons entre 20 et 250 GeV. Côté simulation de "physique" de cette thèse, nous montrons une première étude sur la détermination de l'angle effectif de mélange $\sin^{2}\theta^{lept}_{eff}$ avec une précision meilleure que les résultats actuels, 10$^{-4}$. Pour atteindre une telle précision il va falloir identifier les électrons dans les régions vers l'avant du détecteur. Ce point fait l'objet de la dernière partie de ce manuscrit, il montre qu'on peut atteindre un taux de rejet électron-jet de 100 avec une efficacité de reconstruction des électrons de 50$\%$, en utilisant une analyse discriminante basée sur les méthodes de Fisher, le<br />maximum de vraisemblance et les réseaux de neurones.

Cette thèse porte sur l'étude des performances des estimateurs dans le cadre du traitement du signal et s'attache plus particulièrement à étudier et unifier les bornes minimales d'estimation. Nous caractérisons ainsi les limites des méthodes du maximum de vraisemblance en terme d'erreur quadratique moyenne (EQM).<br /><br />La difficulté majeure provient du fait que l'EQM de l'estimateur d'un paramètre à support borné se divise en trois régions : la plage asymptotique, souvent caractérisée par un grand nombre d'observations ou un faible niveau de bruit, où l'erreur d'estimation est faible, la plage de décrochement où l'EQM se dégrade rapidement et la zone a priori où les observations se réduisent principalement à la seule contribution du bruit et donc, n'apportent pratiquement plus d'informations sur les paramètres à estimer. Beaucoup de résultats sont disponibles pour la zone asymptotique : distribution des estimées, biais, variance. En revanche, le comportement des estimateur dans les zones de décrochement et a priori a été beaucoup moins étudié. Pourtant ces zones non-asymptotiques constituent au même titre que le biais ou la variance une caractéristique fondamentale d'un estimateur puisque qu'elle délimite la plage acceptable de fonctionnement optimal.<br /><br />Le but de cette thèse est, dans un premier temps, de compléter la caractérisation de la zone asymptotique (en particulier lorsque le rapport signal sur bruit est élevé et pour un nombre d'observations fini) pour les estimateurs au sens du maximum de vraisemblance dans un contexte traitement d'antenne. Dans un second temps, le but est de donner les limites fondamentales de l'EQM d'un estimateur sur ses trois plages de fonctionnement. Les outils utilisés ici sont les bornes minimales de l'EQM autres que les bornes de Cramér-Rao dont la validité n'est qu'asymptotique.<br /><br />Les résultats obtenus sont appliqués à l'analyse spectrale et à l'estimation de porteuse dans le contexte des communications numériques et fournissent de surcroît des outils intéressants pour prédire la zone de décrochement d'un récepteur.

Ces travaux concernent la modélisation et l'analyse de performances du trafic et des applications multimédia dans les réseaux hétérogènes. Le trafic IP agrégé et les applications audio, vidéo et données sont étudiés. Cette étude nous conduit à proposer un modèle générique et hiérarchique pour la représentation des sources de trafics multimédia qui permet de décrire les applications multimédia d'une façon simple, précise et générique. Le modèle générique est implémenté et constitue le noyau d'un outil de modélisation et simulation des sources de trafics. Une caractérisation du trafic IP issu d'applications multimédia est conduite en utilisant les modèles développés avec cet outil. Particulièrement, la problématique de la modélisation des sources de trafics agrégées est adressée, et des modèles agrégés simples sont déduites pour la superposition des sources de trafics audio, vidéo et données. Le trafic agrégé de type TCP présente des propriétés statistiques variables en fonction du taux de pertes de paquets sur le réseau à cause du contrôle en boucle fermée imposé par TCP. Un nouveau modèle analytique du protocole TCP basé sur la théorie différentielle du trafic est ensuite proposé. Ce modèle permet une représentation fiable du trafic TCP tout en étant très performant sur les réseaux à grande échelle. Finalement, une extension de l'architecture du protocole SIP est présentée afin de permettre une gestion de la qualité d service au niveau session. Les mécanismes proposés reposent sur l'ordonnancement stochastique des sessions et l'allocation de la bande passante par des approches d'évaluation de bande passante équivalente. Cette dernière technique rend possible l'utilisation des formules d'Erlang dans les réseaux à commutation de paquets