To: GOThA-tout
Subject: Seminaires du GOThA
Cc: Cavaille erschler esquirol

	-=-=-=-=-=-=-=--=-=-=-=-=-=-=--=-=-=-=-=-=-=--=-=-=-=-=-=-=-
	               GOThA  --  GOThA  --  GOThA
	Groupe de recherche en Ordonnancement Theorique et Applique
	-=-=-=-=-=-=-=--=-=-=-=-=-=-=--=-=-=-=-=-=-=--=-=-=-=-=-=-=-

			SEMINAIRES DU GOTHA
			___________________

	
LIEU :	Institut Blaise Pascal
	Tour 55/65
	4, place Jussieu
	75252 Paris Cedex 05
	Tel : +33 (1) 44 27 59 72
	Fax : +33 (1) 44 27 62 86

DATE :	Vendredi 24 Mars 1995

HEURE :	14h
	(RDV vers 13h45 : bureau de Philippe Chretienne
			  Tour 55/65  4eme etage  porte 28)

INTERVENANT :	Claude Le Pape (ILOG)	

TITRE :	
	Integration de trois techniques de propagation de contraintes de
	ressource dans une bibliotheque de contraintes d'ordonnancement

RESUME :

ILOG SCHEDULE est une bibliotheque de classes C++ destinee a
simplifier le developpement d'applications industrielles d'allocation
de ressources et d'ordonnancement. La conception et l'utilisation de
cette bibliotheque reposent sur une methodologie qui permet de definir
chaque classe de contraintes independamment des autres classes de
contraintes a satisfaire pour resoudre un probleme donne. Ceci permet
de selectionner et de combiner facilement un certain nombre
d'algorithmes de deductions d'information (exemple : mise a jour de
dates au plus tot et au plus tard) en fonction des specificites
propres a chaque application.
	
En particulier, ILOG SCHEDULE integre trois techniques de propagation
de contraintes de ressources.
  - La premiere est fondee sur un modele generique d'emploi du temps
    qui permet de tenir compte de contraintes d'utilisation et de
    consommation minimale et maximale de ressources. Elle permet
    egalement de representer des ressources dites "a etats", telles
    que chaque activite requiere chaque ressource soit dans un etat
    precis soit dans un etat a choisir parmi n etats donnes (deux
    activites requierant des etats distincts ne pouvant pas se
    chevaucher).
  - La seconde est fondee sur la simplification progressive de
    disjonctions representant les contraintes de ressources a
    satisfaire. Au-dela du cas classique ((A avant B) ou (B avant A)),
    ILOG SCHEDULE peut etre utilise pour traiter des activites
    optionnelles, des temps de transition entre activites, et des cas
    de choix de ressources pour une meme activite.
  - La troisieme est fondee sur des techniques d'arbitrage entre
    activites. Une variante d'un algorithme developpe par W. Nuijten
    a l'Universite d'Eindhoven (algorithme lui-meme inspire de travaux
    accomplis anterieurement par J. Carlier et E. Pinson) est utilise
    dans ILOG SCHEDULE pour permettre une meilleure resolution de
    problemes d'ordonnancement a ressources de capacite unitaire.
    Plusieurs possibilites d'application de techniques similaires
    a des ressources de capacite strictement superieure a 1 sont
    en cours d'etude.

-------------------------------------------------------------------------------

Pour tout renseignement sur le contenu de cet expose, contacter
directement l'intervenant :
		lepape@ilog.fr

Pour tout renseignement sur les seminaires du GOThA, contacter :
		lopez@laas.fr

Pour se rendre a l'IBP, consulter: 
http://www.ibp.fr/access.html