Planification automatisée : modélisation et contraintes

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Page 3 sur 4

Logique des prédicats : bases et applications

Couvre les bases et les applications de la logique des prédicats, y compris les quantificateurs, les prédicats et les fonctions propositionnelles.

Contraintes en dynamique moléculaire : théorie et algorithme SHAKE

Explore la théorie des contraintes dans les simulations de dynamique moléculaire, y compris l'algorithme SHAKE.

Rhéologie : Loi constitutive et chats

Explore la rhéologie des matériaux, établissant des parallèles entre le comportement des chats et les propriétés des matériaux.

Optimisation : Multiplicateurs Lagrange

Couvre la méthode des multiplicateurs de Lagrange pour trouver extreme soumis à des contraintes.

Bases de la programmation linéaire

Couvre les bases de la programmation linéaire, définissant les coins, les points extrêmes et les solutions réalisables dans les polyèdres.

Contraintes linéaires : Forme standard

Couvre les contraintes linéaires sous forme standard, y compris les contraintes d'égalité, de rang et de redondance.

Optimisation avec contraintes : conditions KKT expliquées

Couvre les conditions KKT pour l'optimisation avec des contraintes, détaillant leur application et leur importance dans la résolution des problèmes contraints.

Problèmes d'optimisation : recherche des voies et affectation des portefeuilles

Couvre les problèmes d'optimisation dans la recherche de chemin et l'allocation de portefeuille.

Prise de décision optimale : analyse de sensibilité

Couvre l'analyse de sensibilité dans la programmation linéaire, en mettant l'accent sur les solutions optimales et leurs sensibilités aux changements.

Calcul des variations : Euler's Elastica

Couvre l'Elastica d'Euler et la forme d'équilibre d'un faisceau courbé à l'aide de méthodes de variation/énergie.