+ All Categories
Home > Documents > Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987...

Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987...

Date post: 06-Apr-2015
Category:
Upload: albirich-lahmann
View: 117 times
Download: 7 times
Share this document with a friend
25
Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen
Transcript
Page 1: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Vorstand: O.Univ.Prof. Dr. Franz WinklerGründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987

Institut für Symbolisches Rechnen

Page 2: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

AgendaAgenda

• Introduction and Overview

• How do we work

• Project examples

• Outlook (near and far future)

• Working in the RISC Company

Page 3: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Anwendung

Kompetenzen:

• Know-how Transfer von Forschung zur Industrie.

• Anwendung und Umsetzung mathematischer Methoden.

• Software-Entwicklung unter Verwendung von modernsten Methoden des Software-Engineering.

• Analyse und Modellierung von technischen Systemen.

• Optimierung und Simulation von Systemen.

Dienstleistungen:

• Partner für industrielle Individual-Lösungen.

• Unterstützung bei der Umsetzung und Abwicklung von Software-Projekten.

• Beratung im Bereich Software und Logistik.

RISC Software GmbH

Page 4: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

• Bordcomputer, Handhelds

• Embedded Systems

• Kommunikation

• (GPRS, Satelliten, WLAN)

• Navigation (GPS)

• Steuerungen, CAD/CAM-Konstruktion

• Robotik, Simulation und Optimierung von

Industrieprozessen (Automatisierungs- und

Anlagentechnik)

• Disposition

• Lagerlogistik

• Verkehrslogistik

• Standortoptimierung

Anwendungsbereiche

Page 5: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Referenzkunden

Hödlmayr Logistics Int.Hödlmayr Logistics Int.

Page 6: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

• Der Bereich symbolisches Rechnen befasst sich mit

algorithmischen Methoden zur exakten Behandlung von

Problemen in abstrakten mathematischen Strukturen.

• Symbolisches Rechnen

• ist die Grundlage für die Lösung zahlreicher industrieller Probleme

in der Simulation, Logistik, Optimierung, Robotik, geometrischen

Modellierung etc.

Problemlösung!

• ist ein Rahmen für formale Methoden in der Software-Technologie.

Softwareentwicklung!

RISC - Institut der JKU Linz

Forschung

Page 7: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Scientific MethodsScientific Methods

• Applying mathematical thinking

• Software technology methods (formal methods)

• Project engineering

• Algorithm development

• Combination of numerical and symbolic methods

• Computational Geometry, Solid Modeling

• Graph Theory

• Solving equations (ODE, DAE, …)

• Optimization (discrete, non-discrete)

• Systems Theory

• Neural networks

• ...

Page 8: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Problemlösung - Vorgehensweise

Page 9: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

methodische Vorgehensmodelle

Unterteilung der Projekte in mehrere Phasen (Dauer 3-8 Monate) eventuell ergänzt durch Machbarkeitsanalyse oder Vorstudie.

Problemlösung – Vorgehensweise

Page 10: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Transportoptimierung

Optimale Zuordnung der Bauern zu Stationen.

Optimale Zuteilung der Stationen zu Fabriken.

Optimale Auswahl der Übernahmestationen.

Optimierung - Rübenlogistik

Vereinigung der Österreichischen

Rübenbauern

Optimale Gleichverteilung der Rübenmengen zu Fabriken

Selbstve rladestation

Neu e S tatio n m it Bahnan schluß

Fabri k

Lkw-Station

Bah n-S tatio n

Lkw-Station mi t Zwischenverla dung

Zielfabrik Tul ln

Zielfabrik Leopoldsdorf

Zielfabrik Hohena u

auße r Betri eb

Neu e Selbstverladestation

Symbole :

Farbe n:

Page 11: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

0

1

2

3

0

3

1

2

57600

60000

80000

3200012000

22000

0

1

2

3 0-1-2-01-2-0-12-0-1-2

B

0

1

2

3 0-1-3-0

A

In diesem Projekt sollen die bestehenden Auftragszyklen zu profitablen Zyklen optimiert und ergänzt werden, die

im Rahmen der gesetzlichen Arbeitszeit abgewickelt und als Dispositionsregeln verwendet werden können.

Optimization of order volumes with respect to transport capacities and working hours.

Regelsysteme für Disponenten

Page 12: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Aufgabenstellung:• Entwicklung einer Software• für die optimale Verplanung • der Transportaufträge der Fa. Hödlmayr.

Ziele:• Modul Verplanung• Modul Routing: Routinggraph, Berechnung einer Route in ca. 1/100 Sekunde (auf PC Pentium II 300 MHz).

Hödlmayr Logistics Int.

Page 13: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Touren- und Routenplanung

Ladungsoptimierung

Zuordnung der Aufträge zu LKWs:minimale Kosten und minimale Leerkilometer,vielfältige Randbedingungen.

10 000 Händler 400 LKWs 1 000 Aufträge/Tag 1 Mio mögliche Ladungskombinationen

Minimize transport costs under considerationof loading and routing optimization.

Hödlmayr Logistics Int.

Page 14: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Realisierung:• Zuordnung der Aufträge zu LKWs mit minimalen Kosten und minimalen Leerkilometer.• Ermittelung der besten Ladekombination, vielfältige Randbedingungen (Gültige Beladung, Händleröffnungszeiten, Markenverträglichkeiten)• 10 000 Händler• 400 LKWs• 1 000 Aufträge/Tag• 1 Mio mögliche Ladungskombinationen

Touren- und Routenplanung

Ladungsoptimierung

