Révisions
Corrigés d'examens, guides de TP et fiches de cours rédigés à partir des documents de la bibliothèque.
1370 révisions
- Explication
Contrôleur de feux de circulation d’un carrefour
Ce document traite de la spécification et de la vérification d’un contrôleur de feux de circulation pour un carrefour. Il s’adresse principalement aux étudiants et professionnels en informatique, en ingénierie des systèmes ou en automatisme, qui souhaitent comprendre comment modéliser et garantir le fonctionnement correct d’un système de feux tricolores.
Spécification et Vérification de Systèmes · 2014
- Corrigé
Exam in UNIX Implementation and Integration
Ce sujet d'examen porte sur l'implémentation et l'intégration UNIX. Il évalue les compétences en gestion des fichiers, systèmes de fichiers, programmation système en C, ainsi que la maîtrise des outils de compilation et de débogage.
Computer Science, Operating Systems, UNIX · 2012
- Corrigé
Correction de L’Examen de la Session Principale
Ce document présente la correction d’un examen portant sur plusieurs domaines de l’informatique, notamment la gestion des fichiers, les systèmes de gestion de fichiers (SGF), la programmation système et les outils de compilation et de débogage. Il évalue la compréhension des structures de fichiers, la manipulation des i-nœuds, la rédaction de Makefile et l’utilisation d’outils comme gdb.
Programming, File Systems, Makefile
CorrigéExamen de Réseaux Informatique
Exercice 1 - Gestion des fragments et congestion Question 1 - Perte d'un fragment IP au niveau du destinataire Lorsqu'un fragment IP est perdu en cours de route, la couche IP du destinataire ne possède aucun mécanisme pour redemander spécifiquement ce fragment manquant.
Réseaux, TCP, UDP · 2008
CorrigéAutomation System Study Guide and Exercises
Sujet 1 - Tête d'usinage automatisé Partie 1 - Étude de la partie opérative Question 1-1 - Circuit de puissance du moteur B Pour que le moteur B (fonctionnement du foret) soit commandé par l'Automate Programmable Industriel (API), sa bobine de contacteur doit être connectée à une sortie Tout Ou Rien (TOR), par exemple Q0.0 , et fermée par rapport à la masse (0V).
Industrial Automation
CorrigéCorrection Programmation Fonctionnelle Devoir Surveillé
Exercice 1 - Évaluation des expressions Pour cet exercice, il faut appliquer les règles d'évaluation du langage Lisp pour différentes primitives de manipulation de listes ( cons , car , append , list ) ainsi que la fonction d'ordre supérieur mapcar .
Programming, Math · 2012
CorrigéExamen TP Excel
Partie 1 - Feuille de calcul "Notes.xls" Le fichier "Notes.xls" ne figure pas dans l'énoncé qui m'est fourni, il est donc impossible d'utiliser les références exactes des cellules (comme A2, B2, etc.).
Informatics and Spreadsheet Usage · 2014
CorrigéExercice d’application en Java RMI
Question 1 - Définition des interfaces RMI Pour qu'une méthode Java soit accessible à distance via RMI (Remote Method Invocation), elle doit être déclarée dans une interface qui hérite de java.rmi.Remote . De plus, chaque méthode de cette interface doit déclarer qu'elle peut lever une exception de type java.rmi.RemoteException , afin de gérer les éventuelles erreurs réseau.
Programming, Java RMI · 2001
CorrigéBalises WSDL dans un service web et leurs équivalents Java
Exercice 1 - Services Web et SOAP Question 1 - Correspondances entre balises WSDL et termes Java Dans la spécification JAX-WS (Java API for XML Web Services), chaque concept de description de service (WSDL) se mappe vers un élément précis du langage Java.
Web Services, SOAP, WSDL · 2014
CorrigéSystèmes et Applications Répartis
Exercice 1 - Questions diverses Question 1 - Comparaison entre RPC et RMI Voici le tableau comparatif complété selon les éléments de la correction officielle : Critère RPC RMI Plateforme (1/multi) Multiplateforme Multiplateforme Langage de programmation C, C++, etc.
Programming, RPC, RMI, JMS · 2013
CorrigéExam on Distributed Systems and Applications
Exercice 1 : Questions diverses Question 1 - Signification des acronymes Voici la signification des acronymes demandés : CORBA : Common Object Request Broker Architecture IOR : Interoperable Object Reference IIOP : Internet Inter-ORB Protocol JMS : Java Message Service MOM : Message-Oriented Middleware (ou Middleware Oriented Message) POA : Portable Object Adapter Question 2 - Différences fondamen
Computer Science, Distributed Systems, Java-RMI, OMG-CORBA · 2011
CorrigéOSPF Routing Exercise
Exercice 5 - Routage OSPF Question 1 - Identité de chaque routeur L'identité d'un routeur OSPF (Router ID) correspond à l'adresse IP la plus élevée parmi toutes les adresses de ses interfaces actives. Dans le contexte de cet exercice et en s'appuyant sur les adresses indiquées sur la figure mentionnée par l'énoncé, on applique cette règle pour déterminer l'identifiant unique de chaque équipement.
Networking, OSPF, Routing Protocols
Guide de TPThread POSIX
Ce laboratoire présente la programmation des threads POSIX en langage C. Il permet d'apprendre à créer des threads, à gérer leur exécution concurrente, puis à synchroniser leur ordre d'exécution à l'aide de sémaphores.
Programming
Fiche de coursTD d’algorithmique avancée
Ce document présente des exercices corrigés d’algorithmique avancée, destinés aux étudiants en informatique ou mathématiques. Il traite principalement des algorithmes de recherche du maximum, du deuxième plus grand élément, ainsi que de la recherche simultanée du maximum et du minimum dans un ensemble d’éléments, en analysant leur complexité et optimalité.
Programming, Math
Fiche de coursTD d’algorithmique avancée
Ce document présente un ensemble d'exercices et de notions avancées en algorithmique, centrés sur le dénombrement dans les arbres binaires, la complexité des algorithmes de tri par comparaison via les arbres de décision, ainsi que les arbres binaires de recherche.
Programming, Math
ExplicationRéseaux informatiques : Topologies, Protocoles et Modèle OSI/TCP/IP
Cet article s'adresse aux étudiants débutant en réseaux informatiques, particulièrement ceux qui souhaitent comprendre les bases des topologies, des protocoles et des modèles de communication comme OSI et TCP/IP.
Programming, Math, etc.
Fiche de coursLa méthode de branch and bound
Ce document présente la méthode de branch and bound, une technique d’optimisation utilisée pour résoudre efficacement des problèmes combinatoires en énumérant intelligemment les solutions possibles. Destiné aux étudiants en optimisation et algorithmique, ce matériel explique le principe général de la méthode, son algorithme, puis illustre son application à travers plusieurs problèmes classiques.
Optimisation, Mathématiques, Algorithmique · 1988
Fiche de coursENSI 2012/2013 - Ordonnancement des processus
Ce document présente les principes fondamentaux de l'ordonnancement des processus dans un système d'exploitation multitâche. Il s'adresse aux étudiants en informatique et aux professionnels souhaitant comprendre les différents algorithmes d'ordonnancement, leurs objectifs, leurs avantages et leurs limites.
Ordonnancement des processus, systèmes d'exploitation, programmation · 2012
Guide de TPTD d’algorithmique avancée
Ce TD d’algorithmique avancée porte sur le tri topologique, une méthode d’ordonnancement des sommets d’un graphe orienté acyclique (DAG). Il permet de comprendre et d’implémenter deux algorithmes fondamentaux de tri topologique, ainsi que d’analyser leur complexité.
Algorithm, Graph Theory
ExplicationAnalyse des besoins pour automatisation RAF – Société JeConseille
Ce document traite de l’analyse des besoins dans le cadre de plusieurs projets d’automatisation et de gestion informatique, notamment pour une société de conseil, un laboratoire de recherche, un système de vote électronique et une gestion aéroportuaire.
Programming, Math, etc. · École Nationale des Sciences de l'Informatique (ENSI) · 2013
Fiche de coursTD d’algorithmique avancée
Ce document présente des exercices corrigés d’algorithmique avancée, destinés aux étudiants en informatique. Il couvre principalement la récursivité à travers l’étude de la suite de Fibonacci, puis aborde les opérations sur des ensembles représentés par des tableaux, en distinguant les cas d’ensembles triés et non triés.
Programming, Math
Fiche de coursArbres binaires de recherche équilibrés
Ce document présente les arbres binaires de recherche équilibrés, une structure de données fondamentale en informatique. Il s’adresse aux étudiants en informatique ou mathématiques souhaitant comprendre les principes, propriétés et performances des arbres AVL et des arbres rouge-noir, deux variantes courantes d’arbres binaires équilibrés.
Programmation, Mathématiques, Informatique · 1950
Fiche de coursChapitre 12: Quelques problèmes NP-complets
Ce matériel couvre plusieurs problèmes NP-complets classiques en informatique théorique et en optimisation combinatoire. Il s’adresse aux étudiants en informatique ou mathématiques souhaitant comprendre les notions fondamentales de NP-complétude, les réductions entre problèmes, ainsi que des exemples emblématiques comme SAT, STABLE, CIRCUIT HAMILTONIEN, 3-COLORABILITE, et des problèmes d’optimisat
Informatique, Mathématiques · 1979
ExplicationThéorie des bornes inférieures en complexité algorithmique
Cet article traite de la théorie des bornes inférieures en complexité algorithmique, un domaine fondamental en informatique théorique. Il s'adresse aux étudiants et chercheurs souhaitant comprendre comment évaluer la difficulté intrinsèque des problèmes algorithmiques, déterminer l'efficacité optimale des algorithmes, et appréhender la classification des problèmes selon leur complexité.
Programming, Math, etc. · 1976