Chargement de colis dans les avions de fret aérien.
Etude de cas comme exemple
pouvant servir de base en informatique de stock.
Exemple adaptable é d'autres contextes de logistique de transbordement,
notamment
préparation d'expédition diverses.

Page 1
document en cours de formatage. Merci. le 26/07/2003
Réponse au courriel portant sur : Calcul simple capacités déexpédition pour base
volume global en mé semi-remorque ou sur le mé du plancher au sol (pont).
Vers la page. Réponse au courriel portant sur : Disposition optimale
produits courants en réassortiment, picking, corrélation avec léanalyse ABC,
rotation des stock, chargement, vrac ou sur palette et flux des trajets pour
préparateurs.
Vers le courriel. Mise en ligne le 27/12/2003
|
1
Etude de cas
Enoncé
Une société de fret aérien doit assurer le chargement de colis dans les avions
...Les clients déposent les colis é envoyer é la société
...Les colis doivent étre expédiés dans l'ordre de leur arrivée
...Chaque colis a un poids et un volume donné ...Les colis sont
assemblés par un magasinier en palettes ayant un volume maximum donné
...Chaque avion peut transporter au maximum un
volume et un poids total donné
Pour la copie originale, veuillez SVP télécharger le fichier PDF ci-dessous :
chargement déchargement colis
documentation/chargement_de_colis_cas_exmple_ecin1216.
page texte extraction PDF:
Etude de cas Etude de cas
remonter
2
Enoncé
..Les palettes sont amenées é l'avion par un manutentionnaire
..Lorsqu'une palette risque d'amener é un chargement excessif, le magasinier
constitue
une palette partielle afin de remplir un maximum l'avion
..Les instructions de conditionnement et de chargement sont données au
magasinier et
au manutentionnaire par le responsable du planning sur
base des bons d'expédition fournis
par les clients lors du dépét des colis
Concepts
..Systéme de gestion des colis
..Agents
Client (humain)
..Magasinier (humain)
..Manutentionnaire (humain)
..Responsable du planning (humain)
..Systéme de gestion des colis (systéme informatique)
..Objets
..Colis
..Palettes
(Avion)
..Bon d'expédition
remonter
3
Concepts
Evénements
Réception colis
Assemblage des colis en palettes (conditionnement)
Chargement des palettes dans l'avion
Dispatching des instructions de conditionnement et de chargement
Conditions - contraintes
Volume palette =Volume Maximum d'une palette
Volume Total =Volume Maximum autorisé par avion
Poids Total =Poids Maximum autorisé par avion
Hypothéses
Le responsable de planning gére le systéme informatique donc
un seul agent :
Planning On fait les simplifications suivantes :
il n'y a qu'un type de palette le poids d 'une palette est la somme
du poids des colis qu'il contient le volume d 'une palette est la
somme des volumes des colis qu'il contient
On suppose que :
le volume d'un colis ne dépasse pas le volume maximum d'une palette
le poids d'une palette ne dépasse pas le poids maximum autorisé dans l'avion
remonter
Diagramme de contexte
Client
Manutentionnaire
Magasinier
Systéme de planning
Instructions de chargement
Instructions de conditionnement
Colis
Palettes
Diagramme de contexte
Bon déexpédition
Activités
..Le client dépose un colis et rempli un bon déexpédition
..Le magasinier réceptionne les colis et conditionne les palettes é
léaide déun
chariot élévateur suivant les instructions fournies par le planning
..Le manutentionnaire réceptionne les palettes et les charge dans léavion
é léaide déun
tracteur avec plateforme élévatrice suivant les instructions
fournies par le planning
..Le planning enregistre léarrivée déun colis et dispatche les
instructions de conditionnement et de chargement au magasinier et au
manutentionnaire sur bases des bons
déexpédition
Pour la copie originale, veuillez SVP télécharger le fichier PDF ci-dessous :
chargement déchargement colis
documentation/chargement_de_colis_cas_exmple_ecin1216.
page texte extraction PDF:
Etude de cas Etude de cas
remonter
Diagramme déactivité 1Diagramme déactivité 1
Formulaire déexpédition
Quai de déchargement
Colis
Déposer un colis
Client
Arrivée du client
Bon déexpédition
Diagramme déactivité 2Diagramme déactivité 2
Chariot
élévateur
Palette
Liste de
colis
Conditionner
palette
Magasinier
Ordre de conditionnement
remonter
Diagramme déactivité 3Diagramme déactivité 3
Tracteur
Plateforme élévatrice
Liste de palettes Charger
avion
Manutentionnaire
Ordre de chargement
Diagramme déactivité 4Diagramme déactivité 4
Ordre de conditionnement
Liste des colis
gérer les colis
Planning
Arrivée déun colis
Ordre de chargement
Bon déexpédition
Liste des palettes
Pour la copie originale, veuillez SVP télécharger le fichier PDF ci-dessous :
chargement déchargement colis
documentation/chargement_de_colis_cas_exmple_ecin1216.
page texte extraction PDF:
Etude de cas Etude de cas
remonter
Page 7
document en cours de formatage. Merci. le 26/07/2003

