Sie sind auf Seite 1von 7

Beispiel einer einfachen Fertigungsstrae

Arena Fertigungssysteme

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

A.M. Uhrmacher, Universitt Ulm

Arena

Arena Bausteine: Inspect

Arena Bausteine: Server

Server

Eingabe

+ Verzweigung
(stochastisch)

Leave Data
Transfer Out

Verarbeitung

= Server

Ausgabe

Inspect

Enter Data
Transfer In

Seize
Queue
Delay
Release

Animation

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

Modellbildung und Simulation

Beliebige Stationenfolgen fr Werkstcke: Sequences

Arena Bausteine: beliebige Stationen

Sets of Resources
Sequences: Reihenfolge der Stationen von Werkstcken

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

Struktur vom Fertigungssystem

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Server

Arena

(Cell1)

Process Time
wird als
Expression
extern bestimmt

Transfer Time ist


als Variable
getrennt gesetzt

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

Und Cell2

Probleme mit der Arenamodellierung

Fr Cell2 wird die Prozesszeit eines Teiles in


der Sequence versteckt!

Probleme separater Variablen, Mengen, Sequenzen (die wiederum referenziert werden


mssen).

keine klare Objekt-Orientierung


Lokalitt von Information nur ungengend untersttzt
dadurch bei komplexeren Modellen unintuitiver Modellaufbau

Kap. 6 unintuitive Struktur von den Daten zum logischen Aufbau (umgekehrt wre
sinnvoller)
jedoch bleibt das Problem Information zu lokalisieren und zuzuordnen
Frage: liegt es an den Modellierern oder an Arena

Kaum das, was mensch transparent nennen


wrde !

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

... Wie knnte das ganze anders aussehen

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Transport (beschrnkt): Verbindung als


Ressource

Je nach Verfgbarkeit der einzelnen


Ressource, Transporter (Carts, ...)
Guided: Transferzeit berechnet sich aus
Geschwindigkeit, Weg und Staus
Unguided (keine Staus): Transferzeit
berechnet sich nur aus Geschwindigkeit
und Weglnge (diese mag von Staus
abhngen)

Typisierung (Schnittstellenspezifikation) wrde


Konsistenzberprfung zur Designzeit ermglichen
Das Modellierung sollte hnlich wie die UML Modellierung, die
semantischen Beziehungen sichtbar machen (z.B. zu den
Ressourcen)
Arena

11

Transport (unbeschrnkt):
via Connect (ohne Verzgerung)
via Route mit Verzgerung
(Verallgemeinerung Sequenzen)

Verarbeitungszeit generell beim Server halten und als Funktion von


prozessierten Teilen und Server implementieren
z.b. mgliche Attributierung von Parts mit Sequenzen (generell komplexere
Datenstrukturen)

A.M. Uhrmacher, Universitt Ulm

10

Fertigungssystem mit Transportelementen

generell strkere Objektorientierung,


Globale Variablen und die Art ber implizite Indices zu arbeiten,
erschweren Wiederverwendung und Transparenz
Lokalisation von Information: weg von den Sequenzen, Variablen
und Mengen hin zu einer geeigneten Attributierung von
Komponenten, die zum logischen Aufbau des Modelles gehren:

Modellbildung und Simulation

Arena

Modellbildung und Simulation

Raumverfgbarkeit zum Ent- bzw.


Beladen (Conveyors, Slides etc.)

A.M. Uhrmacher, Universitt Ulm

Arena

12

Beispiel einer einfachen Fertigungsstrae

Arena Baustein: Transporter

Transporter fahren auf Distances zwischen Stations


Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

13

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

14

Auch ein Server mu einen Transporter anfordern knnen:

Transporter

Es werden immer noch die Sequenzen abgearbeitet,


der Transfer zwischen den Servern passiert nur nicht
mehr durch Route Module, sondern durch Transporter

Der Transfer Input from Depart Module

Mit Leave Data kann der Weitertransport bestimmt werden


