https://get-the.net/ 2026-07-29T12:52:21+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2010-01-10T16:51:55+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_1&rev=1263138715&do=diff Election (1/2) I) Proposer un algorithme d'élection dans les cas suivants : * Election sur un anneau unidirectionnel * Election sur un arbre couvrant Solution #1 D'abord, comprenons ce que c'est qu'un anneau unidirectionnel : chaque machine à un, et un seul destinataire (dit “successeur”) pour ses messages, et une seule source. Cependant, l'anneau ne suit pas nécessairement une numérotation des machines, ni même des connections physiques (tant qu'il existe un chemin physique pour réalis… text/html 2011-09-26T12:53:04+02:00 https://get-the.net/doku.php?id=fca:cbo&rev=1317034384&do=diff Close by One Algorithme développé et décrit par Kuznetsov dans "Comparing performance of algorithms for generating concept lattices"(2002) par Sergei O. Kuznetsov et Sergei A. Obiedkov: Pseudocode * Close by One * * For each * Process text/html 2011-03-11T10:28:29+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_2&rev=1299835709&do=diff " " Préambule : Exemple Netflix * -- fiche de lecture * Lecture complémentaire : * Brewer's 2000 Talk : * Gilbert and Lynch's proof : Netflix : utilisation de S3 en high availability * avantage et inconvénients * application de recommandation text/html 2013-06-03T11:04:00+02:00 https://get-the.net/doku.php?id=culture:epoque_formi&rev=1370250240&do=diff Tr: tr: Fw: Comme dit l'autre : 1969-2011 - EXCELLENT ET TELLEMENT VRAI !!!! Du lait, du beurre et des œufs 1969 : Tu vas chercher du lait chez le crémier, qui te dit bonjour, avec ton bidon en alu, et tu prends du beurre, fait avec du lait de vache, coupé à la motte. text/html 2016-03-19T13:27:15+02:00 https://get-the.net/doku.php?id=emacs:install_on_win10&rev=1458390435&do=diff Acquisition J'ai téléchargé l'archive zip d'un serveur relais (mirror) ftp ftp.igh.cnrs.fr/pub/gnu/emacs/windows et téléchargé la signature pour contrôler. This README.W32 file describes how to set up and run a precompiled distribution of GNU Emacs for Windows. You can find the precompiled distribution on the ftp.gnu.org server and its mirrors: ftp://ftp.gnu.org/gnu/emacs/windows/ This server contains other distributions, including the full Emacs source distribution, as well as … text/html 2010-05-20T13:33:04+02:00 https://get-the.net/doku.php?id=m1ilc:search_automates&rev=1274355184&do=diff Implantation Informatique La mise en oeuvre informatique est basée sur les files, les états et les . Opérations de base pour les files : * FILE_VIDE() crée puis retourne (un pointeur sur) une file vide * FILE_EST_VIDE(F) retourne vrai si la file F est vide et faux sinon * ENFILER(F,x) ajoute l'élément x en queue de la file F (c'est une file, pas une pile) * TETE(F) retourne l'élément situé en tête de la file F sans l'enlever * DEFILER(F) supprime l'élément en tête de la file F * … text/html 2010-05-19T10:54:25+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_4&rev=1274259265&do=diff Structures de données Types inductifs Coq est basé sur un formalisme appelé Calcul des Constructions avec types Inductifs. Deux points de vue possibles: * On se donne les entiers. * On se donne les types inductifs en général (les entiers sont un cas particulier). text/html 2010-01-31T10:16:18+02:00 https://get-the.net/doku.php?id=comment_debug&rev=1264929378&do=diff Close by One Commentaires Initialement, on n'a aucun concept. For each L'algorithme va utiliser successivement chaque objet comme “graine” puis explorer les possibilités d'agrandir l'extension qu'il engendre par le rajout d'un objet lexicographiquement supérieur. Process ( ) est le concept dont l'intention correspond aux attributs de g, et est l'extension fermée correspondante. L is the concept set. On a élaboré toutes les extensions. Maintenant, voyons comment l'exploration et … text/html 2009-10-09T18:44:50+02:00 https://get-the.net/doku.php?id=m1ilc:compil_1&rev=1255106690&do=diff Introduction Le problème : Homme et machine n'utilisent pas la même langage. Homme Machine langage de programmation langage machine basé s/ modèles mathématiques reflète architecture matérielle Structuration, modularité au niveau binaire, manipulation de registres => besoin de réaliser la traduction d'un langage source vers un langage cible. text/html 2010-05-24T08:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_4&rev=1274680899&do=diff Détermination de la sémantique de Programmes Exercice 1 Déterminer la sémantique du programme while n > 0 do n := n-1 pour n∈N. Pour cela, on construit la suite des programmes (Wi) et leur fonction sémantique (wi) i+1 Wi+1 = if n>0 then i { n:= n-1; if n>0 then { i-1 { n:= n-1; if n>0 then { ... 0 { n:= n-1; bottom }... }}}}} avec i accolades fermantes wi+1(s) = non-définie si et (s| n-> 0) si text/html 2010-10-03T11:29:44+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_ex_5&rev=1286098184&do=diff Enoncé Trouver/concocter une MT grammaire qui valide engendre . pas sûr que c'était à rendre; j'ai modifié l'énoncé pendant ma réflexion (!) et trouvé (je crois) une MT (machine de Turing) qui vérifie L au lieu d'une grammaire qui l'engendre. text/html 2011-05-19T21:50:10+02:00 https://get-the.net/doku.php?id=projet_dch:transactions&rev=1305834610&do=diff L'application sert à gérer des documents fournis par les utilisateurs, à partir de documents squelette fourni par l'administrateur, selon un calendrier de rendu, et avec une gestion de qui fourni quel document quand, qui note quel document quand. Donc, il est fondamentale d'avoir la possibilité text/html 2011-05-10T17:55:20+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_tp_rapport&rev=1305042920&do=diff étudiants M2ILC FRIGUI Rassil LANSELLE Maurice Question 1) Aperçu des données * On s'intéresse maintenant aux données D1. Lire le README et comprendre la structure des fichiers plats movies.dat, users.dat et ratings.dat * a) Quel est le nombre moyen de notes par utilisateur ? * b) En moyenne quel est le pourcentage de films notés par un utilisateur ? text/html 2011-04-10T15:04:11+02:00 https://get-the.net/doku.php?id=m2ilc:parallelisme_mpi&rev=1302440651&do=diff TP MBI Nous avons expérimenté l'utilisation des protocoles MPI pour un problème de multiplication de matrices. énoncé La stratégie de parallélisation était de distribuer des blocs contigu de lignes et de colonnes, puis faire circuler les colonnes de façon ordonnée pour que chaque processus garde son bloc de lignes et traite (reçoive et transmette) chaque bloc de colonnes une seule fois (moins 1 pour les transmissions). Les blocs de colonnes étaient transposés pour optimiser l'exploitation d'a… text/html 2010-01-27T12:41:41+02:00 https://get-the.net/doku.php?id=pcbo&rev=1264592501&do=diff Pour comprendre cette implantation de l'algorithme CbO (ou son dual), voici ma visite commentée du code. FIXME : Attention, ce n'est pas encore finie. Dans ce qui suit, les multiples contrôles ne seront pas mentionnés, seulement le “traitement pur.” text/html 2010-11-10T14:04:52+02:00 https://get-the.net/doku.php?id=m2ilc:uml_jour_2&rev=1289394292&do=diff Basée sur RUP. Analyse/conception adaptée à leur (celui de C-S) métier. a.k.a. UML-NEPTUNE Requirements Analysis Deux type d'acteurs, * external entity (fournisseurs de données, notamment) * active actor : interagit avec le système On recense les acteurs, et les classe. On va les décrire par text/html 2010-02-18T13:32:12+02:00 https://get-the.net/doku.php?id=java:nary&rev=1266496332&do=diff L'extraction de concepts par treillis de Galois sur les relations binaires peut être vu comme une spécialisation d'une procédure d'élaboration des intents et extents plus générale. Les Données en Entrée Relation Binaire Lorsqu'on traite un contexte binaire, chaque objet est décrit par la liste de ses attributs, soit sous forme de liste, soit sous forme d'un vecteur binaire ou logique indiquant pour chaque attribut présence ou absence. Les opérations de fermeture sont intersection pour les i… text/html 2010-01-05T06:39:03+02:00 https://get-the.net/doku.php?id=m1ilc:compil_3&rev=1262669943&do=diff Analyse Syntaxique (2) Analyse Ascendante Ceci conduit à des analyseurs plus puissants au sens où elle réussit avec un sur-ensemble stricte de grammaires. Exemple La grammaire G0 mais sans la multiplication * E -> E + T * E -> T * T -> (E) * T -> id text/html 2009-12-29T13:33:07+02:00 https://get-the.net/doku.php?id=m1ilc:edid_td_3&rev=1262089987&do=diff Tutoriel d'exploration de données Module 1 : modèle d'association Recherche de relations dans vos données à l'aide d'un modèle d'association " Un modèle d'association recherche des schémas dans vos données en décernant des associations entre des articles. Un modèle d'association recherche ces schémas en appliquant la formule “Les clients qui achètent le produit A achètent aussi le produit B.” " text/html 2010-01-02T11:45:27+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_4&rev=1262429127&do=diff Arbres de Décision Intérêts Le grand intérêt des arbres de décision est qu'ils combinent l'approche logique et l'approche statistique, pour donner un modèle expressif et lisible flou (c'est à dire, probabiliste et non déterministe). Ainsi ils produisent un modèle qui peut être traduit sous forme de règles, exprimant une conditionnalité complexe (avec disjonctions) des valeurs discrètes à prédire. text/html 2011-02-11T10:16:17+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_4&rev=1297415777&do=diff définition il (le logiciel ou système) entame sa phase de maintenance ou d'utilisation ;; il est accessible aux divers utilisateurs * il remplit l'utilisation pour laquelle il a été conçu * phase de production peut être plus ou moins longue * puis il peut y avoir une période de retraitz text/html 2011-01-13T20:47:47+02:00 https://get-the.net/doku.php?id=projet_dch:20_dec_2010&rev=1294948067&do=diff Salut ! Présents * P. Gançarski * A. Shakour * M. Lanselle Donc pour la réunion: Le site du clé est composé de trois parties: * La formation * Les CLEs (devrait correspondre à une catégorie d'utilisateur, mais correspond actuellement à une année, une formation est attaché à un CLE) * Les utilisateurs text/html 2009-12-13T17:19:03+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_6&rev=1260721143&do=diff Code assembleur MIPS Exercice 1 Traduire en assembleur MIPS l'extrait de code C suivant: if (t1 < t2) t3 = t1 ; else t3 = t2; la $t0,t1 lw $t1, $t0 blt $t2, $t1, joe b jim; joe: move $t3, $t1 b fin jim: move $t3, $t2 fin: nop Exercice 2 Soit l'extrait de code C suivant qui calcule dans t2 initialisé à 0 la somme des entiers de 1 à t1: text/html 2009-11-30T14:17:25+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_2&rev=1259587045&do=diff Composition de Machines de Turing D'abord, un petit exercice de conception d'une MT (assez) simple : Exercice : MT qui inverse a et b Pour un MT avec , trouver une MT qui change a en b et b en a. S = symbole lu Q = état qi sj qij sij dij 0 > 0 -> Si début de ruban, on avance à droite 0 c 0 -> si on lit c on avance au caractère suivant 0 a 1 b si on lit a on écrit b et se prépare à avancer en passant à l'état 1 0 b 1 a si on lit b on écrit a et se prépare à … text/html 2009-11-03T08:29:06+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_7&rev=1257233346&do=diff <= section préc. Fonctions numériques * Remarque : calcul et manipulation de symboles sont équivalents. Les entiers correspondent à des mots sur un alphabet, en unaire, base b, nombres romains... * fonctions polynomiales telles sont construites avec * des fonctions de base * des combinaisons de fonctions text/html 2009-11-16T19:36:02+02:00 https://get-the.net/doku.php?id=m1ilc:compil_9&rev=1258396562&do=diff VI. Optimisation du Code Intermédiaire Introduction La phase d'optimisation de code prend en entrée du code intermédiaire et retourne en sortie du code intermédiaire “optimisé.” Elle a lieu avant la phase de génération de code. Donc, les optimisations qui sont réalisées sont indépendantes de la machine cible. La plupart de ces optimisations concernent les boucles car généralement ceux sont ces parties du code qui sont les plus consommatrices de temps CPU. text/html 2009-11-30T13:07:55+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_1&rev=1259582875&do=diff I. Machines de Turing Introduction * On s'occupe [dans ce cours?] de langages (formels) : ensembles de mots sur un alphabet . * Nous aurions vu des classes de langages intéressants. Langages Rationnels Représentation graphique d'un automate fini déterministe text/html 2011-11-15T08:24:21+02:00 https://get-the.net/doku.php?id=emacs:emacs-build&rev=1321341861&do=diff Contexte Pour des raisons de stabilité, contrôle de la qualité, tests avant diffusion d'une nouvelle distribution d'Ubuntu, les paquets des applications sont généralement pas les plus récents. En effet, Ubuntu 10.10, d'octobre 2010, comporte emacs 23.1 de juillet 2009! Tandis que les binaires pour Windows sont de version 23.3, de mars 2011. Aussi je souhaite installer cette nouvelle version (23.3a) pour utilisation avec Ubuntu. text/html 2010-01-04T15:02:26+02:00 https://get-the.net/doku.php?id=m1ilc:compilation_resume_as&rev=1262613746&do=diff Résumé -- Analyse Syntaxique * Il y deux manières de réaliser l'analyse syntaxique : descendante et ascendante. L'analyse descendante cherche à simuler le processus de production; l'analyse ascendante cherche à remonter (défaire) le processus de production. text/html 2010-01-04T18:07:34+02:00 https://get-the.net/doku.php?id=m1ilc:compilation&rev=1262624854&do=diff Synoptique Prof Site Cours TP TD ECTS Eric VIOLARD <http://icps.u-strasbg.fr/~violard/> 28h 12h 20h 6 Contenu Structure d'un compilateur. Analyse lexicale. Analyse syntaxique descendante et ascendante. Analyseurs LL(1), SLR (1), LR (1) et LALR (1). Grammaires attribuées et notion d'actions sémantiques. Traitement des erreurs. IV. Production de code intermédiaire. V. Gestion de la table des symboles. VI. Optimisation de code. Génération de code objet. Pre-requis Bonnes co… text/html 2010-01-08T12:54:00+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_3&rev=1262951640&do=diff Election dans un graphe quelconque Maillage complet et diffusion Soit l'algorithme du plus fort (bully algorithme) de Garcia-Molina: Le site initiateur diffuse le message à tous les processus. Puis il attend. A la réception d'un un processus répond text/html 2010-03-23T13:34:48+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_projet&rev=1269347688&do=diff Recensement de codes circulaires Il s'agit d'un problème d'énumération combinatoire efficace (ou très gros moyens de calcul) pour dénombrer (et lister, éventuellement) les ensembles de trils (trinucléotides ou trilettres) de A43 qui sont des codes circulaires, puis parmi ces ensembles, ceux qui sont maximaux, maximaux et autocomplémentaires, maximaux et C3, et (enfin) à la fois maximaux, autocomplémentaires et C3. text/html 2010-01-10T12:30:37+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td2&rev=1263123037&do=diff TD2 Remplissage Tracer un disque On supposera disposer d'une fonction SegHori(x1, x2, y) trançant un segment horizontal. Ecrire un algorithmes qui n'utilise que des opérations sur les entiers pour tracer un disque (constitué de pixels à l'intérieur d'un cercle). text/html 2010-01-30T19:42:49+02:00 https://get-the.net/doku.php?id=fca:lattice_exemple&rev=1264876969&do=diff Introduction Les deux principes majeurs de CbO sont : * Utiliser chaque instance (objet) comme “graine” pour engendrer une suite de sous-ensembles le contenant, en ajoutant un par un des objets qui ne sont pas encore dans l'extension (fermeture par rapport à l'intention), tant que l'intention reste non-nulle. Ceci se fait par le développement récursif en profondeur d'abord. * Rajouter des objets “lexicographiquement supérieurs” seulement, pour pouvoir repérer une extension qui aurait déj… text/html 2010-05-12T09:35:56+02:00 https://get-the.net/doku.php?id=m1ilc:easea&rev=1273649756&do=diff Easea est une application " un langage de haut niveau dédié à la spécification d'algorithmes d'évolution artificielle. Easea jusqu'à la version 0.7 compile des fichiers de spécification .ez en fichiers objet C++ ou Java, utilisant GA." Il est maintenant à la version 1.0. Il compile en C++, mais en Java? Comment faire? Il manque de documentation. Pour commencer à palier à ça, voici ce qui nous a été communiqué par les auteurs. text/html 2010-01-06T11:32:01+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_9&rev=1262773921&do=diff II. Indécidabilité II.1 Thèse de Church-Turing On a vu au chapitre précedent plusieurs modèles de calcul qui étaient tous équivalents aux MT standard. Church et Turing cherchaient à caractériser ce qu'on savait calculer mécaniquement: calcul booléen, décidabilité des langages récursifs. En même temps, il y avait du travail fondamental sur la formalisation des mathématiques (Hilbert, notamment) et les (possibilité de) preuves mécaniques. text/html 2010-09-16T11:59:05+02:00 https://get-the.net/doku.php?id=m2ilc:sd_intro&rev=1284631145&do=diff Stéphane Genaud Thèmes abordés Les thèmes que recouvre “Applications distribuées”: toutes les tentatives de faire participer des machines distantes à un traitement informatique. * système d'échange de messages, * systèmes d'exploitation distribués * applications réparties/parallèles text/html 2010-01-04T18:30:32+02:00 https://get-the.net/doku.php?id=m1ilc:compil_ll_2&rev=1262626232&do=diff Principe de l'analyse itérative -- LL(1) Algorithme utilisé: * un pointeur sur la chaine de tokens (la chaine est terminée par $) * une pile contenant des non-terminaux et des terminaux * une table dont * chaque ligne correspond à un non-terminal * chaque colonne identifie un terminal. Intuitivement, l'élément T[X,a] contient la règles à utiliser lorsque X est au sommet de la pile et a est l'élément courant de la chaine. text/html 2010-05-19T19:07:21+02:00 https://get-the.net/doku.php?id=m1ilc:search_1&rev=1274288841&do=diff Alphabet et Mots lettresmot vide * L'ensemble des mots sur l'alphabet A est noté A* * L'ensemble des mots sur l'alphabet A excepté le mot vide ε est noté A+ * La longueur d'un mot x est la longueur de la suite associée au mot x et est notée |x|. On note x[i], avec 0 ≤ i ≤ |x|-1, la lettre à l'indice i de x avec par convention une numérotation des indices à partir de 0. L'indice i représente une position sur x si x ≠ ε. La j-ième lettre de x est la lettre à la position j-1 sur x et x=x… text/html 2010-01-10T17:21:16+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_2&rev=1263140476&do=diff Elections (2/2) Election sur un arbre couvrant (suite) Racine initiateur Hypothèses * L'initiateur, est la racine * Communications FIFO, sans perte, par arbre couvrant Principe * envoie REQ à tous ses fils, pour choisir quand toutes les réponse seront remontées. * Chaque fils qui n'est pas feuille transmet à ses fils. * Lorsqu'un processus aura reçu les réponses de tous ses fils, il répondra à son parent la meilleur valeur de ses fils et de lui-même. * Lorsque a reçu toutes …