- Saturday
- May 18th, 2024
- Ajouter un cours
Grammaires, automates et langages formels Automates finis Les automates finis sont des machines abstraites qui vérifient sous forme séquentielle si un mot, passé en entrée, appartient ou non à un langage donné. Ces automates sont dits finis car restreints à...
Grammaires locales étendues principe Aperçu général Le graphe 4.1 représente une grammaire locale étendue pour la reconnaissance de dates. La fonction étendue llike (looks like) vérifie si une séquence inconnue, stockée dans la variable d, est similaire (avec un seuil...
Evaluation de la performabiblité d’un système de télécommunication Modèle composite d’Erlang avec perte Les systèmes dégradables sont conçus pour poursuivre leur exploitation, même en présence de défaillances de composants bien qu’à un niveau de performance réduite. Leur performance ne peut...
Électronique de mesure Électroniques de contrôle L’électronique de contrôle réalise les opérations suivantes : – acquisition du signal du courant tunnel, – génération de la tension de polarisation de la jonction, – génération des cinq signaux haute tension {x +...
Clés d’accès à UML UML et la maîtrise d’ouvrage A priori, UML n’est destiné pas à la maîtrise d’ouvrage. Plusieurs raisons conduisent toutefois à préconiser son utilisation pour définir un système d’information et élaborer le cahier des charges correspondant. La...
Modélisation dynamique étude de cas COMMENT REPRÉSENTER LES DIAGRAMMES D’ÉTATS ? ÉTUDE D’UN PUBLIPHONE À PIÈCES Cette étude de cas concerne un système simplifié de Publiphone à pièces. 1. Le prix minimal d’une communication interurbaine est de 0,2 euros. 2....
Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l’humain
Technique d’analyse du risque HAZOP La méthode HAZOP, pour HAZard OPerability, a été développée par la société Imperial Chemical Industries (ICI) au début des années 1970. Elle a depuis été adaptée dans différents secteurs d’activité. Considérant de manière systématique les...
Modélisation de la dynamique électron-photon-phonon dans des nano-structures métalliques confinantes
Modélisation de la dynamique électron-photon-phonon dans des nano-structures métalliques confinantes L’absorption de photons Les processus d’absorption de photons par les porteurs libres ont fait l’objet d’une littérature abondante. Néanmoins en analysant attentivement différents articles de référence sur le sujet Figure...
Les composés intermétalliques Un alliage forme un intermétallique à certaines compositions et sous certaines conditions de pression. Il s'agit d'une alternance d'atomes qui forment une structure périodique. Les intermétalliques se forment lorsque les atomes de l'alliage ont une forte différence...
Les siliciures de cobalt et de nickel Les siliciures de cobalt et de nickel ont ressuscité un regain d’intérêt auprès de la communauté scientifique à cause essentiellement de leurs compatibilités avec la technologie du silicium. Sur le plan des applications,...