/HVV\VWqPHVFRPELQDWRLUHV
|
|
- Charles Pothier
- il y a 8 ans
- Total affichages :
Transcription
1 /HVV\VWqPHVFRPELQDWRLUHV I. Définition On ppelle système combintoire tout système numérique dont les sorties sont exclusivement définies à prtir des vribles d entrée (Figure ). = f(x, x 2,,, x n ) x x 2 2 = f2(x, x 2,,, x n ) ystème combintoire x n p = fp(x, x 2,,, x n ) Figure : système combintoire générnt p sorties i à prtir des n vribles d'entrée x i. II. Les fonctions combintoires II.. Les opérteurs logiques élémentires et leurs déclinisons Les opérteurs logiques élémentires sont disponibles sous forme de circuits intégrés de tille et de nombre de broches vrible suivnt l quntité ou le nombre d entrée des opérteurs. II... Opérteurs NON Les opérteurs NON ne possèdent évidemment qu une seule entrée. Les sorties de ces portes peuvent être mplifiées (buffer) ou à collecteur ouvert (CO). Des seuils de déclenchement peuvent crctériser ces entrées : on dit lors que ce sont des entrées trigger de chmitt. II..2. Opérteurs ET ur l bse des opérteurs ET à deux entrées, on en construit d utres à 3, 4 et 8 entrées. Des portes dérivées font ppel à des modes prticuliers des entrées et des sorties. II..3. Opérteurs OU Le principe reste identique pour les opérteurs OU à 2, 3 ou 4 entrées. II..4. Opérteurs NAND Plus nombreuses, les déclinisons de ces opérteurs offrent des portes à 2, 3, 4, 8 ou 3 entrées. II..5. Opérteurs NOR Les déclinisons de ces opérteurs offrent des portes à 2, 3, 4 ou 5 entrées. II..6. Opérteurs XOR Différentes possibilités, mis toujours vec deux entrées. II.2. Décodeurs et trnscodeurs II.2.. Définitions Un trnscodeur permet de convertir une combinison n de bits en une utre de p bits. L différence entre un trnscodeur et un décodeur réside dns l ppliction de l objet défini plutôt que dns l fonction rélisée. Pr exemple, on prle plutôt de trnscodeur Gry/binire mis on utilise un décodeur pour un système d ffichge sept segments. <²XP novembre 98 V. / 8 Les systèmes combintoires
2 II.2.2. Décodeurs et trnscodeurs usuels Prmi les composnts les plus cournts retenons ceux-ci : binire vers déciml (4 vers ), Gry excès 3 vers déciml, BCD vers déciml ou binire vers hexdéciml. (4 vers 6) Un décodeur 7 segments permet, à prtir d une combinison sur 4 bits, de piloter un fficheur sept segments en déciml (digits de à 9) ou en hexdéciml (digits de à F). II.3. Multiplexeurs et démultiplexeurs II.3.. Définition Un multiplexeur (multiplexer) (Figure 2) permet de trnsmettre en sortie un bit de donnée dont le rng est indiqué pr un mot de sélection de n bits (le sélecteur), prmi les 2 n bits d entrée. C est une sorte d iguillge de 2 n vers voie. Un démultiplexeur (demultiplexer) (Figure 3) effectue l opértion inverse en ssignnt à l sortie de rng indiqué pr le sélecteur, le bit de donnée en entrée. C est une sorte d iguillge voie vers 2 n voies. électeur Données n 2 n n- MUX G 2 n - ortie électeur Donnée n n- DMUX G 2 n - 2 n - orties 2 n 2 n - Figure 2 : symbole d un multiplexeur. Figure 3 : symbole d un démultiplexeur. II.3.2. Applictions Un multiplexeur permet de synthétiser isément une fonction logique ou d iguiller des informtions u sein d un système numérique. II.3.3. Multiplexeurs et démultiplexeurs usuels Multiplexeurs : 2, 4, 8 ou 6 vers. Démultiplexeurs : vers 2, 4, 8 ou 6. II.4. Les opértions logiques sur mots binires II.4.. Définitions On ppelle opérteur logique, une fonction combintoire rélisnt une opértion logique entre deux mots binires codés sur n bits. Les opértions logiques sont : l complémenttion Exemple : NON() = NON()= NON($2CE) = = $FD3. Remrque : On joute des zéros en tête pour tteindre un codge sur un poids binire de bits. L somme logique (ou) Exemple : + (lire... ou...) = soit $72 + $29=$3F3 Le produit logique (et) Exemple :. (lire... et...) = soit $72. $29=$ L somme exclusive logique (xor) Exemple : (lire... xor...) = soit $72 $29=$3E3 <²XP novembre 98 V. 2 / 8 Les systèmes combintoires
3 II.5. Opérteurs rithmétiques II.5.. Définitions On ppelle opérteur rithmétique, une fonction combintoire rélisnt une opértion rithmétique entre deux mots binires de n bits (codge pondéré). Les opértions rithmétiques de bse sont l ddition et l multipliction. L soustrction est obtenue pr ddition de l opérnde codée en complément à 2. II.5.2. L dditionneur L dditionneur (dder) numérique rélise l somme de deux nombres de n bits en tennt compte éventuellement d une retenue extérieure. Le résultt est fourni sur n + bits, le dernier bit est l retenue. II.5.3. Le multiplicteur Le multiplicteur (multiplier) numérique rélise le produit de deux nombres de n bits en tennt compte d une retenue extérieure. Le résultt est fourni sur 2n bits. II.6. Unité rithmétique et logique Une unité rithmétique et logique (UAL ou ALU, Arithmetic nd Logic Unit en nglo-méricin) permet tous les types d opértions logiques et rithmétiques. A prtir de 2 mots binires de n bits, le mot binire de sortie représente une opértion logique ou rithmétique spécifiée dns une tble de fonctionnement. Le résultt pprît en sortie sur 2n bits. Exemple : ALU 4 bits et générteur de fonction 748. II.7. Autres fonctions II.7.. Comprteur d églité Un comprteur d églité fourni l vleur si deux mots binires de n bits en entrée sont identiques (u bit près). Dns le cs contrire l vleur est fournie. II.7.2. Comprteur rithmétique Un comprteur (mgnitude comprtor) est une générlistion du comprteur d églité mis indiqunt, grâce à deux sorties supplémentires, l position reltive d un mot d entrée (A) pr rpport à l utre (B). Cet opérteur possède donc trois sorties (A < B), (A = B) et (A > B). III. ynthèse des systèmes logiques combintoires A prtir du chier des chrges, on construit l tble de vérité. Une mise en éqution directe permet d exprimer l sortie à prtir des différentes vribles d entrée, mis l recherche de l expression logique peut être optimisée à l ide des tbles de Krnugh. Disposnt de l fonction, l synthèse devient possible de mnière directe à l ide d opérteurs logiques, de multiplexeurs ou à l ide de circuits spécilisés, les réseux logiques progrmmbles. Chier des chrges Tble de vérité Mise en éqution (vec optimistion) ynthèse : GLUHFWH PXOWLOH[HXUV FLUFXLWVVpFLDOLVpV Figure 4 : descriptif de l synthèse d une fonction logique combintoire. III.. ynthèse d une expression booléenne pr tble de Krnugh III... Introduction III... Insuffisnce et indpttion du code binire nturel Un processus réel ne voit jmis une simultnéité prfite des événements : deux vribles logiques ou dvntge ne peuvent chnger d étt simultnément. On observe pourtnt ce phénomène lors du pssge entre les vleurs 2 et 3 codées en binire nturel (Figure 5). Entre le début du chngement et l prise d effet du nouvel étt, plusieurs combinisons pprissent de mnière létoire suivnt l rpidité d évolution des vribles (ici, puis et enfin ). <²XP novembre 98 V. 3 / 8 Les systèmes combintoires
4 5HWDUG 2 t t t Début du chngement Prise d'effet de l nouvelle configurtion Figure 5 : chronogrmmes d'évolution pour le pssge de à. Il résulte de cette observtion que le codge en binire nturel n est ps dpté à l description des phénomènes logiques réels. Il est nécessire de mettre en plce un code qui ne fit évoluer qu un seul bit à l fois : le code binire réfléchi ou code Gry. III...2. Le code binire réfléchi Le code binire réfléchi est construit pr réflexions prtielles (d où son nom). Le Tbleu le décrit sur 4 bits MB r 3 r 2 r LB r Tbleu : code binire réfléchi. III..2. Les tbles de Krnugh III..2.. Mise en plce Pr des moyens «semi-grphiques», l méthode de Krnugh permet d optimiser le nombre de termes en opérnt des simplifictions directes sns écrire tous les mintermes. tble à deux entrées (lignes-colonnes) ; on équilibre les vribles sur les lignes et les colonnes pour s pprocher d un tbleu crré ; les lignes et les colonnes sont codées en code Gry ; chque cse contient l étt de l sortie ( ou ) pour les entrées correspondntes. III Règles de simplifiction Constituer des groupes de ces groupes de tille mximle, doivent contenir un nombre de cses égl à un poids binire (, 2, 4, 8, 6,...) et doivent respecter les symétries de l tble ; les bords de l tble sont djcents, ce qui permet d élrgir les possibilités de regroupement grce à des repliements (Figure 6). Un regroupement constitue un ensemble de mintermes (cses) liés pr l opértion OU. Du fit de l symétrie, des vribles se simplifient deux à deux. Un regroupement constitue donc une expression logique simplifiée. Pour extrire cette expression, on ne retient que les vribles dont l étt logique n est ps modifié pr déplcement de cse en cse à l intérieur du groupement. Les bords hut et bs sont djcents. Les bords droit et guche sont djcents. Figure 6 : illustrtion des règles de repliement En conséquence les coins sont djcents (deux à deux ou en combiné) <²XP novembre 98 V. 4 / 8 Les systèmes combintoires
5 Couvrir tous les même vec chevuchements Une ou plusieurs cses peuvent être communes à plusieurs regroupements. On dit que l on effectue des chevuchements pour ugmenter l tille des groupes. Cependnt les inclusions ne sont ps utorisées. L confection des groupes cesse lorsque tous les pprtiennent à u moins l un d entre eux. Toutes les expressions trouvées sont sommées (OU logique) pour constituer l éqution de l sortie considérée. Remrque : suivnt l forme du résultt souhité (cnonique ou 2), on extrit les (éqution de l fonction) ou les (éqution du complément logique de l fonction). III.2. Rélistion à l ide d opérteurs logiques Divers modes de synthèse seront bordés utour de l fonction exemple = ( + b).c +. d. III.2.. ynthèse directe Dns ce mode, on utilise directement les opérteurs correspondnt à l expression logique pour fournir le logigrmme de l Figure 7. b c d Figure 7 : résultt de l synthèse directe. III.2.2. Emploi exclusif d opérteurs NAND L opérteur NAND est universel, c est à dire qu une fonction peut s exprimer uniquement vec ces opérteurs. Pour ne fire pprître que des NAND, on écrit l expression sous l première forme cnonique (somme de produits) puis on complémente. En ppliqunt les théorèmes de De Morgn plusieurs fois de suite, on obtient une expression exclusivement en NAND. = ( + b).c +.d = b c +.d = b c +.d = bc..d = ( b c) ( d ) d b c Figure 8 : représenttion à l ide unique de NAND. III.2.3. Emploi exclusif d opérteurs NOR L opérteur NOR est lui ussi universel. On écrit l expression sous l deuxième forme cnonique (produit de sommes) puis on complémente. En ppliqunt les théorèmes de De Morgn plusieurs fois de suite, on obtient une expression exclusivement en NOR. = ( + b).c +.d = b c +.d = ( + )( b + )( c + )( + d )( b + d )( c + d ) = ( b + ) + ( c + ) + ( + d ) + ( b + d ) + ( c + d ) = ( b) ( c) ( d ) ( b d ) ( c d ) b c d Figure 9 : représenttion unique à l ide de NOR. <²XP novembre 98 V. 5 / 8 Les systèmes combintoires
6 III.3. Rélistion à l ide de multiplexeurs Le multiplexeur rend disponible en sortie l une des 2 n entrées (données de l tble de vérité) choisie pr une dresse fixée pr le sélecteur. Ces dresses construisent les 2 n mintermes qui sont vlidés pr les données pour pprître en sortie. A titre d exemple synthétisons l fonction décrite pr l tble de vérité du Tbleu 2. Le résultt pprît à l Figure. On remrquer l inutilité d extrire l expression logique et l nécessité d jouter une porte NON pour prendre en compte l ctivité à l étt bs du multiplexeur. b c b c Tbleu 2 Figure : l fonction synthétisée pr multiplexeur G 7 MUX III.4. Utilistion de circuits progrmmbles spécilisés III.4.. Présenttion et définitions Les besoins en fonctions combintoires toujours spécifiques u chier des chrges à résoudre, relyés pr les progrès de l intégrtion des circuits intégrés et l pression des utilisteurs ont incités les constructeurs à développer des produits de fible encombrement, fciles à mettre en œuvre et répondnt à une lrge étendue de besoins. L éventil de ce type de circuits progrmmbles est très lrge. En voici l liste clssée pr ordre de complexité décroissnte et leur principe de rélistion technologique. circuits AIC (Appliction pecific Integrted Circuit), les substrts sont préprés pour une ppliction spécifique. Ce choix est prticulièrement justifié dns les grndes séries. circuits précrctérisés, résultnt d un ssemblge de fonctions prédéfinies que l utilisteur ssemble pour être intégrées pr le fbricnt. Le circuit livré ne nécessite plus d opértion. circuits prédiffusés msqubles, des blocs de fonctions logiques ont été implntées pr le constructeur qui, à l demnde de l utilisteur, diffuse une dernière couche d luminium mtérilisnt les liisons spécifiées. circuits prédiffusés progrmmbles (FPGA, Field Progrmmble Gte Arry), reprend le principe du prédiffusé msquble mis les interconnexions sont rélisées pr destruction ou progrmmtion de liisons fusibles. Circuits PLD (Progrmmble Logic Device), comportnt des éléments logiques dont le câblge est terminé pr rupture de liisons fusibles. Circuits EPLD (Ersble Progrmmble Logic Device), pour lesquels l liison est reprogrmmble (bien souvent pr le biis d un logiciel) ; PLA (Progrmmble Logic Arry), ce sont des circuits comportnt des portes ET progrmmbles et des OU fixes ; GAL (Generic Arry Logic), ce sont des PAL CMO reprogrmmbles. III.4.2. Principe de progrmmtion d un PAL Les liisons progrmmbles sont fusibles. Lorsque le PAL est vierge toutes les liisons existent. Progrmmer le composnt consiste à fire fondre certins fusibles pour enlever les liisons ssociées. Cette opértion est effectuée à l ide d un progrmmteur qui reçoit les informtions d un logiciel. Bien souvent celui-ci offre l possibilité de réliser son étude en effectunt les schéms et leur simultion. Exemple : progrmmer l fonction = II 2 + II 2 (XOR) donne le résultt de l Figure 2. <²XP novembre 98 V. 6 / 8 Les systèmes combintoires
7 I I I 2 I 2 OLJQHVG HQWUpH I I I 2 I 2 I I I 2 I2 Figure : extrit de PAL. Les intersections sont des liisons destructibles (fusibles). Figure 2 : les liisons conservées sont mrquées (opértion XOR). III.4.3. Eléments sur le PAL TIB PAL6L8-5C (Texs Instruments) Ce document ne fournit que des éléments d informtion. L notice des composnts est plus complète. Ici, le symbole IEC pprît à l Figure 3 et l structure interne à l Figure 4. Figure 3 : symbole IEC du PAL6L8-5C Figure 4 : structure interne du PAL6L8-5C. <²XP novembre 98 V. 7 / 8 Les systèmes combintoires
8 <²XP novembre 98 V. 8 / 8 Les systèmes combintoires
STI2D Logique binaire SIN. L' Algèbre de BOOLE
L' Algère de BOOLE L'lgère de Boole est l prtie des mthémtiques, de l logique et de l'électronique qui s'intéresse ux opértions et ux fonctions sur les vriles logiques. Le nom provient de George Boole.
Plus en détailL'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états.
ciences Industrielles ystèmes comintoires Ppnicol Roert Lycée Jcques Amyot I - YTEME COMBINATOIRE A. Algère de Boole. Vriles logiques: Un signl réel est une grndeur physique en générl continue, on ssocie
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :
Plus en détailGuide d'utilisation Easy Interactive Tools Ver. 2
Guide d'utilistion Esy Interctive Tools Ver. 2 Guide d'utilistion Esy Interctive Tools Ver.2 Présenttion de Esy Interctive Tools 3 Crctéristiques Fonction de dessin Vous pouvez utiliser Esy Interctive
Plus en détailModule 2 : Déterminant d une matrice
L Mth Stt Module les déterminnts M Module : Déterminnt d une mtrice Unité : Déterminnt d une mtrice x Soit une mtrice lignes et colonnes (,) c b d Pr définition, son déterminnt est le nombre réel noté
Plus en détailUniversité Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO
Université Pris-Duphine DUMI2E UFR Mthémtiques de l décision Notes de cours Anlyse 2 Filippo SANTAMBROGIO Année 2008 2 Tble des mtières 1 Optimistion de fonctions continues et dérivbles 5 1.1 Continuité........................................
Plus en détailCorrection de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (
Correction de l épreuve CCP PSI Mths PREMIÈRE PARTIE I- Soit t u voisinge de, t Alors ϕt t s = ϕt ρt s ρs Pr hypothèse, l fonction ϕt ϕt est lorsque t, il en est donc de même de ρt s ρt s ρs cr ρ s est
Plus en détailsemestre 3 des Licences MISM annnée universitaire 2004-2005
MATHÉMATIQUES 3 semestre 3 des Licences MISM nnnée universitire 24-25 Driss BOULARAS 2 Tble des mtières Rppels 5. Ensembles et opértions sur les ensembles.................. 5.. Prties d un ensemble.........................
Plus en détailThéorème de Poincaré - Formule de Green-Riemann
Chpitre 11 Théorème de Poincré - Formule de Green-Riemnn Ce chpitre s inscrit dns l continuité du précédent. On vu à l proposition 1.16 que les formes différentielles sont bien plus grébles à mnipuler
Plus en détailANALYSE NUMERIQUE NON-LINEAIRE
Université de Metz Licence de Mthémtiques - 3ème nnée 1er semestre ANALYSE NUMERIQUE NON-LINEAIRE pr Rlph Chill Lbortoire de Mthémtiques et Applictions de Metz Année 010/11 1 Tble des mtières Chpitre
Plus en détailTout ce qu il faut savoir en math
Tout ce qu il fut svoir en mth 1 Pourcentge Prendre un pourcentge t % d un quntité : t Clculer le pourcentge d une quntité pr rpport à une quntité b : Le coefficient multiplicteur CM pour une ugmenttion
Plus en détailInfluence du milieu d étude sur l activité (suite) Inhibition et activation
Influence du milieu d étude sur l ctivité (suite) Inhibition et ctivtion Influence de l tempérture Influence du ph 1 Influence de l tempérture Si on chuffe une préprtion enzymtique, l ctivité ugmente jusqu
Plus en détailStatuts ASF Association Suisse Feldenkrais
Sttuts ASF Assocition Suisse Feldenkris Contenu Pge I. Nom, siège, ojectif et missions 1 Nom et siège 2 2 Ojectif 2 3 Missions 2 II. Memres 4 Modes d ffilition 3 5 Droits et oligtions des memres 3 6 Adhésion
Plus en détailCOURS D ANALYSE. Licence d Informatique, première. Laurent Michel
COURS D ANALYSE Licence d Informtique, première nnée Lurent Michel Printemps 2010 2 Tble des mtières 1 Éléments de logique 5 1.1 Fbriquer des énoncés........................ 5 1.1.1 Enoncés élémentires.....................
Plus en détailChapitre 11 : L inductance
Chpitre : inductnce Exercices E. On donne A πr 4π 4 metn N 8 spires/m. () Selon l exemple., µ n A 4π 7 (8) 4π 4 (,5) 5 µh (b) À prtir de l éqution.4, on trouve ξ ξ 4 3 5 6 6,3 A/s E. On donne A πr,5π 4
Plus en détailSéquence 8. Probabilité : lois à densité. Sommaire
Séquence 8 Proilité : lois à densité Sommire. Prérequis 2. Lois de proilité à densité sur un intervlle 3. Lois uniformes 4. Lois exponentielles 5. Synthèse de l séquence Dns cette séquence, on introduit
Plus en détailLOGICIEL FONCTIONNEL EMC VNX
LOGICIEL FONCTIONNEL EMC VNX Améliortion des performnces des pplictions, protection des données critiques et réduction des coûts de stockge vec les logiciels complets d EMC POINTS FORTS VNX Softwre Essentils
Plus en détailSynthèse de cours (Terminale S) Calcul intégral
Synthèse de cours (Terminle S) Clcul intégrl Intégrle d une onction continue positive sur un intervlle [;] Dns cette première prtie, on considère une onction continue positive sur un intervlle [ ; ] (
Plus en détailThèse Présentée Pour obtenir le diplôme de doctorat en sciences En génie civil Option : structure
République Algérienne Démocrtique et Populire Ministère de l enseignement supérieur et de l recherche scientifique Université Mentouri de Constntine Fculté des sciences et sciences de l ingénieur Déprtement
Plus en détailLICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER
LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE Unité d enseignement LCMA 4U ANALYSE 3 Frnçoise GEANDIER Université Henri Poincré Nncy I Déprtement de Mthémtiques . Tble des mtières I Séries numériques. Séries
Plus en détail3- Les taux d'intérêt
3- Les tux d'intérêt Mishkin (2007), Monnie, Bnque et mrchés finnciers, Person Eduction, ch. 4 et 6 Vernimmen (2005), Finnce d'entreprise, Dlloz, ch. 20 à 22 1- Mesurer les tux d'intérêt comprer les différents
Plus en détailConseils et astuces pour les structures de base de la Ligne D30
Conseils et stuces pour les structures de bse de l Ligne D30 Conseils et stuces pour l Ligne D30 Ligne D30 - l solution élégnte pour votre production. Rentbilité optimle et méliortion continue des séquences
Plus en détailRéalisation de sites Internet PME & Grandes entreprises Offre Premium. Etude du projet. Webdesign. Intégration HTML. Développement.
Rélistion de sites Internet PME & Grndes entreprises Offre Premium Etude du projet Réunions de trvil et étude personnlisée de votre projet Définition d une strtégie de pré-référencement Webdesign Définition
Plus en détailPour développer votre entreprise LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Gestion Commercile Gérez le cycle complet des chts (demnde de prix, fcture fournisseur), des stocks (entrée, sortie mouvement, suivi) et des ventes (devis, fcture, règlement,
Plus en détailLANGAGES - GRAMMAIRES - AUTOMATES
LANGAGES - GRAMMAIRES - AUTOMATES Mrie-Pule Muller Version du 14 juillet 2005 Ce cours présente et met en oeuvre quelques méthodes mthémtiques pour l informtique théorique. Ces notions de bse pourront
Plus en détailSolutions IHM. Gammes Graphite et G3 Outils pour l'usine connectée
Solutions IHM Gmmes Grphite et G3 Outils pour l'usine connectée Des IHM ux fonctions étendues : > Conversion de plus de 250 protocoles > Serveur Web intégré > Enregistreur de données sécurisées > Modules
Plus en détailLITE-FLOOR. Dalles de sol et marches d escalier. Information technique
LITE-FLOOR Dlles de sol et mrches d esclier Informtion technique Recommndtions pour le clcul et l pose de LITE-FLOOR Générlités Cette rochure reprend les règles de se à respecter pour grntir l rélistion
Plus en détailAlgorithmes sur les mots (séquences)
Introduction Algorithmes sur les mots (séquences) Algorithmes sur les mots (textes, séquences, chines de crctères) Nomreuses pplictions : ses de données iliogrphiques ioinformtique (séquences de iomolécules)
Plus en détailNotes de révision : Automates et langages
Préprtion à l grégtion de mthémtiques 2011 2012 Notes de révision : Automtes et lngges Benjmin MONMEGE et Sylvin SCHMITZ LSV, ENS Cchn & CNRS Version du 24 octore 2011 (r66m) CC Cretive Commons y-nc-s
Plus en détailLe canal étroit du crédit : une analyse critique des fondements théoriques
Le cnl étroit du crédit : une nlyse critique des fondements théoriques Rfl Kierzenkowski 1 CREFED Université Pris Duphine Alloctire de Recherche Avril 2001 version provisoire Résumé A l suite des trvux
Plus en détailAvant d utiliser l appareil, lisez ce Guide de référence rapide pour connaître la procédure de configuration et d installation.
Guide de référence rpide Commencer Avnt d utiliser l ppreil, lisez ce Guide de référence rpide pour connître l procédure de configurtion et d instlltion. NE rccordez PAS le câle d interfce mintennt. 1
Plus en détailPour développer votre entreprise. Compta LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Compt Avec EBP Compt, vous ssurez le suivi de l ensemble de vos opértions et exploitez les données les plus complexes en toute sécurité. Toutes les fonctionnlités essentielles
Plus en détailSommaire. 6. Tableau récapitulatif... 10. Sophos NAC intégré Vs. NAC Advanced - 17 Février 2009 2
Sommire 1. A propos de Sophos... 3 2. Comprtif des solutions Sophos NAC... 4 3. Sophos NAC pour Endpoint Security nd Control 8.0... 4 3.1. Administrtion et déploiement... 4 3.2. Gestion des politiques
Plus en détailChapitre VI Contraintes holonomiques
55 Chpitre VI Contrintes holonomiques Les contrintes isopérimétriques vues u chpitre précéent ne sont qu un eemple prticulier e contrintes sur les fonctions y e notre espce e fonctions missibles. Dns ce
Plus en détailTechniques d analyse de circuits
Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre
Plus en détailCours d Analyse IV Suites et Séries de fonctions
Université Clude Bernrd, Lyon I Licence Sciences, Technologies & Snté 43, boulevrd 11 novembre 1918 Spécilité Mthémtiques 69622 Villeurbnne cedex, Frnce L. Pujo-Menjouet pujo@mth.univ-lyon1.fr Cours d
Plus en détailTurbine hydraulique Girard simplifiée pour faibles et très faibles puissances
Turbine hydrulique Girrd simplifiée pour fibles et très fibles puissnces Prof. Ing. Zoltàn Hosszuréty, DrSc. Professeur à l'université technique de Kosice Les sites hydruliques disposnt de fibles débits
Plus en détailSystème binaire. Algèbre booléenne
Algèbre booléenne Système binaire Système digital qui emploie des signaux à deux valeurs uniques En général, les digits employés sont 0 et 1, qu'on appelle bits (binary digits) Avantages: on peut utiliser
Plus en détailPartie 4 : La monnaie et l'inflation
Prtie 4 : L monnie et l'infltion Enseignnt A. Direr Licence 2, 1er semestre 2008-9 Université Pierre Mendès Frnce Cours de mcroéconomie suite 4.1 Introduction Nous vons vu dns l prtie introductive que
Plus en détailEnsEignEmEnt supérieur PRÉPAS / BTS 2015
Enseignement supérieur PRÉPAS / BTS 2015 Stnisls pour mbition de former les étudints à l réussite d exmens et de concours des grndes écoles de mngement ou d ingénieurs. Notre objectif est d ccompgner chque
Plus en détailCommencer DCP-7055W / DCP-7057W /
Guide d instlltion rpide Commencer DCP-7055W / DCP-7057W / DCP-7070DW Veuillez lire ttentivement le livret Sécurité et réglementtion vnt d'effectuer les réglges de votre ppreil. Consultez ensuite le Guide
Plus en détailLicence M.A.S.S. Cours d Analyse S4
Université Pris I, Pnthéon - Sorbonne Licence MASS Cours d Anlyse S4 Jen-Mrc Brdet (Université Pris 1, SAMM) UFR 27 et Equipe SAMM (Sttistique, Anlyse et Modélistion Multidisiplinire) Université Pnthéon-Sorbonne,
Plus en détailTransfert. Logistique. Stockage. Archivage
Trnsfert Logistique Stockge Archivge Trnsfert, logistique, stockge Pour fire fce ux nouveux enjeux, il est importnt de pouvoir compter sur l'expertise d'un spéciliste impliqué à vos côtés, en toute confince.
Plus en détailElectrovanne double Dimension nominale Rp 3/8 - Rp 2 DMV-D/11 DMV-DLE/11
Electrovnne double Dimension nominle 3/8 - DMV-D/11 DMV-DLE/11 7.30 M Edition 11.13 Nr. 223 926 1 6 Technique L électrovnne double DUNGS DMV intère deux électrovnnes dns un même bloc compct : - vnnes d
Plus en détailANALYSE : FONCTIONS D UNE VARIABLE RÉELLE
Jen-Pierre Dedieu, Jen-Pierre Rymond ANALYSE : FONCTIONS D UNE VARIABLE RÉELLE Institut de Mthémtiques Université Pul Sbtier 31062 Toulouse cedex 09 jen-pierre.dedieu@mth.univ-toulouse.fr jen-pierre.rymond@mth.univ-toulouse.fr
Plus en détailLes portes logiques. Voici les symboles des trois fonctions de base. Portes AND. Portes OR. Porte NOT
Les portes logiques Nous avons jusqu ici utilisé des boutons poussoirs et une lampe pour illustrer le fonctionnement des opérateurs logiques. En électronique digitale, les opérations logiques sont effectuées
Plus en détailSYSTEME DE TELEPHONIE
YTEME DE TELEPHOIE LE OUVEUTE PTIE MOITEU COULEU Le système de téléphonie comporte un moniteur vec un écrn couleurs de intégré u téléphone. Cette prtie est disponile en lnc, nthrcite et Tech. TLE DE MTIEE
Plus en détailGuide de l'utilisateur
Guide de l'utilisteur Symboles Utilisés Dns ce Guide Indictions de sécurité L documenttion et le projecteur utilisent des symboles grphiques qui indiquent comment utiliser l ppreil en toute sécurité. Veillez
Plus en détail2.4 Représentation graphique, tableau de Karnaugh
2 Fonctions binaires 45 2.4 Représentation graphique, tableau de Karnaugh On peut définir complètement une fonction binaire en dressant son tableau de Karnaugh, table de vérité à 2 n cases pour n variables
Plus en détailIFT1215 Introduction aux systèmes informatiques
Introduction aux circuits logiques de base IFT25 Architecture en couches Niveau 5 Niveau 4 Niveau 3 Niveau 2 Niveau Niveau Couche des langages d application Traduction (compilateur) Couche du langage d
Plus en détailBaccalauréat S Asie 19 juin 2014 Corrigé
Bcclurét S Asie 9 jui 24 Corrigé A. P. M. E. P. Exercice Commu à tous les cdidts 4 poits Questio - c. O peut élimier rpidemet les réposes. et d. cr les vecteurs directeurs des droites proposées e sot ps
Plus en détailIntroduction à la modélisation et à la vérication p. 1/8
Introduction à l modélistion et à l vériction Appliction ux systèmes temporisés Ptrici Bouyer LSV CNRS & ENS de Cchn Introduction à l modélistion et à l vériction p. 1/8 Modélistion & Vériction Introduction
Plus en détailGuide des bonnes pratiques
Livret 3 MINISTÈRE DE LA RÉFORME DE L'ÉTAT, DE LA DÉCENTRALISATION ET DE LA FONCTION PUBLIQUE 3 Guide des bonnes prtiques OUTILS DE LA GRH Guide des bonnes prtiques Tble des mtières 1. Introduction p.
Plus en détail1. 1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 2. 2.1.
T/TR 01-01 Pge 3 r+ 1. EQUIPMENT CONCERNE L interconnexion numerique interntionl pour le service visiophonique et de visioconf&ence necessite l stndrdistion des principux prmttres num&iques tels que d~it,
Plus en détailToyota Assurances Toujours la meilleure solution
Toyot Assurnces Toujours l meilleure solution De quelle ssurnce vez-vous besoin? Vous roulez déjà en Toyot ou vous ttendez s livrison. Votre voiture est neuve ou d occsion. Vous vlez les kilomètres ou
Plus en détailCompte rendu de la validation d'un observateur cascade pour la MAS sans capteurs mécaniques sur la plate-forme d'essai de l'irccyn
Compte rendu de l vlidtion d'un oservteur cscde pour l MAS sns cpteurs mécniques sur l plte-forme d'essi de l'irccyn Mlek GHANES, Alin GLUMINEAU et Roert BOISLIVEAU Le 1 vril IRCCyN: Institut de Recherche
Plus en détailModification simultanée de plusieurs caractéristiques d un bien hédonique : une nouvelle méthode de calcul de la variation de bien-être des ménages
Modifiction simultnée de plusieurs crctéristiques d un bien hédonique : une nouvelle méthode de clcul de l vrition de bien-être des ménges Trvers Muriel * Version provisoire Résumé : De nombreuses situtions
Plus en détailChapitre 1 : Fonctions analytiques - introduction
2e semestre 2/ UE 4 U : Abrégé de cours Anlyse 3: fonctions nlytiques Les notes suivntes, disponibles à l dresse http://www.iecn.u-nncy.fr/ bertrm/, contiennent les définitions et les résultts principux
Plus en détailINFORMATIONS TECHNIQUES
0 INFORMATIONS TECHNIQUES tle des mtieres 06 Alimenttions et ccessoires 08 Postes extérieurs Sfer Postes extérieurs minisfer 9 Postes internes Accessoires d instlltion Centrux téléphoniques PABX Cmérs
Plus en détailManSafe. pour les Utilitiés. La Protection antichute pour les Industries de l'energie. Français. TowerLatch LadderLatch
MnSfe pour les Utilitiés L Protection ntichute pour les Industries de l'energie Frnçis TowerLtch LdderLtch Les questions de protection nti-chute Les chutes de huteur sont l cuse de mortlité l plus importnte
Plus en détailDéroulement de l épreuve de mathématiques
Dérouleet de l épreuve de thétiques MATHÉMATIQUES Extrit de l ote de service 2012-029 du 24 février 2012 (BOEN 13 du 29-3-2012) Durée de l épreuve : 2 heures Nture de l épreuve : écrite pr le socle cou
Plus en détailNEWS PRO ACTIV. www.activexpertise.fr. [Juillet 2015] Ce mois-ci on vous parle de. L arrêté est applicable à compter du 1er Juillet 2015.
Ce mois-ci on vous prle de i Rpport de repérge minte : Trnsmission u Préfet obligtoire à compter du 1 er juillet 2015 Simplifiction des formlités : De bonnes nouvelles pour les entreprises de dignostic
Plus en détailClasseur courtier d assurance. Comment organiser son activité et se préparer à un contrôle
Clsseur courtier d ssurnce Comment orgniser son ctivité et se préprer à un contrôle 67, venue Pierre Grenier 92517 BOULOGNE-BILLANCOURT CEDEX Tél : 01.46.10.43.80 Fx : 01.47.61.14.85 www.streevocts.com
Plus en détailTheorie des mrches Dns ce chpitre, on etudie l'interction de l'ore et de l demnde sur un mrche d'un bien donne. On etudier, en prticulier, l'equilibre du mrche. Etnt donne qu'on s'interesse uniquement
Plus en détailAlgèbre binaire et Circuits logiques (2007-2008)
Université Mohammed V Faculté des Sciences Département de Mathématiques et Informatique Filière : SMI Algèbre binaire et Circuits logiques (27-28) Prof. Abdelhakim El Imrani Plan. Algèbre de Boole 2. Circuits
Plus en détailMagister en : Génie Mécanique
الجمهورية الجزاي رية الديمقراطية الشعبية République Algérienne Démocrtique et Populire وزارة التعليم العالي و البحث العلمي Ministère de l enseignement supérieur et de l recherche scientifique Université
Plus en détail- Phénoméne aérospatial non identifié ( 0.V.N.I )
ENQUETE PRELIMINAIRE ANALYSE ET REFEREWCES : Phénoméne érosptil non identifié ( 0VNI ) B8E 25400 DEF/GEND/OE/DOlRENS du 28/9/1992 Nous soussigné : M D L chef J S, OPJ djoint u commndnt de l brigde en résidence
Plus en détailLa pratique institutionnelle «à plusieurs»
L prtique institutionnelle «à plusieurs» mury Cullrd Février 2013 Nicols, inquiet: «Qund je suis seul vec quelqu un, il se psse des choses» Vlentin, à propos de l institution : «Ici, y beucoup de gens,
Plus en détailLa paye. La comptabilité. Comparez et choisissez votre logiciel. Comparez et choisissez votre logiciel. Paye Bâtiment 2012. Paye Agricole 2013
L comptbilité Comprez et choisissez votre logiciel L pye Comprez et choisissez votre logiciel TABLEAUX COMPARATIFS Compt Prtic Pour les créteurs et les entrepreneurs novice en Compt Compt Clssic Pour l
Plus en détailSanté et sécurité psychologiques en milieu de travail
CAN/CSA-Z1003-13/BNQ 9700-803/2013 Norme ntionle du Cnd Snté et sécurité psychologiques en milieu de trvil Prévention, promotion et lignes directrices pour une mise en œuvre pr étpes Avilble in English
Plus en détailAUTOUR D UN MÉMOIRE INÉDIT : LA CONTRIBUTION D HERMITE AU DÉVELOPPEMENT DE LA THÉORIE DES FONCTIONS ELLIPTIQUES. Bruno BELHOSTE (*)
Revue d histoire des mthémtiques, 2 (1996), p. 1 66. AUTOUR D UN MÉMOIRE INÉDIT : LA CONTRIBUTION D HERMITE AU DÉVELOPPEMENT DE LA THÉORIE DES FONCTIONS ELLIPTIQUES Bruno BELHOSTE (*) RÉSUMÉ. Dns cet rticle,
Plus en détailINTENTION LES PROCESSUS MATHÉMATIQUES
INTENTION Adpttios u Cdre commu des progrmmes d études de mthémtiques M-9 telles que reflétées ds le documet Mthémtiques M-9 : Progrmme d études de l Albert (2007) Le coteu du documet Mthémtiques M-9 :
Plus en détailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
Plus en détailClients légers IGEL et bureaux virtuels : synergie idéale et coût minimal
Clients légers IGEL et bureux virtuels : synergie idéle et coût miniml Infrstructure de bureux virtuels vec clients légers IGEL Universl Desktop : Une plus grnde liberté de conception pour vos postes de
Plus en détailMODÈLE : 625S GUIDE D UTILISATION DU SIMULATEUR D ESCALIER HYBRIDE
MODÈLE : 625S GUIDE D UTILISTION DU SIMULTEUR HYBRIDE 625S_CFr_Rev.2.0.indd 1 9/10/08 11:38:26 M FÉLICITTIONS et MERCI d avoir acheté ce simulateur hybride Tempo Fitness. Que votre objectif soit de gagner
Plus en détailDirectives COV et alternative lipochimique : peintures, encres, nettoyage, dégraissage...
Directives COV et lterntive lipochimique : peintures, encres, nettoyge, dégrissge... Alin LEMOR Recherche & Développement, Novnce, BP 20609, Venette, 60206 Compiègne Cedex, Frnce, Fx. +33 (0)3 44 90 70
Plus en détailMcAfee Firewall Enterprise, Multi Firewall Edition
Guie e émrrge rpie Révision A MAfee Firewll Enterprise, Multi Firewll Eition version 8.3.x Ce guie e émrrge rpie fournit es instrutions générles sur l onfigurtion e MAfee Firewll Enterprise, Multi Firewll
Plus en détailLogique binaire. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques.
Logique binaire I. L'algèbre de Boole L'algèbre de Boole est la partie des mathématiques, de la logique et de l'électronique qui s'intéresse aux opérations et aux fonctions sur les variables logiques.
Plus en détailBloc notes. a À faire tout de suite. Gardez secret votre code confidentiel. À conserver précieusement. Protégez votre carte
Q U O T I D I E N Crte Mestro Comment voir tous les touts de votre crte bien en min Guide mémo + Notice d Assistnce Octobre 2010 Bloc notes À fire tout de suite Votre crte est strictement personnelle,
Plus en détailRégression multiple : principes et exemples d application. Dominique Laffly UMR 5 603 CNRS Université de Pau et des Pays de l Adour Octobre 2006
Régression multiple : principes et eemples d ppliction Dominique Lffly UMR 5 603 CNRS Université de Pu et des Pys de l Adour Octobre 006 Destiné à de futurs thémticiens, notmment géogrphes, le présent
Plus en détailSOCIÉTÉ LINNÉENNE DE LYO N FONDEE EN 182 2
39 nnée N 6 Juin 197 0 BULLETIN MENSUE L DE LA SOCIÉTÉ LINNÉENNE DE LYO N FONDEE EN 182 2 RECONNUE D'UTILITE PUBLIQUE PAR DECRET DU 9 AOUT 193 7 des SOCIETES BOTANIQUE DE LYON, D'ANTHROPOLOGIE ET DE BIOLOGIE
Plus en détailIntégrale et primitives
Chpitre 5 Intégrle et primitives 5. Ojetif On herhe dns e hpitre à onstruire l opérteur réiproue de l opérteur de dérivtion. Les deux uestions suivntes sont lors nturelles. Question : Soit f une pplition
Plus en détailINSTALLATION DE DETECTION INCENDIE
reglement > > instlltion E ETECTON NCENE NSTALLATON E ETECTON NCENE Une instlltion de détection incendie pour objectif de déceler et signler, le plus tôt possible, d une mnière fible, l nissnce d un incendie,
Plus en détailVIBRATIONS COUPLEES AVEC LE VENT
VIBRATIONS OPLEES AVE LE VENT Pscl Hémon Lbortoire d Hydrodynmique, LdHyX Ecole Polytechnique, Pliseu Octobre 00 Vibrtions couplées vec le vent Si vous pense que j i révélé des secrets, je m en ecuse.
Plus en détailSciences Industrielles Précision des systèmes asservis Papanicola Robert Lycée Jacques Amyot
Scence Indutrelle Précon de ytème erv Pncol Robert Lycée Jcque Amyot I - PRECISION DES SYSTEMES ASSERVIS A. Poton du roblème 1. Préentton On vu que le rôle d un ytème erv et de fre uvre à l orte (t) une
Plus en détailRESUME DE COURS ET CAHIER D'EXERCICES
ARCITECTURE INFO-UP REUME DE COUR ET CAIER D'EXERCICE EPITA F. GABON Architecture EPITA INFO-UP F. Gabon COUR LIVRE D ARCITECTURE 3 REUME D'ELECTRONIUE LOGIUE 4 YTEME DE NUMERATION 6 ALGEBRE DE BOOLE 6
Plus en détailSystèmes de plafonds
Systèmes de plfonds Sommire Une connissnce ultime des systèmes 4 2 Présenttion 5 Types de plfonds Gyproc 5 Applictions et vntes 6 Choix de l structure du plfond 7 Choix de l plque de revêtement 8 Pose
Plus en détailInterview p.10. Francis Delpérée. Dossier pédagogique des Equipes Populaires Bimestriel n 154 Janvier-Février 2013
Dossier pédgogique des Equipes Populires Bimestriel n 154 Jnvier-Février 2013 Belgique - België P.P. - P.B. 5000 - Nmur 1 BC 4854 Interview p.10 Frncis Delpérée Bureu de dépôt : 5000 Nmur mil. N d grétion
Plus en détailLa plateforme Next Generation Mini guide
L plteforme Next Genertion Mini guie Ce guie onis été réé pour vous permettre e vous fmiliriser rpiement ve les nomreuses fontionnlités et outils isponiles sur l plteforme Next Genertion. Apprenez où trouver
Plus en détailFIG. 1 Module de stockage en position horizontale ; positionnement des jauges de déformation.
Anlyse thermo-mécnique dun prototype de stockge hybride (solide-gzeux) dhydrogène D. CHAPELLE, O. GILLIA b, M. FELDIC. Institut FEMTO ST, UMR 6174, Déprt. Mécnique Appliquée, 24 rue de l Epitphe, 25000
Plus en détailTopologie dans un réseau : l exemple des points de Dirac
Chpitre 6 Topologie dns un réseu : l exemple des points de irc Sommire Points de irc dns une zone de Brillouin....... 2 - Reltion de dispersion linéire........... 2-2 Chirlité des points de irc............
Plus en détailArithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
Plus en détailConversion d un entier. Méthode par soustraction
Conversion entre bases Pour passer d un nombre en base b à un nombre en base 10, on utilise l écriture polynomiale décrite précédemment. Pour passer d un nombre en base 10 à un nombre en base b, on peut
Plus en détailLa réforme des soins de santé mentale en Belgique
1 L réforme des soins de snté mentle en Belgique Isbel MOENS Cbinet de l Vice Première-Ministre Ministre des Affires sociles et de l Snté publique En prtenrit vec: Kristel KARLER Cbinet de l Ministre de
Plus en détail16.1 Convergence simple et convergence uniforme. une suite de fonctions de I dans R ou C.
16 Suites de foctios Suf précisio cotrire, I est u itervlle réel o réduit à u poit et les foctios cosidérées sot défiies sur I à vleurs réelles ou complexes. 16.1 Covergece simple et covergece uiforme
Plus en détaildans Supply Chain sortir ERP commencent à de leur carcan prise de décision en temps réel au niveau des ateliers. La nouvelle génération de solutions
dvntge informtique Suppl commct Suppl tit sortir s i Ces N dte prution : 27-01/09/2008 Périodicité : Msuel Pge : 56 SupplCh3_27_57_337pdf T : 95 % Site Web : wwwsupplchinmgzinefr Le dns invite Suppl Chin
Plus en détailElectronique Numérique
Electronique Numérique 1er tome Systèmes combinatoires Etienne Messerli Yves Meyer Septembre 2010 Version 1.4 Mise à jour de ce manuel La base du présent manuel a été écrit par M. Yves Meyer de l'école
Plus en détailOrganisation des Ordinateurs
Organisation des Ordinateurs Bernard Boigelot E-mail : boigelot@montefiore.ulg.ac.be URL : http://www.montefiore.ulg.ac.be/~boigelot/ http://www.montefiore.ulg.ac.be/~boigelot/cours/org/ 1 Chapitre 1 Les
Plus en détailLe vademecum de l apprentissage dans la fonction publique territoriale SERVICES À LA PERSONNE
Le vdemecum de l pprentissge dns l fonction publique territorile SERVICES À LA PERSONNE 1 REMERCIEMENTS Nous tenons à remercier pour leur disponibilité et l richesse de nos échnges toutes les personnes
Plus en détail