Générateur de phrases basé sur une ontologie syntaxique

Loin des automates du début du XVIIe siècle, le traitement automatique de la langue connaît dernièrement une évolution rapide notamment dans le domaine de l'analyse de corpus. Dans le cadre de la génération, les travaux restent cependant plus rares, principalement en raison de la complexité de leur implémentation. En plus des difficultés propres à la création de phrases ou de textes, un tel outil doit être en mesure d'effectuer une analyse du thème de l'interaction afin d'y conformer sa production. L'objectif de mon mémoire est la génération de phrases aléatoires, donc sans analyse de thème, syntaxiquement et sémantiquement correctes. Pour le côté syntaxique, j'ai décidé de construire mon programme autour d'une ontologie syntaxique basée sur un corpus du journal « Le Monde ». Le but de cette ontologie syntaxique est de permettre la génération de phrases ayant une structure syntaxique correcte. Le côté sémantique devait s'effectuer par l'ajout à cette structure d'un lexique marqué et permettre la génération de phrases sémantiquement correctes. Ce lexique devait être marqué à l'aide des structures de traits des grammaires syntagmatiques guidées par les têtes. Malheureusement, certains problèmes logistiques m'ont obligé à utiliser un vocabulaire marqué catégoriellement et, par là même, à abandonner la partie sémantique de la génération. Mon projet de mémoire traite donc de la création d'un générateur de phrases, de sa conception à sa réalisation.\ud _____________________________________________________________________________

Le language audio pour mobiles MAUDL et son moteur de rendu audio interactif IXE

Building a navigation system only based on audio guidance is a very complex task to carry out. You need to provide the user enough information to guide him without flooding him under an heavy load of sounds. Multiple kinds of guidance clues must be provided without overloading the auditive space. You also have to sort informations to give the user the most pertinent one at a given time. Finally, the system should be able to guide the user precisely in all kinds of environments. Based on these objectives, the Mobile Audio Language (MAUDL) has been defined in this research work, after a review of the limitations and problems existing with the current formats within a navigation context. Customization of the audio rendering is one aspect showcased by the usage of the different features available in MAUDL. In addition, a new sound manager named Interactive eXtensible Engine (IXE) has been developed to provide a software support to the language. It integrates all the current features of MAUDL and has been specifically designed for mobile platforms. This research report details the various problems encountered while developping such a system and the technical decisions that led to the conception of this library.La construction d'un système de navigation basé uniquement sur l'audio est une tâche complexe à mettre en œuvre : il faut pouvoir indiquer un nombre suffisant d'informations à l'utilisateur sans le noyer dans une foultitude de sons, être capable de fournir plusieurs types d'indices de guidage sans surcharger l'espace auditif, savoir trier l'information pour fournir l'information la plus pertinente à un instant donné et enfin pouvoir diriger l'usager de manière précise dans divers types d'environnements. C'est dans cette optique que le format Mobile Audio Language (MAUDL) a été défini au cours de ces travaux de recherche, après avoir abordé les limitations et problèmes posés par ce type de contexte appliqué aux formats existants. La personnalisation du rendu audio de guidage est notamment mise en avant par l'utilisation des différentes fonctionnalités du format. De plus, afin de fournir un support logiciel au format, un gestionnaire audio nommé Interactive eXtensible Engine capable d'intégrer les fonctionnalités actuelles et futures du langage a été développé pour les plateformes mobiles. Ce rapport détaille notamment les diverses limitations rencontrées et les choix techniques effectués pour la conception d'une telle librairie

La dynamique des réseaux coopératifs : l’exemple des logiciels libres et du projet d’encyclopédie libre et ouverte Wikipédia.

Les pratiques organisationnelles et sociales non-marchandes et non-hiérarchiques liées aux nouvelles technologies de l'information et de la communication suscitent aujourd'hui de nombreuses réactions et controverses. Certains acteurs et chercheurs en contestent l'existence, d'autres affirment qu'il s'agit d'un phénomène minoritaire ou non durable, d'autres enfin, les cantonnent à la sphère virtuelle. S'inscrivant dans ces débats, ce travail analyse les différentes approches théoriques qui les sous-tendent, et les confronte à une observation empirique du réseau coopératif des logiciels libres et du projet d'encyclopédie libre et ouverte Wikipédia, en les replaçant dans le contexte idéologique propre à l'activité informatique. En développant un cadre conceptuel adéquat pour l'étude de ces entités sociales qui s'appuie sur l'interactionnisme symbolique et la sociologie critique d'Ivan Illich, cette réflexion dévoile la spécificité organisationnelle, économique et sociale de ces nouvelles pratiques, et expose ce qui a favorisé leur développement et leur croissance au cours de ces trois dernières décennies. L'accent est tout particulièrement mis sur l'intégration des facteurs culturels et sur la compréhension des mécanismes qui favorisent l'essor et l'expansion de ces nouvelles pratiques dans d'autres activités. Au final, cette réflexion rejoint un des questionnements fondamentaux de la société contemporaine, à savoir, celui posé par le développement de l'économie non-marchande et non-hiérarchique et par la déprofessionnalisation des activités immatérielles.Organizational and social non-market and non-hierarchical practices related to new information technologies and communication, caused many reactions and controversy. Some actors and thinkers their existence, others say it is a minority or unsustainable phenomenon, and others confined it exclusively to the virtual sphere. As part of these discussions, this thesis tries to make the synthese of the various theoretical approaches to these new practices and to confront them with a rigorous empirical observation of the cooperative network of free software and the free and open project of encyclopaedia Wikipedia. In developing a conceptual framework suitable to study the social entities, built on the symbolic interactionism and sociology critic Ivan Illich, this work show the specific organizational, economic and social form of these new practices, and understand what was able to promote their development and growth over the past three decades. We especially insist on cultural factors, rather than technical factors. Finally, the thesis attempts to reflect on what could eventually promote the development and expansion of these new practices. We are joining here a questioning of society deeper, and without answer : the challenges and uncertainties posed by the development of non-market economy and non-hierarchical.Réseaux coopératifs; Nouvelles technologies de l'information et de la communication;

