Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2005. / Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 143-155.

Thèse doctorat : Traitement du signal et télécommunications : Rennes 1 : 2007. / Bibliogr. p. 129-134.

Reproduction de : Habilitation à diriger des recherches : Sciences physiques : Lille 1 : 2005. / Synthèse des travaux en français. Recueil de publications en anglais non reproduit dans la version électronique. N° d'ordre (Lille 1) : 465. Curriculum vitae. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 199-216. Liste des publications et des communications.

Thèse de doctorat : Informatique : Nancy 1 : 2001. / Thèse : 2001NAN10123. Titre provenant de l'écran-titre.

Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2006. / Titre provenant de l'écran-titre. Bibliogr. 117 réf.

Thèse (M.Sc.)--Université Laval, 2008. / Titre de l'écran-titre (visionné le 25 mars 2009). Bibliogr.

Thèse (M.Sc.)--Université Laval, 2005. / Bibliogr.: f. [65]-66. Publié aussi en version électronique.

Les avancées technologiques des programmes de simulation et des ordinateurs commerciaux rendent la simulation en temps réel de procédés complexes plus accessible au public. La simulation en temps réel nous permet de ressentir les vraies dynamiques d'un modèle physique qui pourrait être trop difficile ou trop coûteux à réaliser en réalité. Le concept présenté, dans ce mémoire, porte sur l'utilisation de la simulation en temps réel pour réaliser des laboratoires virtuels interactifs et versatiles. En génie électrique, on pourrait prendre comme exemple les laboratoires de machines électriques où il est difficile en salle de classe de démontrer les dynamiques et les envergures des machines rencontrées dans l'industrie. Le laboratoire virtuel de ce cours serait une représentation complète de la table physique dans l'environnement de simulation, à la différence que l'on pourrait modifier les machines à volonté pour avoir par exemple des machines plus proches de la réalité industrielle. Dans un premier temps, les objectifs et contraintes des laboratoires d'enseignement sont présentés. On en déduira les objectifs que doivent remplir les laboratoires virtuels en temps réel. Ensuite, on introduira la conception de la structure que doit respecter le modèle de simulation pour permettre la réalisation d'un laboratoire "bac à sable". Une réflexion doit être apportée pour que le modèle permette à l'utilisateur de réaliser le maximum d'expériences différentes tout en restant intuitif. Des composants permettant d'atteindre les objectifs déterminés ont été développés. Ils ont été créés pour permettre leur modification durant la simulation, apportant ainsi une plus grande versatilité une fois la simulation créée. Enfin, l'étendue des possibilités que proposent les laboratoires virtuels en temps réels sera présentée. Des expériences seront réalisées sur deux laboratoires créés dans le cadre de ce mémoire. Le premier traite du cours d'électrotechnique fondamental, où divers essais sur les transformateurs et les charges passives peuvent être réalisés. Le deuxième porte sur un réseau d'usine où le démarrage des machines de grande puissance et leurs interactions sont présentés. / Technological advances in simulation programs and commercial computers make real-time simulation of complex processes more accessible to the general public. Real-time simulation allows us to experience the true dynamics of a physical model that might be too difficult or too expensive to realize in reality.The concept presented in this memoire focuses on the use of real-time simulation to create interactive and versatile virtual laboratories. In electrical engineering, we could take, as an example, the electrical machine laboratories where it is di cult in the classroom to demonstrate the dynamics and scale of machines encountered in the industry. The virtual lab in this course would be a complete representation of the physical workbench with in the simulation environment. With the difference that the machines could be modified at will, for example, to be closer to the reality of the industry. First, the objectives and constraints of the teaching laboratories are presented, from wich we will deduce the objectives that must be fullled by real-time virtual laboratories.Then, we will introduce the design of the structure that the simulation model must respect to allow the realization of a "sandbox" type laboratory. The model must allow to realize a maximum of different experiments while remaining intuitive.Components allowing to reach the determined objectives have been developed. They were created toallow their modification during the simulation, thus bringing a greater versatility once the simulationis created.Finally, the extent of the possibilities oered by real-time virtual laboratories will be presented. Experiments will be performed on two labs created for this memoire. The firrst deals with the fundamental electrical engineering course, where various tests on transformers and passive loads can be performed. The second deals with a factory grid where the starting of large machines and their interactions are presented.

