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

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

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.

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)

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

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!

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

Problemlösung - Vorgehensweise

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

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

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 0-1-2-0 1-2-0-1 2-0-1-2 B 0-1-3-0 A

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

Hödlmayr Logistics Int. Touren- und Routenplanung 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 consideration of loading and routing optimization. Ladungsoptimierung

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) 10 000 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

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

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

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

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

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

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

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

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

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

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

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 …