Der Transfer Output from Arrival Module

Transport: Transporter
Connect: interaktives Verbinden
Sequence: aufgrund der Sequence der Entity
Expression: beliebig

Belegen des Transportmittels in Transfer Out


Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

15

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

16

Distanzen

Conveyors - Guided Transport

Distanzen werden eingetragen, um ber die Menge Cart_Dst angesprochen zu werden.


Interessanterweise geschieht dies nicht als Menge,
sondern innerhalb der Distanzmodule

Es werden nicht alle Distanzen eingetragen


(sondern entsprechend dem Modell), kann trotzdem
schnell unbersichtlich werden
Abhilfe: Guided Transport - hier wird
nicht mit einzelnen Distanzen
navigiert.

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

17

Arena Baustein: Conveyor

Modellbildung und Simulation

Arena

18

Arena

20

nderung des Modells

Gre der Teile und Sicherheitsabstand spielen


eine Rolle
Zellgre steht im Spannungsfeld Genauigkeit
(ein Teil rutscht nur am Anfang einer Zelle
aufs Band oder auf die Rutsche) und
Berechnungsaufwand
Bewegung beider Conveyors in nur eine
Richtung
Non accumulating Conveyors halten an, um
Teile aufzunehmen und abzugeben,
accumulating Conveyors bewegen sich stndig
Anpassen des Modells:

A.M. Uhrmacher, Universitt Ulm

Conveyor ist eine Ansammlung von Cells mit gleicher Lnge


Entities belegen fr Transport eine Reihe von Cells
Conveyor sind in Segments unterschiedlicher Lnge geteilt
2 Typen von Conveyor:

Aktualisieren des Transfer Out Dialogs: statt


request : access
Statt Free Transporter : Exit Conveyor
Conveyor arbeiten auf Segmenten, d.h. statt den
Distanzen werden nun Segmente (6 Stck
definiert)

accumulating: Rutsche
nonaccumulating: Band

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

19

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Aufgabe

Simulationsstudien

Ersetzen Sie die Non-Accumulating Conveyors


durch Accumulating Conveyors

Notieren Sie, an welchen Stellen Ihnen die


Modellierung nicht intuitiv erscheint.

Erarbeiten Sie Verbesserungsvorschlge vom


Modelldesign her

Vergleichen Sie die Ergebnisse!

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Fragen:
Welche Detailebene wird erwartet?
Sind Prozessplne und Fludiagramme verfgbar?
Welches sind die physikalischen und legalen Randbedingungen des Systems?
Sind Prozessvorgehensweisen vorgegeben?
Sind die Daten verfgbar, wenn nicht, wer wird sie erheben?
Sind Daten fr die Validierung verfgbar?
Typisches Projektmanagement: Was sind die Milestones und Deliverables der
Simulationsstudie?
......
Arena

21

Validierung eines Modells

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

22

Validitt - Inputanalyzer

Validierung eines Modells bedeutet die berprfung inwieweit sich das Modell genauso
verhlt wie das reale Systeme (gegeben die Randbedingungen)
if the system does not exist your are in trouble right at the start
even if the system does exist, such a comparison maz be a difficult task.

Zielsetzung der Simulationsstudie


Beschreibung des Systems und Modellierungsansatz
Genauigkeit der Animation
Modeleingabe und -ausgabe
Projektdeliverables

akzeptiere die Hypothese die Daten sind


von einer bestimmten Verteilung, wenn

