TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A call-by-need implementation of syntax directed functional programming Y1 - 1990 N1 - (Aachener Informatik-Berichte ; 90,22) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - BOOK A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions Y1 - 1996 N1 - (Technische Berichte ; 96,21) PB - TU, Fak. Informatik CY - Dresden ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification driven leftmost outermost narrowing Y1 - 1992 N1 - (Ulmer Informatik-Berichte ; 92,7) PB - Univ. Ulm, Fak. für Informatik CY - Ulm ER - TY - BOOK A1 - Altherr, Lena T1 - Algorithmic System Design under Consideration of Dynamic Processes N2 - Nach Stand von Wissenschaft und Technik werden Komponenten hinsichtlich ihrer Eigenschaften, wie Lebensdauer oder Energieeffizienz, optimiert. Allerdings können selbst hervorragende Komponenten zu ineffizienten oder instabilen Systemen führen, wenn ihr Zusammenspiel nur unzureichend berücksichtigt wird. Eine Systembetrachtung schafft ein größeres Optimierungspotential - dem erhöhten Potential steht jedoch auch ein erhöhter Komplexitätsgrad gegenüber. Die vorliegende Arbeit ist im Rahmen des Sonderforschungsbereichs 805 entstanden, dessen Ziel die Beherrschung von Unsicherheit in Systemen des Maschinenbaus ist. Die Arbeit zeigt anhand eines realen Systems aus dem Bereich der Hydraulik, wie Unsicherheit in der Entwicklungsphase beherrscht werden kann. Hierbei ist neu, dass die durch den späteren Betrieb zu erwartende Systemdegradation eines jeden möglichen Systemvorschlags antizipiert werden kann. Dadurch können Betriebs- und Wartungskosten vorausgesagt und minimiert werden und durch eine optimale Betriebs- und Wartungsstrategie die Verfügbarkeit des Systems garantiert werden. Wesentliche Fragen bei der optimalen Auslegung des betrachteten hydrostatischen Getriebes sind dessen physikalische Modellierung, die Darstellung des Optimierungsproblems als gemischt-ganzzahliges lineares Programm, und dessen algorithmische Behandlung zur Lösungsfindung. Hierzu werden Heuristiken zum schnelleren Auffinden sinnvoller Systemtopologien vorgestellt und mittels mathematischer Dekomposition eine Bewertung des dynamischen Verschleiß- und Wartungsverlaufs möglicher Systemvorschläge vorgenommen. Die Arbeit stellt die Optimierung technischer Systeme an der Schnittstelle von Mathematik, Informatik und Ingenieurwesen sowohl gründlich als auch anschaulich und nachvollziehbar dar. KW - Mixed Integer Programming KW - Technical Operations Research KW - Optimization KW - System Design Y1 - 2016 SN - 978-3-8440-4848-3 PB - Shaker CY - Aachen ER - TY - BOOK A1 - Mayer, Claudia T1 - Art : from prehistoric art to modernism / [Text: Claudia Mayer-Iswandy] Y1 - 2001 SN - 3-7701-7048-2 N1 - (Flipguide) PB - DuMont CY - Köln ER - TY - BOOK A1 - Faßbender, Heinz A1 - Gladtz, Katia A1 - Vogler, Heiko T1 - Compiler based implementation of syntax directed functional programming Y1 - 1991 N1 - (Aachener Informatik-Berichte ; 91,10) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - BOOK A1 - Benkner, Thorsten A1 - David, Klaus T1 - Digital Mobile Radio Systems (Nicht erschienen?) Y1 - 2005 SN - 0-471-97591-5 N1 - Erscheinungstermin 30.10.2005 PB - Wiley ER - TY - BOOK A1 - Benkner, Thorsten A1 - David, Klaus T1 - Digitale Mobilfunksysteme : Grundlagen und aktuelle Systeme. - 2., aktualis. u. erw. Aufl. Y1 - 1999 SN - 3-519-16181-8 PB - Teubner CY - Stuttgart ER - TY - BOOK A1 - Hüning, Felix T1 - Embedded Design For IoT With Renesas Synergy Y1 - 2018 N1 - gedruckt in der Bereichsbibliothek Eupener Str. vorhanden; Document No. R01PF0164ED0100 PB - Renesas Electronics CY - Düsseldorf ER - TY - BOOK A1 - Wosnitza, Franz A1 - Hilgers, Hans Gerd T1 - Energieeffizienz und Energiemanagement : ein Überblick heutiger Möglichkeiten und Notwendigkeiten Y1 - 2012 SN - 978-3-8348-1941-3 N1 - eISBN 978-3-8348-8671-2 PB - Springer Spektrum CY - Wiesbaden ER -