Une jeune femme qui cherche des souliers dans les ruelles et qui mémorise les pavillons à la poupe des cargos, un libraire qui collectionne les aquariums et un chien qui se prend pour un baron. D'abord isolés, les personnages de La ruelle aux aquariums développent une amitié aussi profonde qu'étrange. Jusque-là confinés à la marge, ils se rencontrent le temps de faire pour l'autre la cartographie de leurs mondes et d'effacer la frontière séparant la réalité rêche d'une imagination salutaire. En écrivant ce roman sur un ordinateur, une question s'est imposée: ±Qu'implique au juste l'utilisation de cet outil pour l'écrivain?¿. S'ouvrait alors une réflexion sur le romancier qui, composant une oeuvre à paraître sous forme imprimée, entretient une relation nouvelle avec son support d'écriture. Puisqu'il est question d'ordinateur, de brouillon et d'imprimé, la première section rappelle d'abord les principales transformations qu'ont subies les supports d'écriture et le brouillon à travers le temps du point de vue des informaticiens, des généticiens du texte et des historiens du livre. Avec l'écran comme vecteur d'une nouvelle relation entre le romancier et son texte, c'est ensuite la nature du ±brouillon numérique¿ qui apparaît. Mais ce brouillon, largement influencé par l'±image¿ iconique (Eco), comporte une ±friabilité¿ doublée d'une illusion contradictoire: à l'état de chantier, il prend souvent les allures d'un texte fini. C'est là le côté ±charlatan¿ du numérique. Pour capter cette ±image¿, la médiologie de Régis Debray a, dans un troisième temps, servi d'interface. Grâce au concept de médiasphère, le lien entre l'innovation technique et le roman est analysé dans une perspective diachronique, traçant du coup les contours de la période de transition dans laquelle nous nous trouvons. Appliquées à notre objet, les caractéristiques de cette période font émerger une nouvelle posture de l'écrivain à laquelle s'accrochent des ±rôles¿ transformés (romancier-lecteur, éditeur et imprimeur) dont l'impact est discuté. Enfin, la friabilité du brouillon est interrogée en regard de sa sauvegarde et de son archivage, le brouillon numérique destiné à l'impression impliquant plusieurs sauvegardes et un archivage qui peuvent poser problème.

Certains protocoles cryptographiques ont été développés spécifiquement pour assurer quelques propriétés de sécurité dans nos réseaux de communication. Dans le but de s'assurer qu'un protocole remplit ses propriétés de sécurité, des vérifications probabilistes y sont donc entreprises afin de confirmer s'il présente des failles lorsqu'on prend en compte leur comportement probabiliste. Nous avons voulu entreprendre une méthode probabiliste, mais aussi non-déterministe, de modélisation de protocoles afin de confirmer si cette méthode peut remplacer d'autres qui ont déjà été utilisées pour vérifier des failles sur des protocoles cryptographiques. Cela nous a motivé à envisager comme objectif de nos recherches scientifiques, des analyses quantitatives des possibilités de faille sur des protocoles cryptographiques. / Certain cryptographic protocols were specifically developed to provide some security properties in our networks of communication. For the purpose of assuring that a protocol fulfils its security properties, probabilistic model checkings are undertaken to confirm if it introduces a fault when its probabilistic behavior is considered. We wanted to use a probabilistic method (and also non-deterministic) of protocols modeling to confirm if this method may substitute others that were already used for checking faults in cryptographic protocols. It leads us to consider the objective of our scientific researches as: quantitative analysis of faults in cryptographic protocols.