Bibliografie tematiche / Informatique – Environnement

Letteratura scientifica selezionata sul tema "Informatique – Environnement"

Autore: Grafiati

Pubblicato: 1 giugno 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al 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.

Articoli di riviste sul tema "Informatique – Environnement":

Ganeval-Béciri, Hélène, e Claudie Juilliard. "Un apprentissage autonome dans un environnement informatique à l'université". Recherche et pratiques pédagogiques en langues de spécialité - Cahiers de l'APLIUT 8, n. 1 (1988): 43–57. http://dx.doi.org/10.3406/apliu.1988.1995.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Dagher, Antoine. "Apprentissage dans un environnement informatique: possibilit� nature transfert des acquis". Educational Studies in Mathematics 30, n. 4 (giugno 1996): 367–98. http://dx.doi.org/10.1007/bf00570830.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Chaachoua, Hamid. "T4TEL : Un cadre de référence pour la formalisation et l’extension du modèle praxéologiqueT4TEL: A frame of reference for the formalization and extension of the praxeological model". Educação Matemática Pesquisa : Revista do Programa de Estudos Pós-Graduados em Educação Matemática 22, n. 4 (15 settembre 2020): 103–18. http://dx.doi.org/10.23925/1983-3156.2020v22i4p103-118.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

RésuméCe texte propose une synthèse de développement d’un cadre de référence T4TEL qui, à l’origine, a été développé pour répondre à des besoins de conception d’environnements informatiques. Nous présentons ses fondements, son intérêt et ses apports dans des recherches en didactique des mathématiques hors du champ informatique.Mots clés : environnement informatique, TATEL, didactique des mathématiques. AbstractThis paper describes a theoretical framework T4TEL development, that was originally developed to meet the design needs of IT environments. We present its foundations, its interest, and its contributions in research in didactics of mathematics out of the computer field.Keywords: IT environments, T4TEL, didactics of mathematics.

Bonnat, Catherine. "Modélisation de praxéologies personnelles a priori dans une situation de conception expérimentale en biologieModeling of personal praxeology a priori in an experimental design situation in biology". Educação Matemática Pesquisa : Revista do Programa de Estudos Pós-Graduados em Educação Matemática 22, n. 4 (15 settembre 2020): 070–85. http://dx.doi.org/10.23925/1983-3156.2020v22i4p070-085.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

RésuméL’étude porte sur une modélisation de l’erreur dans une situation de biologie conçue dans un environnement informatique pour l’apprentissage humain et qui propose une activité incluant la démarche d’investigation. Cela se traduit par une modélisation de praxéologies personnelles a priori, mises à l’épreuve par l’analyse de productions d’élèves au lycée en France. Cette modélisation, novatrice en biologie, participera dans un second temps à l’évolution de la plateforme vers la mise en place d’un diagnostic automatique des erreurs.Mots clés : praxéologies personnelles, environnement informatique pour l’apprentissage humain, diagnostic automatique des erreurs.AbstractThe study consists in modelling errors in a biology situation implemented in a TEL system. The inquiry-based learning is used in this activity. We introduce the personal praxeology to model errors a priori in this situation. The model has been tested with student’s work in high school classes in France. This modelling work is necessary in order to improve the platform in a future work, which consists in implementing an automatic diagnosis of error.Keywords: personal praxeology, TEL system, automatic diagnosis of error.

Girault, Isabelle, Claire Wajeman e Cédric D'Ham. "Modèle de construction d'un EIAH pour une activité de conception expérimentaleBuilding model of an EIAH for an experimental design activity". Educação Matemática Pesquisa : Revista do Programa de Estudos Pós-Graduados em Educação Matemática 22, n. 4 (15 settembre 2020): 119–37. http://dx.doi.org/10.23925/1983-3156.2020v22i4p119-137.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

RésuméNous présentons et discutons l'utilisation de modélisations praxéologiques dans une activité de conception d'expériences en sciences expérimentales. Nous avons modélisé la tâche de l'élève de production d'un protocole expérimental en couplant des « types de tâche de conception » au modèle praxéologique de la manipulation. Ce modèle enrichi nous a servi pour concevoir un Environnement Informatique pour l’Apprentissage Humain (EIAH), TitrAB, dédié à la conception d’expériences de titrage en chimie, à la fois dans la sélection des tâches de l’activité travaillées dans TitrAB ainsi que dans la production de rétroactions automatiques.Mots-clés : Protocole expérimental, Environnement Informatique pour l’apprentissage Humain, Rétroactions automatiques.AbstractWe describe and discuss the use of the praxeological model in an experimental design activity in experimental science. We model the student’s task in the production of an experimental procedure, by introducing “Conception Task Types” to the praxeological model of the experiment. This extended model was used to design TitrAB, a software dedicated to an experimental design situation in Chemistry, in two ways: the selection of the activity tasks in TitrAB and the production of automatic feedback to the student’s protocol.Keywords: Experimental procedure, Software dedicated To an experimental design situation, Automatic feedback.

