Concept
Daemon (informatique)
Séances de cours associées (32)
Évaluation de la fiabilité dans l'automatisation industrielle
Explore l'évaluation de la fiabilité, la maintenance préventive, la fiabilité, les modèles Markov, FMEA, FTA et l'intégrité de la sécurité logicielle dans l'automatisation industrielle.
Physique avancée I : oscillations et lois de Kepler
Couvre l'élan angulaire, la force gravitationnelle, les oscillations et les lois de Kepler.
Cellule électrochimique : calcul du pH
Couvre le calcul du pH dans un scénario de cellules électrochimiques impliquant des électrodes de cuivre et d'hydrogène.
Coloration graphique II
Explore les concepts avancés de coloration graphique, y compris la coloration plantée, le seuil de rigidité, et les variables gelées en points fixes BP.
Modélisation computationnelle des systèmes
Couvre la modélisation computationnelle, les règles du projet, la collaboration et les projets d'assainissement du site.
Diffusion causale et totale des commandes
Couvre des exercices sur la diffusion fiable, la diffusion fiable uniforme et la diffusion de l'ordre total dans des algorithmes distribués.
Qualité de l'alignement : analyse des données
Discute de l'analyse de la qualité de l'alignement en latitude, longitude, cap, et plus encore.
Preuves formelles: vérification des invariants et des modèles liés
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
LabVIEW: Acquisition de données et modèles de conception
Couvre les fondamentaux de LabVIEW, l'acquisition de données, l'acquisition de sons et les modèles de conception comme les machines d'État et les producteurs-consommateurs.
Transitions en phase dans les systèmes énergétiques
Explore les transitions de phase dans les systèmes énergétiques, y compris le comportement non analytique et le modèle Ising.