L'avènement d'Internet révolutionne l'accès à l'information, mais contribue également à l'essor de nouveaux services, notamment le commerce électronique, à l'allègement de la bureaucratie et à l'arrivée d'une multitude de e-services. Or, le développement de cette technologie de l'information s'est accompagné d'une panoplie de problématiques. Parmi celles-ci, les plus inquiétantes ont trait à la sécurité puisqu'elles mettent en péril le bon fonctionnement de ces services. Le présent mémoire approfondit ces problématiques de sécurité selon une approche formelle : les algèbres de processus. Dans un premier temps, le fruit de la recherche sur les failles de sécurité réseau de niveau deux et trois de la couche TCP/IP et d'une étude comparative de l'expressivité des principales algèbres de processus est présenté. Dans un second temps, les caractéristiques souhaitées d'une algèbre de modélisation de réseau sont mises en exergue et sont intégrées dans la syntaxe et la sémantique d'une nouvelle algèbre. Finalement, une nouvelle algèbre de processus pour la modélisation de réseau, Netcal, ainsi que les principes d'un système de détection de failles d'architecture et de configuration de réseau sont explicités.

Québec Université Laval, Bibliothèque 2014

Cette recherche avait pour but de comparer l'efficacité de divers modèles d ’évaluation formative sur le rendement des étudiants à l'apprentissage immédiat et sur la rétention des connaissances à moyen terme et à long terme. La recherche a été effectuée avec des étudiants provenant des écoles secondaires de la Commission scolaire régionale du Grand-Portage. Le cheminement demandé à chaque étudiant consistait à étudier quatre modules d'enseignement sur le système circulatoire, selon une période de temps maximum pour permettre à chacun de compléter l'étude des quatre modules d'enseignement à son propre rythme. Le cours modulaire a duré un mois ou l'équivalent de vingt périodes d'apprentissage de cinquante-cinq minutes chacune. Quatre groupes ont été formés: groupe 1: exercices formatifs en cours de module et tests formatifs avec décisions en fin de module; groupe 2: sans exercices formatifs en cours de module et tests formatifs sans décisions en fin de module; groupe 3: sans exercices formatifs en cours de module et tests formatifs avec décisions en fin de module; groupe 4: exercices formatifs en cours de module et tests formatifs sans décisions en fin de module. Selon le traitement, les étudiants ou les professeurs ont pris des décisions de poursuivre ou non l'apprentissage à partir de différents critères de réussite déterminés pour chaque exercice formatif et pour chacun des quatre tests formatifs. Après avoir complété l'étude des quatre modules d'apprentissage, tous les étudiants ont été soumis à un examen terminal pour mesurer l'apprentissage immédiat. Trois semaines plus tard, ils ont reçu le même examen terminal pour mesurer la rétention des connaissances à moyen terme. Et après onze semaines, ils ont tous subi l'examen du ministère de l'Education pour estimer leur rétention des connaissances à long terme. A l'apprentissage immédiat, les étudiants du groupe 1 (tests formatifs avec décisions et avec exercices formatifs) ont mieux réussi à l'examen terminal administré immédiatement après l 'expérimentation. Aussi, nous avons enregistré une différence significative pour les exercices formatifs (avec ou sans). Trois semaines après l'expérimentation, les étudiants du groupe 4 (tests formatifs sans décisions et avec exercices formatifs) ont mieux réussi à l'examen terminal. Cependant, il n'y a pas eu de différence significative entre les moyennes obtenues par les quatre groupes d'étudiants. Onze semaines après l'expérimentation, les étudiants du groupe 3 (tests formatifs avec décisions et sans exercices formatifs) ont mieux réussi à l'examen du ministère de l'Education. Aussi, une interaction à peine significative a été observée entre les exercices formatifs (avec ou sans) et les tests formatifs (avec ou sans décisions). Les résultats obtenus à l'apprentissage immédiat nous permettent de soutenir l'hypothèse que les exercices formatifs "en cours de module" et les tests formatifs avec décisions "en fin de module" facilitent l'apprentissage des élèves. Quant aux résultats obtenus à moyen terme, le rendement du groupe témoin (sans exercices formatifs et sans décisions) nous permet d'affirmer que la rétention de la connaissance des élèves a été améliorée pour deux des trois groupes d'étudiants. A long terme, elle est nettement supérieure pour les trois groupes d'étudiants. Cependant, notre hypothèse de recherche est partiellement soutenue à moyen terme et à long terme. Bien que cette recherche ait mis en évidence l'efficacité d'un traitement formatif sur le rendement des apprentissages scolaires des élèves, les résultats obtenus suggèrent des avenues à explorer, tant du côté de la congruence des items d'examens provinciaux avec les objectifs des programmes que du côté de l'organisation de l'enseignement dans un système d'évaluation formative. / Québec Université Laval, Bibliothèque 2014

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2006-2007