Charbonneau, Nathalie, Léon Robichaud e Joanne Burgess. "Le modèle numérique 4D : un outil de diffusion et de communication au service de l’historien". Journal of the Canadian Historical Association 25, n. 2 (2 settembre 2015): 233–63. http://dx.doi.org/10.7202/1032847ar.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Le modèle numérique 4D constitue depuis quelques années un nouvel outil de recherche, de communication et de diffusion pour les historiens dont les travaux incluent une composante relative au patrimoine bâti. Ce type de modèle prend en considération la dimension temporelle du cadre bâti, c’est à dire l’évolution de la morphologie du lieu. Il permet par ailleurs de rendre compte de la multiplicité des hypothèses de restitution et des liens existant entre informations spatiales et sources documentaires. Le modèle 4D peut être accessible par le biais d’un environnement numérique interactif. Nous nous intéressons à la réponse de l’humain face à de tels systèmes informatiques. Nous cherchons à vérifier dans quelle mesure le modèle 4D pourrait contribuer à bonifier la communication d’une part entre l’historien et l’apprenant et, d’autre part, entre des historiens appartenant à un groupe de chercheurs. Notre intérêt porte également sur une optimisation des modalités de communication entre l’historien et le développeur informatique, afin que le chercheur en histoire soit en mesure de s’approprier les technologies numériques de façon plus probante. Une étude de cas nous amène à développer et à mettre à l’essai un environnement numérique 4D afin d’examiner ces divers types de communication.

Héry, Michel. "Les impacts de l’automatisation du travail". Études Septembre, n. 9 (22 agosto 2018): 43–54. http://dx.doi.org/10.3917/etu.4252.0043.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Le logiciel a envahi nos vies. Rares sont les activités autres que purement manuelles dans lesquelles il n’intervient pas. Sa présence s’est progressivement si bien intégrée à l’objet que l’utilisateur d’une voiture, d’un distributeur automatique de billets ou d’un téléphone, qu’il soit fixe ou mobile, n’a plus conscience que rien dans son environnement ne pourrait plus fonctionner sans un programme informatique. Globalement, le consommateur y trouve son profit, en termes de praticité, de sécurité et de fiabilité. Dans le monde de l’industrie et des services, les changements ont été autrement plus radicaux pour les travailleurs : les bouleversements introduits par l’introduction des technologies de l’information et de la communication ont non seulement transformé profondément leur environnement immédiat de travail, ils ont plus globalement changé radicalement l’organisation de la production.

Després, Christophe. "ESSAIM : un environnement informatique pour le suivi pédagogique synchrone d’activités d’apprentissage à distance". Sciences et techniques éducatives 8, n. 1 (2001): 178–79. http://dx.doi.org/10.3406/stice.2001.1546.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Broisin, Julien, e Philippe Vidal. "Un environnement informatique pour l’apprentissage humain au service de la virtualisation des objets pédagogiques". Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation 12, n. 1 (2005): 177–204. http://dx.doi.org/10.3406/stice.2005.914.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Djouad, Tarek, Alain Mille, Christophe Reffay e Mohamed Benmohamed. "Ingénierie des indicateurs d’activités à partir de traces modélisées pour un Environnement informatique d’apprentissage humain". Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation 16, n. 1 (2009): 103–39. http://dx.doi.org/10.3406/stice.2009.994.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Informatique – Environnement":

Yahiaoui, Leila. "Redocumentation des traces d’utilisation d’un environnement informatique". Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10140.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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'utilisateurs
This 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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 divers
The 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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 preciser
Computer 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Zaldivar, Colado Ulises. "Planification d'assemblage en environnement virtuel". Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS0056.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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é virtuel
This 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Etienne, Jean-Frédéric. "Certyfing Airpot Security using the Focal Environnement". Paris, CNAM, 2008. http://www.theses.fr/2008CNAM0618.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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 developers
Le 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Più fonti

Libri sul tema "Informatique – Environnement":

Kernighan, Brian W. L' environnement de programmation UNIX. Paris: Interéditions, 1986.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Bénard, Karine. Les sources de l'information scientifique et technique: Environnement, médecine, énergie, agroalimentaire, biologie, informatique. Paris: Centre de formation et de perfectionnement des journalistes, 1993.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Pompidou, Centre Georges, a cura di. Composition et environnements informatiques. Paris: Ircam, 1992.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Roblou, Se verine Templier, e Olivier Salvatori. Spring par la pratique. 2^a ed. Paris: Eyrolles, 2009.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Canadian Symposium on Remote Sensing (16th 1993 Sherbrooke, Quebec). La télédétection : un outil pour la modélisation et la gestion des changements environnementaux, 16e Symposium canadien sur la télédétection, 8e Congrès de l'Association québécoise de télédétection =: Remote sensing : a tool for modelling and managing environmental changes, 16th Canadian Symposium on Remote Sensing. A cura di Gagnon Paul 1945-, O'Neill Norman Thomas 1952-, Association québécoise de télédétection. Congrès, Canadian Remote Sensing Society, Université de Sherbrooke. Centre d'applications et de recherches en télédétection., Société canadienne de télédétection e Symposium canadien sur la télédétection (16e : 1993 : Sherbrooke, Québec). Sherbrooke, Qué: Centre d'applications et de recherches en télédétection, 1993.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Gordon, Steven I. Computer models in environmental planning. New York, N.Y: Van Nostrand Reinhold, 1985.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