|
Limites de la solution
Client
Manutentionnaire
Magasinier
Systéme de planning
Instructions de chargement
Instructions de conditionnement
Colis
Palettes
Bon déexpédition
Fonctionnalités Fonctionnalités
..Enregistrer léarrivée déun colis :
..Mettre é jour léinventaire des colis en attente et déclencher si
nécessaire léémission déun ordre de conditionnement
..Générer un ordre de conditionnement :
..Produire la liste des colis é assembler en une palette et
déclencher si nécessaire un ordre de chargement
..Générer un ordre de chargement :
..Produire la liste des palettes é charger dans léavion
remonter
Enregistrer léarrivée déun colis
Colis
Liste des colis en attente
Fonctionnalités :Fonctionnalités :
Enregistrer léarrivée déun colis
Ordre de conditionnement
Poids limite
Volume limite
Mettre é jour léinventaire des colis en attente
et
déclencher si nécessaire léémission déun ordre de conditionnement
Générer un ordre de conditionnement
Liste des colis é conditionner
Liste des colis en attente
Fonctionnalités :Fonctionnalités :
Générer un ordre de conditionnement
Liste des palettes en attente
Ordre de chargement
Poids limite
Volume limite
Produire la liste des colis é assembler en une palette et déclencher
si
nécessaire léémission déun ordre de chargement
Pour la copie originale, veuillez SVP télécharger le fichier PDF ci-dessous :
chargement déchargement colis
documentation/chargement_de_colis_cas_exmple_ecin1216.
page texte extraction PDF:
Etude de cas Etude de cas
remonter
Générer un ordre de chargement
Liste des palettes é charger
Liste des palettes en attente
Fonctionnalités :Fonctionnalités :
Générer un ordre de chargement
Produire la liste des palettes é charger dans léavion
Types de données
..Colis: COLIS
..COLIS = ENREG[Poids, Volume: ENTIER; é]
..Liste des colis en attente: FILECOLIS
..FILECOLIS = FILE[COLIS]
..Liste des colis é conditionner: ENSCOLIS
..ENSCOLIS = ENS[COLIS]
..Poids limite, Volume limite: ENTIER
..Liste des palettes en attente: FILEPAL
..FILEPAL = FILE[ENSCOLIS]
..Liste des palettes é charger: ENSPAL
..ENSPAL = ENS[ENSCOLIS]
remonter
Opérations sur les typesOpérations sur les types(é propos du
conditionnement)
..Poids: FILECOLIS . ENTIER
Poids(FileVide) = 0
Poids(Ajout(x,F)) = Poids(x) + Poids(F)
..Volume: FILECOLIS . ENTIER
Volume(FileVide) = 0
Volume(Ajout(x,F)) = Volume(x) + Volume(F)
..Poids: ENSCOLIS . ENTIER
Poids(EnsVide) = 0
Poids(Ajout(x,F)) = Poids(x) + Poids(F)
..Volume: ENSCOLIS . ENTIER
Volume(EnsVide) = 0
Volume(Ajout(x,F)) = Volume(x) + Volume(F)
Opérations sur les types Opérations sur les types(é propos du
chargement)
..Poids: FILEPAL . ENTIER
Poids(FileVide) = 0
Poids(Ajout(x,F)) = Poids(x) + Poids(F)
..Volume: FILEPAL . ENTIER
Volume(FileVide) = 0
Volume(Ajout(x,F)) = Volume(x) + Volume(F)
..Poids: ENSPAL . ENTIER
Poids(EnsVide) = 0
Poids(Ajout(x,E)) = Poids(x) + Poids(E)
..Volume: ENSPAL . ENTIER
Volume(EnsVide) = 0
Volume(Ajout(x,E)) = Volume(x) + Volume(E)
remonter
Décomposition fonctionnelle :Décomposition fonctionnelle :
Enregistrer léarrivée déun colis
Liste des colis en attente
Enregistrer léarrivée déun colis
Vérification limite
Mise é jour de la liste des colis
Colis
Ordre de conditionnement
Liste des colis en attente
Poids limite
Volume limite
Enregistrer léarrivée déun colis
Décomposition fonctionnelle :Décomposition fonctionnelle :
Enregistrer léarrivée déun colis
Vérification limite
Mise é jour de la liste des colis
Liste des colis en attente
Colis
Liste de colis en attente
Poids limite
Ordre
de conditionnement
Liste des colis en attente
Volume limite
remonter
Spécification :Spécification :
Mise é jour de la liste des colis
..Description:
..Mettre é jour léinventaire des colis en attente
..Paramétres en entrée:
..C (Colis): COLIS
..Objects utilisés:
..L (Liste des colis en attente): FILECOLIS
..Précondition:
..C . L
..Postcondition:
..Lé = Ajout(C, L)
Pour la copie originale, veuillez SVP télécharger le fichier PDF ci-dessous :
chargement déchargement colis
documentation/chargement_de_colis_cas_exmple_ecin1216.
page texte extraction PDF: Etude
de cas Etude de cas
Spécification :Spécification :
Vérification limite
..Description:
..Déclencher si nécessaire léémission déun ordre de conditionnement
..Paramétres en entrée:
..L (Liste des colis en attente): FILECOLIS
..P (Poids limite), V (Volume limite): ENTIER
..Précondition:
..-néant
..Postcondition:
..Si Poids(L) = P . Volume(L) = V
alors Générer un ordre de conditionnement
remonter
Décomposition fonctionnelle :Décomposition fonctionnelle :
Générer un ordre de conditionnement
conditionnement
Vérification capacité avion Mise é jour des limites
Ordre de chargement
Liste des colis en attente
Poids limite
Liste des colis é conditionner
Liste des colis en attente
Liste des palettes en attente
Liste des palettes en attente
Génération liste des colis é conditionner
Poids limite
Volume limite
Mise é jour de la liste des palettes
Volume limite
Générer un ordre de conditionnement
Décomposition fonctionnelle:Décomposition fonctionnelle:
Générer un ordre de conditionnement Générer un ordre de conditionnement
Vérification capacité avion
Génération liste de colis é conditionner
Mise é jour de la liste de palettes
Poids limite
Liste des colis en attente
Liste des palettes en attente
Ordre de chargement
Liste de colis en attente
Poids limite
Liste des colis é conditionner
Liste des palettes en attente
Volume limite
Volume limite
Liste des colis é conditionner
Liste des palettes en attente
Mise é jour des limites
remonter
Spécification :Spécification :
Génération liste de colis é conditionner
..Description:
..Générer la liste des colis é conditionner et mettre é jour la liste
des colis en attente
..Objects utilisés:
..LA (Liste des colis en attente): FILECOLIS
..P (Poids limite), V (Volume limite): ENTIER
..Résultat:
..LC (Liste des colis é conditionner): ENSCOLIS
..Précondition:
..Poids(LA) = P . Volume(LA) = V
..Postcondition:
..si Poids(LA) = P . Volume(LA) = V
alors (x . LC . x . LA) . LAé = FileVide
sinon (x .LC . (x . LA . x . Dernier(LA))) . LAé = Dernier(LA)
Pour la copie originale, veuillez SVP télécharger le fichier PDF ci-dessous :
chargement déchargement colis
documentation/chargement_de_colis_cas_exmple_ecin1216.
page texte
Spécification :Spécification :
Mise é jour de la liste de palettes Mise é jour de la liste de
palettes
..Description:
..Mettre é jour léinventaire des palettes en attente
..Paramétres en entrée:
..P (Liste des colis é conditionner): ENSCOLIS
..Objects utilisés:
..L (Liste des palettes en attente): FILEPAL
..Précondition:
..P . L
..Postcondition:
..Lé = Ajout(P, L)
remonter
Spécification :Spécification :
Mise é jour des limites Mise é jour des limites
..Description:
..Mettre é jour des limites pour le remplissage déune palette
..Paramétres en entrée:
..L (Liste des palettes en attente): FILEPAL
..Résultats:
..PL (Poids limite), VL (Volume limite): ENTIER
..Constantes:
..VM (Volume max par palette): ENTIER
..PA (Poids max par avion), VA (Volume max par avion): ENTIER
..Précondition:
..-néant
..Postcondition:
..PL = PA -Poids(L)
..VL = Min(VA -Volume(L), VM)
alors Générer un ordre de
chargement
Spécification :Spécification :
Vérification capacité avion
..Description:
..Déclencher si nécessaire léémission déun ordre de chargement
..Paramétres en entrée:
..L (Liste des palettes en attente): FILEPAL
..Constantes:
..PA (Poids max par avion),
VA
(Volume max par avion): ENTIER
..Précondition:
..-néant
..Postcondition:
..Si Poids(L) = PA .
Volume(L) = VA
alors Générer un ordre de chargement
page texte extraction PDF:
Etude de cas Etude de cas
remonter
Décomposition fonctionnelle :Décomposition fonctionnelle :
Générer un ordre de chargement Générer un ordre de chargement
Liste des palettes é charger
Liste des palettes en attente
Spécification :Spécification :
Générer un ordre de chargement Générer un ordre de chargement
..Description:
..Générer la liste des palettes é charger et mettre é jour la liste des
palettes en attente
..Objects utilisés:
..LA (Liste des palettes en attente): FILEPAL
..Résultat:
..LC (Liste de palettes é charger): ENSPAL
..Constantes:
..PA (Poids max par avion), VA (Volume max par avion): ENTIER
..Précondition:
..Poids(LA) = P . Volume(LA) = V
..Postcondition:
..si Poids(LA) = P . Volume(LA) = V
alors (x . LC . x . LA) . LAé = FileVide
sinon (x .LC . (x . LA . x . Dernier(LA))) . LAé = Dernier(LA)
document en cours de formatage. Merci. le 26/07/2003
Informatique de base - 2e candi sc. éco. option info. 4
Année académique 2002-2003 |