Verifikation findet eigentlich im Bereich der Simulation nicht statt, als experimentelle
Technik wird die Falsifikation untersttzt, trotzdem finden sich immer wieder Hinweise
zur Verifikation:
Verification is the task of ensuring that the model behaves as you intended more colloquially its
known as debugging the model (Kelton et al., 1998)
Im Gegensatz dazu Zeigler (1984) Verifikation bedeutet, da das Computerprogramm das Modell
wie intendiert ausfhrt.
Verifikation kann immer nur zwischen zwei formalen Systemen stattfinden.
In der Simulation ist besonders interessant, inwieweit Simulationen reproduzierbar sind (d.h.
wenn Konfliktflle auftreten, werden diese fr den Benutzer begreiflich gelst.
Formulieren Sie Konflikte in Arena (wie werden diese aufgelst), verfolgen Sie unterschiedliche Lufe.

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

23

02 c

Fehler Typ I: H0 ist wahr aber wird


zugunsten H1 verworfen, dafr wird
eine Wahrscheinlichkeit angegeben.

Fehler Typ 2: H1 ist wahr,


aber H0 wird nicht verworfen

Im Zweifel fr den Angeklagten gilt fr H0

P-value: Wahrscheinlichkeit eine Datenmenge zu


erhalten, wenn H0 wahr ist, die mehr die
H1 Hypothese nahelegt, als die gegebenen
Daten. (Falls der p-wert klein ist, spricht dies fr H1,
ansonsten gibt es keinen Grund H0 zu verdchtigen).

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

24

Validitt des Modelles:

Zusammenfassung - Arena

Outputanalyser: In Dateien befindliche Daten werden nach der Simulation visualisiert (z.B.
als Histogramm)

Mittelwertberechnung
Varianz
Zeitreihenberechnungen
Korrelationen
....

Sensitivittsanalyse, wie stark reagiert das System auf kleine nderungen von
Eingabewerten?
Unterscheide zwischen:
Terminating Simulations:

die Simulation hat ein klares Ende (z.B. in Form von Bedingungen, Uhrzeiten etc.) und eine klare
Startzeit und Ausgangsposition

Steady State Simulations:

die Werte werden fr einen potentiell (aber nicht praktisch) unendlichen Zeitrahmen berechnet,
die initialen Bedingungen spielen keine Rolle.
I.A. sehr lange Laufzeiten
Modellaufwrmphasen

Anwendungsdomne: Fertigungssysteme mit attraktiver graphischer Benutzungsschnittstelle


erlaubt ein einfaches Erstellen kleinerer Modelle
Flexibilitt durch das Einbinden von Programmiersprachen, und Konstrukte, wie z.B. Expressions, Sets, Sequences
etc.
die Dokumentation im Buch wird gut mit einer Beispieldatenbank untermauert,
anscheinend nachtrgliche Erweiterungen, Expressions, Sets und Variablen sind nicht wirklich integriert in das
Modelldesign, sondern werden als Add-Ons empfunden
fehlende Lokalitt von Information erschwert nderungen und Wiederverwendung
kein hierarchisch, modularer Aufbau von Modellen (z.b. dass Verfeinerung stattfinden knnen) auf jeden Fall in
dieser Version
die Struktur des Buches ist hufig nicht intuitiv, z.B. werden in Kap.6 zuerst die globalen Variablen gesetzt ohne dass
die dazu gehrenden logischen Bausteinen definiert sind,
der Text ist z.T. sehr mhsam zu lesen, da die relevante Information versteckt prsentiert wird, es wird ein
sklavisches Schritt fr Schritt Lesen erzwungen (was insbesondere weniger geduldige Gemter in den Wahnsinn
treibt), da immer wieder null Information und Anekdoten bis Mausanwendungen errtert werden, der logische
berbau und ein Referenzteil, indem die einzelnen Bausteine inkl. Funktion beschrieben werden, fehlen.
die Benutzungsschnittstelle weist erhebliche Softwareergonomische Schwchen auf, von der berladung mit
einzelnen Fenstern, bis hin zu Funktionalitten, die in der Komponentenleiste und im Modell mit unterschiedlichen
Symbolen beschrieben werden,
Verbindungen zwischen Animation und strukturellen Elementen fehlen.
Semantische Verbindungen sollten auch graphisch reprsentierbar sein.

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

25

Modellbildung und Simulation

A.M. Uhrmacher, Universitt Ulm

Arena

26