Québec Université Laval, Bibliothèque 2014

La principale contribution de ce travail est de proposer une nouvelle logique, inspirée de la logique temporelle linéaire, qui permet d'améliorer les techniques standard de détection d'intrusions utilisant l'approche par scénarios, avec la possibilité de détecter des variantes d'attaques connues. La logique suggées pourrait trouver une trace de paquets qui correspondent, même partiellement avec une distance calculée, avec la formule qui décrit l'attaque. La deuxième partie consistera à décrire son implémentation et de montrer la contribution pour augmenter la performance et l'expressivité des règles des systèmes de détection d'intrusions et plus précisément, du système Snort.

La curiethérapie à haut débit de dose est un traitement anti-cancer utilisé pour différents sites tels les cancers gynécologiques, la prostate, le sein, la tête et le cou. La technique consiste à déposer de la dose de radiation près ou à l'intérieur de la tumeur. Différentes étapes composent ce traitement et des erreurs peuvent s'introduire dans chacune d'entres elles. Par le passé, plusieurs études ont utilisé la dosimétrie in vivo pour détecter et éliminer certaines erreurs de la chaîne. Cette pratique n'est pas uniformisée, puisqu'aucune solution commerciale n'existe sur le marché actuellement. En plus de la dosimétrie, des systèmes de suivi élecromagnétique ont aussi prouvé qu'ils pouvaient être utilisés pour la détection d'erreurs avant le traitement. Ce projet de doctorat explore des erreurs possibles dans la chaîne de traitement et propose le suivi électromagnétique comme étant une solution pour éviter celles-ci. Dans cette thèse, la fabrication d'un dosimètre et l'utilisation du suivi électromagnétique dans le cadre de la curiethérapie à haut débit de dose y sont traitées. Tout d'abord, une étude rétrospective a été complétée pour faire ressortir les performances requises d'un dosimètre in vivo utilisé pendant des traitements du cancer de la prostate. Les positions d'arrêts et les temps d'arrêts de tous les patients ont été extraits des fichiers de chaque traitement. Un dosimètre virtuel a été positionné dans un des cathéters de traitement pour chacun des patients. Une comparaison des temps d'arrêts et des positions d'arrêt sa été complétée pour l'identification des cathéters. Il a été démontré qu'une précision de 1 mm sur la distance source-dosimètre serait idéale. Pour la cohorte de patient utilisée, les temps d'arrêts sont de meilleurs discriminants que les positions d'arrêts. Une précision temporelle de 0,1 s serait idéale. Par la suite, une sélection du capteur électromagnétique pour la construction d'un dosimètre intégrant le suivi électromagnétique de sa position a été réalisée. La dépendance angulaire et la distance capteur-scintillateur ont aussi été étudiées. Parmi les capteurs disponibles, celui possédant le plus petit effet sur la réponse du scintillateur a été utilisé. La reconstruction d'un prototype d'un applicateur blindé pour les cancers gynécologiques a été faite à l'aide du suivi électromagnétique (EM). L'erreur moyenne du capteur sélectionné pour cette étude était de 0,17 mm lorsqu'il se trouvait à 250 mm du générateur de champ. Aucune différence significative sur la mesure n'a été observée à proximité du blindage de cet applicateur. Le suivi EM a aussi été testé lorsqu'il était intégré dans un câble de vérification d'un projecteur de source (Flexitron, Elekta Brachytherapy, Veenendaal, Pays-Bas). Les coordonnées de reconstructions ont été prises lors de la rétraction du câble de vérification. Une comparaison des reconstructions avec différentes vitesses de rétraction du câble a été faite. Les décalages de 5 mm ont tous été identifiés avec une vitesse de reconstruction de 10 cm/s. Néanmoins, il faut une vitesse maximale de 2,5 cm/s pour détecter les décalages de 1 mm. Deux dosimètres avec suivi EM ont été construits, soit un avec une fibre scintillante de plastique(BCF-60) et l'autre avec un scintillateur inorganique (ZnSe:O). Les dosimètres construits ont été calibrés. Les mesures de dose ont été faites en respectant les conditions de diffusion complète et ont été comparées avec le formalisme du TG-43. Par rapport à ce dernier, le dosimètre organique avait une différence de 1,7± 0,2 % alors que l'inorganique possédait une différence de 1,5± 0,7 %pour des distances source-dosimètre allant de 8 mm à 60 mm. Une étude de détection d'erreur a été accomplie. Un gain maximal de 24,0 % est observé pour les déplacements latéraux de 0,5 mm pour le dosimètre inorganique lorsque le suivi EM est utilisé, tandis qu'un gain maximal pour les déplacements longitudinaux (0,5 mm) de 17,4 % a été montré pour ce même scintillateur. Les différents résultats de ce projet quantifient les gains ainsi que les perpectives que l'ajout du suivi EM apportent à la curiethérapie HDR et justifient son introduction dans ce domaine. / High-dose-rate (HDR) brachytherapy is a cancer treatment used for various sites such as gynecological, prostate, breast, head and neck cancers. The technique consists in delivering a dose of radiation by having one or multiple sources in close proximity or with in a tumor. This is a multi-step process and errors can happen at any step during its execution. Several studies have used in vivo dosimetry to detect and avoid possible errors. This practice is not standardized, as no commercial solution currently exists on the market. In addition to dosimetry, electromagnetic (EM) tracking systems have also proven to be useful for the detection of some pre-treatment errors. This thesis explores errors that can occur during the treatment process and suggests a solution based on electromagnetic tracking. The construction of a dosimeter and the use of an EM tracking will be studied in the context of high-dose-rate (HDR) brachytherapy. First, a retrospective study was completed to highlight the required performance of an in vivo dosimeter during prostate cancer treatments. Dwell positions and dwell times for all patients were extracted from each treatment file. A virtual dosimeter was positioned in one of the treatment catheters for each patient. A comparison of each dwell times and dwell positions was completed for the identification of catheters. It has been shown that an accuracy of 1 mm would be ideal on the source-dosimeter distance. For the studied patient cohort, dwell times are better discriminators than dwell positions. This study showed that it is important to avoid placing the dosimeter near the center of the implant. Then, a selection of components for the construction of the dosimeter was performed. Among the available sensors, the one with the smallest impact on the scintillator response was chosen for the work quantifying the gain of EM tracking. The angular dependence and the sensor-scintillator distance were also studied. The reconstruction of a shielded applicator prototype for gynecological cancer was made using EM tracking. An average error of the selected sensor for this study was 0.17 mm when it was 250 mm from the field generator. EM tracking was also tested when integrated into the check cable of an after loader (Flexitron, Elekta Brachytherapy, Veenendaal, Netherlands). The reconstruction coordinates were taken during retraction of the check cable. A comparison of the reconstructions for different cable speeds was made. From this study, the speed for a linear path reconstruction is recommended at 5 cm/s. The 5-mm shifts were all identified with a reconstruction speed of 10 cm/s. Nevertheless, a maximum speed of 2.5 cm/s was needed to detect 1-mm shifts. Two dosimeters were constructed, one with a plastic scintillating fiber (BCF-60) and one with an inorganic scintillator(ZnSe:O). All dose measurements were made in full scatter conditions and were compared with the TG-43 formalism. Compared to the latter, the organic dosimeter had a difference of 1.7± 0.2 % while the inorganic had a difference of 1.5± 0.7 % over an interval of 8 mm to 60 mm from the source. An error detection study was performed and a comparison was made to determine the gain provided by the EM tracking. A maximum gain of 24.0 % was observed with a lateral displacement of 0.5 mm for the inorganic dosimeter. For longitudinal displacements (0.5 mm), a maximum gain of 17.4 % was shown for this same scintillator. The different results obtained in this project will quantify the performance for the construction of an in vivo dosimeter for HDR brachytherapy. The gains from the addition of EM monitoring to HDR brachytherapy will justify its use in this field.

