Lycée Hoche Versailles. Automatique Systèmes combinatoires
|
|
- Laurent Barbeau
- il y a 6 ans
- Total affichages :
Transcription
1 Lycée Hoche Versilles Automtique ystèmes comintoires Philippe Bourzc 2000
2 Automtique ystèmes comintoires AUTOMATIQUE YTEME COMBINATOIRE. Modèle de fonctionnement logique d un système comintoire. Définition : Un modèle de fonctionnement logique est un ensemle de reltions cusles qui trduisent le fonctionnement du système. Exemple : Modèle de fonctionnement logique d un système de gestion d un croisement. L figure suivnte représente une intersection entre une route principle et une route secondire. A O N E Des cpteurs de présence des voitures ont été plcés le long des voies : c et d pour l route principle ; et pour l route secondire. D C Les sorties de ces cpteurs sont à qund il y des voitures, à 0 qund il n'y en ps. B Les feux de circultion se trouvnt à cette intersection sont commndés pr les règles de décision suivntes : il y des voitures dns l voie C et dns l voie D Alors le feu E-0 est vert. il y des voitures dns l voie C ou dns l voie D et dns l voie A ou dns l voie B mis ps dns les deux Alors le feu E-0 est vert. il y des voitures dns l voie A et dns l voie B et dns l voie C ou dns l voie D mis ps dns les deux Alors le feu N- est vert. il y des voitures dns l voie A ou dns l voie B et ucune dns les voies C et D Alors le feu N- est vert. Reltion cusle : Une reltion cusle s écrit : i «cuse» Alors «effet». Proposition logique : «cuse» et «effet» sont des propositions logiques fisnt intervenir respectivement les entrées et les sorties du système. Une proposition logique est vrie ou fusse. Vriles inires : Pour simplifier l écriture du modèle de fonctionnement logique, on utilise des vriles inires ssociées à des propositions logiques. Proposition logique vrie Vrile inire ssociée Proposition logique fusse Vrile inire ssociée 0 Exemple : Assocition de vriles inires. il y des voitures dns l voie A v il y des voitures dns l voie B v il y des voitures dns l voie C vc il y des voitures dns l voie D vd le feu E-0 est vert E-0 le feu N- est vert N- Fonctions logiques : Pour simplifier encore l écriture du modèle de fonctionnement logique, on utilise l lgère de Boole qui nous permet d exprimer les sorties comme des fonctions logiques des entrées. MPI-PCI Pge
3 Automtique ystèmes comintoires Exemple : Modèle de fonctionnement logique utilisnt des fonctions logiques. E-O si [vc ET vd] E-O si [(vc OU vd) ET (NON (v ET v))] N- si [v ET v ET (NON (vc ET vd))] N- si [(v OU v) ET (NON vc) ET (NON vd)] Donc : E-O [vc ET vd] OU [(vc OU vd) ET (NON (v ET v))] N- [v ET v ET (NON (vc ET vd))] OU [(v OU v) ET (NON vc) ET (NON vd)] 2. Le temps et les systèmes comintoires. L cuslité à temps nul des modèles logiques Les modèles logiques reposent tous sur une hypothèse temporelle fondmentle : l effet d une cuse se produit à l instnt même où l cuse pprît. Cette cuslité à temps nul est celle de l impliction mthémtique e e Temps de réponse des constitunts logiques 5 V e réelle Les composnts et les constitunts logiques réels, présentent, eux, un retrd entre cuse et effet. Ce retrd résulte de l conjonction de deux types de phénomènes physiques : un seuil de réction Ts (ex : rttrpge de jeu pour un constitunt mécnique; temps interne de tritement pour un constitunt progrmmle etc). un temps de chngement d étt Tm (temps de pssge, pour l sortie réelle, d une vleur initile à une vleur finle). On peut distinguer deux temps de réponse du constitunt : - Tm Ts Tm (temps de montée) - Td similire à Tm (temps de descente) 5 V e logique Tm réelle logique Ts Tm 3. Fonctions logiques comintoires. 3.. Définition. i à tout instnt l sortie d une fonction logique peut être exprimée pr une cominison de ses entrée e, e2,... : f(e, e2,...), on dit que cette fonction logique est comintoire. MPI-PCI Pge
4 Automtique ystèmes comintoires 3.2. Tle de vérité d'une fonction logique. Définition : C est un tleu donnnt l'étt des sorties d'un modèle logique en fonction des étt possiles des entrées. Exemple : Entrées orties X Y Opérteurs logiques de ses L opérteur OUI e Tle de vérité Logigrmme U e Digrmme temporel e chém électrique 5 V 0 V e L opérteur NON (e rre) Aussi ppelé : Fonction complément ou inverse. Tle de vérité Digrmme temporel e Logigrmme U e e MPI-PCI Pge
5 Automtique ystèmes comintoires chém électrique 5 V 0 V /e L opérteur ET Aussi ppelé : Produit logique Tle de vérité Digrmme temporel & Logigrmme U chém électrique 5 V 0 V L opérteur OU Aussi ppelé : omme logique Tle de vérité Digrmme temporel Logigrmme U MPI-PCI Pge
6 Automtique ystèmes comintoires chém électrique 5 V 0 V L opérteur OU EXCLUIF Tle de vérité Digrmme temporel Donc Logigrmme U chém électrique 5 V / 0 V / L opérteur IDENTITE Aussi ppelé : Opérteur Eglité Tle de vérité Logigrmme U Donc MPI-PCI Pge
7 Automtique ystèmes comintoires chém électrique 5 V 0 V / / 3.4. Propriétés des fonctions logiques de se. Commuttivité :.. Associtivité : (.).c.(.c) ()c(c) Distriutivité :.(c)(.)(.c) (.c)().(c) Eléments neutres : Asorption :. Idempotence :. Complémenttion : /./0 Remrque : l opérteur ET est prioritire pr rpport à l opérteur OU Théorèmes de De MORGAN er théorème : Fonction NON OU (NOR). Le complément d une somme logique de plusieurs vriles est égl u produit du complément de chcune des vriles. Exemple : Tle de vérité Logigrmme U chém électrique 5 V 0 V R /r MPI-PCI Pge
8 Automtique ystèmes comintoires ème théorème : Fonction NON ET (NAND). Le complément d une produit logique de plusieurs vriles est égl à l somme du complément de chcune des vriles. Exemple : Tle de vérité Logigrmme & U chém électrique 5 V 0 V R /r Intérêt des théorèmes de De Morgn. Toute fonction logique peut-être rélisée en utilisnt uniquement des cellules NOR ou NAND. Cel permet de réduire les types de composnts nécessires et d optimiser les circuits électroniques retenus. En effet, sur un circuit électronique, on trouve générlement un minimum de qutre cellules identiques. Les opérteurs NOR et NAND sont dits complets. Exemple : Rélistion du circuit n utilisnt que des cellules NOR. Logigrmme correspondnt : Rélistion du circuit n utilisnt que des cellules NAND. Logigrmme correspondnt : & & & 3.6. Fonctions logiques d une vrile. Il s git de lister toutes les fonctions logiques d une vrile. MPI-PCI Pge
9 Automtique ystèmes comintoires Pour les 2 étts différents (0 et ) de l entrée, l sortie peut prendre les vleurs 0 ou. Il existe donc fonctions logiques d une vrile : ( ) e Fonction nulle 2 0 2e Fonction OUI 3 0 3/e Fonction NON 4 4 Fonction unité 3.7. Fonctions logiques de deux vriles. Pour les 4 étts différents des entrées, l sortie peut prendre les vleurs 0 ou. Il existe donc fonctions logiques de 2 vriles différentes : ( ) Nulle Et Inhiition Inhiition Ou Exclusif Ou Nor Identité Impliction Impliction Nnd 6 6 Unité 3.8. Expressions cnoniques d une fonction logique. Elles sont utilisées pour trouver l expression logique d une fonction à prtir de l tle de vérité omme de produits cnoniques. Toute fonction d une vrile s écrit : ( ) Exemple : ( ) Toute fonction de deux vriles s écrit : ( ) Exemple : ( ) Produit de sommes cnoniques. Toute fonction d une vrile s écrit : ( ) [ ][ ] Exemple : [ ][ ] MPI-PCI Pge
10 Automtique ystèmes comintoires Toute fonction de deux vriles s écrit : ( ) [ ][ ][ ][ ] Exemple : [ ][ ][ ][ ] [ ][ ] 4. implifiction des fonctions logiques. 4.. Le code GRAY. Le code Gry, encore ppelé code inire symétrique ou réfléchi, permet de coder les nomres en utilisnt les chiffres inires 0 et. Le codge est tel que : Il permet de psser d un nomre u suivnt ou u précédent en ne chngent d étt qu un seul digit de l expression. Des «symétries» dns le code conduisent à l même remrque pour deux nomres «symétriques». Le tleu suivnt donne l correspondnce vec les nomres inires nturels, décimux et hexdécimux : Hexdéciml Déciml Binire Gry A B 0 0 C D E F Tleu de KARNAUGH d une fonction logique. C est une tle de vérité mtricielle de l fonction logique. Le codge des lignes et des colonnes se fit selon le code gry. Les cses de l mtrice contiennent l étt de l fonction logique. Exemple : (! )!! c d implifiction pr l méthode de KARNAUGH. On exploite les prticulrités du code Gry. oit un système à q entrées. On considère les regroupements de 2 n cses «symétriques» à l étt dns le tleu de Krnugh. Chque regroupement représente le produit logique des (q-n) vriles MPI-PCI Pge
11 Automtique ystèmes comintoires d entrée qui ne chngent ps d étt. Les utres vriles sont indifférentes pour le regroupement considéré. Remrques : Les regroupements peuvent se superposer. Il fut prendre en compte, pr des regroupements, l ensemle des cses à l étt. Il fut chercher les regroupements les plus gros. Ils donnent des produits logiques les plus simples. En risonnnt sur les cses à l étt 0, on otient l expression du complément de l fonction considérée. Exemple : c d (!) 5. Rélistion prtique des opérteurs logiques de se. 5.. Technologie électrique Le relis électromgnétique. Le relis électromgnétique (ou plus simplement relis) est utilisé pour réliser des réseux à contcts. Le schém de principe d'un relis est donné figure. Il est constitué d'un électro-imnt et d'une rrette moile qui supporte des pires de contcts (une seule pire est représentée sur le schém). Ces pires de contcts sont donc couplées mécniquement, mis elles sont électriquement indépendntes. Chque pire est constituée de deux contcts qui ont un point commun. On distingue le contct trvil et le contct repos (cf. figure.). Il y deux types de ornes électriques : les 2 ornes d'limenttion de l oine, notées A et A 2, les 3 ornes de chque pire de contcts, notées, 2, et 3. Lorsqu'un cournt électrique trverse l oine (ornes A et A 2 sous tension), l prtie moile est ttirée et le contct trvil est fermé (un cournt électrique peut circuler entre les ornes et 3 ), tndis que le contct repos est ouvert (ucun cournt ne peut circuler entre les ornes 2 et 3 ). Lorsqu'ucun cournt ne trverse l oine, l prtie moile est rppelée pr le ressort et le contct trvil est ouvert, tndis que le contct repos est fermé. MPI-PCI Pge
12 Automtique ystèmes comintoires Dns un schém électrique de réseux de contcts, on dopter l'une des deux conventions représentées sur l figure 2 dns lquelle représente un contct trvil et / un contct repos. Exemples : ur le schém de l figure 3, l lmpe ser llumée si, c'est-à-dire si le contct trvil est fermé et, pour cel, si l oine A (non représentée ici) est limentée (A ). On donc rélisé l fonction logique L. Pr contre, sur le schém de l figure 3, l lmpe ser llumée si /, ou 0, c'est-à-dire si le contct repos est fermé et, pour cel, si l oine A n'est ps limentée (A 0). On rélisé l fonction L /. Remrque : Nous vons volontirement distingué l'limenttion de l oine et de s commnde de celle de l lmpe. Cel correspond à l rélité de nomreuses pplictions. En effet, le relis est ussi un mplificteur de puissnce, et, pr exemple, l'limenttion de l oine pourr se fire en sse tension, lors que celle de l lmpe se fer sous une tension eucoup plus élevée. De plus, ces tensions peuvent être continues ou lterntives Opérteurs de se (ET, OU). Avec des contcts, on rélise simplement les opérteurs de se. Dns le réseu de l figue 4, l lmpe s llume si et seulement si les deux contcts et sont fermés. Ce réseu rélise donc l fonction L.. Dns le réseu de l figue 4, l lmpe s llume si et seulement si l un des deux contcts ou u moins est fermé. Ce réseu rélise donc l fonction L Technologie électronique. Les systèmes digitux modernes, tels que ceux que l on trouve dns les ordinteurs, sont constitués d un très grnd nomre de composnts qui contiennent chcun un très petit nomre d éléments différents. Ces éléments de se sont les portes logiques. Elles ont un nomre fixé d entrées et rélisent une opértion logique sur ces entrées. Afin de pouvoir réliser n importe quelle expression logique, il fut disposer d un ensemle de portes cples de réliser toutes les opértions de l lgère inire. Le premier ensemle qui vient nturellement à l esprit est constitué des trois opérteurs de se de l lgère inire : NON, ET, OU. Nous verrons églement qu il existe d utres ensemles, plus réduits et surtout eucoup plus utilisés, qui permettent églement de réliser toutes les fonctions logiques ; ce sont les opérteurs NAND et NOR Le trnsistor. Le module de se de l technologie électronique est le trnsistor (figure 5). Les trois électrodes sont (figure 6) : L émetteur E ; L se B Le collecteur C. MPI-PCI Pge
13 Automtique ystèmes comintoires L flèche indique toujours l émetteur. Les sens de l flèche permet de reconnître le type : NPN (ne pénètre ps) ou PNP (pénètre) Fonctionnement : Le cournt collecteur IC dépend du cournt se IB (figure 7 et 8). Fisons vrier le cournt se IB et notons les vritions correspondntes de IC. Trnsistor sturé : à prtir d une certine vleur de IB, le cournt IC se stilise et reste constnt, même si IB continue à croître. Le trnsistor conduit totlement, il se comporte comme un interrupteur fermé. On dit qu il est sturé (VCE 0). Trnsistor loqué : pour un cournt IB nul, le cournt collecteur est églement nul. Le trnsistor se comporte comme un interrupteur ouvert. On dit qu il est loqué (VCE VCC). Utilistion en composnt logique (figure 9) est l vrile d entrée et l fonction de sortie. i 0, U CE 5 v (le trnsistor est loqué) et ; i, U CE 0, à 0,8 v (le trnsistor est sturé) et 0. Dns ces conditions de rnchement, un trnsistor se comporte donc comme une fonction NON Opérteurs NAND et NOR. Le trnsistor, module de se, permet de constituer, sous forme intégrée, différentes fonctions logiques ppelées portes. Les plus utilisées sont les portes NAND et NOR : Dns le réseu de l figure 0, l sortie est ctive si ou est ouvert. Ce réseu rélise donc l fonction : MPI-PCI Pge
14 Automtique ystèmes comintoires Dns le réseu de l figure, l sortie est ctive si et sont ouverts. Ce réseu rélise donc l fonction : Les composnts technologiques. Les composnts élémentires (trnsistors, résistnces ) peuvent être montés sur une crte et constituer insi un circuit imprimé. L soudure de ces composnts est cependnt longue et délicte, ussi préfère-t-on utiliser des circuits intégrés miniturisés. Il sont emrochles et comportent générlement plusieurs portes. Exemples : MPI-PCI Pge
15 Automtique ystèmes comintoires 5.3. Technologie pneumtique. (D près Télémécnique) MPI-PCI Pge
L'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étailSTI2D 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é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étail/HVV\VWqPHVFRPELQDWRLUHV
/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
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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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é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étailTD 11. Les trois montages fondamentaux E.C, B.C, C.C ; comparaisons et propriétés. Association d étages. *** :exercice traité en classe.
TD 11 Les trois montages fondamentaux.,.,. ; comparaisons et propriétés. Association d étages. *** :exercice traité en classe ***exercice 11.1 On considère le montage ci-dessous : V = 10 V R 1 R s v e
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é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é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é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é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é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é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é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é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é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é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é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é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é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é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étailAnnexe II. Les trois lois de Kepler
Annexe II es tois lois de Keple écnique & 4 èe - Annexe II es tois lois de Keple Johnnes Keple (57-6), pulie en 596 son peie ouge, ysteiu Cosogphicu Teize nnées plus td, en 69, il pulie Astonoi No, dns
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é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é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é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é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étailRadioCommunications CDMA
Conservtoire tionl es Arts et Métiers Cours u Conservtoire tionl es Arts et Métiers RioCommunitions CDMA (Version 7) Mihel Terré terre@nmfr Eletronique C4 / Conservtoire tionl es Arts et Métiers Les performnes
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é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étailLivret de l étudiant 2015-2016
Livret de l étudint 2015-2016 Le mot du directeur Soyez les bienvenus à l IUT Pris Descrtes. L'IUT ccueille chque nnée 3000 étudints, sur le site de l'venue de Versilles et, depuis cette nnée, sur le site
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é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é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é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é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é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étailTUBES ET PROFILS CREUX
TUBES GAZ SOUDÉS SÉRIE LÉGÈRE DITS «TARIF 1 et 2» Norme de référene : NF EN 10255 (ex NF A 49-145) Nune : S195T Étt de surfe : noir ou glvnisé ÉPAISSEUR DÉNOMINATION en poues Tubes noirs lisses MASSE LINÉIQUE
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étailIntroduction : Les modes de fonctionnement du transistor bipolaire. Dans tous les cas, le transistor bipolaire est commandé par le courant I B.
Introduction : Les modes de fonctionnement du transistor bipolaire. Dans tous les cas, le transistor bipolaire est commandé par le courant. - Le régime linéaire. Le courant collecteur est proportionnel
Plus en détailMPI Activité.10 : Logique binaire Portes logiques
MPI Activité.10 : Logique binaire Portes logiques I. Introduction De nombreux domaines font appel aux circuits logiques de commutation : non seulement l'informatique, mais aussi les technologies de l'asservissement
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étailFONDATION CLEMENTINE ET MAURICE ANTILLE
FONDATION CLEMENTINE ET MAURICE ANTILLE Règlement d ttriution de ourses et de prêts d études et de formtion du déemre 006 Artile premier Ojet et hmp d pplition Le présent règlement est étli en pplition
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étailMINIMUM DE DONNÉES STANDARDISÉES (MDS) POUR L ÉVALUATION DU RÉSIDANT EN INSTITUTION EN VUE D UN PLAN DE SOINS
MINIMUM DE DONNÉES STANDARDISÉES (MDS) POUR L ÉVALUATION DU RÉSIDANT EN INSTITUTION EN VUE D UN PLAN DE SOINS ÉTAT DURANT LES SEPT DERNIERS JOURS (SAUF AUTRE INDICATION) 1/9 SECTION A IDENTIFICATION ET
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étailLe transistor bipolaire
IUT Louis Pasteur Mesures Physiques Electronique Analogique 2ème semestre 3ème partie Damien JACOB 08-09 Le transistor bipolaire I. Description et symboles Effet transistor : effet physique découvert en
Plus en détailCHAPITRE IX. Modèle de Thévenin & modèle de Norton. Les exercices EXERCICE N 1 R 1 R 2
CHPITRE IX Modèle de Thévenin & modèle de Norton Les exercices EXERCICE N 1 R 3 E = 12V R 1 = 500Ω R 2 = 1kΩ R 3 = 1kΩ R C = 1kΩ E R 1 R 2 U I C R C 0V a. Dessiner le générateur de Thévenin vu entre les
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é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é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é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é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é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é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é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étailUniversité Mohammed Khidher Biskra A.U.: 2014/2015
Uniersité Mohammed Khidher Biskra A.U.: 204/205 Faculté des sciences et de la technologie nseignant: Bekhouche Khaled Matière: lectronique Fondamentale hapitre 4 : Le Transistor Bipolaire à Jonction 4..
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étailTitrages acidobasiques de mélanges contenant une espèce forte et une espèce faible : successifs ou simultanés?
Titrgs cidobsiqus d mélngs contnnt un spèc fort t un spèc fibl : succssifs ou simultnés? Introduction. L'étud d titrgs cidobsiqus d mélngs d dux ou plusiurs cids (ou bss) st un xrcic cournt [-]. Ls solutions
Plus en détailBilan pédagogique / Projet ipad Contexte
t e j n r i t P t n e m i r é d p x d e es ip e d s s l c en gie. l chn, p s e g iss rent p p es ur l s é r cent t e j n pr Bil g g éd n p l2 vri, e iqu U d ps égrtin m t L sch en in tin duc en De gique
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étailINSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE
INSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE POUR LES SERRURES D ENTRÉE À CLÉ EXTÉRIEURES VERROUILLABLES, À POIGNÉE DE BRINKS HOME SECURITY. POUR LES PORTES DE
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é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étailPortiers audio et vidéo ABB-Welcome et ABB-Welcome M
Portiers udio et vidéo ABB-Welcome et ABB-Welcome M Connectivité Votre regrd vers l'extérieur et ce, où que vous soyez Flexiilité Des esoins les plus simples ux instlltions les plus complexes Gmmes ABB-Welcome
Plus en détailLogique séquentielle
Bascules et logique séquentielle aniel Etiemble de@lri.fr Logique séquentielle Logique séquentielle Le système a des «états» ans un système séquentiel Éléments de mémorisation Les sorties dépendent des
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étailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 10 août 2015 Enoncés 1 Proailités sur un univers fini Evènements et langage ensemliste A quelle condition sur (a,, c, d) ]0, 1[ 4 existe-t-il une proailité P sur
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étailTP - Alarme de voiture / Approche fonctionnelle
TP - Alarme de voiture / Approche fonctionnelle Tous les objets techniques, même les plus compliqués, sont étudiés à l aide d une méthode appelée : étude fonctionnelle ou systémique. 1/ Présentation du
Plus en détailInstitut Supérieur des Etudes Technologiques de Nabeul
Ministère de l enseignement supérieur, de la recherche scientifique et de la technologie Institut Supérieur des tudes Technologiques de Nabeul Département : Génie lectrique Support de cours : LCTRONIQU
Plus en détailtransforming tomorrow
AR006ExeBrochure24pV6:Mise en pge 1 3/03/11 10:35 Pge 1 Les pnneux isothermes trnsforming tomorrow AR006ExeBrochure24pV6:Mise en pge 1 3/03/11 10:35 Pge 2 Les pnneux isothermes Le meilleur pour toutes
Plus en détail