Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La recherche sur les sources d'électrons modulées en temps connaît actuellement un vif intérêt, notamment dans le domaine des sciences fondamentales ou pour certaines applications exigeantes. C'est dans ce contexte que ce travail exploratoire sur l'émission de champ (EC) photo-assistée de nanofils de silicium s'inscrit. Nous explorons dans un premier temps les caractéristiques émissives de ces nanofils semi-conducteurs présentant un régime de saturation très prononcé, très sensible à la température et à la lumière, et encore jamais observé pour de telles structures à température ambiante. Le rôle important joué par la surface dans la saturation est prouvé par des traitements in-situ ayant des conséquences radicales sur les caractéristiques courant-tension de l'EC. Grâce à des cycles de passivation à l'hydrogène nous avons pu montrer le rôle des liaisons pendantes à l'interface matériau/oxyde dans la saturation et basculer de façon réversible entre un comportement quasi-métallique et semiconducteur. Nous étudions ensuite la réponse de ces émetteurs à une excitation optique modulée en temps. Leur réponse est attribuée à la photoconduction due à l'absorption directe : les effets thermiques peuvent être exclus à ces puissances laser. Nous avons alors mis en évidence la présence de deux constantes de temps associées à l'éclairement et la relaxation de l'échantillon. Le rôle des états pièges en surface prend là encore une part importante dans le temps de réponse de l'échantillon en limitant celui-ci à quelques dizaines de microsecondes seulement. Enfin nous avons mis en évidence un effet complètement nouveau en EC sous éclairage laser : une double résistance différentielle négative. Dans les dispositifs à semiconducteurs, cet effet est généralement associé à des oscillations de courant à haute fréquence et ouvre la perspective vers des sources EC compactes et auto-oscillantes à très hautes fréquences / There is currently a notable rise in research on time modulated electron sources for new fundamental science and for several demanding applications. Our exploratory work on photo-assisted field emission (FE) from silicon nanowires falls within this context. We first explore FE characteristics of these semiconducting nanowires, which are very sensitive to temperature and light and present a very pronounced current saturation regime, never observed before on such structures. The strong influence of surface states on the saturation regime is proven by in-situ treatments, which radically alter the FE current-voltage characteristics. H-passivation cycles reveal the role of dangling bonds at material/oxide interface in the saturation regime and allow to reversibly switch between a quasi-metal and semiconductor behavior. We then study the response of these emitters to a time modulated optical excitation. The response is attributed to direct absorption photoconduction after excluding thermal effects at these laser powers. The existence of two time constants associated with illumination and relaxation time is shown. The role of the surface state traps again plays an important part in the response time, limiting it to some tens of microseconds. Finally, a completely new effect in FE under laser illumination is identified : a double negative differential resistance. In semiconductor devices this effect is usually associated with high frequency current oscillations and thus opens perspectives toward compact and high frequency self-oscillating FE sources