Depuis quelques années on note une tendance nouvelle à privilégier la valeur diagnostique et pronostique des tests autant académiques que psychologiques (Siegel, 1963; Glaser. 1963: Stoddard. 1969; Evans. 1970 Dziunban et Vickery, 1973; Estes, 1974). Tout en présentant des différences marquées au niveau de l'approche conceptuelle utilisée et des aspects du problème privilégiés, ces efforts divers incitent tous à la mise au point d'instruments de mesure basés sur des théories de l'intelligence et/ou de l'apprentissage. La présente étude s'inscrit dans cette ligne de recherche et, dans un certain sens, cherche à traduire au niveau des items une partie des préoccupations exprimées par ces auteurs à l'endroit des tests. L'étude comparée de la valeur informative de deux formes de question revêt enfin un intérêt tout-à-fait particulier dans un contexte où il est souvent nécessaire de recourir à un nombre très limité d'items pour estimer une compétence particulière. Voici maintenant un bref aperçu des composantes principales du présent compte-rendu de recherche. Le premier chapitre sera consacré à une présentation générale de l'objectif de la recherche, de la perspective dans laquelle il se situe ainsi que des limites principales qui le circonscrivent. Viendra ensuite une analyse critique des études sur le sujet, analyse qui débouchera sur le choix d'un modèle théorique de la résolution de problème et sur l'identification des critères à partir desquels nous procéderons à l'étude comparative des formes de question. Le second chapitre se terminera avec la formulation définitive du sujet sous la forme d'hypothèses de recherche. Le troisième chapitre sera consacré à la description des modalités d'intervention et des moyens mis en oeuvre pour procéder au contrôle empirique des hypothèses de recherche. Il inclura une présentation de l'échantillon et des instruments de mesure utilisés ainsi que de la stratégie expérimentale exploitée et des modèles d'analyse statistique retenus. Les résultats de cette dernière analyse seront exposés et discutés dans le chapitre suivant, le quatrième et dernier chapitre. La formulation de quelques recommandations et un bref résumé de l'expérience viendront mettre un terme à ce rapport de recherche. / Québec Université Laval, Bibliothèque 2014