Hödlmayr Logistics Int.

Methoden: • Algebra: Halbordnungen• Optimierungs- und Planungsalgorithmen• Graphentheorie: Routenplanung, Ressourcenmanagement, ...• Komponentenorientierte Softwareentwicklung

Page 15: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Zentrale:• Disposition• L&G• Daten- kommunikation

LKW: • Motordatenübernahme• Standortkoordinaten (GPS)• Fahrerdaten• Auftragsdaten

Bordcomputer- und Satellitenkommunikation

Page 16: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

MOBILEClient (Car)

Internet

GPRS

WWW-Server

SAP(Internes EDV

System)WAN

DISPO WAAGE

GPS

GPS

ALS-Server

Drucker

ServiceConnection

(Deployment,Security Data

backup)

(Thin Clients)

ALS -XML

Interface

???

AVE Logistik System

Logistik-System:• Dispositionswerkzeuge• Fahrzeug- und Containerverwaltung• mobile Datenkommunikation

effiziente Auftragsabwicklung

Page 17: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

• Verkehrsinformation

• Transportlogistik

• geographische Information

• statistische Information

• Anbindung an DataWare-House

• Verwaltung von Benutzergruppen

Verkehrs- Telematik (GPS, GPRS/UMTS, WWW)

Page 18: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

AWS - Mobiles Wetter

Partner: MOWIS GmbHZiele:• Präzise Wetterinformationen- und Kurzzeitprognosen für mobile Endgeräte: PDA, Handys, Car-PC‘s, etc.•Effiziente Unwetterwarnsysteme•Aktuelle Wetterinformationen für Autofahrer und Transportwirtschaft über Navigationssysteme und CarPC.

Methoden:•Mehrdimensionale Interpolation•Selbstlernende Komponenten

(geographische Besonderheiten)•Effiziente Datenmodelle und Datenstrukturen.•Leistungsfähiger DB-Server (Oracle).

Page 19: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Zielsetzung• Leittechnik-Software zur Steuerung fahrerloser Transportsysteme• Integriertes Modellierungswerkzeug• Automatisierte Generierung eines Simulationsmodells

10 20 30

5

10

15

20

25

10 20 30

5

10

15

20

25

Methoden• Geometrische Algorithmen• Graphentheorie• Optimierungsalgorithmen• Komponentenorientierte Softwareentwicklung• Simulation, …

Lock 1

Lock 2

A11

F13

A21F22

F23

A23

F14A14

Punkt 1 Punkt 2

Punkt 4Punkt 3

Geg

enve

rkeh

rs-

bere

ich

A12F12

Bearbeitung

(1) (2)(2)

Steuerung fahrerloser Transportsysteme

Page 20: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Wkz-3D-Konstruktion

• Werkzeugdetailkonstruktion• Autom. Zusammensetzung der

Schneiden und Ausnehmungen.• Generierung der

Konstruktionszeichnung

• 3D-Kernel (ACIS, OCC)• Kollisionskontrolle

• Projektstart: Sep. 2001• Umfang: ca. 30 PM• Projektende: Feb. 2003

Fa. Leitzin Riedau

Page 21: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

für die hochautomatisierte Kunststoffensterproduktion

• dynamische Feinterminierung und Produktionsoptimierung. Verschnitt- u. Reihenfolgeoptimierung.• zentrale Produktionsdatenbank• integrierte Simulation• 1000 Fenster pro Produktionstag• 15000 Fenstervarianten

Actual Maschinenbau / Eisenmann im Auftrag Moderne Bauelemente (MoBau)

ecoCIM - Fertigungsleitstand

Page 22: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

VirtMould - Virtual Moulding MachineAufgabenstellung:

• Modellierung und Simulation mechatronischer Systeme

• Testen komplexer interaktiver Systeme

Ziele:

• Verbesserung der SPS Softwarequalität

• SPS Testautomatisierung

• Maschinensimulation für Training

Page 23: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Tagesproduktivität von RBG1 (18.04.00)

0:00:00

0:05:00

0:10:00

0:15:00

0:20:00

0:25:00

0:30:00

0:35:00

0:40:00

0:45:00

0:50:00

0:55:00

1:00:00

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24

Einlag Auslag Leer unproduktiv ohne Auftrag

Palettenbewegungen pro RBG pro Stunde

18 2125

189

0

0

10

20

30

40

100% Doppelspiele 50% Doppelspiele Keine Doppelspiele

Anzahl

Auslagerung Einlagerung

• Analyse des autom. Hochregallagers (Kapazität: 25.000 Paletten)

• Optimierung Materialfluß

• Schnittstellenproblematik (Lagerverwaltung und Steuerung)

Lagerlogistik

Page 24: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

RC-Studio AdVisionRC-Studio AdVision

Algorithmen Layer (Geometrie 2D/3D, Optimierung)

Interface Layer (Scheme, COM, ...)

Interface Layer (Scheme, COM, ...)

Application Layer

User-Interface Layer

Kernel Layer (ACIS, Inventor, OpenCascade, ...)

Obj

ects

Dat

abas

eK

now

ledg

eB

ase

Wissensbasierte 3D Modell Library

Page 25: Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987 Institut für Symbolisches Rechnen.

Working in the companyWorking in the company

• People will be employed• Working in one or two projects

A subset of these skills:• Working in Teams!• Working within given constraints (time, space, money)!

• Software Development Know How• Object Oriented Programming (C++, …)• Experience of Project working• Writing Specifications and Papers• Language: English and/or German• Technology Know-How• …


Recommended