L, Convis Charles, a cura di. Conservation geography: Case studies in GIS, computer mapping, and activism. Redlands: Environmental Systems Research Institute, 2001.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

1954-, Convis Charles L., a cura di. Conservation geography: Case studies in GIS, computer mapping, and activism. Redlands, Calif: ESRI Press, 2001.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Ontario. Esquisse de cours 12e année: Environnement et gestion des ressources cgr4e cours préemploi. Vanier, Ont: CFORP, 2002.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Ontario. Esquisse de cours 12e année: Environnement et gestion des ressources cgr4m cours préuniversitaire. Vanier, Ont: CFORP, 2002.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Informatique – Environnement":

George, Sébastien, e Pascal Leroux. "Un environnement informatique de soutien à une pédagogie de projet:". In Pédagogies.net, 73–102. Presses de l'Université du Québec, 2003. http://dx.doi.org/10.2307/j.ctv18pgv9w.6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Butlen, Denis. "Chapitre III. Des écritures multiplicatives à la multiplication en environnement informatique". In Le calcul mental entre sens et technique, 55–71. Presses universitaires de Franche-Comté, 2007. http://dx.doi.org/10.4000/books.pufc.9888.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

DAVID, Raphaël, Étienne HAMELIN, Paul DUBRULLE, Shuai LI, Philippe DORE, Alexis OLIVEREAU, Maroun OJAIL, Alexandre CARBON e Laurent LE GARFF. "Plate-forme modulaire pour un environnement informatique de l’automobile du futur". In Systèmes multiprocesseurs sur puce 2, 125–57. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9022.ch5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Ce chapitre introduit une plate-forme matérielle opérant en temps réel et répondant aux défis de conception des architectures électriques et électroniques des véhicules intelligents de l’avenir. Grâce à la conception intégrée, et en se servant de logiciels et d’outils embarqués, les auteurs montrent la cohabitation efficace entre les applications à faible criticité et le logiciel opérationnel critique de la voiture.

FAGES, François, e Franck MOLINA. "La cellule, un calculateur analogique chimique". In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques, 255–74. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

La thèse de Church-Turing énonce qu’il n’y a qu’une seule notion universelle de calcul mécaniste, qui donc, d’une façon ou d’une autre, doit permettre de réconcilier le traitement de l’information en informatique et en biologie cellulaire. La preuve récente de Turing-complétude des réseaux de réactions chimiques continus sur un nombre fini d’espèces moléculaires, fournit les bases d’une telle réconciliation, sans construction artificielle, avec des capacités à la fois d’analyse des programmes chimiques naturels dans les cellules vivantes, et de synthèse de programmes chimiques artificiels dans des vésicules non vivantes. Ces résultats ouvrent un vaste champ de recherche fondamentale sur l’informatique analogique chimique de la cellule et des applications nouvelles en santé et environnement.

Tchounikine, Pierre, e André Tricot. "Environnements informatiques et apprentissages humains". In Informatique et sciences cognitives, 153–86. Éditions de la Maison des sciences de l’homme, 2011. http://dx.doi.org/10.4000/books.editionsmsh.13926.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

"Bibliographie". In Environnements informatiques, enjeux pour l'enseignement des mathématiques, 211–22. De Boeck Supérieur, 2007. http://dx.doi.org/10.3917/dbu.flori.2007.01.0211.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Informatique – Environnement":

Duhamel, Rémi, Alexis Clay, Chloé Morel, Morgane Burgues, Stéphanie Philippe, Marion Wolff e Régis Mollard. "Conception centrée utilisateur d’un environnement virtuel pour la prise de décision collaborative : état de l’art pluridisciplinaire et analyse des besoins." In ErgoIA'2021: 17ème Conférence en Ergonomie et Informatique Avancée. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3486812.3486834.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Informatique – Environnement":

Mathieu, Gilles, Dominique Pigeon, Tovo Rabemanantsoa, Christophe Chipeaux, Simon Duvillard, Célya Gruson-Daniel, Marie Emilia Herbet et al. Rapport du groupe de travail sur les cahiers de laboratoires électroniques. Ministère de l'enseignement supérieur et de la recherche, settembre 2021. http://dx.doi.org/10.52949/3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Le rapport du groupe de travail « Cahier de laboratoire électronique » (ELN) présente une vision partagée sur la définition, le cadrage, les usages et le périmètre fonctionnel de l’ELN, qui doit pouvoir s’intégrer dans les environnements informatiques et institutionnels existants. Il émet un ensemble de recommandations sur les critères de choix d’un outil et intègre une liste comparative d'outils existants.