Aujourd’hui, les manipulateurs robotiques sont appelés à effectuer une gamme de plus en plus large de tâches allant au-delà des applications traditionnelles. Un tel type d’application est l’interaction physique humain-robot. Pour que ces systèmes soient sécuritaires, il peut être souhaitable de réduire leur poids et leur force en réduisant la taille de leurs actionneurs. En effet, réduire la taille des actionneurs augmente la sécurité de deux manières, l’inertie du manipulateur diminue et les couples générés par les moteurs sont fortement réduits. Cependant, le principal inconvénient de ces manipulateurs est la réduction de leur capacité de charge utile. C’est pourquoi une meilleure utilisation des capacités articulaires est nécessaire pour leur permettre d’accomplir des tâches qu’elles ne pourraient normalement pas accomplir. Ainsi, cette thèse présente une étude de deux types principaux de tâches pour lesquelles une stratégie d’optimisation de trajectoire efficace peut être particulièrement utile. La première tâche consiste à soulever des objets lourds, c’est-à-dire, qui dépassent la capacité de charge utile d’un manipulateur. L’étude de cette tâche pourrait mener à la conception de manipulateurs plus légers et plus capables. Ce travail se concentre sur l’étude des méthodes de génération de trajectoires permettant aux manipulateurs ayant des actionneurs relativement faibles de soulever des charges lourdes en exploitant pleinement leur dynamique. La deuxième tâche étudiée dans cette thèse est la tâche de lancer des objets. Plus précisément, la portée des manipulateurs est étudiée, c’est-à-dire, la distance maximale à laquelle un objet peut être lancé avec un manipulateur donné est recherchée. Cette tâche est étudiée à trois niveaux de complexité : la recherche de la distance maximale possible avec des contraintes de vitesse, la recherche de la capacité maximale de lancement en considérant une trajectoire complète avec des contraintes cinématiques et la recherche de la capacité maximale de lancement en considérant une trajectoire complète avec des contraintes dynamiques. Enfin, des critères de performance sont établis à partir de ces deux types de tâches afin d’aider au processus de conception d’un nouveau manipulateur. Ainsi, une simulation d’optimisation de la conception est effectuée à titre de preuve de concept. / Today, robotic manipulators are being called upon to perform an increasingly wide range of tasks that extend beyond the conventional ones required in traditional applications. One such type of application is physical human-robot interaction. In order for such systems to be safe, it can be desirable to decrease their weight and strength by reducing the size of their actuators.Indeed, reducing the size of the actuators increases safety in two manners, the inertia of the manipulator decreases and the torques generated by the motors are greatly reduced. However, the main drawback of such manipulators is the reduction of their payload capacity.Therefore, better usage of the limited joint efforts is required to enable them to perform tasks that they would normally not be able to accomplish. Thus, this thesis presents a study of two main types of tasks where an effective trajectory optimisation strategy can be particularly valuable. The first task is that of lifting heavy objects, i.e., objects that exceed the conservative estimate of the payload capacity of a manipulator. Studying this task could lead to the design of lighter,more capable manipulators. This work focuses on studying trajectory generation methods to enable manipulators with relatively weak actuators to lift heavy payloads by fully utilizing their dynamics. The second task studied in this thesis is the task of throwing objects. Specifically, the distance throwing capabilities of manipulators is studied where the maximum distance that an object can be thrown with a given manipulator is sought. This task is studied at three levels of complexity: finding the maximum possible throwing capacity of manipulators with velocity constraints, finding the maximum throwing capacity considering a full trajectory with kinematic constraints, and finding the maximum throwing capacity considering a full trajectory with dynamic constraints. Finally, performance criteria are established from these two types of tasks in order help in the process of designing a new manipulator. Thus, a simple design optimisation simulation is performed as a proof of concept.

