| Titre : |
Règles et processus d'inférence pour laide l'ordonnancement de tâches en présence de contraintes |
| Type de document : |
texte imprimé |
| Auteurs : |
Patrick Esquirol, Auteur ; G. Bel, Directeur de thèse ; J. Carlier, Directeur de thèse |
| Editeur : |
Université Paul Sabatier de Toulouse |
| Année de publication : |
1987 |
| Importance : |
140 f. |
| Présentation : |
ill. |
| Format : |
27 cm. |
| Note générale : |
Thèse de Doctorat : Informatique Industrielle : Toulouse, Université Paul Sabatier de Toulouse : 1987
Bibliogr. f. 141 - 145 . - Annexe [11] f |
| Langues : |
Français (fre) |
| Mots-clés : |
Ordonnancement -- production Analyse sous contraintes Programmation logique |
| Index. décimale : |
D001487 |
| Résumé : |
Ce travail porte sur l'ordonnancement de tâches interdépendantes en présence de contraintes sur les ressources utilisées et sur les intervalles de temps alloués.
Ce type de problème se rencontre en particulier dans la gestion et le pilotage des systèmes de production discontinue et non répétitive, mais aussi dans la gestion de projets.
Les limitations sur les capacités des ressources créent des conflits entre tâches utilisatrices.
La résolution de ces conflits, compte tenu des contraintes temporelles, permet d'induire des conditions logiques nécessaires de séquencement.
L'interaction entre les aspects temporels et séquentiels du problème est à la base de ce travail.
L'analyse de l'admissibilité des ordonnancements est présentée sous la forme d'un processus d'inférence qui, à partir des caractéristiques initiales du problème, contenues dans une base de faits, active une base de règles permettant de déduire de nouveaux faits.
L'implémentation logicielle utilise la programmation logique et plus précisément le langage Prolog.
Le module d'analyse réalisé peut être utilisé dans un contexte statique, pour l'aide à la génération d'un ordonnancement sur un horizon donné.
Il peut aussi être utilisé dans un contexte dynamique, pour une aide à la décision prenant en compte des informations sur l'état d'avancement du processus de réalisation des tâches. |
Règles et processus d'inférence pour laide l'ordonnancement de tâches en présence de contraintes [texte imprimé] / Patrick Esquirol, Auteur ; G. Bel, Directeur de thèse ; J. Carlier, Directeur de thèse . - Université Paul Sabatier de Toulouse, 1987 . - 140 f. : ill. ; 27 cm. Thèse de Doctorat : Informatique Industrielle : Toulouse, Université Paul Sabatier de Toulouse : 1987
Bibliogr. f. 141 - 145 . - Annexe [11] f Langues : Français ( fre)
| Mots-clés : |
Ordonnancement -- production Analyse sous contraintes Programmation logique |
| Index. décimale : |
D001487 |
| Résumé : |
Ce travail porte sur l'ordonnancement de tâches interdépendantes en présence de contraintes sur les ressources utilisées et sur les intervalles de temps alloués.
Ce type de problème se rencontre en particulier dans la gestion et le pilotage des systèmes de production discontinue et non répétitive, mais aussi dans la gestion de projets.
Les limitations sur les capacités des ressources créent des conflits entre tâches utilisatrices.
La résolution de ces conflits, compte tenu des contraintes temporelles, permet d'induire des conditions logiques nécessaires de séquencement.
L'interaction entre les aspects temporels et séquentiels du problème est à la base de ce travail.
L'analyse de l'admissibilité des ordonnancements est présentée sous la forme d'un processus d'inférence qui, à partir des caractéristiques initiales du problème, contenues dans une base de faits, active une base de règles permettant de déduire de nouveaux faits.
L'implémentation logicielle utilise la programmation logique et plus précisément le langage Prolog.
Le module d'analyse réalisé peut être utilisé dans un contexte statique, pour l'aide à la génération d'un ordonnancement sur un horizon donné.
Il peut aussi être utilisé dans un contexte dynamique, pour une aide à la décision prenant en compte des informations sur l'état d'avancement du processus de réalisation des tâches. |
|
Ajouter le résultat dans votre panier
Visionner les documents numériques
Faire une suggestion Affiner la rechercheRègles et processus d'inférence pour laide l'ordonnancement de tâches en présence de contraintes (1987)