Le problème que je traite dans la thèse est comment offrir de<br />manière efficace les contraintes de cohérence et les requis de temps de<br />réponse, demandés par des services repliqués hétérogènes, accédés à large échelle.<br />La réplication est une technique classique utilisée pour améliorer la performance des applications<br />Internet populaires, surtout quand elles sont accédées concurremment<br />par un grand nombre de clients, dispersés à travers le monde. <br />Les travaux existants ne prennent pas en compte la diversité des demandes des services<br />pour différentes ressources système et réseau. Cette hypothèse relève une difficulté importante du problème de l'estimation du temps de réponse.<br />Une autre difficulté est déterminée par la hétérogénéité des capacités des ressources et par la variabilité des disponibilités des ressources. <br />Nous proposons une approche d'estimation, où le temps de réponse est décomposé dans des composants indépendants (temps de service et temps<br />d'attente), et chaque composante est approximée séparément, en prenant<br />en compte les capacités et les utilisations courantes des ressources demandées par le service.<br />Le requis sur le temps de réponse est spécifié par le fournisseur du<br />service, par un seuil qui correspond à la moyenne de temps de<br />service des requêtes, ou comme critère d'optimisation, demandant le meilleur temps de réponse. <br />Le requis est realisé par un protocole générique qui détermine quel<br />est le réplicat approprié à choisir pour répondre aux requêtes de<br />chaque client, parmi tous les réplicats existants. Nous avons implementé cette solution et les résultats expérimentaux obtenus ont montrés la satisfaction du requis sur le temps de réponse, à un coût raisonnable.<br /><br />Les approches existantes pour la gestion de la cohérence des<br />réplicats, offre un ensemble limité des garanties pour tous les<br />services. Tout de même, la variété des sémantiques des services,<br />demande des combinaisons des garanties différentes d'un service à<br />l'autre. Nous proposons un meta-modèle de cohérence, qui réifie les<br />garanties de cohérence existantes, en identifiant les paramètres qui<br />caractérisent chaqu'une des trois dimensions de la cohérence: contrôle<br />de divergence, contrôle de concurrence et contrôle de dépendances.<br />Le meta-modèle est attaché un protocole de cohérence générique, qui réalise des modèles de cohérence spécifiques aux services. Un modèle de cohérence, spécifié par le fournisseur du service, contient<br />des contraintes de sûreté, nécessaires pour que le service fonctionne<br />correctement lorsqu'il est répliqué, et des contraintes de vivacité,<br />nécessaires pour limiter la discrépance entre l'état d'un réplicat<br />particulier et l'état du réplicat idéal. Le protocole de cohérence<br />assemble trois briques de base indépendantes, qui correspondent aux<br />trois dimensions orthogonales de la cohérence. <br /><br />Le message de la thèse c'est que notre approche de réplication gère la hétérogénéité des<br />services en terme de sémantiques des opérations et de demandes de<br />ressources, en satisfaisant les contraintes appropriées concernant la cohérence des réplicats<br />et la performance observé par les requetes des clients.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Bien que les écrans à cristaux liquides (ou LCD) sont aujourd'hui devenus un standard dans les technologies d'affichage en détrônant le tube cathodique, la qualité des images fournie par ce type d'écran reste en deçà de son vieillissant homologue. Ces problèmes visuels (ou artefacts) sont caractérisés par des effets de flou présents à l'écran et ont pour origine le "temps de réponse" des écrans LCD ainsi que le mode de pilotage de l'écran peu adapté à notre système visuel (artefact appelé "hold effect"). Le travail présenté dans ce mémoire de thèse apporte sa contribution dans le domaine de l'amélioration des artefacts visuels sur les panneaux LCD. Notre approche propose non seulement un vocabulaire mathématique et des définitions adaptées aux transitions de luminance mais aussi plusieurs modèles permettant une représentation analytique concise du temps de réponse. Contrairement aux solutions classiques de réduction de temps de réponse, appelées overdrive, l'utilisation des modèles mathématiques proposés permet de s'affranchir de longues campagnes de mesures et de s'adapter facilement au changement de fréquence de rafraîchissement de l'écran. Deux algorithmes d'amélioration des artefacts sont ainsi proposés : le premier pour les téléviseurs et les moniteurs LCD et le second pour les petits écrans d'appareils portables. Enfin, une fois cette première étape franchie, nous proposons une étude des solutions destinée à réduire le hold effect, artefact indépendant du temps de réponse.

La recherche sur les sources d'électrons modulées en temps connaît actuellement un vif intérêt, notamment dans le domaine des sciences fondamentales ou pour certaines applications exigeantes. C'est dans ce contexte que ce travail exploratoire sur l'émission de champ (EC) photo-assistée de nanofils de silicium s'inscrit. Nous explorons dans un premier temps les caractéristiques émissives de ces nanofils semi-conducteurs présentant un régime de saturation très prononcé, très sensible à la température et à la lumière, et encore jamais observé pour de telles structures à température ambiante. Le rôle important joué par la surface dans la saturation est prouvé par des traitements in-situ ayant des conséquences radicales sur les caractéristiques courant-tension de l'EC. Grâce à des cycles de passivation à l'hydrogène nous avons pu montrer le rôle des liaisons pendantes à l'interface matériau/oxyde dans la saturation et basculer de façon réversible entre un comportement quasi-métallique et semiconducteur. Nous étudions ensuite la réponse de ces émetteurs à une excitation optique modulée en temps. Leur réponse est attribuée à la photoconduction due à l'absorption directe : les effets thermiques peuvent être exclus à ces puissances laser. Nous avons alors mis en évidence la présence de deux constantes de temps associées à l'éclairement et la relaxation de l'échantillon. Le rôle des états pièges en surface prend là encore une part importante dans le temps de réponse de l'échantillon en limitant celui-ci à quelques dizaines de microsecondes seulement. Enfin nous avons mis en évidence un effet complètement nouveau en EC sous éclairage laser : une double résistance différentielle négative. Dans les dispositifs à semiconducteurs, cet effet est généralement associé à des oscillations de courant à haute fréquence et ouvre la perspective vers des sources EC compactes et auto-oscillantes à très hautes fréquences

De nombreux chercheurs et cliniciens sont sceptiques quant à la validité des questionnaires autoadministrés, lorsqu’utilisés auprès d’une population carcérale (Gendreau, Irvine et Knight, 1973), surtout si celle-ci est composée de délinquants sexuels (Marshall et Hall, 1995). La sensibilité des sujets investigués jumelés à la transparence des questions expose l’évaluateur à la possibilité que le participant dissimule et modifie ses réponses (Tierney et McCabe, 2001). L’objectif de ce projet est de comprendre les processus impliqués dans la performance des participants à une évaluation autoadministrée. Les données de 282 délinquants sexuels ayant complétés le Multidimensional Inventory of Development, Sex, and Agression (MIDSA) ont été analysées afin de mieux comprendre l’interaction entre les échelles de désirabilité sociale, les temps de latence et les coefficients d’ajustement du modèle de Rasch. La convergence des analyses de temps de latence et des échelles de désirabilité sociale semble indiquer que certains participants dissimuleraient consciemment leurs réponses. Notamment, les participants détectés par les échelles de désirabilité sociales sembleraient répondre de manière de plus lente aux échelles d’évaluations, et certains d’entre eux offriraient des patrons de réponses incohérents à la prescription du modèle de Rasch. Les hypothèses permettant d’expliquer les potentiels mécanismes liés à la dissimulation seront discutées. / Many researchers and clinicians are skeptical towards the validity of self-reported assessment used within a forensic population (Gendreau, Irvine, & Knight, 1973), especially when used within a sexual offender population (Marshall & Hall, 1995). The sensitivity of the topics addressed as well as the transparency of the questions expose the evaluator to possible dissimulations or distortions in the subject responses (Tierney & McCabe, 2001). Responses of 282 sexual offenders who completed the Multidimensional Inventory of Development, Sex, and Aggression (MIDSA) were analyzed in order to understand the interaction between response time, social desirability scales and Rasch person-fit scores in order to account for response distortion. The convergence of latency times and social desirability scales seems to indicate that certain participants consciously manipulate their responses. Notably, participants detected by social desirability scales seem to respond more slowly to particular items. Other participants may answer in ways that are incoherent with the predicted responses according to the Rasch model. Hypotheses as to potential mechanisms underlying this process will be discussed.

Les systèmes électroniques embarqués dans les véhicules ont une complexité sans cesse croissante. Cependant, il est crucial d'en maîtriser le comportement temporel afin de garantir la sécurité ainsi que le confort des passagers. La vérifica- tion des contraintes temporelles de bout-en-bout est donc un enjeu majeur lors de la conception d'un véhicule. Dans le contexte de l'architecture logicielle AUTOSAR standard dans les véhicules, nous décomposons la vérification d'une contrainte de bout-en-bout en sous-problèmes d'ordonnancement sur les calculateurs et sur les réseaux de communication que nous traitons ensuite séparément. Dans un premier temps, nous présentons une approche permettant d'améliorer l'utilisation des calculateurs exécutant un grand nombre de composants logiciels, compatible avec l'introduction progressive des plateformes multi-coeurs. Nous dé- crivons des algorithmes rapides et efficaces pour lisser la charge périodique sur les calculateurs multi-coeurs en adaptant puis en améliorant une approche existant pour les bus CAN. Nous donnons également des résultats théoriques sur l'efficacité des algorithmes dans certains cas particuliers. Enfin, nous décrivons les possibili- tés d'utilisation de ces algorithmes en fonction des autres tâches exécutées sur le calculateur. La suite des travaux est consacrée à l'étude des distributions de temps de réponse des messages transmis sur les bus CAN. Dans un premier temps nous pré- sentons une approche de simulation basée sur la modélisation des dérives d'horloges des calculateurs communicant sur le réseau. Nous montrons que nous obtenons des distributions de temps de réponse similaires en réalisant une longue simulation avec des dérives d'horloge ou en faisant un grand nombre de courtes simulations sans dérives d'horloge. Nous présentons enfin une technique analytique pour évaluer les distributions de temps de réponse des trames CAN. Nous présentons différents para- mètres d'approximation permettant de réduire le nombre très important de calculs à effectuer en limitant la perte de précision. Enfin, nous comparons expérimentale- ment les résultats obtenus par analyse et simulation et décrivons les avantages et inconvénients respectifs de ces approches.

Nous évaluons dans cette thèse deux performances temporelles des architectures d automatisation distribuées sur Ethernet commuté et utilisant un modèle de coopération client/serveur : Le temps de réponse entre une occurrence d un événement d entrée et l occurrence de l événement de sortie correspondant ; Le temps de cycle réeseau pour la scrutation par un contrôleur de l ensemble de ses modules d entrées / sorties déportées. La conjonction de trois mécanismes de consommation de temps rend ces deux performances variables et difficiles à déterminer de manière analytique. Par conséquent, la méthode proposée se base sur la simulation d un modèle en réseau de Petri temporisé et coloré du comportement dynamique de l architecture complète. Les résultats obtenus sur six architectures test permettent de : Montrer que les architectures multi-contrôleurs utilisant le modèle de coopération client / serveur donnent des temps de cycle réseau plus rapide que celles basées sur les modèles maître / esclave et producteur / consommateur ; Quantifier l influence du réseau et des mécanismes de consommation du temps.

Les systèmes de commande en réseau (SCR) sont de plus en plus répandus dans le milieu industriel. Ils procurent en effet de nombreux avantages en termes de coût, de flexibilité, de maintenance, etc. Cependant,l'introduction d'un réseau, qui par nature est composé de ressources partagées, impacte considérablement les performances temporelles des systèmes de commande. Un signal de commande par exemple n'arrive à destination qu'après un certain délai. Pour s'assurer que ce délai soit inférieur à un certain seuil de sécurité ou du respect d'autres contraintes temps réels de ces systèmes, une évaluation au préalable, avant la mise en service d'un SCR, s'avère donc nécessaire. Dans nos travaux de recherche, nous nous intéressons à la réactivité des SCR client/serveur et évaluons leur temps de réponse.Notre contribution dans ces travaux est d'adopter une approche analytique à base de l'algèbre (Max,+) et remédier aux problèmes des méthodes existantes comme l'explosion combinatoire de la vérification formelle ou de la non exhaustivité des approches par simulation. Après modélisation des SCR client/serveur à l'aide de Graphe d'Evénements Temporisés puis représentation de leurs dynamiques à l'aides d'équations (Max,+) linéaires, nous obtenons des formules de calcul direct du temps de réponse. Plus précisément, nous adoptons une analyse déterministe pour calculer les bornes, minimale et maximale, du temps de réponse puis une analyse stochastique pour calculer la fonction de sa distribution. De plus, nous prenons en compte dans nos travaux tous les délais élémentaires qui composent le temps de réponse, y compris les délais de bout-en-bout, dus à la traversée du seul réseau de communication. Ce dernier étant naturellement composé de ressources partagées, rendant l'utilisation des modèles (Max,+) classiques impossibles, nous introduisons une nouvelle approche de modélisation à base du formalisme (Max,+) mais prenant en compte le concept de conflit ou ressource partagée.L'exemple d'un réseau de type Ethernet est considéré pour évaluer ces délais de bout-en-bout. Par ailleurs, cette nouvelle méthode (Max,+) est assez générique et reste applicable à de nombreux systèmes impliquant des ressources partagées, au delà des seuls réseaux de communication. Enfin, pour vérifier la validité des résultats obtenus dans nos travaux, notamment la formule de la borne maximale du temps de réponse, une compagne de mesures expérimentales sont menées sur une plateforme dédiée. Différentes configurations et conditions de trafic dans un réseau Ethernet sont considérées.