Rozprawy doktorskie na temat „Informatique – Environnement”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Informatique – Environnement”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Yahiaoui, Leila. "Redocumentation des traces d’utilisation d’un environnement informatique". Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10140.
Pełny tekst źródłaThis 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
Renouard, Stéphane. "Interaction homme-environnement : modèle et outil". Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0005.
Pełny tekst źródłaThe 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
Petitgirard, Jean-Yves. "Le traitement de l'anglais oral dans un environnement informatique interactif multimedia". Chambéry, 1999. http://www.theses.fr/1999CHAML001.
Pełny tekst źródłaComputer 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
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.
Pełny tekst źródłaRabemanantsoa, 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.
Pełny tekst źródłaZaldivar, Colado Ulises. "Planification d'assemblage en environnement virtuel". Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS0056.
Pełny tekst źródłaThis 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
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.
Pełny tekst źródłaEtienne, Jean-Frédéric. "Certyfing Airpot Security using the Focal Environnement". Paris, CNAM, 2008. http://www.theses.fr/2008CNAM0618.
Pełny tekst źródłaLe 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
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.
Pełny tekst źródłaCloutier, 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.
Pełny tekst źródłaGeorge, 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.
Pełny tekst źródłaCloutier, Richard. "Conception électronique et informatique d'un robot mobile pour usage dans un environnement domiciliaire". [S.l. : s.n.], 2007.
Znajdź pełny tekst źródłaHacid, 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.
Pełny tekst źródłaMoguel, 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.
Pełny tekst źródłaOur 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
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.
Pełny tekst źródłaClaisse, Harry. "Structures chainées et environnement paginé". Compiègne, 1987. http://www.theses.fr/1987COMPI270.
Pełny tekst źródłaThis 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
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.
Pełny tekst źródłaEstablishing 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)
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.
Pełny tekst źródłaBenadjaoud, 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.
Pełny tekst źródłaJean, David. "CDL+CWS : un langage de prototypes et son environnement". Sherbrooke : Université de Sherbrooke, 1997.
Znajdź pełny tekst źródłaGruszka, Samuel. "Étude et spécification d'un partitionnement dynamique Data-Flow en environnement numérique". Toulouse, INPT, 1995. http://www.theses.fr/1995INPT074H.
Pełny tekst źródłaPham, 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.
Pełny tekst źródłaBenmohamed, 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.
Pełny tekst źródłaPham, 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.
Pełny tekst źródłaThe 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
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.
Pełny tekst źródłaIn 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%
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.
Pełny tekst źródłaOuy, 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.
Pełny tekst źródłaOuy, 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.
Pełny tekst źródłaThe 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
Cherruel, Gildas. "Etude de commandes neuronales en environnement synchrone SIGNAL". Brest, 1996. http://www.theses.fr/1996BRES2011.
Pełny tekst źródłaKocharyan, Aram. "Gestion de la mémoire dans un environnement virtuel". Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30089.
Pełny tekst źródłaThe 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
Teyeb, Hana. "Optimisation intégrée dans un environnement cloud". Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLL010.
Pełny tekst źródłaIn 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
Milhaud, Gérard. "Un environnement pour la composition de phrases assistée". Aix-Marseille 2, 1994. http://www.theses.fr/1994AIX22079.
Pełny tekst źródłaGivert, Didier. "Modélisation géometrique d'objets en environnement robotique". Paris 11, 1988. http://www.theses.fr/1988PA112211.
Pełny tekst źródłaMatougui, 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.
Pełny tekst źródłaSingh, Pushpendra. "Environnement de tolérance aux fautes pour terminaux mobiles embarqués". Rennes 1, 2004. http://www.theses.fr/2004REN10054.
Pełny tekst źródłaSignac, Laurent. "Etude d'un système autonome survivant en environnement virtuel agité". Poitiers, 2001. http://www.theses.fr/2001POIT2304.
Pełny tekst źródłaAlgorithmic 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
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.
Pełny tekst źródłaDjouad, 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.
Pełny tekst źródłaDuval, 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.
Pełny tekst źródłaThe 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
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.
Pełny tekst źródłaSELVA, 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.
Pełny tekst źródłaDjouad, 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.
Pełny tekst źródłaThe 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
Convard, Thomas. "Conception assistée par ordinateur en environnement immersif". Paris 11, 2005. http://www.theses.fr/2005PA112249.
Pełny tekst źródłaThis 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
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.
Pełny tekst źródłaSohbi, Yassine. "Etude et réalisation de SYGEMOR : environnement pour systèmes multi-experts centre objet". Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0012.
Pełny tekst źródłaLefebvre, 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.
Pełny tekst źródłaPatel, 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.
Pełny tekst źródłaRuvini, Jean-David. "Assistance à l'utilisation d'un environnement interactif : apprentissage des habitudes de l'utilisateur". Montpellier 2, 2000. http://www.theses.fr/2000MON20091.
Pełny tekst źródłaGagné, 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.
Pełny tekst źródłaMilitary 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.
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.
Pełny tekst źródła