TY  - CHAP
A1  - Lang, H.
A1  - Wirtz, K.
A1  - Heitzer, Michael
A1  - Staat, Manfred
A1  - Oettel, R.
T1  - Zyklische Einspielversuche zur Verifikation von Shakedown-Analysen mittels FEM
T1  - Cyclic plastic deformation test to verify FEM-based shakedown analysis
N2  - Im Rahmen von Ermüdungsanalysen ist nachzuweisen, daß die thermisch bedingten fortschreitenden Deformationen begrenzt bleiben. Hierzu ist die Abgrenzung des Shakedown-Bereiches (Einspielen) vom Ratchetting-Bereich (fortschreitende Deformation) von Interesse. Im Rahmen eines EU-geförderten Forschungsvorhabens wurden Experimente mit einem 4-Stab-Modell durchgeführt. Das Experiment bestand aus einem wassergekühlten inneren Rohr und drei isolierten und beheizbaren äußeren Probestäben. Das System wurde durch alternierende Axialkräfte, denen alternierende Temperaturen an den äußeren Stäben überlagert wurden, belastet. Die Versuchsparameter wurden teilweise nach vorausgegangenen Einspielanalysen gewählt. Während der Versuchsdurchführung wurden Temperaturen und Dehnungen zeitabhängig gemessen. Begleitend und nachfolgend zur Versuchsdurchführung wurden die Belastungen und die daraus resultierenden Beanspruchungen nachvollzogen. Bei dieser inkrementellen elasto-plastischen Analyse mit dem Programm ANSYS wurden unterschiedliche Werkstoffmodelle angesetzt. Die Ergebnisse dieser Simulationsberechnung dienen dazu, die Shakedown-Analysen mittels FE-Methode zu verifizieren.
KW  - Einspielen <Werkstoff>
KW  - Traglast
KW  - Finite-Elemente-Methode
KW  - Shakedown
KW  - shakedown analysis
KW  - plastic deformation
Y1  - 1999
ER  - 
TY  - CHAP
A1  - Kraft, Bodo
A1  - Zöll, Axel
ED  - Engstler, Martin
T1  - Von der Langstrecke zum Sprint – Agile Methoden in traditionellen Unternehmen
T2  - Projektmanagement und Vorgehensmodelle 2014 : soziale Aspekte und Standardisierung
Y1  - 2014
SN  - 978-3-88579-630-5
N1  - Gemeinsame Tagung der Fachgruppen Projektmanagement (WI-PM) und Vorgehensmodelle (WI-VM) im Fachgebiet Wirtschaftsinformatik der Gesellschaft für Informatik e.V. ; 16. und 17. Oktober 2014 in Stuttgart ; PVM <1, 2014, Stuttgart>
GI-Edition : Proceedings ; 236
SP  - 35
EP  - 46
PB  - Gesellschaft für Informatik
CY  - Bonn
ER  - 
TY  - CHAP
A1  - Heer, Thomas
A1  - Redkowitz, Daniel
A1  - Kraft, Bodo
T1  - Tool Support for the Integration of Light-Weight Ontologies
N2  - Abstract of the authors: In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task of merging several ontologies, covering specific subdomains, into one united ontology has to be solved. Many approaches for ontology integration aim at automating the process of ontology alignment. However, a complete automation is not feasible, and user interaction is always required. Nevertheless, most ontology integration tools offer only very limited support for the interactive part of the integration process. In this paper, we present a novel approach for the interactive integration of ontologies. The result of the ontology integration is incrementally updated after each definition of a correspondence between ontology elements. The user is guided through the ontologies to be integrated. By restricting the possible user actions, the integrity of all defined correspondences is ensured by the tool we developed. We evaluated our tool by integrating different regulations concerning building design.
KW  - Ontologie <Wissensverarbeitung>
KW  - Knowledge Management
KW  - Ontology Engineering
KW  - Information Integration Tools
KW  - Human Factors
Y1  - 2008
SN  - 978-3-642-00670-8
ER  - 
TY  - GEN
A1  - Staat, Manfred
T1  - Technische Mechanik. Vorlesungsmitschrift. Korrigierter Nachdr. der 3. Aufl.
N2  - Überarbeitete, korrigierte und ergänzte Version einer Vorlesungsmitschrift von Sebastian Krämer. 172 S. Inhaltsverzeichnis 0 Einführung in die Mechanik 1 Statik starrer Körper 2 Elastostatik (Festigkeitslehre) 3 Kinematik 4 Kinetik Literatur
KW  - Technische Mechanik
Y1  - 2006
ER  - 
TY  - CHAP
A1  - Kreyer, Jörg
A1  - Stollenwerk, Dominik
A1  - Schöning, Michael Josef
T1  - Tagung des Forschernachwuchses der FH Aachen 20. November 2013 / ed.: J. Kreyer, D. Stollenwerk, M. J. Schöning
Y1  - 2013
PB  - FH Aachen
CY  - Aachen
ER  - 
TY  - CHAP
A1  - Kraft, Bodo
A1  - Nagl, Manfred
T1  - Support of Conceptual Design in Civil Engineering by Graph-based Tools
N2  - WS GTaD-2003 - The 1st Workshop on Graph Transformations and Design ed Grabska, E., Seite 6-7, Jagiellonian University Krakow. 2 pages
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - CAD
KW  - civil engineering
Y1  - 2003
ER  - 
TY  - CHAP
A1  - Kraft, Bodo
A1  - Nagl, Manfred
T1  - Parameterized specification of conceptual design tools in civil engineering
N2  - Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 90-105, DOI: 10.1007/978-3-540-25959-6_7 In this paper we discuss how tools for conceptual design in civil engineering can be developed using graph transformation specifications. These tools consist of three parts: (a) for elaborating specific conceptual knowledge (knowledge engineer), (b) for working out conceptual design results (architect), and (c) automatic consistency analyses which guarantee that design results are consistent with the underlying specific conceptual knowledge. For the realization of such tools we use a machinery based on graph transformations. In a traditional PROGRES tool specification the conceptual knowledge for a class of buildings is hard-wired within the specification. This is not appropriate for the experimentation platform approach we present in this paper, as objects and relations for conceptual knowledge are due to many changes, implied by evaluation of their use and corresponding improvements. Therefore, we introduce a parametric specification method with the following characteristics: (1) The underlying specific knowledge for a class of buildings is not fixed. Instead, it is built up as a data base by using the knowledge tools. (2) The specification for the architect tools also does not incorporate specific conceptual knowledge. (3) An incremental checker guarantees whether a design result is consistent with the current state of the underlying conceptual knowledge (data base).
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - CAD
KW  - civil engineering
Y1  - 2004
ER  - 
TY  - CHAP
A1  - Kraft, Bodo
A1  - Retkowitz, Daniel
T1  - Operationale Semantikdefinition für konzeptuelles Regelwissen
N2  - In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universität Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universität 2005. S. 1-10 ISBN 3-934934-11-0 
Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Gebäudeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zunächst informell eingeführt und dann formal beschrieben. Darauf aufbauend wird die Grundlage für eine Konsistenzprüfung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben
KW  - CAD
KW  - CAD
KW  - Bauingenieurwesen
KW  - CAD
KW  - civil engineering
Y1  - 2005
ER  - 
TY  - GEN
A1  - Schreiber, Marc
T1  - Mit Maximum-Entropie das Parsing natürlicher Sprache erlernen
N2  - Für die Verarbeitung von natürlicher Sprache ist ein wichtiger Zwischenschritt das Parsing, bei dem für Sätze der natürlichen Sprache Ableitungsbäume bestimmt werden. Dieses Verfahren ist vergleichbar zum Parsen formaler Sprachen, wie z. B. das Parsen eines Quelltextes. Die Parsing-Methoden der formalen Sprachen, z. B. Bottom-up-Parser, können nicht auf das Parsen der natürlichen Sprache übertragen werden, da keine Formalisierung der natürlichen Sprachen existiert [3, 12, 23, 30].
In den ersten Programmen, die natürliche Sprache verarbeiten [32, 41], wurde versucht die natürliche Sprache mit festen Regelmengen zu verarbeiten. Dieser Ansatz stieß jedoch schnell an seine Grenzen, da die Regelmenge nicht vollständig sowie nicht minimal ist und wegen der benötigten Menge an Regeln schwer zu verwalten ist. Die Korpuslinguistik [22] bot die Möglichkeit, die Regelmenge durch Supervised-Machine-Learning-Verfahren [2] abzulösen.
Teil der Korpuslinguistik ist es, große Textkorpora zu erstellen und diese mit sprachlichen Strukturen zu annotieren. Zu diesen Strukturen gehören sowohl die Wortarten als auch die Ableitungsbäume der Sätze. Vorteil dieser Methodik ist es, dass repräsentative Daten zur Verfügung stehen. Diese Daten werden genutzt, um mit Supervised-Machine-Learning-Verfahren die Gesetzmäßigkeiten der natürliche Sprachen zu erlernen.
Das Maximum-Entropie-Verfahren ist ein Supervised-Machine-Learning-Verfahren, das genutzt wird, um natürliche Sprache zu erlernen. Ratnaparkhi [25] nutzt Maximum-Entropie, um Ableitungsbäume für Sätze der natürlichen Sprache zu erlernen. Dieses Verfahren macht es möglich, die natürliche Sprache (abgebildet als Σ∗) trotz einer fehlenden formalen Grammatik zu parsen.
Y1  - 2016
N1  - Aufsatz zu einem Seminar (Theoretische Informatik) an der FH Aachen, 2016.
PB  - FH Aachen
CY  - Aachen
ER  - 
TY  - CHAP
A1  - Staat, Manfred
A1  - Heitzer, M.
A1  - Hicken, E. F.
T1  - LISA, ein europäisches Projekt zur direkten Berechnung der Tragfähigkeit duktiler Strukturen
N2  - Traglast- und Einspielanalysen sind vereinfachte doch exakte Verfahren der Plastizität, die neben ausreichender Verformbarkeit keine einschränkenden Voraussetzungen beinhalten. Die Vereinfachungen betreffen die Beschaffung der Daten und Modelle für Details der Lastgeschichte und des Stoffverhaltens. Anders als die klassische Behandlung nichtlinearer Probleme der Strukturmechanik führt die Methode auf Optimierungsprobleme. Diese sind bei realistischen FEM-Modellen sehr groß. Das hat die industrielle Anwendung der Traglast- und Einspielanalysen stark verzögert. Diese Situation wird durch das Brite-EuRam Projekt LISA grundlegend geändert. Die Autoren möchten der Europäischen Kommission an dieser Stelle für die Förderung ausdrücklich danken. In LISA entsteht auf der Basis des industriellen FEM-Programms PERMAS ein Verfahren zur direkten Berechnung der Tragfähigkeit duktiler Strukturen. Damit kann der Betriebsbereich von Komponenten und Bauwerken auf den plastischen Bereich erweitert werden, ohne den Aufwand gegenüber elastischen Analysen wesentlich zu erhöhen. Die beachtlichen Rechenzeitgewinne erlauben Parameterstudien und die Berechnung von Interaktionsdiagrammen, die einen schnellen Überblick über mögliche Betriebsbereiche vermitteln. Es zeigt sich, daß abhängig von der Komponente und ihren Belastungen teilweise entscheidende Sicherheitsgewinne zur Erweiterung der Betriebsbereiche erzielt werden können. Das Vorgehen erfordert vom Anwender oft ein gewisses Umdenken. Es werden keine Spannungen berechnet, um damit Sicherheit und Lebensdauer zu interpretieren. Statt dessen berechnet man direkt die gesuchte Sicherheit. Der Post-Prozessor wird nur noch zur Modell- und Rechenkontrolle benötigt. Das Vorgehen ist änhlich der Stabilitätsanalyse (Knicken, Beulen). Durch namhafte industrielle Projektpartner werden Validierung und die Anwendbarkeit auf eine breite Palette technischer Probleme garantiert. Die ebenfalls in LISA geplante Zuverlässigkeitsanalyse ist erst auf der Basis direkter Verfahren effektiv möglich. Ohne Traglast- und Einspielanalyse ist plastische Strukturoptimierung auch heute kaum durchführbar.
KW  - Finite-Elemente-Methode
KW  - Traglastanalyse
KW  - Einspielanalyse
KW  - limit analysis
KW  - shakedown analysis
Y1  - 1998
ER  -