analyticstracking

FavoritesBookmarksWelcome livre-d-or-nouveau (fermé) Blog Lomagman (ferné) Nous sommes le Jeudi 15 Novembre 2018 et il est 03:15:10

 

 
 
banderolle_https_scriptes-dangereux-fausses-infos-des-navigateurs_16.10.18
 
etude_decas_chargementaeroport.htm

etude_decas_chargementaeroport

Remonter ]

Etude de cas

retour vers la page d'entrée qui contient le fichier original PDF é télécharger : chargement_exemple_adaptable

Informatique de base - 2e candi sc. éco. option info. 2 Année académique 2002-2003

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é

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 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

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

Informatique de base - 2e candi sc. éco. option info. 6 Année académique 2002-2003

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

Client Manutentionnaire

Magasinier

Sytéme

de

planning

Instructions

de chargement

Instructions de

conditionnement

Colis Palettes

Diagramme de contexte Diagramme de contexte

Bon

déexpédition

Activités 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

Diagramme déactivité 1 Diagramme déactivité 1

Formulaire déexpedition

Quai de déchargement

Colis

Déposer

un colis

Client

Arrivée du client

Bon déexpédition

Diagramme déactivité 2 Diagramme déactivité 2

Chariot élévateur

Palette Liste de colis Conditionner

palette

Magasinier

Ordre de

conditionnement

Diagramme déactivité 3 Diagramme déactivité 3

Tracteur

Plateforme élévatrice

Liste de palettes Charger

avion

Manutentionnaire

Ordre de

chargement

Diagramme déactivité 4 Diagramme 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

Informatique de base - 2e candi sc. éco. option info. 13 Année académique 2002-2003

Client Manutentionnaire

Magasinier

Sytéme

de

planning

Instructions

de chargement

Instructions de

conditionnement

Colis Palettes

Limites de la solution Limites de la solution

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

Enregistrer

léarrivée déun

colis

Colis

Liste des colis

en attente

Fonctionnalités : Fonctionnalités :

Enregistrer léarrivée déun colis 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 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

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 Générer un ordre de chargement

Produire la liste des palettes

é charger dans léavion

Types de données 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]

Opérations sur les types Opé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)

  retour vers la page d'entrée qui contient le fichier original PDF é télécharger : chargement_exemple_adaptable

 

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)

Décomposition fonctionnelle : Décomposition fonctionnelle :

Enregistrer léarrivée déun colis Enregistrer léarrivée déun colis

Enregistrer

léarrivée

déun colis

Vérification

limite

Mise é jour

de la liste

des colis

Colis

Liste des colis

en attente

Ordre de

conditionnement

Poids limite Liste des colis

en attente

Volume limite

Enregistrer léarrivée déun colis

Décomposition fonctionnelle : Décomposition fonctionnelle :

Enregistrer léarrivée déun colis 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

Spécification : Spécification :

Mise é jour de la liste des colis 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)

Spécification : Spécification :

Vérification limite 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

Décomposition fonctionnelle : Décomposition fonctionnelle :

Générer un ordre de conditionnement Générer un ordre de conditionnement

Générer un

ordre de

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

Spécification : Spécification :

Génération liste de colis é conditionner 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) 

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)

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)

Spécification : Spécification :

Vérification capacité avion 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:

.PL = PA -Poids(L) 
..VL = Min(VA -Volume(L), VM) 

alors Générer un ordre de chargement

Décomposition fonctionnelle : Décomposition fonctionnelle :

Générer un ordre de chargement 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:

..-néant

Postcondition:

..Si Poids(L) = PA . 

Volume(L) = VA 
alors Générer un ordre de chargement 

Remonter etude_decas_chargementaeroport.htm 

  retour vers la page d'entrée qui contient le fichier original PDF é télécharger : chargement_exemple_adaptable

 

21.05.2008 14:42:09

 



 
Affichage optimisé: 1024/768
La Newsletter

Recevez régulierement les derničres actualités en logistique, magasinage et manutention ainsi que les derničres brčves et nouveautés du site Lomag-man.org

Inscription ici !

Contactez-nous

Imprimer

Livre d'Or (fermé)

Log Blog (Fermé)

 Publicite
 

Free Online Html To PDF Converter html-to-pdf Convert URL to PDF    Convert Text/Html to PDF

Option 1:Intégrale, Inclus graphisme, ou: Option 2,: Bouton imprimer (ci-dessus, ou en bas de page, choisir Imprimante PDF - Sans graphisme des pages.

Imprimer  Contactez-nous 

Inscrivez-vous a la newsletter ici !

Lomag-Man.org est © Copyright 2002 - 2018 Webmaster

Blog (fermé)

Log Blog (Fermé)

Contacte