La nature des réseaux de capteurs sans fil comme ZigBee, permettant la communication entre différents types de nœuds du réseau, les rend très vulnérables à divers types de menaces. Dans différentes applications des technologies sans fil modernes comme SmartHome, les informations privées et sensibles produites par le réseau peuvent être transmises au monde extérieur par des moyens filaires ou sans fil. Outre les avantages offerts, cette intégration augmentera certainement les exigences en matière de protection des communications. Les nœuds capteurs du réseau étant souvent placés à proximité d'autres appareils, le réseau peut être plus vulnérable aux attaques potentielles. Cette recherche de doctorat a pour but d'utiliser les attributs natifs distincts de radiofréquence RF-DNA sécurisés produits par le processus d'empreinte numérique dans le but de fournir un support de communication sans fil sécurisé pour les communications de réseau ZigBee. Ici, nous visons à permettre une discrimination d'appareil en utilisant des préambules physiques (PHY) extraits des signaux émis pas de différents appareils. Grâce à cette procédure, nous pouvons établir une distinction entre différents appareils produits par différents fabricants ou par le même fabricant. Dans un tel cas, nous serons en mesure de fournir aux appareils des identifications physiques de niveau binaire non clonables qui empêchent l'accès non autorisé des appareils non autorisés au réseau par la falsification des identifications autorisées. / The nature of wireless networks like ZigBee sensors, being able to provide communication between different types of nodes in the network makes them very vulnerable to various types of threats. In different applications of modern wireless technologies like Smart Home, private and sensitive information produced by the network can be conveyed to the outside world through wired or wireless means. Besides the advantages, this integration will definitely increase the requirements in the security of communications. The sensor nodes of the network are often located in the accessible range of other devices, and in such cases, a network may face more vulnerability to potential attacks. This Ph.D. research aims to use the secure Radio Frequency Distinct Native Attributes (RF-DNA) produced by the fingerprinting process to provide a secure wireless communication media for ZigBee network device communications. Here, we aim to provide device discrimination using Physical (PHY) preambles extracted from the signal transmitted by different devices. Through this procedure, we are able to distinguish between different devices produced by different manufacturers, or by the same one. In such cases, we will be able to provide devices with unclonable physical bit-level identifications that prevent the unauthorized access of rogue devices to the network through the forgery of authorized devices' identifications.