Institut für Symbolisches Rechnen

Präsentation zum Thema: "Institut für Symbolisches Rechnen"—  Präsentation transkript:

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

2 Agenda Introduction and Overview How do we work Project examples
Outlook (near and far future) Working in the RISC Company

3 Anwendung RISC Software GmbH 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.

4 Anwendungsbereiche Bordcomputer, Handhelds Embedded Systems
Kommunikation (GPRS, Satelliten, WLAN) Navigation (GPS) Disposition Lagerlogistik Verkehrslogistik Standortoptimierung Steuerungen, CAD/CAM-Konstruktion Robotik, Simulation und Optimierung von Industrieprozessen (Automatisierungs- und Anlagentechnik)

5 Hödlmayr Logistics Int.
Referenzkunden Hödlmayr Logistics Int.

6 Forschung RISC - Institut der JKU Linz
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!

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

8 Problemlösung - Vorgehensweise

9 Problemlösung – Vorgehensweise
 methodische Vorgehensmodelle Unterteilung der Projekte in mehrere Phasen (Dauer 3-8 Monate) eventuell ergänzt durch Machbarkeitsanalyse oder Vorstudie.

10 Optimierung - Rübenlogistik
Transportoptimierung Optimale Zuordnung der Bauern zu Stationen. Optimale Zuteilung der Stationen zu Fabriken. Optimale Auswahl der Übernahmestationen. Vereinigung der Österreichischen Rübenbauern

11 Regelsysteme für Disponenten
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. 1 2 3 57600 60000 80000 32000 12000 22000 B A

12 Hödlmayr Logistics Int.
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).

13 Hödlmayr Logistics Int.
Touren- und Routenplanung Zuordnung der Aufträge zu LKWs: minimale Kosten und minimale Leerkilometer, vielfältige Randbedingungen. Händler 400 LKWs 1 000 Aufträge/Tag 1 Mio mögliche Ladungskombinationen Minimize transport costs under consideration of loading and routing optimization. Ladungsoptimierung

14 Hödlmayr Logistics Int.
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) Händler 400 LKWs 1 000 Aufträge/Tag 1 Mio mögliche Ladungskombinationen Touren- und Routenplanung Methoden: Algebra: Halbordnungen Optimierungs- und Planungsalgorithmen Graphentheorie: Routenplanung, Ressourcenmanagement, ... Komponentenorientierte Softwareentwicklung Ladungsoptimierung

15 Bordcomputer- und Satellitenkommunikation
Zentrale: Disposition L&G Daten- kommunikation LKW: Motordatenübernahme Standortkoordinaten (GPS) Fahrerdaten Auftragsdaten

16 AVE Logistik System Logistik-System: Dispositionswerkzeuge
Fahrzeug- und Containerverwaltung mobile Datenkommunikation  effiziente Auftragsabwicklung

17 Verkehrs- Telematik (GPS, GPRS/UMTS, WWW)
Verkehrsinformation Transportlogistik geographische Information statistische Information Anbindung an DataWare-House Verwaltung von Benutzergruppen

18 AWS - Mobiles Wetter Ziele: Methoden: Partner: MOWIS GmbH
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).

19 Steuerung fahrerloser Transportsysteme
Zielsetzung Leittechnik-Software zur Steuerung fahrerloser Transportsysteme Integriertes Modellierungswerkzeug Automatisierte Generierung eines Simulationsmodells Methoden Geometrische Algorithmen Graphentheorie Optimierungsalgorithmen Komponentenorientierte Softwareentwicklung Simulation, …

20 Wkz-3D-Konstruktion Fa. Leitz in Riedau 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

21 ecoCIM - Fertigungsleitstand
für die hochautomatisierte Kunststoffensterproduktion Actual Maschinenbau / Eisenmann im Auftrag Moderne Bauelemente (MoBau) dynamische Feinterminierung und Produktionsoptimierung. Verschnitt- u. Reihenfolgeoptimierung. zentrale Produktionsdatenbank integrierte Simulation 1000 Fenster pro Produktionstag 15000 Fenstervarianten

22 VirtMould - Virtual Moulding Machine
Aufgabenstellung: Modellierung und Simulation mechatronischer Systeme Testen komplexer interaktiver Systeme Ziele: Verbesserung der SPS Softwarequalität SPS Testautomatisierung Maschinensimulation für Training

23 Lagerlogistik Analyse des autom. Hochregallagers (Kapazität: Paletten) Optimierung Materialfluß Schnittstellenproblematik (Lagerverwaltung und Steuerung)

24 Wissensbasierte 3D Modell Library
RC-Studio AdVision Wissensbasierte 3D Modell Library

25 Working 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 …