Interface gestuelle pour recherche d’images médicales sur internet

Le domaine médical stocke de grandes quantités d’images et l’accès à celles-ci est fastidieux demandant beaucoup de temps et de réflexion. C’est pour cette raison qu’il est intéressant d’avoir une interface pour afficher et faire des recherches. Ce projet est destiné à donner une nouvelle expérience d’utilisation en intégrant la recherche d’images dans un espace en trois dimensions. En plus de la recherche, le programme offre la possibilité d’effectuer une recherche d’images médicales rapide sans toucher à quoi que ce soit, ceci grâce à l’utilisation d’un capteur gérant la détection des mains dans un espace délimité en-dessus de lui. Ce système permet par exemple à un chirurgien de faire une recherche pendant une opération sans devoir toucher d’objets impliquant de ne pas devoir désinfecter à nouveau. Le projet se base sur une interface existante qui se nomme Shambala et qui s’apparente à une page web. Objectivement, celle-ci peut déjà faire une partie du programme comme l’utilisation du capteur pour affiner la recherche. Pendant le processus de réalisation du programme, une partie de la méthodologie agile a été appliquée. Des rendez-vous hebdomadaires avec le professeur responsable ou son remplaçant ont été organisés. Pendant ces entretiens, il ressortait ce qui a été développé, les problèmes rencontrés et ce qui va être fait ou amélioré. Ces séances mettaient en évidence la progression du travail et son orientation avec les éventuelles erreurs à résoudre. Le processus normal d’exécution d’une recherche avec cette interface est : - Ouvrir le menu grâce au pointeur. Celui-ci s’affiche lorsque l’utilisateur tend l’index au-dessus du Leap Motion. Lorsque le bouton menu est survolé pendant un laps de temps, la première rubrique du menu s’affiche. Ensuite l’utilisateur survole les différents boutons jusqu’à ce qu’il trouve la recherche préliminaire qu’il aimerait effectuer. Il est possible d’accéder au menu à tout moment. - Après que la recherche préliminaire s’est effectuée, le résultat s’affiche sur l’écran principal de la recherche. L’utilisateur peut regarder dans toutes les directions et effectuer un zoom pour mieux choisir l’image qui l’intéresse. Ensuite il peut manipuler celle-ci en l’ajoutant positivement ou négativement à la recherche, ce qui va relancer une recherche et l’afficher. L’autre possibilité est de l’attribuer comme objet de comparaison. En regardant en haut de la sphère, l’utilisateur voit les images qui ont été assignées. - L’écran de comparaison est affiché grâce à un geste simple depuis l’écran de recherche. Il se compose seulement des deux images sélectionnées. Il est possible de les agrandir, rétrécir et bouger dans toutes les directions pour les comparer. Un geste est disponible pour revenir à la recherche. - Le dernier écran sert à afficher les éléments ajoutés à la recherche. Il est accessible comme le précédent grâce à un geste simple depuis l’écran principal. En choisissant une image, il est possible de l’enlever de la recherche, ce qui en relance une autre et l’affiche. Une fonction utile si l’utilisateur a ajouté par inadvertance une image ou qu’elle ne correspond pas à la recherche désirée

RCR : un profil UML pour la rétroconception, la compréhension et la réingénierie de logiciels

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

Vérification des politiques XACML avec le langage Event-B

Les politiques permettent de définir les règles de la sécurité et de la gestion des différents composants du système. Cela implique l'emploi d'un langage pour exprimer les règles d'affaires et les règles non fonctionnelles, et de donner aux utilisateurs la possibilité de tester et de corriger les politiques. Plusieurs langages tels que XACML, Rei ou PONDER, sont utilisés pour exprimer les politiques par rapport aux objectifs du système d'information. Ces langages peuvent définir plusieurs règles et politiques, mais la plupart de ces langages ne donnent pas de mécanisme pour tester et vérifier la présence des conflits et de l'incohérence entre les politiques du système. Ce mémoire vise la vérification des politiques de contrôle d'accès. Notre approche consiste à traduire les politiques XACML sous forme d'un ensemble de machines abstraites de la méthode B. Nous exprimons aussi les propriétés à vérifier par des formules logiques. L'approche offre aux utilisateurs des moyens pour vérifier les politiques afin de s'assurer que les règles expriment bien les objectifs régissant le comportement et les interactions des systèmes gérés. Dans la première phase, les composantes des politiques XACML ont été exprimées avec des expressions formelles basées sur la logique du premier ordre. Par la suite, les outils développés pour la méthode B, comme le langage Event-B sous la plate forme Rodin, ont été utilisés pour vérifier les règles des politiques par rapport à un ensemble de propriétés que nous avons définies. Notre approche est plus flexible et permet aux utilisateurs de tester et de vérifier les règles avant l'implémentation de ces politiques. Une telle vérification est fondée sur les preuves avec logique du premier ordre, où des propriétés importantes de la politique peuvent être énoncées et prouvées. \ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : Politique, XACML, Méthode formelle, Event-B, Vérification