250 likes | 464 Views
Institut für Symbolisches Rechnen. Vorstand: O.Univ.Prof. Dr. Franz Winkler Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987. Introduction and Overview How do we work Project examples Outlook (near and far future) Working in the RISC Company. Agenda. Kompetenzen:
E N D
Institut für Symbolisches Rechnen • Vorstand: O.Univ.Prof. Dr. Franz Winkler • Gründer: O.Univ.Prof. Dr.DDr.h.c. B. Buchberger, 1987
Introduction and Overview How do we work Project examples Outlook (near and far future) Working in the RISC Company Agenda
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. Anwendung RISC Software GmbH
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
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! Forschung RISC - Institut der JKU Linz
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 ... Scientific Methods
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 3 32000 12000 2 22000 0 3 80000 2 60000 0 57600 1 1 0-1-3-0 0-1-2-0 3 3 1-2-0-1 2-0-1-2 2 2 0 0 A B 1 1 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.
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 inca. 1/100 Sekunde (auf PC • Pentium II 300MHz).
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 mitminimalen Kosten undminimalen • Leerkilometer. • Ermittelung der besten Ladekombination,vielfältige Randbedingungen • (GültigeBeladung,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 • Methoden: • Algebra: Halbordnungen • Optimierungs- und • Planungsalgorithmen • Graphentheorie: • Routenplanung, • Ressourcenmanagement, ... • Komponentenorientierte • Softwareentwicklung
Bordcomputer- und Satellitenkommunikation • LKW: • Motordatenübernahme • Standortkoordinaten (GPS) • Fahrerdaten • Auftragsdaten • Zentrale: • Disposition • L&G • Daten- • kommunikation
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 Partner: MOWIS GmbH • Ziele: • 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)
RC-Studio AdVision Wissensbasierte 3D Modell Library
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 … Working in the company