Tesi sul tema "Informatique – Environnement"
Segui questo link per vedere altri tipi di pubblicazioni sul tema: Informatique – Environnement.
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Informatique – Environnement".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.
1
Yahiaoui, Leila. "Redocumentation des traces d’utilisation d’un environnement informatique". Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10140.
Abstract (sommario):
Cette thèse d'ingénierie des connaissances a pour objet la redocumentation de l'activité médiée informatiquement à base de fichiers traces. Au cours d’un tel processus, un utilisateur interprète et réécrit les traces dans un nouveau document, qui correspond à un genre particulier et décrit l'activité dans toute sa richesse ; il a notamment la possibilité de reformuler le contenu des traces, de l'enrichir avec d'autres informations (justification ou informations sur le contexte), de supprimer des parties, etc. Il s’agit ainsi de renforcer le statut documentaire des traces selon les trois dimensions de la lisibilité, de l’intelligibilité et de l’échange. Nous proposons une approche générique semi-automatique qui combine le contenu de traces de l’activité et les connaissances des utilisateurs dans des formes narratives, facilement échangeables, décrivant l’activité de façon personnalisée pour les utilisateurs. Celle-ci utilise des modèles formels pour les traces et les documents produits, ainsi que les principes de la théorie de la structure rhétorique (RST). Elle soutient la redocumentation à travers deux phases : une phase automatique pour générer un document initial fragmenté à partir de la trace d'activité comme une première description pour celle-ci et une phase interactive pour personnaliser cette description selon les besoins et les choix d'un utilisateur afin de produire un document. Nous proposons également la spécification de cette approche pour le cas particulier de la redocumentation par le texte et nous présentons ActRedoc, un outil auteur que nous avons développé pour implémenter cette approche spécifique en utilisant différentes technologies du Web Sémantique. Les résultats de notre travail ont été testés dans un environnement réel qui est celui de la redocumentation des traces de navigation dans un site d’archives de journaux du XIXème développé par la bibliothèque municipale de Lyon. Nous présentons ainsi les résultats d'une première évaluation de l'approche de redocumentation en texte et de l'outil ActRedoc auprès d'un groupe d'utilisateursThis thesis is situated within the framework of knowledge engineering; it is particularly interested in the redocumentation of the computermediated activity from traces files. We suppose that during such a process, a user interprets and rewrites traces in a new document that corresponds to a particular genre and describes the traced activity in détails ; all this via the possibility to rewrite traces content, to enrich this content with other information (justifications or information on the context), to delete parts from it, etc. Therefore, we strengthen the documentary status of traces according to the three dimensions of legibility, comprehensibility and exchange. For implementing such a process, we propose a generic semi-automatic approach which combines the content of activity traces with users knowledge in narrative forms, easily exchangeable, to describe the traced activity in a personalized way for users. This Approach uses formal models for traces and documents (produced), as well as principles of the rhetorical structure theory (RST). It supports the redocumentation process through two phases: an automatic phase to generate an initial fragmented document from traces as a first description of the activity and an interactive phase to personalize this description according to the user needs and choices so that to produce an easily exchangeable document. We also propose a specification of this approach for the particular case of redocumentation by text and we present ActRedoc, an authoring tool that we developed by using different technologies of the Semantic Web in order to implement this specific approach. The results of our work were tested in a real environment which concerns redocumenting the activity of browsing a site of archives of newspapers of the XIXth century developed by the municipal library of Lyon. Thus, we present a first evaluation of the approach of redocumentation by text and of the authoring tool ActRedoc by a group of users
2
Renouard, Stéphane. "Interaction homme-environnement : modèle et outil". Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0005.
Abstract (sommario):
Les nouveaux espaces de vie, nés de la prolifération d’objets communiquants, rendent la problématique de l’interaction de plus en plus complexe à la fois pour l’utilisateur et le concepteur. Le champ de recherche de l’informatique ambiante tend à apporter des solutions pour ces espaces mais la problématique de l’interaction reste entière. Dans cette thèse, nous abordons le problème de l’interaction homme-environnement (IHE) par une approche transverse autour de deux communautés de recherche, l’IHM et les approches logicielles à composant et service. Nous présentons un modèle original d’interaction homme-environnement, sous un aspect conceptuel et d’implémentation. Ce modèle a donné lieu à une plate-forme d’étude IHE qui permet de construire des applications dédiées à l’interaction homme-environnement, en prenant en compte des contextes d’utilisation très diversThe new spaces of life, born from the proliferation of communicating devices return the problems of the increasingly complex interaction at the same time for the user and the programmer. The research field of ambient intelligence aims at bringing solutions for these pervasive spaces but the problems of the interaction remain whole. In this thesis, we tackle the problem of the Human-Environment Interaction (HEI) by using a transverse approach around two research communities, the HMI and the Component and Service software approaches communities. We present an original model for HEI taking into account conceptual and implementation aspects. This model gave place to the HEI framework which makes it possible to build applications dedicated to the interaction within pervasive spaces and taking into account very diverse contexts of use
3
Petitgirard, Jean-Yves. "Le traitement de l'anglais oral dans un environnement informatique interactif multimedia". Chambéry, 1999. http://www.theses.fr/1999CHAML001.
Abstract (sommario):
L'enseignement assiste par ordinateur, heritier de l'enseignement programme, a fortement marque la didactique des ces vingt dernieres annees. L'integration de l'informatique dans la pedagogie a permis de renouveler tant les reflexions que les pratiques liees a l'enseignement / apprentissage des langues en contexte educatif. Les problemes que posait l'utilisation de ce nouvel outil restent en partie vrais de nos jours. Cependant, les progres techniques ont sensiblement modifie la situation. Si au debut les possibilites etaient limitees a des applications essentiellement textuelles, l'evolution vers une informatique interactive multimedia, a travers l'uniformisation des formats pour chacun des medias, associee a l'utilisation de nouveaux supports comme le cederom, ouvre de nouvelles perspectives notamment vers le traitement de l'oral, tant en comprehension qu'en production. Les nouvelles applications doivent tenir compte egalement de certaines potentialites des environnements informatiques comme : l'acces direct, la simulation, l'interactivite. Une analyse croisee des possibilites de traitement automatique de la parole et des parametres saillants du phenomene de comprehension de l'oral permet de proposer un modele pedagogique de l'enseignement / apprentissage de la comprehension orale s'appuyant sur quatre axes : quantitatif, qualitatif, strategique et enfin, communicatif. Pour chacun de ces axes, l'informatique interactive multimedia dispose d'atouts evidents, et ce a deux niveaux : * au niveau + macro ;, lie a la gestion du parcours de l'apprenant, tels les acces, les options, les adaptations possibles de l'application ; * au niveau + micro ; s'appuyant sur les interactions specifiques de l'iim et proposant des activites innovantes d'apprentissage. Ce dernier niveau peut servir de base a la mise en oeuvre d'un champ d'activites totalement nouvelles, irrealisables sans le support de l'informatique interactive multimedia, et dont l'implication sur l'apprentissage de la competence orale reste, bien evidemment, a preciserComputer based teaching which grew out of automated teaching has been one of the central issues of the past twenty years. The increasing use of computers in education has opened up a new series of possibilities for both the teacher and the learner of english. However, although many of the questions raised by the initial technological breakthrough are still pertinent, the rate of development has in many ways modified the situation. While at the beginning computer based learning applications were essentially text based, the development of multimedia allows us to incorporate sound and images into the learning process. Perhaps the most telling developments have been the standardisation of formats along with the increasing use of the cdrom. In order to provide the learner with original exercises any development of computer tools must take into account the latest possibilities offered by information technology such as direct access, simulation and interactivity. An analysis taking into account on the one hand the processing of speech by machine and on the other hand the salient features of aural comprehension will allow us to construct a structure for the teaching and the learning of the latter competence which will be based on quality, quantity, strategy and communication. For each of these categories interactive multimedia computer based teaching offers a number of advantages. In particular it allows a double approach, that is to say : * at the level of the application taking into account the learner's specific needs and the various options available * at the level of the specificity of the interactions the learners will have to deal with. It is particularly at this last level that a wider range of innovative activities most of which only possible using information technology can now be designed
4
Devin, Florent. "Gaspard : un environnement de programmation parallèle visuel". Lille 1, 2002. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2002/50376-2002-281.pdf.
Abstract (sommario):
La programmation parallèle requiert de multiples compétences. Il faut à la fois posséder les méthodes de programmation, mais aussi les méthodes du domaine pour lequel le programme est destiné. La programmation visuelle permet une programmation plus intuitive, et donc plus facile. C'est dans ce cadre que nous avons choisi de développer GASPARD. GASPARD est un environnement de programmation parallèle visuel dédié dans un premier temps au traitement du signal. Dans une première partie, nous décrivons l'intérêt des langages visuels, ainsi que l'interaction qui peut être mis en œuvre entre composant et langage visuel. Ensuite, nous décrivons notre interface graphique, le soin apporté pour une utilisation intuitive, ainsi que les choix effectués. Enfin, nous étudions les mécanismes nécessaires pour étendre GASPARD à un traitement moins systématique, et en déduisons les conséquences pour notre modèle. Nous portons aussi notre étude sur l'utilisation de composants génériques au sein de GASPARD.
5
Rabemanantsoa, Rakotomanana Alexandrine. "La fonction circulation de l'information en informatique dans un environnement peu équipé". Paris 9, 1985. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1985PA090019.
6
Zaldivar, Colado Ulises. "Planification d'assemblage en environnement virtuel". Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS0056.
Abstract (sommario):
Cette thèse traite sur l’utilisation de la réalité virtuelle pour la création d’un environnement synthétique qui permet la réalisation d’assemblage mécanique virtuel. L’objectif est de vérifier l’assemblabilité d’un produit au stade de sa conception et de générer la gamme d’assemblage la plus réalisable a partir d’opérations d’assemblage dans l’environnement virtuel. L’environnement virtuel est enrichi par le comportement dynamique de pièces et de sous-ensembles de pièces, par la sensation haptique et par une visualisation interactive. Le comportement dynamique permet l’existence de contraintes géométriques. Ceci assure que les gammes réalisées en environnement virtuel seront également réalisées dans le monde réel. La sensation haptique ajoute réalisme à l’interaction par la sensation de forces de contacte entre les pièces à assembler. La visualisation, en temps réel, de la gamme d’assemblage, le graphe d’opérations et le graphe de liaisons aide à l’utilisateur à planifier sa tâche en environnement virtuel. Nous avons démontré statistiquement que la sensation des forces de contact entre les pièces à assembler en environnement virtuel contribue à la performance de l’utilisateur en termes de temps d’accomplissement de la tâche. La gamme la plus réalisable en environnement virtuel est également la plus réalisable lors de la réalisation de la tâche dans le monde réel. On constate que l’apport du retour d’informations sur les actions de l’opérateur dans l’environnement virtuel (affichage de la gamme et les graphes générés) est équivalent à celui de l’utilisation d’un dessin d’ensemble du produit dans le monde réel. La planification d’actions d’assemblage ne dépende pas de l’environnement d’interaction. Ceci valide l’approche d’assemblage mécanique en réalité virtuelThis thesis deals with the use of virtual reality to create a synthetic environment which allows assembling virtual mechanical products. The objective is to test the product assemblability at the design stage and generate the most feasible assemble sequences by performing assembly operations in virtual environment. The virtual environment is enriched by dynamic behavior of parts and subassemblies, haptic sensation and interactive visualization. Dynamic behavior allows the existence of geometrical constraints. This makes that assembly sequences generated in virtual environment will be also generated in real world. Haptic sensation makes interaction more realistic by the contact forces sensation between parts to assemble. Real time visualization of assembly sequence, operation graph and liaison graph aids the user to plan its task in virtual environment. We have statistically demonstrated that contact forces sensation between parts to assemble in virtual environment contributes to user performance in terms of task completion time. The most feasible assembly plan found in virtual environment is also the most feasible one found in the real word. We assume that the contribution of information feedback related to user actions in virtual environment (visualization of the generated assembly sequence and graphs) is equivalent to the contribution of using 2D assembly drawings in real work. The assembly planning activity does not depend on the interaction environment. This validates our approach of mechanical assembly in virtual environment
7
Bougouyou, Yablai Arsène. "Gestion de la migration des agents mobiles dans un environnement informatique diffus". Mémoire, Université de Sherbrooke, 2008. http://savoirs.usherbrooke.ca/handle/11143/4830.
Abstract (sommario):
Le laboratoire DOMUS, qui reproduit un habitat intelligent, a pour objectif de rendre les personnes en déficience cognitive plus autonomes. Dans cette optique, nous construisons un composant du système informatique de cet habitat dont le but est d'assister ces personnes dans leurs activités de la vie quotidienne. Habituellement, les patients sont assistés dans l'accomplissement de leurs activités de la vie quotidienne par un personnel médical spécialisé. Pour rendre les patients plus autonomes, nous devons construire un système autonome qui remplace autant que possible les aidants. L'analyse des besoins engendrés par cet objectif nous conduit à la construction d'un système multi-agents. Étant donné qu'un système multi-agents et un système orienté objet sont fondamentalement différents, nous adoptons aussi une méthodologie différente de celle orientée objet pour développer notre solution. Ainsi, nous avons construit un système multi-agents basé sur l'infrastructure JADE permettant de localiser de façon autonome le patient à l'intérieur de l'habitat et de faire migrer un agent automatiquement vers lui en vue de lui porter assistance, si cela s'avère nécessaire. Notre solution implante trois versions de notre système: une pour les machines de bureau et deux autres pour les systèmes embarqués dont une n'intègre pas la mobilité des agents. Notre système intégré au système de l'habitat permettra de localiser le patient en tout temps, aussi bien à l'intérieur qu'à l'extérieur de l'habitat, et de faire migrer des agents vers lui en cas de besoin.
8
Etienne, Jean-Frédéric. "Certyfing Airpot Security using the Focal Environnement". Paris, CNAM, 2008. http://www.theses.fr/2008CNAM0618.
Abstract (sommario):
The security programme established at each airport is governed by a series of international standards, which has for primary goal to safeguard civil aviation against acts of unlawful interference. A key element towards the enforcement of these standards is to assess the conformity of the procedures and artifacts being regulated. However, for the conformity assessment to be effective, there is also a need to ensure the quality of the normative documents. This thesis, which was carried out under the EDEMOI project, describes the methodology adopted for the formalization and analysis of the Annex 17 (ICAO) and Doc 2320 (ECAC) standards using the Focal environment. The formalization stresses on the importance of organizing the entire regulation into a hierarchy of security properties. The regulation is validated by reasoning on the hierarchy obtained to detect inconsistencies, to identify hidden assumptions or to detect potential security flaws. The assessment of the appropriateness of the Focal language for regulation modeling is another contribution of this thesis. Some suitable enhancements for the language is also proposed. Moreover, since modeling airport security regulations is a real world problem, this has served to validate the design features and reasoning support mechanism of the Focal environment. Finally, this thesis also proposes an automatic and sound transformation of Focal specifications into UML diagrams. The purpose is to provide a graphical documentation of the formal models for developersLe programme de sûreté établi au niveau de chaque aéroport est régi par une série de réglementations internationales dont le but est de se protéger contre des actes d'intervention illicite dans l'aviation civile. Un aspect essentiel de l'application de ces normes est d'évaluer la conformité des procédures et artéfacts réglementés. Cependant, pour que le processus d'évaluation soit le plus efficace possible, il est aussi nécessaire de s'assurer de la qualité des documents normatifs. Cette thèse, qui a été réalisée dans le cadre du projet EDEMOI, décrit la méthodologie adoptée pour la formalisation et l'analyse des réglementations Annexe 17 (ICAO) et Doc 2320 (ECAC) dans l'atelier Focal. La formalisation met en évidence la nécessité d'organiser la réglementation sous forme d'une hiérarchie de propriétés de sûreté. La validation de la réglementation s'effectue en raisonnant sur la hiérarchie établie afin de détecter des incohérences, d'identifier des hypothèses cachées ou de détecter des failles potentielles de sûreté. L'évaluation de l'adéquation de Focal pour la modélisation des réglementations est une autre contribution de la thèse. Certaines améliorations sont aussi suggérées. De plus, comme la sécurité dans les aéroports est un problème de grande envergure, cela a aussi servi à valider le pouvoir d'expressivité et de raisonnement de Focal. Enfin, la thèse propose aussi une transformation automatique et correcte des spécifications Focal en diagrammes UML. L'objectif est ici de fournir une documentation graphique des modèles formels aux développeurs
9
Sébastien, Georges. "Apprentissage collectif à distance, SPLACH : un environnement informatique support d'une pédagogie de projet". Phd thesis, Université du Maine, 2001. http://tel.archives-ouvertes.fr/edutice-00000207.
Abstract (sommario):
Le contexte de recherche de cette thèse est celui du passage des Environnements Interactifs d'Apprentissage avec Ordinateur (EIAO) aux Environnements Interactifs d'Apprentissage à Distance (EIAD). Nos travaux se situent plus particulièrement dans le champ de recherche des CSCL (Computer-Supported Collaborative Learning) qui s'attache à favoriser, par des moyens informatiques, la construction de connaissances de manière collective. Notre démarche consiste tout d'abord à réfléchir aux conditions à créer pour avoir de réelles activités collectives entre apprenants, puis à concevoir l'environnement informatique qui soutienne ces activités. Nous avons choisi d'utiliser la pédagogie de projet comme fondement pour ces activités collectives. Cette pédagogie a déjà fait ses preuves, principalement dans les situations d'apprentissage traditionnel en classe. Sa mise en oeuvre dans une situation d'apprentissage à distance doit être effectuée attentivement afin qu'elle soit adaptée à ce contexte. Notre thèse propose une mise en place de cette pédagogie en s'appuyant sur une organisation humaine en équipe, cette dernière étant composée d'apprenants se trouvant à distance et engagés dans un même projet. Un tuteur, distant lui aussi, joue alors le rôle de chef de projet pour suivre et assister les apprenants. La structuration du projet dans le temps étant très importante, nous préconisons une structuration en étapes composées elles-mêmes de phases synchrones et asynchrones qui rythment le projet. Afin de supporter cette pédagogie de projet à distance, nous avons conçu et développé un environnement informatique nommé SPLACH (Support d'une pédagogie de Projet pour L'Apprentissage Collectif Humain). Cet environnement intègre les outils nécessaires aux activités collectives (outils de communication asynchrones et synchrones, outil de partage d'application, outil de planification, outil de documentation). L'intérêt d'intégrer ces outils dans un même environnement est, d'une part, de faciliter l'utilisation du système par les apprenants, et, d'autre part, de pouvoir analyser les activités collectives dans la perspective d'apporter des conseils aux utilisateurs. Nous avons particulièrement étudié l'analyse des conversations synchrones en concevant une interface spécifique fondée sur des actes de langage et permettant la détermination de profils de comportements sociaux (animateur, indépendant, ...). SPLACH a été expérimenté dans deux contextes différents : avec des élèves de collège dans le domaine de l'apprentissage de la technologie et avec des étudiants québécois apprenant la programmation. Ces deux expérimentations montrent que SPLACH peut être utilisé dans différents contextes de formation et pour divers domaines d'apprentissage.
10
Cloutier, Richard. "Conception électronique et informatique d'un robot mobile pour usage dans un environnement domiciliaire". Mémoire, Université de Sherbrooke, 2007. http://savoirs.usherbrooke.ca/handle/11143/1375.
Abstract (sommario):
Un robot mobile permet d'étendre les sens et les capacités d'action des humains dans des environnements variés.Un de ces environnements est le domicile, où le robot peut agir pour rendre des services aux occupants, directement ou à distance via une interface de communication. C'est dans ce cadre que le travail présenté dans ce mémoire se situe. Spécifiquement, pour la conception électronique et informatique de plate-forme mobile téléopérée, dans une optique de prestation de soins à domicile en télésanté. Aucune plate-forme de ce type n'existe sur le marché, et notre étude vise à mettre en évidence et répondre aux défis d'intégration sous-jacents à une telle conception. Ce mémoire vient étudier le choix des capteurs, leurs interfaces (énergétique et informatique) et leur disposition sur la plate-forme, la localisation de la plate-forme dans son environnement (par odométrie, balises infrarouges NorthStar et repérage laser), la planification de trajectoires, l'architecture logicielle ainsi que la prise de décision embarquée sur le robot versus sa téléopération à distance. Nos résultats illustrent les performances du système conçu et ses fonctionnalités, servant de première preuve de concept pour une telle plate-forme. Le design électrique du robot ainsi que le choix de ses composantes nous permettent d'obtenir une autonomie énergétique de trois heures. L'ajout de capteurs de proximité permettent au robot de se déplacer de façon sécuritaire dans un environnement réel. Le logiciel CARMEN est le système de localisation étudié qui donne la meilleure estimation au niveau de la position du robot dans l'environnement. Le robot est également capable de générer et de suivre un trajet de manière autonome dans l'environnement d'opération en utilisant une représentation cartographique construite au préalable. Des tests en laboratoire ont permis de valider le fonctionnement général du prototype tant au niveau de la prise de décision autonome que celui de l'exécution de commandes de téléopération. Ce prototype s'avère donc être un excellent point de départ sur lequel des améliorations pourront être apportées quant à l'évitement d'obstacles et la reprise de trajectoire, pour la tenue de tests dans de vrais domiciles.
11
George, Sébastien. "Apprentissage collectif à distance : splash : un environnement informatique support d'une pédagogie de projet". Le Mans, 2001. http://cyberdoc.univ-lemans.fr/theses/2001/2001LEMA1016.pdf.
Abstract (sommario):
Le contexte de recherche de cette thèse est celui du passage des Environnements Interactifs d'Apprentissage avec Ordinateur (EIAO) aux Environnements Interactifs d'Apprentissage à Distance (EIAD). Nos travaux se situent plus particulièrement dans le champ de recherche des CSCL (Computer-Supported Collaborative Learning) qui s'attache à favoriser, par des moyens informatiques, la construction de connaissances de manière collective. Notre démarche consiste tout d'abord à réfléchir aux conditions à créer pour avoir de réelles activités collectives entre apprenants, puis à concevoir l'environnement informatique qui soutienne ces activités. Nous avons choisi d'utiliser la pédagogie de projet comme fondement pour ces activités collectives. Cette pédagogie a déjà fait ses preuves, principalement dans les situations d'apprentissage traditionnel en classe. Sa mise en oeuvre dans une situation d'apprentissage à distance doit être effectuée attentivement afin qu'elle soit adaptée à ce contexte. Notre thèse propose une mise en place de cette pédagogie en s'appuyant sur une organisation humaine en équipe, cette dernière étant composée d'apprenants se trouvant à distance et engagés dans un même projet. Un tuteur, distant lui aussi, joue alors le rôle de chef de projet pour suivre et assister les apprenants. La structuration du projet dans le temps étant très importante, nous préconisons une structuration en étapes composées elles-mêmes de phases synchrones et asynchrones qui rythment le projet. Afin de supporter cette pédagogie de projet à distance, nous avons conçu et développé un environnement informatique nommé SPLASH (Support d'une pédagogie de Projet pour l'Apprentissage Collectif Humain). Cet environnement intègre les outils nécessaires aux activités collectives (outils de communication asynchrones et synchrones, outil de partage d'application, outil de planification, outil de documentation). L'intérêt d'intégrer ces outils dans un même environnement est, d'une part, de faciliter l'utilisation du système par les apprenants, et, d'autre part, de pouvoir analyser les activités collectives dans la perspective d'apporter des conseils aux utilisateurs. Nous avons particulièrement étudié l'analyse des conversations synchrones en concevant une interface spécifique fondée sur des actes de langage et permettant la détermination de profils de comportements sociaux (animateur, indépendant,. . . ). SPLASH a été expérimenté dans deux contextes différents : avec des élèves de collège dans le domaine de l'apprentissage de la technologie et avec des étudiants québécois apprenant la programmation. Ces deux expérimentations montrent que SPLASH peut être utilisé dans différents contextes de formation et pour divers domaines d'apprentissage.
12
Cloutier, Richard. "Conception électronique et informatique d'un robot mobile pour usage dans un environnement domiciliaire". [S.l. : s.n.], 2007.
13
Hacid, Hakim Zighed Djamel Abdelkader. "Un environnement informatique pour l'interrogation et l'accès intelligent aux bases de données complexes". Lyon : Université Lyon 2, 2008. http://theses.univ-lyon2.fr/sdx/theses/lyon2/2008/hacid_h.
14
Moguel, Patrice. "ALBATROS, un environnement informatique support à l'activité d'organisation dans un challenge pédagogique collectif". Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM032.
Abstract (sommario):
Notre recherche concerne les domaines des EIAH (Environnements Informatiques pour l'Apprentissage Humain) et du CSCL (Computer Supported Collaborative Learning) et en particulier les situations de résolution collaborative de problème supportées informatiquement en synchrone et à distance. Nous avons considéré ces situations comme des situations de « travail collectif » telles que définie dans le CSCW (Computer Supported Cooperative Work), les apprenants étant mutuellement dépendants dans leur travail. Ces situations exigent de la part des apprenants, une activité de niveau supérieur visant à articuler leurs activités respectives. Il s'agit d'une structure abstraite qui émerge au cours de l'activité. Elle est évolutive et n'est pas prévisible. Ce concept d'auto-organisation peut être généralisé aux situations où un groupe d'apprenants doit réaliser une activité collective dont le processus n'est pas complètement prédéterminé. En particulier, dans le cas des situations qui mettent en jeu un challenge (ou défi) collectif. La prise en compte de ces dimensions organisationnelles est une question essentielle car elles ont un impact sur le processus global et elles conduisent les apprenants à s'engager dans des interactions productives de connaissances (par exemple, l'établissement d'un terrain d'entente, la planification, la résolution de conflit ou la régulation mutuelle, etc. ). L'objectif de cette thèse est (1) de comprendre les éléments liés à l'organisation qu'il est important de supporter et (2) de concevoir un environnement informatique proposant (i) de supporter l'activité d' (auto)-organisation d'apprenants engagés dans un challenge pédagogique collectif et (ii) des moyens pour détecter et interpréter cette activité d'organisation afin de permettre à un tuteur de la supporter. A cette fin, nous avons supposé (1) qu'il était possible d'amener des apprenants engagés dans une activité collective à travailler explicitement sur l'organisation en leur proposant un problème, un scénario et des outils appropriés et (2) qu'il était possible de détecter, d'interpréter et d'agir dynamiquement sur l'activité d'organisation des apprenants. Les résultats de nos travaux de recherche nous permettent de proposer : 1. Une interprétation d'un modèle théorique (celui de Bardram [Bardram 98], issu du CSCW) en termes d'organisation et une instanciation de ce modèle, le modèle ALBATROM, dans le cas d'un challenge pédagogique collectif. 2. Un environnement informatique, ALBATROS et des outils spécifiques (COCOON et COCOOP) conçus en accord avec notre modèle ALBATROM. Ce système permet à des apprenants de résoudre collectivement un problème basé sur un défi. Il facilite l'explicitation de leur organisation tout en proposant les moyens de la faire évoluer dynamiquement au cours de l'action. 3. Une grille d'analyse qui a été élaborée en correspondance avec notre modèle et qui permet une meilleure compréhension de ce que font les apprenants en termes d'organisation. Cette grille permet une identification et une compréhension des moments critiques (pannes et changements de niveau dans l'organisation). Ceci afin de mettre à la disposition d'un éventuel tuteur des signaux visibles, interprétables selon notre modèle, utiles à son intervention. 4. L'analyse des résultats d'une expérimentation réalisée à partir de notre grille de codage et qui a pour objet de mesurer l'effet de notre système sur (1) l'organisation des apprenants, (2) sur la détection de cette organisation, et secondairement, (3) sur la résolution du problème et (4) sur la motivation des apprenants. 5. Un outil de gestion et de visualisation dynamique des traces pertinentes de l'activité d'organisation des apprenants présentes dans notre système permettant d'envisager un futur support semi-automatique de cette activitéOur research concerns the fields of EIAH (Computer Environment for Human Learning) and CSCL (Computer Supported Collaborative Learning) and particularly the situations of collaborative problem solving supported by computer synchronous and distance. We have considered these situations of "collective work" as defined in the CSCW (Computer Supported Cooperative Work): learners are reciprocally dependent in their work. These situations require the learners a higher level of activity designed at articulating their respective activities. This is an abstract structure that emerges during the activity. It is progressive and is not predictable. This concept of self-organization can be generalized to situations where a group of learners must achieve a collective activity in which the process is not completely predetermined: in particular is the case of situations that involves a collective challenge. Taking account of these organizational dimensions is a key issue because they have an impact on the overall process and they lead the learners to engage in productive interaction skills (eg, establishment of common ground, planning, conflict resolution or mutual regulation, etc. ). The goal of this thesis is (1) to understand the issues associated with the organization that it is important to support and (2) develop an environment offering (i) to hold the activity of (auto) - organization of learners engaged in a pedagogic collective challenge and (ii) means to detect and interpret how this activity is organized in order for a tutor to support the organization. To this end, we assumed (1) it was possible to get learners engaged in a collective activity to work explicitly on the organization by providing a problem, a scenario and the appropriate tools and (2) that it was possible to detect, interpret and act dynamically on the organizing activity of the learners. The results of our research allow us to provide: 1- An interpretation of a theoretical model (the Bardram's model, derived from the CSCW) in terms of organization and an instantiation of this model, the model ALBATROM, in the case of a pedagogic collective challenge. 2- A computing environment, ALBATROS and specific tools (COCOON and COCOOP) designed in accordance with our ALBATROM model. This system allows learners to collectively solve a problem based on a challenge. It facilitates the explication of their organization while providing the means to scale dynamically in action 3. An analytical framework that was developed in correspondence with our model and allows a better understanding of what the learners are doing in terms of organization. This grid allows identification and understanding of critical moments (errors and changes of level in the organization). This is to make available to a possible guardian signals visible, interpretable according to our model, useful for their intervention. 4. The analysis of the results of an experiment conducted using our coding scheme, which aims to measure the effect of our system (1) the organization of learners, (2) the revealing of this organization, and secondarily (3) the resolution of the problem and (4) the motivation of the learners. 5. A management tool and a dynamic visualization of relevant traces of the activity organization of learners present in our system allow us to consider a future semi-automatic support of this activity
15
Moguel, Patrice. "ALBATROS, un environnement informatique support à l'activité d'organisation dans un challenge pédagogique collectif". Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00520344.
Abstract (sommario):
Notre recherche concerne les domaines des EIAH (Environnements Informatiques pour l'Apprentissage Humain) et du CSCL (Computer Supported Collaborative Learning) et en particulier les situations de résolution collaborative de problème supportées informatiquement en synchrone et à distance. Nous avons considéré ces situations comme des situations de « travail collectif » telles que définie dans le CSCW (Computer Supported Cooperative Work), les apprenants étant mutuellement dépendants dans leur travail. Ces situations exigent de la part des apprenants, une activité de niveau supérieur visant à articuler leurs activités respectives. Il s'agit d'une structure abstraite qui émerge au cours de l'activité. Elle est évolutive et n'est pas prévisible. Ce concept d'auto-organisation peut être généralisé aux situations où un groupe d'apprenants doit réaliser une activité collective dont le processus n'est pas complètement prédéterminé. En particulier, dans le cas des situations qui mettent en jeu un challenge (ou défi) collectif. La prise en compte de ces dimensions organisationnelles est une question essentielle car elles ont un impact sur le processus global et elles conduisent les apprenants à s'engager dans des interactions productives de connaissances (par exemple, l'établissement d'un terrain d'entente, la planification, la résolution de conflit ou la régulation mutuelle, etc.). L'objectif de cette thèse est (1) de comprendre les éléments liés à l'organisation qu'il est important de supporter et (2) de concevoir un environnement informatique proposant (i) de supporter l'activité d' (auto)-organisation d'apprenants engagés dans un challenge pédagogique collectif et (ii) des moyens pour détecter et interpréter cette activité d'organisation afin de permettre à un tuteur de la supporter. A cette fin, nous avons supposé (1) qu'il était possible d'amener des apprenants engagés dans une activité collective à travailler explicitement sur l'organisation en leur proposant un problème, un scénario et des outils appropriés et (2) qu'il était possible de détecter, d'interpréter et d'agir dynamiquement sur l'activité d'organisation des apprenants. Les résultats de nos travaux de recherche nous permettent de proposer : 1. Une interprétation d'un modèle théorique (celui de Bardram [Bardram 98], issu du CSCW) en termes d'organisation et une instanciation de ce modèle, le modèle ALBATROM, dans le cas d'un challenge pédagogique collectif. 2. Un environnement informatique, ALBATROS et des outils spécifiques (COCOON et COCOOP) conçus en accord avec notre modèle ALBATROM. Ce système permet à des apprenants de résoudre collectivement un problème basé sur un défi. Il facilite l'explicitation de leur organisation tout en proposant les moyens de la faire évoluer dynamiquement au cours de l'action. 3. Une grille d'analyse qui a été élaborée en correspondance avec notre modèle et qui permet une meilleure compréhension de ce que font les apprenants en termes d'organisation. Cette grille permet une identification et une compréhension des moments critiques (pannes et changements de niveau dans l'organisation). Ceci afin de mettre à la disposition d'un éventuel tuteur des signaux visibles, interprétables selon notre modèle, utiles à son intervention. 4. L'analyse des résultats d'une expérimentation réalisée à partir de notre grille de codage et qui a pour objet de mesurer l'effet de notre système sur (1) l'organisation des apprenants, (2) sur la détection de cette organisation, et secondairement, (3) sur la résolution du problème et (4) sur la motivation des apprenants. 5. Un outil de gestion et de visualisation dynamique des traces pertinentes de l'activité d'organisation des apprenants présentes dans notre système permettant d'envisager un futur support semi-automatique de cette activité.
16
Claisse, Harry. "Structures chainées et environnement paginé". Compiègne, 1987. http://www.theses.fr/1987COMPI270.
Abstract (sommario):
Cette thèse est orientée vers les problèmes de structures de pointeurs. La première partie est consacrée à la recherche des éléments qui résultent de décisions de conception pouvant influencer l'efficacité de l'exécution de LISP dans un environnement paginé. Le problème se résume en une recherche de la réduction du nombre de défauts de pages. Nous utilisons pour cela un ensemble de mesures qui permettent de cerner les points cruciaux tels que : structure de l'espace virtuel, espace de travail, ramasse-miettes. Nous étudions plusieurs méthodes de stockage des symboles (chaînes de caractères permettant de repérer toute entité) pour en évaluer leurs performances. Toutes les conclusions tirées sont mises en application directement sur l'interrogation d'une base de données en exploitation l'UTCThis thesis discusses problems related to pointer data structures. The first part is concerned with results of design decisions that can influence execution efficiency in a paged LISP environment. The main problem can be summarized as a continuing search to reduce the number of page faults. Measurements are used to distinguish crucial points such as structure of core memory, working set sizes and garbage collection. We study several storage implementations of symbols (strings of characters identifying each entities) and we evaluate their performances. The conclusions are applied directly to query data base a used at UTC
17
Bougueroua, Lamine. "Conception de systèmes temps réel déterministes en environnement incertain". Paris 12, 2007. https://athena.u-pec.fr/primo-explore/search?query=any,exact,990002501560204611&vid=upec.
Abstract (sommario):
L'établissement de conditions de faisabilité permet d'apporter la garantie dans un système que les tâches associées aux traitements applicatifs respectent des échéances. Les analyses de faisabilité issues de l'état de l'art font l'hypothèse d'une connaissance exacte des temps d'exécution pire cas (WCET) des tâches et ne supposent aucune faute temporelle. En pratique, la détermination du WCET peut être très complexe et incertaine. Nous considérons dans cette thèse les fautes temporelles liées au dépassement du WCET. Nous montrons quelles sont les durées de dépassement pour lesquelles les échéances de l'ensemble des tâches sont toujours respectées et aboutissons ainsi à un nouveau concept que nous appelons "Allowance". L'allowance d'une tâche est caractérisée pour des ordonnancements préemptifs, à base de priorités fixes (FP) et dynamique (Earliest Deadline First). Nous proposons une implémentation de l'allowance dans une machine virtuelle Java Temps Réel compatible avec la norme RTSJEstablishing feasibility conditions enables to guarantee in a system that associated to an application meet late completion deadlines. Feasibility conditions from the state of the art assume an exact knowledge of the worst case execution times (WCET) os the tasks and do not suppose any temporal fault. In practice, the computation of the WECT can be very complex and hard to guarantee. We consider temporal faults due to WCET overruns. We propose a mechanism that enables to cope with execution overruns before a deadline miss. This concept, called the "allowance" of a task, enables to characterize the maximum acceptable deviation of the WECT still meeting the deadlines of all the tasks. We compare the allowance obtained with a preemptive fixed priority (FP) scheduling and with Earliest Deadline First scheduling. We propose an implementation of the allowance in a Real-Time java virtual machine (RTSJ)
18
Bougueroua, Lamine George Laurent Midonnet Serge. "Conception de systèmes temps réel déterministes en environnement incertain". Créteil : Université de Paris-Val-de-Marne, 2007. http://doxa.scd.univ-paris12.fr:80/theses/th0250156.pdf.
19
Benadjaoud, Ghazi Nourdine. "Dee : Un environnement d'échange de données pour l'intégration des applicatons". Ecully, Ecole centrale de Lyon, 1996. http://www.theses.fr/1996ECDL0027.
Abstract (sommario):
L'environnement d'echanges de donnees (dee) remedie a l'isolement des applications. Il permet une coordination et un controle des echanges de donnees entre des applications qui peuvent etre geographiquement eloignees et qui travaillent sur des systemes de gestion de donnees eventuellement differents. Le modele de reference, appele mer (modele extensible de reference), que nous proposons, sert de schema unificateur des donnees traitees par les differentes applications. Le mer est exprime grace au modele objet que nous avons egalement concu. Ce modele, appele mo-mer, est un modele objet qui s'inspire du modele standard defini par le groupe odmg (object database mangement group) odmg 93. Une demarche de construction du mer pour soutenir les concepteurs dans toutes les etapes de modelisation du mer a ete definie. Elle est constituee d'un ensemble de directives et de conseils guidant les concepteurs dans la construction, le maintien et l'evolution du mer. Elle s'appuie sur le caractere extensible du mer et met l'accent sur l'etape d'integration qui nous parait importante pour favoriser une demarche incrementale pour la construction du mer. Nous avons egalement concu un outil qui facilite la conception et le developpement des interfaces locales, les composants necessaires au transfert des donnees des applications vers le dee et vice versa. Cet outil, baptise list (local interface specification tool) prend en compte la diversite des gestionnaires de donnees utilises par les applications. Pour valider nos propositions, nous avons construit le mer des applications septen, realise un outil de generation de translateurs specialises dans le transfert de donnees des bases de donnees relationnelles vers les fichiers, et nous avons egalement realise une maquette du dee.
20
Jean, David. "CDL+CWS : un langage de prototypes et son environnement". Sherbrooke : Université de Sherbrooke, 1997.
21
Gruszka, Samuel. "Étude et spécification d'un partitionnement dynamique Data-Flow en environnement numérique". Toulouse, INPT, 1995. http://www.theses.fr/1995INPT074H.
Abstract (sommario):
Dans cette thèse nous étudions le comportement en environnement numérique d'une nouvelle stratégie d'analyse d'un graphe des dépendances de données appelée "Partitionnement dynamique Data-Flow" (DPDF). Cette stratégie donne la priorité à la poursuite de chemins en s'appuyant sur une fonction de "prédiction" permettant l'évaluation sans défauts de séquencement de noeuds appartenant à un même chemin de dépendance. Nous rappelons tout d'abord les grands principes des modèles dits à flots de données, puis présentons plus en détails la stratégie DPDF. Nous évaluons ensuite cette stratégie dans deux contextes.
22
Pham, Thi Ngoc Diem. "Spécification et conception de services d'analyse de l'utilisation d'un environnement informatique pour l'apprentissage humain". Phd thesis, Université du Maine, 2011. http://tel.archives-ouvertes.fr/tel-00689025.
Abstract (sommario):
Notre travail de recherche s'inscrit dans le cadre du projet de recherche REDiM (Réingénierie des EIAH Dirigée par les Modèles) qui porte sur la réingénierie d'un scénario pédagogique. Il se focalise plus précisément sur l'analyse de traces collectées en session par un EIAH pour fournir à l'enseignant des indicateurs calculés.Dans notre contexte de travail, UTL (Usage Tracking Language) permet de définir des indicateurs sous une forme proche des patrons de conception. Il a été conçu pour répondre aux questions de capitalisation et de réutilisation. Par contre, UTL ne disposait initialement pas de moyens pour spécifier formellement la façon de calculer l'indicateur à partir des traces collectées. De plus, les approches par développement ad hoc d'indicateurs ne permettent pas de modéliser de façon formelle la méthode de calcul. En général, les patrons de conception se limitent à la description, ils ne peuvent donc pas être automatisés. Des descriptions textuelles dans UTL pour produire un indicateur à partir des traces ne permettent pas de générer automatiquement les valeurs d'un indicateur.Notre principal objectif de recherche a donc été de définir des modèles, des méthodes et des outils pour la formalisation et l'automatisation du calcul d'indicateurs. Pour cela, nous avons élaboré une nouvelle version d'UTL qui intègre un langage de combinaison de données nommé DCL4UTL, qui permet de modéliser des indicateurs sous une forme capitalisable, automatisable et réutilisable afin de fournir des indicateurs signifiants à l'enseignant/concepteur. Ces indicateurs peuvent être calculés en temps réel ou après une session, respectivement dans un contexte de tutorat ou de réingénierie du scénario pédagogique.L'originalité de notre approche réside dans le fait que cette version permet non seulement de capitaliser des savoir-faire sur les techniques d'analyse d'usage d'un EIAH, mais aussi, avec le langage DCL4UTL (1) de décrire formellement dans une forme générique des méthodes de modélisation et de calcul d'indicateurs à partir des traces collectées par un EIAH, (2) d'intégrer des fonctions externes (qui proviennent d'autres outils d'analyse), et (3) de créer des données intermédiaires paramétrées facilitant la modélisation et la réutilisation de la méthode de calcul d'indicateurs. Nous avons également développé un outil d'analyse pour calculer les indicateurs modélisés.Cette version est le résultat d'une étude théorique et d'une analyse de l'état de l'art, mais aussi de travaux exploratoires sur la modélisation d'indicateurs et l'analyse de traces. L'approche et le langage ont été validés par plusieurs expérimentations avec plusieurs EIAH existants.
23
Benmohamed, Hcene. "ICTT@Lab : un environnement informatique pour la génération et l'exécution de scénarios de téléTP". Phd thesis, INSA de Lyon, 2007. http://tel.archives-ouvertes.fr/tel-00260916.
Abstract (sommario):
Ces travaux de thèse s'inscrivent dans le domaine de la e-formation, et concernent la conception d'un environnement générique de téléTP en sciences de l'ingénierie, accompagné d'une méthodologie de mise à distance de dispositifs technologiques. Jusqu'alors la e-formation se limitait aux domaines où l'enseignement théorique prime sur l'enseignement pratique et les manipulations. Pour faire de la e-formation un outil viable et largement utilisé, les téléTP doivent y avoir une place centrale car ils répondent à un besoin reconnu d'activités pratiques dans les disciplines scientifiques et techniques. Cette intégration doit s'accompagner des mêmes facilités d'édition, d'utilisation et de réutilisabilité que les autres contenus, plus conceptuels (téléCours, téléTD, téléProjet, ...). Dans ce contexte, nous proposons un framework, nommé ICTT@Lab (generIC framework for remoTe and virTu@l Laboratory integration), s'intégrant dans une plate-forme d'e-formation aux côtés d'un LMS compatible avec la spécification IMS-LD et fournissant les services nécessaires et spécifiques à l'édition et à la réalisation de téléTP. En se basant sur des ontologies spécifiant composants et fonctionnalités classiques d'un dispositif technologique, les auteurs de scénarios peuvent désormais éditer leurs scénarios pédagogiques au format IMS-LD et les lier à une classe de dispositifs technologiques (réels ou virtuels). Ils les rendent ainsi compatibles avec n'importe quel dispositif associé à la même classe, autorisant de fait, la réutilisation de leur production sur d'autres plates-formes de téléTP. L'ensemble de cette architecture est accompagné d'une chaîne d'édition complète dédiée au téléTP. La sécurité du dispositif (point sensible à distance) donne lieu à une analyse AMDEC et une interprétation de cet aspect dans nos modèles. Une expérimentation située dans un plan d'expériences (Tagushi) a été réalisée sur un téléTP d'automatique.
24
Pham, Thi Ngoc Diem. "Spécification et conception de services d'analyse de l'utilisation d'un environnement informatique pour l’apprentissage humain". Thesis, Le Mans, 2011. http://www.theses.fr/2011LEMA1015/document.
Abstract (sommario):
Notre travail de recherche s’inscrit dans le cadre du projet de recherche REDiM (Réingénierie des EIAH Dirigée par les Modèles) qui porte sur la réingénierie d'un scénario pédagogique. Il se focalise plus précisément sur l'analyse de traces collectées en session par un EIAH pour fournir à l'enseignant des indicateurs calculés.Dans notre contexte de travail, UTL (Usage Tracking Language) permet de définir des indicateurs sous une forme proche des patrons de conception. Il a été conçu pour répondre aux questions de capitalisation et de réutilisation. Par contre, UTL ne disposait initialement pas de moyens pour spécifier formellement la façon de calculer l’indicateur à partir des traces collectées. De plus, les approches par développement ad hoc d’indicateurs ne permettent pas de modéliser de façon formelle la méthode de calcul. En général, les patrons de conception se limitent à la description, ils ne peuvent donc pas être automatisés. Des descriptions textuelles dans UTL pour produire un indicateur à partir des traces ne permettent pas de générer automatiquement les valeurs d’un indicateur.Notre principal objectif de recherche a donc été de définir des modèles, des méthodes et des outils pour la formalisation et l’automatisation du calcul d’indicateurs. Pour cela, nous avons élaboré une nouvelle version d’UTL qui intègre un langage de combinaison de données nommé DCL4UTL, qui permet de modéliser des indicateurs sous une forme capitalisable, automatisable et réutilisable afin de fournir des indicateurs signifiants à l’enseignant/concepteur. Ces indicateurs peuvent être calculés en temps réel ou après une session, respectivement dans un contexte de tutorat ou de réingénierie du scénario pédagogique.L'originalité de notre approche réside dans le fait que cette version permet non seulement de capitaliser des savoir-faire sur les techniques d'analyse d'usage d'un EIAH, mais aussi, avec le langage DCL4UTL (1) de décrire formellement dans une forme générique des méthodes de modélisation et de calcul d’indicateurs à partir des traces collectées par un EIAH, (2) d’intégrer des fonctions externes (qui proviennent d’autres outils d’analyse), et (3) de créer des données intermédiaires paramétrées facilitant la modélisation et la réutilisation de la méthode de calcul d’indicateurs. Nous avons également développé un outil d’analyse pour calculer les indicateurs modélisés.Cette version est le résultat d'une étude théorique et d’une analyse de l’état de l’art, mais aussi de travaux exploratoires sur la modélisation d’indicateurs et l’analyse de traces. L’approche et le langage ont été validés par plusieurs expérimentations avec plusieurs EIAH existantsThe research topic of this thesis is a part of the REDIM (model driven re-engineering) research project. It focuses specifically on the analysis of tracks collected during the learning session by a TEL (Technology Enhanced Learning) system in order to provide teachers indicators calculated. In our work environment, UTL (Usage Tracking Language) allows users to define the indicators in a form close to the design patterns. It was designed to response capitalization and reuse questions. However, UTL did not initially have any means to formally specify how to calculate indicators based on tracks collected. In general, design patterns are limited to the description, they cannot be automated. In addition, textual descriptions in UTL to produce indicators from tracks do not allow generating automatically an indicator’s values.Our main research objective was therefore to define models, methods and tools for formalizing and automating the calculation of indicators. We propose an extension for UTL named DCL4UTL (Data Combination Language for UTL) to model indicators in a capitalizable, automatable and reusable form to provide meaningful indicators to teachers/designers. With this new version, the indicators can be calculated in real-time or after a learning session in the context of tutoring actions or the reengineering of learning scenarios, respectively.The originality of our approach (DCL4UTL) lies in the fact that this version not only capitalize know-how on analysis techniques of the use an TEL system, but also (1) formally describe models and calculation methods of indicators from tracks collected by a TEL system, (2) integrate external functions (from other analysis tools), and (3) create parameterized intermediate data facilitating the modeling and reuse of indicators’ calculation method. We have also developed an analysis tool to calculate modeled indicators. Our approach and language have been validated by several experiments with several existent TEL systems
25
Bolognesi, Robert. "L'Analyse spatiale des risques d'avalanches : premiers développements d'un environnement informatique d'aide à la décision". Université Joseph Fourier (Grenoble), 1991. http://www.theses.fr/1991GRE19008.
Abstract (sommario):
De nombreuses recherches relatives aux avalanches ont ete entreprises ces dernieres annees, traitant tantot l'aspect spatial, tantot l'aspect temporel des phenomenes. La maitrise de l'avalanche, en effet, apparait souvent aujourd'hui comme un facteur incontournable du developpement des economies locales en montagne. Les objectifs de ces presents travaux ont consiste a elaborer, et a implementer un modele d'aide a l'analyse spatiale, en temps reel, des risques d'avalanches concernant un domaine a securiser. Compte tenu de la nature non algorithmique du probleme, et de la fiabilite constatee d'expertises fondees sur la manipulation d'heuristiques, la modelisation symbolique, utilisant des methodes d'intelligence artificielle, a ete retenue parmi les diverses methodologies envisageables. Le transfert de la connaissance des experts a ete realise a l'aide de la technique de l'analyse de protocole, permettant de batir un document de representation de l'expertise a partir duquel un prototype de modele de resolution a pu etre ebauche, puis affine. L'application informatique de ce modele est un systeme expert, dote d'un moteur d'inference d'ordre 0+, exploitant la connaissance experte exprimee sous forme de regles de production suivant une strategie monotone irrevocable. Il est integre dans un environnement d'aide a la decision baptise avalog. Celui, realise suivant un cahier des charges privilegiant des fonctionnalites operationnelles, comprend egalement un systeme de gestion de base d'informations, ainsi qu'un programme d'edition documentaire. Entre en phase d'evaluation au debut de l'hiver 1990 91, pour un secteur pilote du domaine skiable des grandes rousses (isere, france), le systeme a montre un taux d'accord avec l'expert humain de l'ordre de 90%, et un taux d'exactitude des diagnostics, etabli a partir de l'observation des evenements avalancheux reels, de plus de 80%In the last few years, many researches about avalanches have been undertaken, treating either the spatial aspect, or the temporal aspect of phenomena. The mastery of the avalanche, in effect, appears often today as an inevitable factor of the development of local economies in the mountains. The objectives of these current works consist in elaborating, and in implementing a support model to spatial analysis, in real time, of the avalanches hazards concerning an area to secure. Taking account of the non algorithmic nature of the problem, and of the noticed reliability of expertises founded on the manipulation of heuristics, the symbolic modelisation, using artificial intelligence methods. Has been chosen among the many possible methodologies. The transfer of the experts knowledge has been realized with the technique of the protocol analysis, permeating to build an expertise representation document from which a prototype resulting model could be found, then perfected. The computer application of this model is an expert system, with an inference engine of order 0+, exploiting the expert knowledge translated in the form of production rules, following a monotonous irreversible strategy. It is integrated in a decision support system called avalog. This, realized conforming operational specifications, also includes a database management system, as well as a documentation editing program. Used in the course of an evaluative phase, started at the beginning of the 1990 91 winter season, for an experimental sector of the skiing area of the grandes rousses (isere, france), the system has shown an agreement ratio with the senior snow specialist of approximately 90%, and a right diagnosis ratio, established from observing real avalanches, of more than 80%
26
Benmohamed, Hcene Prévot Patrick Lelevé Arnaud. "ICTT@Lab un environnement informatique pour la génération et l'exécution de scénarios de téléTP /". Villeurbanne : Doc'INSA, 2007. http://docinsa.insa-lyon.fr/these/pont.php?id=benmohamed.
27
Ouy, Julien Talpin Jean-Pierre. "Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS". [S.l.] : [s.n.], 2008. ftp://ftp.irisa.fr/techreports/theses/2008/ouy.pdf.
28
Ouy, Julien. "Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS". Rennes 1, 2008. ftp://ftp.irisa.fr/techreports/theses/2008/ouy.pdf.
Abstract (sommario):
Cette thèse propose une méthode de description et de mise en oeuvre de systèmes issus du modèle globalement asynchrone localement synchrone (GALS). Dans ce but, nous proposons tout d’abord une réinterprétation du modèle polychrone, modèle issu du synchrone et adapté pour gérer la concurrence d’instants en plus de la séquentialité. Après avoir observé des exemples de réseaux GALS nous en faisons l’analyse pour extraire les qualités que l’on attend d’un tel système et qu’il faut inclure dans notre travail. Avec ces nouveaux objectifs, nous proposons un schéma de synthèse de système basée sur la composition de processus élémentaires. Cette composition de processus est articulée autour de deux propriétés qui garantissent que ces processus peuvent fonctionner aussi bien de manière synchrone qu’asynchrone : la polyendochronie et l’isochronie. Ces propriétés sont obtenues sur les processus élémentaires lors de leur construction à partir des spécifications Signal idoines. Elles sont conservées jusqu’au système final grâce à leur compositionnabilité. Enfin, nous utilisons la propriété d’endochronie faible, garantie par la polyendochronie pour développer une technique de compilation des processus polyendochrones. Cette technique permet de compiler individuellement les composants pour ensuite les rassembler avec des communications asynchronesThe purpose of this thesis is to offer a method for the correct description and the implementation of globally asynchronous locally synchronous systems (GALS). Therefore, we present an interpretation of the polychronous model of computation. More than the synchronous model, it permits to describe concurrency as well as sequentiality. Then, we observe and analyze different implementations of GALS systems to extract properties that we expect of such systems. We propose a method to synthesize systems by composition of basic processes. This composition uses two properties to ensure the equivalence between its synchronous and its asynchronous behaviours: Polyendochrony and Isochrony. Those two properties are compositional and are obtained by the basic processes from their appropriate Signal specifications. At last, we present a way to generate compiled code from poyendochronous processes already having the property of weak-endochrony. With this technique, it becomes possible to separately compile processes and then assemble them with asynchronous channels
29
Cherruel, Gildas. "Etude de commandes neuronales en environnement synchrone SIGNAL". Brest, 1996. http://www.theses.fr/1996BRES2011.
Abstract (sommario):
Le but de cette thèse a deux objectifs : l'écriture de commandes neuronales et l'utilisation des réseaux de neurones en environnement synchrone signal. La conjonction de ce langage et des réseaux nous a permis d'écrire des commandes dont nous avons pu contrôler la qualité et l'évolution. Après une introduction aux réseaux de neurones et à la rétro-propagation, nous avons décrit les schémas de commandes neuronales qui existent à l'heure actuelle. Nous avons vu que la commande adaptative indirecte permet de n'avoir qu'un nombre minimum de contraintes et d'hypothèses sur le système à commander. Nous avons ensuite montré l'apport de l'approche synchrone pour l'écriture de commandes neuronales. En effet, celle-ci permet de s'affranchir d'un certain nombre de contraintes rencontrées dans la programmation traditionnelle. Nous avons alors développé un systeme complet qui permet non seulement d'écrire des systèmes neuronaux pour la commande, la reconnaissance, mais aussi de les tester et de vérifier leur comportement de manière formelle. Il est alors possible d'intégrer de tels réseaux dans des systèmes temps-réels embarqués en toute sécurité. Nous avons validé notre approche en écrivant de commandes neuronales pour divers systèmes non-linéaires
30
Kocharyan, Aram. "Gestion de la mémoire dans un environnement virtuel". Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30089.
Abstract (sommario):
L'augmentation des besoins en calcul pour les applications modernes (par exemple dans le big data) a conduit au développement d'infrastructures de calcul de moyenne à très grande taille. Dans ce contexte, le cloud est devenu la solution permettant la mutualisation des ressources. De plus en plus d'entreprises ou d'institutions scientifiques mettent en place leur propre structure de cloud privée. Une technologie clé sous-jacente au développement de ces infrastructures est la virtualisation. Les infrastructures virtualisées apportent de nombreux avantages pour la gestion des ressources, mais l'optimisation de la gestion des ressources reste un défi, avec l'objectif d'assurer un taux d'utilisation élevé des ressources matérielles et un faible gaspillage. La consolidation des serveurs a été introduite dans le but d'optimiser ces infrastructures. Le principe est de rassembler les machines virtuelles (VMs) sur un nombre minimal de serveurs, permettant alors de suspendre les serveurs inutilisés. Cependant, les stratégies de consolidation sont complexes à mettre en oeuvre, car elles doivent prendre en compte différents types de ressources (CPU, mémoire, I/O). De plus, l'utilisation de ces ressources peut varier fortement au cours du temps et la consolidation repose sur la migration de VM qui est une opération très lourde. En conséquence, les consolidations sont effectuées à une fréquence relativement faible. Dans cette thèse, nous proposons la conception d'un système de gestion mémoire permettant la mutualisation de la mémoire entre les VMs. Ce système est orthogonal et complémentaire à la consolidation. La première contribution est un système de surveillance qui permet de mesurer le working-set (WS) de chaque VM à l'exécution avec une faible intrusivité. L'étape suivante est de reprendre la mémoire inutilisée par les VMs ayant un petit WS et de l'allouer aux VMs ayant un gros WS pour les aider à surmonter des surcharges mémoire temporaires. Ainsi, nous proposons un système de mutualisation mémoire à la fois local et global, permettant la surveillance de la taille du WS de chaque VM et la mutualisation de la mémoire inutilisée, soit localement (avec des VMs sur le même serveur) ou globalement (avec des VMs sur des serveurs voisins). La solution a été évaluée avec des benchmarks du HPC et du traitement de données massives, et également des applications scientifiques et du big data (Apache Spark). Les résultats démontrent la pertinences des choix effectuésThe increasing computation needs of modern applications led to the development of medium to large scale computer infrastructures. Cloud computing became a key solution for resource mutualization. More and more enterprises and scientific institutions set-up their own private cloud facilities. The key technology behind the development of these infrastructures is virtualization. Virtualized infrastructures bring many advantages for resource management, but resource optimization is still a challenge, for ensuring high hardware utilization and low waste. Server consolidation was introduced for optimizing such infrastructures. Its principle is to gather VMs on as less servers as possible, thus allowing unused servers to be suspended. However, consolidation strategies have to take into account many types of resource (CPU, memory, I/O) thus inducing a high complexity. Additionally, these resources may be fluctuating at runtime and consolidation relies on VM migration which is a heavy operation. Therefore, consolidations are performed infrequently. In this thesis, we propose the design of a memory management system which allows mutualizing memory between VMs. This system is orthogonal and complementary to consolidation. The first issue is to design a monitoring system that should track the working set of the VMs at runtime with low intrusiveness. The next important step is to reclaim unused memory from under-loaded VMs and finally grant it to over-loaded VMs to help them to overcome temporary memory difficulties. As a result, it is proposed a both local and global memory mutualization system which allows to monitor the working set size of each VM and to mutualize unused memory, either locally (with the VMs located on the same node) or globally (with the VMs located on neighbor nodes). The solution has been evaluated with modern HPC, data intensive benchmarks as well as scientific and Big Data (Apache Spark) applications. The results demonstrate the effectiveness of our design choices
31
Teyeb, Hana. "Optimisation intégrée dans un environnement cloud". Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL010.
Abstract (sommario):
Dans les systèmes cloud géographiquement distribués, un défi majeur auquel sont confrontés les fournisseurs de cloud consiste à optimiser et à configurer leurs infrastructures. En particulier, cela consiste à trouver un emplacement optimal pour les machines virtuelles (VMs) afin de minimiser les coûts tout en garantissant une bonne performance du système. De plus, en raison des fluctuations de la demande et des modèles de trafic, il est essentiel d'ajuster dynamiquement le schéma de placement des VMs en utilisant les techniques de migration des VMs. Cependant, malgré ses avantages apportés, dans le contexte du Cloud géo-distribué, la migration des VMs génère un trafic supplémentaire dans le réseau backbone ce qui engendre la dégradation des performances des applications dans les centres de données (DCs) source et destination. Par conséquent, les décisions de migration doivent être bien étudiés et basées sur des paramètres précis. Dans ce manuscrit, nous étudions les problèmes d'optimisation liés au placement, à la migration et à l'ordonnancement des VMs qui hébergent des applications hautement corrélées et qui peuvent être placés dans des DCs géo-distribués. Dans ce contexte, nous proposons un outil de gestion de DC autonome basé sur des modèles d'optimisation en ligne et hors ligne pour gérer l'infrastructure distribuée du Cloud. Notre objectif est de minimiser le volume du trafic global circulant entre les différents DCs du système.Nous proposons également des modèles d'optimisation stochastiques et déterministes pour traiter les différents modèles de trafic de communication. En outre, nous fournissons des algorithmes quasi-optimaux qui permettent d'avoir la meilleure séquence de migration inter-DC des machines virtuelles inter-communicantes. En plus, nous étudions l'impact de la durée de vie des VMs sur les décisions de migration afin de maintenir la stabilité du Cloud. Enfin, nous utilisons des environnements de simulation pour évaluer et valider notre approche. Les résultats des expériences menées montrent l'efficacité de notre approcheIn geo-distributed cloud systems, a key challenge faced by cloud providers is to optimally tune and configure their underlying cloud infrastructure. An important problem in this context, deals with finding an optimal virtual machine (VM) placement, minimizing costs while at the same time ensuring good system performance. Moreover, due to the fluctuations of demand and traffic patterns, it is crucial to dynamically adjust the VM placement scheme over time. Hence, VM migration is used as a tool to cope with this problem. However, despite the benefits brought by VM migration, in geo-distributed cloud context, it generates additional traffic in the backbone links which may affect the application performance in both source and destination DCs. Hence, migration decisions need to be effective and based on accurate parameters. In this work, we study optimization problems related to the placement, migration and scheduling of VMs hosting highly correlated and distributed applications within geo-distributed DCs. In this context, we propose an autonomic DC management tool based on both online and offline optimization models to manage the distributed cloud infrastructure. Our objective is to minimize the overall expected traffic volume circulating between the different DCs of the system. To deal with different types of communication traffic patterns, we propose both deterministic and stochastic optimization models to solve VM placement and migration problem and to cope with the uncertainty of inter-VM traffic. Furthermore, we propose near-optimal algorithms that provide with the best inter-DCs migration sequence of inter-communicating VMs. Along with that, we study the impact of the VM's lifetime on the migration decisions in order to maintain the stability of the cloud system. Finally, to evaluate and validate our approach, we use experimental tests as well as simulation environments. The results of the conducted experiments show the effectiveness of our proposals
32
Milhaud, Gérard. "Un environnement pour la composition de phrases assistée". Aix-Marseille 2, 1994. http://www.theses.fr/1994AIX22079.
Abstract (sommario):
Nous presentons une approche originale dans le domaine de la conception des interfaces en langage naturel (iln), que nous avons illustree en developpant un systeme generateur d'iln. Premierement, dans un but de transparence, nous avons impose que les iln produites fonctionnent selon le principe de la composition assistee (ca). Sa caracteristique est d'utiliser le meme systeme en analyse et en synthese afin d'aider si necessaire l'utilisateur dans la formulation de sa phrase en proposant, a chaque etape de la composition, tous les mots du lexique susceptibles d'etre le mot suivant de la phrase. Deuxiemement, sur un plan plus interne, afin de maximiser la portabilite de nos iln, nous exigeons que les differentes connaissances necessaires a l'elaboration d'une interface soient definies au sein de modules distincts. Nous exposons les differents formalismes de representation des connaissances lexicales, syntaxiques, semantiques et conceptuelles que nous avons concus. La conjonction de nos deux exigences de ca et de modularite souleve des problemes specifiques: la ca necessite de detecter les erreurs au plus tot en prenant en compte simultanement toutes les connaissances tandis que la modularite impose l'eclatement de ces memes connaissances. Nous montrons comment ce probleme nous a amenes a concevoir un algorithme d'analyse/synthese original fonde sur le coroutinage des contraintes distinctes associees aux differents modules et assurant, selon leurs niveaux respectifs, le caractere bien forme des phrases. Nous exposons ensuite les solutions que nous apportons au probleme principal lie a la ca: comment eviter que le systeme conduise a la composition d'une phrase qu'il ne pourra terminer (situation d'impasse) ? en conclusion, nous presentons brievement quelques-unes des applications d'ores et deja realisees a partir de notre systeme
33
Givert, Didier. "Modélisation géometrique d'objets en environnement robotique". Paris 11, 1988. http://www.theses.fr/1988PA112211.
Abstract (sommario):
Développement des principes de construction de modèles géométriques d'objets en environnement robotique. On présente la construction du modèle du monde, composé d'une collection d'objets rigides distincts, comme étant la détermination d'attitude (orientation position) des modèles géométriques descriptifs des objets présents par rapport au repère de référence du système.
34
Matougui, Mohammed el Amine. "Vers un environnement pour le déploiement logiciel autonomique". Phd thesis, Institut National des Télécommunications, 2013. http://tel.archives-ouvertes.fr/tel-00926023.
Abstract (sommario):
Le déploiement de logiciels répartis dans des environnements à grande échelle et ouverts (tels les systèmes ubiquitaires, les systèmes mobiles et les systèmes P2P) est une problématique actuelle ouverte. Ces environnements sont distribués, hétérogènes et peuvent être de nature instable (dotés d'une topologie dynamique du réseau). Le déploiement dans ces environnements met en jeu un très grand nombre de machines, de liens réseau ainsi qu'un ensemble de contraintes de déploiement. Quelques solutions de déploiement existent aujourd'hui, mais ne sont exploitables que dans le cadre d'architectures figées et fiables. Dans la plupart des solutions, une personne en charge du déploiement doit décrire plus ou moins manuellement la topologie. En outre, la majorité de ces outils ne prennent pas en compte les problèmes dûs à la variabilité de la qualité de service du réseau, aux pannes des hôtes, aux défaillances des liens du réseau ou encore aux changements dynamiques de topologie, qui caractérisent les environnements ouverts. Dans ce mémoire, nous présentons les motivations de la réalisation d'une infrastructure de déploiement logiciel autonomique et les exigences sous-jacentes d'une telle plate-forme. Nous présentons un état de l'art du déploiement logiciel que nous analysons au regard du contexte visé. Ensuite, nous présentons notre contribution pour le déploiement autonomique. Notre proposition s'appuie sur une combinaison de technologies (composants logiciels, agents mobiles adaptables, intergiciel, langage dédié). Nous proposons j-ASD, un intergiciel qui exploite la complémentarité de ces technologies pour réaliser un déploiement logiciel autonomique. Le processus de déploiement contient trois étapes : description des contraintes de déploiement, résolution, et déploiement autonomique. Pour la première étape, nous avons défini un langage dédié (DSL) comme langage de haut niveau pour exprimer des contraintes de déploiement. Pour la deuxième, nous avons conçu une infrastructure répartie pour collecter les propriétés des sites cibles, ce qui permet de résoudre les contraintes de déploiement. Pour la troisième étape, nous proposons un intergiciel à base d'agents mobiles pour la réalisation et la supervision du déploiement autonomique. Enfin, nous donnons les éléments de conception du prototype que nous avons implémenté, ainsi que les résultats de certaines expérimentations pour montrer la validité de notre approche
35
Singh, Pushpendra. "Environnement de tolérance aux fautes pour terminaux mobiles embarqués". Rennes 1, 2004. http://www.theses.fr/2004REN10054.
Abstract (sommario):
Notre travail a pour objectif principal de proposer une politique de tolérance aux fautes adaptées aux terminaux mobiles embarqués. Nous avons ainsi déterminé une méthode de sélection d'une politique de tolérance aux fautes pour une application chargée dynamiquement en fonction de différents critères. Cette méthode permet de déterminer la compatibilité entre les applications et les mécanismes de tolérances aux fautes présents sur le terminal embarqué et nous permet de choisir le mécanisme le plus adapté. Cette sélection s'effectue en tenant compte des besoins de l'utilisateur, des besoins de l'application et des ressources disponibles. Nous avons également proposé deux algorithmes de capture de points de reprise distribués adaptés aux terminaux mobiles. Ces algorithmes permettent de minimiser la consommation d'énergie en minimisant le nombre de messages échangés et le nombre de points de reprise à effectuer. Afin de valider nos propositions, une implémentation de l'ensemble de nos algorithmes a été faite en utilisant l'environnement WTK 2. 0 sur une plate-forme Java embarquée J2ME-MIDP. Enfin, nous avons validé et évalué notre approche sur une application Java réelle.
36
Signac, Laurent. "Etude d'un système autonome survivant en environnement virtuel agité". Poitiers, 2001. http://www.theses.fr/2001POIT2304.
Abstract (sommario):
La théorie algorithmique de l'adaptation (TAA) vise à expliquer le décalage entre les avancées technologiques et les résultats de l'intelligence artificielle. Nous l'enrichissons de la prise en compte du coût de la mémoire, et établissons un parallèle avec des résultats physiologiques. Puis, nous illustrons ces résultats par des expérimentations montrant que nos méthodes les plus universelles sont nécessaires dans un environnement soumis à de constantes variations mais néanmoins moins rapidement rentables dans des environnements figés. Nous montrons par la suite de quelle façon ces résultats peuvent être utilisés pour la simulation de comportements complexes et les utilisons pour simuler un poulailler virtuel. Enfin, nous adaptons la TAA au problème de la navigation en milieu instable. Nous illustrons ces résultats par l'implémentation d'un mobile virtuel capable de se diriger dans un labyrinthe soumis à de perpétuelles variationsAlgorithmic theory of adaptation (ATA) aims at explaining the gap between technological progress and the results of artificial intelligence. We enrich it by taking into account the memory cost and establish a comparison with physiological results. Next, we illustrate our results by experiments that show that our most universal methods are necessary in a disruptive environment but are less rapidly profitable in fixed environments. We show how these results can be used to simulate complex behaviors by detailing the implementation of virtual hens. Then, we adapt the ATA to the navigation problem in instable environments. We illustrate these results by implementing a virtual mobile able to navigate in a maze that perpetually changes
37
Blayrac, Michel. "Conception et developpement d'un environnement informatique d'aide à l'étude d'une usine de retraitement de combustibles irradiés". Lyon 1, 1989. http://www.theses.fr/1989LYO10048.
Abstract (sommario):
Une usine de retraitement de combustibles irradies est composee d'appareils relies entre eux. Le but de notre recherche est de creer les schemas symbolisant les differents ateliers de l'usine et de calculer les caracteristiques de ces diverses liaisons (flux). L'environnement developpe permet, a partir de la description graphique des structures fonctionnelle et organique du systeme considere, le calcul des caracteristiques. Le programme, ecrit en fortran 77, base sur le principe de la conservation de masse, de debit et d'energie, utilise une bibliotheque de modules, chacun d'entre eux correspondant a une operation elementaire de genie chimique. Afin d'assurer la qualite et la precision des resultats obtenus, une etape de verification est necessaire. Le nombre important de parametres et de variables utilises par le logiciel, necessite une phase de diagnostic accelerant ainsi la recherche des sources d'erreurs et la correction de celes-ci. Les connaissances manipulees dans ces deux dernieres phases sont de natures qualitatives (connaissances des experts) et quantitatives (resultats des calculs), ce qui est a l'origine du developpement d'un systeme expert ecrit en d-prolog. L'environnement peut etre utilise pour la recherche d'autres points de fonctionnement, les calculs actuels etant realises au point de fonctionnement nominal. Les consequences de cette realisation sont l'optimisation de la qualite et de la duree d'elaboration des schemas et des resultats ainsi que la diminution des couts
38
Djouad, Tarek. "Ingénierie des indicateurs d'activités à partir de traces modélisées pour un environnement informatique d'apprentissage humain". Phd thesis, Université Claude Bernard - Lyon I, 2011. http://tel.archives-ouvertes.fr/tel-00756070.
Abstract (sommario):
L'exploitation des traces d'interaction lors de tâches d'apprentissage permet différents types de retour d'expérience : retour immédiat pour l'apprenant sur sa tâche, retour d'expérience au niveau d'un groupe de pairs, retour d'expérience vers le tuteur en situation d'apprentissage, retour d'expérience vers les concepteurs de formation. Ces retours d'expérience s'expriment le plus souvent sous une forme synthétique : des indicateurs. Ce travaille apporte des solutions originales aux deux facettes indispensables à toute ingénierie des indicateurs : 1) intégration d'un système à base de traces comme nouvelle brique disponible pour la conception d'EIAH (intégration dans un framework de type Moodle) ; 2) Elaboration d'un processus intégré de transformations explicites de traces modélisées préparant à un calcul explicite d'indicateurs. Les connaissances de modélisation des traces, des transformations et de la description de la formule d'indicateur sont capitalisées, facilitant la réutilisation et la constitution de bibliothèques d'indicateurs " prêts à l'emploi ". Pour illustrer l'approche, nous avons développé un jeu de modèles de traces et de transformations adaptées à une situation cible choisie pour sa richesse interactive. Ce jeu de modèles pourra concerner l'apprenant seul, mais aussi le groupe de pairs et éventuellement le groupe classe pour révéler certains phénomènes, tels que la collaboration, non visibles au niveau de l'individu seul. L'outil développé, pour faire la démonstration de l'approche proposée, a été testé en vraie grandeur sur plusieurs terrains universitaires et est disponible en téléchargement pour Moodle.
39
Duval, Yohan. "Création automatisée de Scénarios de Formation pour l'enseignement d'activités métier dans un environnement informatique modulaire". Thesis, Toulouse, INSA, 2017. http://www.theses.fr/2017ISAT0004/document.
Abstract (sommario):
Les travaux effectués durant cette thèse s'inscrivent dans une problématique assez commune de nos jours : proposer de nouvelles méthodes de formation afin de s'adapter à l'évolution des besoins de la société et aux nouvelles technologies disponibles. En particulier, notre étude se focalise sur le besoin de formation à des activités métier de divers domaines (médical, automobile, aéronautique, etc.) de plus en plus complexes. Alors qu'il existe à l'heure actuelle des outils adaptés pour l'enseignement d'activités impliquant des actions avec des objets du monde réel (jeux sérieux), et d'autres outils adaptés pour l'enseignement d'activités se déroulant intégralement dans une application informatique (tutoriels de logiciel), il n'existe pas d'outil permettant d'enseigner des activités mêlant ces deux types d'opération. Dans ce mémoire, nous décrivons donc tout d'abord les différents travaux menés afin de répondre à cette première problématique. Après avoir étudié les caractéristiques respectives des Jeux Sérieux et des tutoriels de logiciel, nous formalisons l'outil de formation que nous avons conçu afin d'homogénéiser l'utilisation de ces deux catégories d'application dans un seul et même environnement. Nous introduisons alors les notions d'Environnement de Formation et de Scénario de Formation, qui font respectivement la distinction entre l'environnement dans lequel évoluent les apprenants au fur et à mesure des leçons, et la description formelle des activités à réaliser ainsi que des éléments pédagogiques et ludiques qui leurs sont liés.Cependant, le développement d'un tel outil représente une tâche particulièrement ardue pour les formateurs qui ne possèdent souvent pas l'expertise informatique requise. Cette observation vient en contradiction avec le fait que ces mêmes formateurs doivent être impliqués dans le processus de développement, du fait qu'ils possèdent à la fois l'expertise métier et l'expertise pédagogique liées aux activités métier à enseigner. Ainsi, l'étude de méthodes et d'environnements permettant de faciliter la création de tels outils constitue un deuxième axe de recherche de notre thèse. Suite à l’analyse un ensemble de langages textuels et graphiques, nous proposons dans un premier temps un langage dédié permettant de décrire nos Scénarios de Formation. Nous introduisons dans un second temps la représentation associée qui, à l'aide de plusieurs entités graphiques aux formes et à l'utilité bien définies, permet aux formateurs de décrire des scénarios en adéquation avec leurs compétences. Enfin, nous présentons l'environnement auteur permettant de faciliter la tâche aux formateurs grâce à diverses fonctionnalités d'automatisation et de capitalisation. L'ensemble de ces concepts forme la méthodologie globale que nous proposons dans cette thèse afin de rendre accessible la création de scénarios de formation aux formateurs.Finalement, ces différents travaux sont illustrés au travers de plusieurs applications ayant été implémentées afin de mettre en application nos contributions dans le contexte industriel du diagnostic automobile. Nous présentons et évaluons alors l'outil de formation et l'environnement auteur correspondants qui, ensemble, garantissent un processus industriel complet et plausible, depuis la création d'un scénario de formation jusqu'à son exécutionThe work carried out during this PhD thesis is related to a common issue these days: offering new training methods to adapt to the evolution of our society and to the new available technologies. Our study focuses on the necessity of training professional activities which take place in various domains (health, automotive, aeronautics, etc.), and which are becoming more and more complex. Nowadays, there are tools that are adapted to the training of activities involving interactions with objects from the real word (serious games), and there are other tools that are suitable for training activities which only involve the use of one or several business software applications (software tutorials). However, there are no fitting tools for training activities which involve both types of operation. In this manuscript, we first describe the work we performed to bring an answer to this problematic. After having studied the respective features of serious games and software tutorials, we formalize the training tool that we have designed to homogenize the use of these two application categories in a unique computer environment. We then introduce two notions. The first one is the notion of Training Environment, which stands for the environment in which trainees will progress to accomplish the different lessons being available through the tool. In a complementary manner, we define the notion of Training Scenario, which precisely is the formal description of one lesson in the Training Environment, with all its components: activities to be performed, pedagogical elements, and playful elements.However, the implementation of such a tool is a very complex task for trainers which often do not have the required computing expertise. This observation comes in contradiction with the fact that these very trainers must be involved in the development process, because they are the ones who own the professional expertise and the pedagogical expertise associated with the activities to be trained. Thus, the study of methods and environments easing the creation of such tools represent a second research axis for this thesis. After having analyzed a set of textual and graphical languages, we first propose a Domain Specific Modeling Language allowing the description of our Training Scenarios. Second, we introduce the associated representation which, thanks to several graphical entities well-defined, allows trainers to describe their own scenarios in line with their skills and expertise. Last, we present the authoring tool that allows to ease the scenario description task for trainers, thanks to various features which aim at automating the process and promoting reutilization. These concepts shape the global methodology that we propose in this manuscript to make training scenarios creation in trainers reach.Finally, these works are illustrated through the implementation of various applications which aims at putting into practice our contributions in the industrial context of automotive diagnostic. We then present and evaluate the corresponding training tool and authoring tool which together assure a complete and plausible industrial process, from the training scenario description to its execution
40
Dagher, Antoine. "Environnement informatique et apprentissage de l'articulation entre registres graphiques et algebrique de representation des fonctions". Paris 7, 1993. http://www.theses.fr/1993PA077038.
Abstract (sommario):
L'etude des questions relatives a l'apport de l'utilisation des logiciels pedagogiques en mathematiques a l'enseignement et a l'apprentissage est un theme particulierement important en didactique. Cette recherche s'interesse a deux de ces questions: 1) la possibilite d'apprentissage par adaptation a un environnement informatique et les processus par lesquels peut passer cet apprentissage; 2) l'analyse du travail de l'eleve a partir des informations recueillies automatiquement sur son interaction avec le logiciel et a l'automatisation de cette analyse. L'etude de ces questions est faite a travers l'experimentation a deux niveaux differents, dans des conditions differentes, d'un logiciel de type jeu realise pour le besoin de cette recherche. Il est base sur l'interaction des deux registres algebrique et graphique de representation des fonctions. La notion de savoir atomique a ete creee et introduite pour permettre la construction d'un outil d'analyse adapte a cette etude
41
SELVA, THIERRY. "Ressources et activites pedagogiques dans un environnement informatique d'aide a l'apprentissage du francais langue seconde". Besançon, 1999. http://www.theses.fr/1999BESA2026.
Abstract (sommario):
La nature meme du media informatique tend a privilegier l'autonomie de l'apprenant lors de l'apprentissage d'une langue etrangere. L'examen des environnements lexicaux existants montre que l'autonomie passe par l'incorporation de ressources lexicales en tant que materiaux d'apprentissage et outils d'aide. La partie centrale de ce travail a ete de concevoir les ressources adaptees a cet apprentissage et la maniere dont celles-ci s'articulent. L'environnement alexia se compose d'un corpus de textes, d'un dictionnaire comme outil d'aide, d'un dictionnaire personnalise et d'un module d'activites lexicales. Le corpus, constitue de textes recents comprenant plusieurs niveaux de langue, est centre sur un domaine du francais courant maitrise par tout natif (travail, emploi, chomage). La modelisation de la base de donnees lexicales s'appuie sur les resultats des recherches en psycholinguistique, montrant que le lexique mental semble etre compose de mots relies entre eux par des liens de nature semantique et contextuelle. L'interface pour visualiser ces donnees tient compte des problemes d'acces lexicaux et tire parti des possibilites du support informatique pour la presentation des differentes informations necessaires aux apprenants. Corpus et dictionnaire servent de materiaux pour la generation d'activites lexicales : a base de concordances, elles mettent en jeu les relations semantiques du dictionnaire. Pour cela, il est necessaire d'effectuer au prealable un etiquetage morpho-syntaxique et semantique du corpus. Un systeme d'aide donne des indications pour permettre a l'apprenant de resoudre les exercices et renforce ainsi le role pedagogique de l'environnement. Le dictionnaire personnalise permet d'organiser les mots selectionnes par l'apprenant dans les textes lors de lectures. Le travail de categorisation effectue renforce les liens du lexique mental et favorise ainsi la retention.
42
Djouad, Tarek. "Ingénierie des indicateurs d'activités à partir de traces modélisées pour un environnement informatique d’apprentissage humain". Thesis, Lyon 1, 2011. http://www.theses.fr/2011LYO10325/document.
Abstract (sommario):
L’exploitation des traces d’interaction lors de tâches d’apprentissage permet différents types de retour d’expérience : retour immédiat pour l’apprenant sur sa tâche, retour d’expérience au niveau d’un groupe de pairs, retour d’expérience vers le tuteur en situation d’apprentissage, retour d’expérience vers les concepteurs de formation. Ces retours d’expérience s’expriment le plus souvent sous une forme synthétique : des indicateurs. Ce travaille apporte des solutions originales aux deux facettes indispensables à toute ingénierie des indicateurs : 1) intégration d’un système à base de traces comme nouvelle brique disponible pour la conception d’EIAH (intégration dans un framework de type Moodle) ; 2) Elaboration d’un processus intégré de transformations explicites de traces modélisées préparant à un calcul explicite d’indicateurs. Les connaissances de modélisation des traces, des transformations et de la description de la formule d’indicateur sont capitalisées, facilitant la réutilisation et la constitution de bibliothèques d’indicateurs « prêts à l’emploi ». Pour illustrer l’approche, nous avons développé un jeu de modèles de traces et de transformations adaptées à une situation cible choisie pour sa richesse interactive. Ce jeu de modèles pourra concerner l’apprenant seul, mais aussi le groupe de pairs et éventuellement le groupe classe pour révéler certains phénomènes, tels que la collaboration, non visibles au niveau de l’individu seul. L’outil développé, pour faire la démonstration de l’approche proposée, a été testé en vraie grandeur sur plusieurs terrains universitaires et est disponible en téléchargement pour MoodleThe exploitation of user’s interaction historic provides different level of experience’s feedback and for different kind of users: experience feedback for teachers, student, group of students, TEL designers. This work provides novel solutions to two essential aspects to any engineering indicators: 1) Integration of a Trace Based System as a new component for TEL systems design (integration in a framework as Moodle for example); 2) Building a set of Trace models with a transformations process to compute explicitly indicators. Knowledge modeling traces, transformations, and indicators’ formula description are capitalized, allowing the reuse and the creation of indicators library “ready to use” To illustrate the approach, we have developed a set of traces models and transformations adapted to a chosen learning situation. This set of models will involve him- self, the peers group and possibly the whole class to reveal some phenomena, such as collaboration. A demonstration software has been developed and tested in three different university contexts and is available for download for Moodle
43
Convard, Thomas. "Conception assistée par ordinateur en environnement immersif". Paris 11, 2005. http://www.theses.fr/2005PA112249.
Abstract (sommario):
Cette thèse traite de l'utilisation des environnements immersifs de Réalité Virtuelle (RV) pour la Conception Assistée par Ordinateur (CAO). Nous étudions comment ces nouvelles interfaces entre l'homme et les systèmes informatiques peuvent améliorer les différentes tâches de conception de formes géométriques qui sont actuellement réalisées sur station de travail avec écran, clavier, souris et ne proposant qu'une interface graphique. Or ce type d'interaction ne tire pas profit des possibilités de la RV en terme d'interaction directe et 3d. De plus, les objets de CAO n'offrent pas de moyens pour modifier leur forme à partir de ce type d'interaction. Nous présentons une approche d'objets réactifs, permettant de changer la valeur des paramètres d'opérations dans le graphe d'historique de construction d'un solide, à partir d'interaction directe de l'utilisateur sur des éléments (sommet, arête, face) du B-Rep de ce solide. Nous utilisons à ce propos un système d'inférence qui décide quels vont être les paramètres modifiés à partir de l'élément sélectionné, et comment vont être interprétées les manipulations de l'utilisateur en tant que variations numériques des paramètres. Ces inférences se fondent sur des jeux de règles basées sur des informations de constructions rattachées aux éléments du B-Rep. Ce modèle d'objet réactif a été implémenté dans un prototype permettant la création et la modification des objets CAO de manière intuitive dans un environnement immersif et multimodal. Nous proposons aussi dans cette thèse une méthode de détection de collision dédiée à l'interaction immersive, ainsi qu'un système de rendu graphique sur grappe de PC adapté aux objets déformablesThis thesis discuss of the use of immersive environments of Virtual Reality (VR) for Computer Aided Design (CAD). We study how these new interfaces between man and information systems can improve the different tasks of geometric shape design that are actually done on workstation with screen. These workstations essentially use keyboard, mouse and graphical interface. However this kind of interaction does not take advantage of VR possibilities in term of direct 3d interaction. In addition, CAD objects does not allow ways to modify there shape with a direct and 3d interaction. We present an approach of reactive objects that allows changing the value of operations parameters in the construction history graph of the solid, from direct interaction of the user on the elements (vertex, edge, face) of the B-Rep of the solid. To this purpose, we use an inference system that decides what parameters to modify knowing the selected element, and how to map the manipulations of the user to numerical changes of the parameters. These inferences are based on sets of rules dealing with construction information attached to the elements of B-Rep. This model of reactive objects has been implemented in a software prototype allowing creation and modification of CAD objects in an intuitive way. The interface proposed is a multimodal and immersive environment. We also propose in this thesis a method for collision detection dedicated to immersive interaction and a graphic rendering system on PC cluster adapted to deformable objects
44
Barkaoui, Mohamed. "Approche évolutionnaire pour la planification d'itinéraires dans un environnement dynamique". Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27074/27074.pdf.
45
Sohbi, Yassine. "Etude et réalisation de SYGEMOR : environnement pour systèmes multi-experts centre objet". Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0012.
Abstract (sommario):
L'utilisation des systèmes experts pose le problème de la quantité d'information manipulée, qui rapproche alors l'intelligence artificielle des bases de données. A cette question, SYGEMOR apporte une double solution. Localement les informations sont codifiées selon un formalisme centré objet, et administrées par des règles de production. Globalement, les applications sont organisées en un réseau hiérarchique de mondes, dont chacun contient ses règles, ses classes, ses objets. Les mondes communiquent entre eux via des règles à visibilité étendue et peuvent ainsi se partager des informations. Des règles démons permettent de passer dynamiquement d'un monde à l'autre, ces mondes constituant la base d'une mémoire virtuelle segmentée. SYGEMOR a été implanté sous Unix V. Des essais à blanc ont montré la résistance du système devant la multiplication des règles et des objets, tandis que les premières applications confirment le bien-fondé de l'organisation en réseau i) pour le découpage des applications ii) pour bénéficier des performances d'une petite base avec les services d'une grande.
46
Lefebvre, Christian. "HPF-Builder : un environnement visuel de placement et distribution dédié à HPF". Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-311.pdf.
Abstract (sommario):
L'algorithmique scientifique modelise les phenomenes physiques par des methodes numeriques mettant en uvre d'enormes quantites de calculs. Pour etre capable de venir a bout de tels calculs, l'utilisation des machines paralleles est necessaire. Dans ce contexte, l'utilisation du parallelisme de donnees rend plus accessible la programmation des architectures paralleles. Le langage hpf respecte le modele de programmation a parallelisme de donnees tout en gardant la compatibilite avec le langage fortran, ce qui apporte une plus grande facilite dans le portage d'applications existantes. En parallelisme de donnees, le placement des donnees sur les differents nuds de calcul est d'une importance primordiale sur l'efficacite du programme. C'est pourquoi hpf propose des directives pour l'alignement des donnees entre elles et leur distribution sur une machine cible virtuelle. Nous proposons un modele de representation graphique des placements, afin de guider le programmeur dans le choix de ses directives. Ce modele permet la visualisation des alignements et des distributions a travers differents points de vue, de l'allure generale a la specification detaillee. La mise en uvre de ce modele a ete realisee sous la forme d'une interface graphique de visualisation et d'aide a l'edition de directives hpf : hpf-builder. Cet outil permet de mettre en uvre tous les placements de donnees d'un programme fortran de facon visuelle et interactive. Il libere l'utilisateur des contraintes syntaxiques et verifie la coherence des directives. De plus, nous proposons une extension de ce modele, ayant pour but d'evaluer a priori l'influence du placement sur les performances. Pour cela, nous avons defini un moyen de representer graphiquement les couts de communications et nous proposons plusieurs methodes de calcul permettant une evaluation approchee mais generique ou, au contraire, plus precise mais dediee a une architecture ou un compilateur donnes.
47
Patel, Pankesh. "Environnement de développement d'applications pour l'Internet des objets". Phd thesis, Université Pierre et Marie Curie - Paris VI, 2013. http://tel.archives-ouvertes.fr/tel-00927150.
Abstract (sommario):
Application development in the Internet of Things (IoT) is challenging because it involves dealing with a wide range of related issues such as lack of separation of concerns, and lack of high-level of abstractions to address both the large scale and heterogeneity. Moreover, stakehol- ders involved in the application development have to address issues that can be attributed to different life-cycles phases when developing applications. First, the application logic has to be analyzed and then separated into a set of distributed tasks for an underlying network. Then, the tasks have to be implemented for the specific hardware. Apart from handling these issues, they have to deal with other aspects of life-cycle such as changes in application requirements and deployed devices. Several approaches have been proposed in the closely related fields of wireless sensor network, ubiquitous and pervasive computing, and software engineering in general to address the above challenges. However, existing approaches only cover limited subsets of the above mentioned challenges when applied to the IoT. This thesis proposes an integrated approach for addressing the above mentioned challenges. The main contributions of this thesis are: (1) a development methodology that separates IoT application development into different concerns and provides a conceptual framework to develop an application, (2) a development framework that implements the development methodology to support actions of stakeholders. The development framework provides a set of modeling languages to specify each development concern and abstracts the scale and heterogeneity related complexity. It integrates code generation, task-mapping, and linking techniques to provide automation. Code generation supports the application develop- ment phase by producing a programming framework that allows stakeholders to focus on the application logic, while our mapping and linking techniques together support the deployment phase by producing device-specific code to result in a distributed system collaboratively hosted by individual devices. Our evaluation based on two realistic scenarios shows that the use of our approach improves the productivity of stakeholders involved in the application development.
48
Ruvini, Jean-David. "Assistance à l'utilisation d'un environnement interactif : apprentissage des habitudes de l'utilisateur". Montpellier 2, 2000. http://www.theses.fr/2000MON20091.
Abstract (sommario):
L'utilisation d'un environnement interactif s'accompagne de la repetition de nombreuses actions. Cette these propose des techniques, basees sur l'apprentissage des habitudes de l'utilisateur, permettant la conception d'interfaces adaptatives capables de detecter les taches repetitives que l'utilisateur accomplit, d'inferer a la maniere des interfaces demonstrationnelles - plus que des macro-commandes - des programmes permettant leur automatisation et, comme les interfaces predictives, d'anticiper ses actions pour lui proposer au moment opportun de rejouer les programmes. Outre des temps d'apprentissage et de prediction courts, l'algorithme utilise pour apprendre les habitudes doit posseder des probabilites d'erreur et d'exces faibles. Nous montrons que si les algorithmes d'apprentissage sont les plus adaptes pour apprendre les habitudes, les algorithmes existants ne satisfont qu'imparfaitement cette contrainte de notre application. La solution que nous proposons repose sur l'utilisation combinee d'un algorithme classique et d'un algorithme que nous avons elabore specifiquement pour le probleme en combinant diverses techniques classiques en apprentissage. L'efficacite de cet algorithme, en particulier vis a vis de c4. 5, rise et nbc, est mise en evidence tant sur des donnees reelles que sur des problemes tests. Le travail presente a abouti a la realisation d'une interface adaptative pour l'environnement de programmation visual works, premiere interface adaptative capable de detecter differentes iterations d'une boucle dans les actions de l'utilisateur et de lui proposer de terminer automatiquement la boucle, meme si ces iterations ne sont pas consecutives.
49
Gagné, Olivier. "Ordonnancement de ressources en temps réel avec contraintes dynamiques dans un environnement non déterministe". Thesis, Université Laval, 2007. http://www.theses.ulaval.ca/2007/24971/24971.pdf.
Abstract (sommario):
Les problèmes militaires sont très complexes et plusieurs d'entre eux ne peuvent être résolues en utilisant les techniques d'optimisation classiques. Le problème visé par ce travail de maîtrise, est celui de la gestion en temps réel des ressources d'une frégate. Ces ressources doivent être assignées convenablement et dans les délais requis de manière à contrer les menaces et augmenter ainsi la probabilité de survie de la frégate. Pour contribuer à résoudre un tel problème, nous avons convenu tout d'abord, d'analyser les menaces une à une et de déterminer lesquelles sont les plus importantes et quel plan d'attaque il convient d'élaborer pour les contrer. Nous avons introduit à cet effet, l'évaluation de ``l'engageabilité'' qui permet de considérer différents facteurs déterminants dans l'allocation des ressources. Nous avons ensuite formalisé le problème en question, en utilisant un modèle formel emprunté à la satisfaction des contraintes (CSP=constraint Satisfaction problem). Finalement, nous avons montré dans quelles circonstances il est avantageux d'utiliser cette évaluation de l'engageabilité dans un processus d'allocation de ressources en temps réel et dans un environnement stochastique, le tout relativement à la survie de la frégate.Military problems are very complex and they can be solved by different artificial intelligence techniques. In this thesis, we address the problem of weapon-targets assignment for a frigate. To defend efficiently the ship, we have to analyze each threat and determine which resource assigns against it. For that purpose, we utilize the engageability assessment to consider different characteristics; useful in the resources assignment. To this end, a mathematical model named Constraint Satisfaction Problem (CSP) is employed. This framework allows formalizing the problem to ensure the constraint consistency and to sort threats in importance order. We tried this algorithm on different types of weapon-target assignment problems. Finally, we demonstrate the advantage of engageability assessment on the weapon-target assignment problem in real time and stochastic environment.
50
Namyst, Raymond. "Pm2 : un environnement pour une conception portable et une exécution efficace des applications parallèles irrégulières". Lille 1, 1997. http://www.theses.fr/1997LIL10028.
Abstract (sommario):
Ce travail s'inscrit dans le cadre du projet espace dont l'objectif est de définir un cadre méthodologique ainsi qu'un environnement de développement pour la conception d'applications parallèles irrégulières sur architectures distribuées. La parallélisation de ces applications, dont le comportement n'est pas. Prévisible à priori, pose problème aux niveaux de l'expression du découpage parallèle, de la prise en charge des différentes taches à l’exécution et de leur répartition sur les processus disponibles. La contribution de cette thèse se traduit par la définition et la réalisation d'un support exécutif distribué basé sur la notion de processus léger nommé PM#2 constituant la base de l'environnement espace. Dans l'optique d'une virtualisation totale de l'architecture, nous proposons un modèle de conception des applications s'articulant autour de trois axes principaux qui sont 1) un découpage des applications irrégulières à l'aide des mécanismes d'appel de procédure à distance léger et de clonage léger, 2) un ordonnancement préemptif des processus légers et 3) des mécanismes permettant la migration des processus légers (mobilité). La conjonction de ces concepts rend possible la conception d'applications indépendantes de l'architecture s’exécutant efficacement en contexte distribué, moyennant l'utilisation d'une couche logicielle définissant la stratégie d'ordonnancement des activités. La réalisation de cet environnement s'appuie principalement sur une bibliothèque de processus légers de niveau utilisateur, nommée Marcel, conçue dans le cadre de cette thèse. Notre démarche montre comment il est possible d’accéder à des fonctionnalités évoluées (telles que la migration) et à des performances élevées sans sacrifier la portabilité de l'environnement. Actuellement, MP#2 est opérationnel sur six architectures et utilisé dans plusieurs laboratoires de recherche français. Les premières conclusions issues de ces collaborations confirment la pertinence de notre approche