@article{KraftNagl2007,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Visual Knowledge Specification for Conceptual Design: Definition and Tool Support},
  year      = {2007},
  abstract  = {In: Advanced Engineering Informatics. Vol 21, Issue 1, 2007, Pages 67-83 http://dx.doi.org/10.1016/j.aei.2006.10.001 eds. J.C. Kunz, I.F.C. Smith and T. Tomiyama, Elsevier, Seite 1-22 Current CAD tools are not able to support the conceptual design phase, and none of them provides a consistency analysis for sketches produced by architects. This phase is fundamental and crucial for the whole design and construction process of a building. To give architects a better support, we developed a CAD tool for conceptual design and a knowledge specification tool. The knowledge is specific to one class of buildings and it can be reused. Based on a dynamic and domain-specific knowledge ontology, different types of design rules formalize this knowledge in a graph-based form. An expressive visual language provides a user-friendly, human readable representation. Finally, a consistency analysis tool enables conceptual designs to be checked against this formal conceptual knowledge. In this article, we concentrate on the knowledge specification part. For that, we introduce the concepts and usage of a novel visual language and describe its semantics. To demonstrate the usability of our approach, two graph-based visual tools for knowledge specification and conceptual design are explained.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{StaatTranPham2008,
  author    = {Staat, Manfred and Tran, Thanh Ngoc and Pham, Phu Tinh},
  title     = {Limit and shakedown reliability analysis by nonlinear programming},
  year      = {2008},
  abstract  = {7th International Conference on Reliability of Materials and Structures (RELMAS 2008). June 17 - 20, 2008 ; Saint Petersburg, Russia. pp 354-358. Reprint with corrections in red Introduction Analysis of advanced structures working under extreme heavy loading such as nuclear power plants and piping system should take into account the randomness of loading, geometrical and material parameters. The existing reliability are restricted mostly to the elastic working regime, e.g. allowable local stresses. Development of the limit and shakedown reliability-based analysis and design methods, exploiting potential of the shakedown working regime, is highly needed. In this paper the application of a new algorithm of probabilistic limit and shakedown analysis for shell structures is presented, in which the loading and strength of the material as well as the thickness of the shell are considered as random variables. The reliability analysis problems may be efficiently solved by using a system combining the available FE codes, a deterministic limit and shakedown analysis, and the First and Second Order Reliability Methods (FORM/SORM). Non-linear sensitivity analyses are obtained directly from the solution of the deterministic problem without extra computational costs.},
  subject      = {Finite-Elemente-Methode},
  language  = {en}
}
@inproceedings{TranPhamStaat2008,
  author    = {Tran, Thanh Ngoc and Pham, Phu Tinh and Staat, Manfred},
  title     = {Reliability analysis of shells based on direct plasticity methods},
  year      = {2008},
  abstract  = {Abstracts der CD-Rom Proceedings of the 8th World Congress on Computational Mechanics (WCCM8) and 5th Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2008) 30.06. - 04.07.2008 Venedig, Italien. 2 Seiten Zusammenfassung der Autoren mit graph. Darst. und Literaturverzeichnis},
  subject      = {Finite-Elemente-Methode},
  language  = {en}
}
@inproceedings{HeitzerStaat2000,
  author    = {Heitzer, M. and Staat, Manfred},
  title     = {Direct FEM approach to design-by-analysis of pressurized components},
  year      = {2000},
  abstract  = {Abstracts of the ACHEMA 2000 - International Meeting on Chemical Engineering, Environmental Protection and Biotechnology, May 22 - 27, 2000. Frankfurt am Main. Achema 2000 : special edition / Linde. [Ed.: Linde AG. Red.: Volker R. Leski]. - Wiesbaden : Linde AG, 2000. - 56 p. : Ill., . - pp: 79 - 81},
  subject      = {Finite-Elemente-Methode},
  language  = {en}
}
@inproceedings{StaatHeitzerHicken1998,
  author    = {Staat, Manfred and Heitzer, M. and Hicken, E. F.},
  title     = {LISA, ein europ{\"a}isches Projekt zur direkten Berechnung der Tragf{\"a}higkeit duktiler Strukturen},
  year      = {1998},
  abstract  = {Traglast- und Einspielanalysen sind vereinfachte doch exakte Verfahren der Plastizit{\"a}t, die neben ausreichender Verformbarkeit keine einschr{\"a}nkenden Voraussetzungen beinhalten. Die Vereinfachungen betreffen die Beschaffung der Daten und Modelle f{\"u}r Details der Lastgeschichte und des Stoffverhaltens. Anders als die klassische Behandlung nichtlinearer Probleme der Strukturmechanik f{\"u}hrt die Methode auf Optimierungsprobleme. Diese sind bei realistischen FEM-Modellen sehr groß. Das hat die industrielle Anwendung der Traglast- und Einspielanalysen stark verz{\"o}gert. Diese Situation wird durch das Brite-EuRam Projekt LISA grundlegend ge{\"a}ndert. Die Autoren m{\"o}chten der Europ{\"a}ischen Kommission an dieser Stelle f{\"u}r die F{\"o}rderung ausdr{\"u}cklich danken. In LISA entsteht auf der Basis des industriellen FEM-Programms PERMAS ein Verfahren zur direkten Berechnung der Tragf{\"a}higkeit duktiler Strukturen. Damit kann der Betriebsbereich von Komponenten und Bauwerken auf den plastischen Bereich erweitert werden, ohne den Aufwand gegen{\"u}ber elastischen Analysen wesentlich zu erh{\"o}hen. Die beachtlichen Rechenzeitgewinne erlauben Parameterstudien und die Berechnung von Interaktionsdiagrammen, die einen schnellen {\"U}berblick {\"u}ber m{\"o}gliche Betriebsbereiche vermitteln. Es zeigt sich, daß abh{\"a}ngig von der Komponente und ihren Belastungen teilweise entscheidende Sicherheitsgewinne zur Erweiterung der Betriebsbereiche erzielt werden k{\"o}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{\"o}tigt. Das Vorgehen ist {\"a}nhlich der Stabilit{\"a}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{\"a}ssigkeitsanalyse ist erst auf der Basis direkter Verfahren effektiv m{\"o}glich. Ohne Traglast- und Einspielanalyse ist plastische Strukturoptimierung auch heute kaum durchf{\"u}hrbar.},
  subject      = {Finite-Elemente-Methode},
  language  = {de}
}
@inproceedings{KernDikta2009,
  author    = {Kern, Alexander and Dikta, Gerhard},
  title     = {Probability of damage of electrical and electronic systems due to indirect lightning flashes - investigation of data from German insurance companies},
  year      = {2009},
  abstract  = {In the presented paper data collected from the field related to damage statistics of electrical and electronic apparatus in household are reported and investigated. These damages (total number approx. 74000 cases), registered by five German insurance companies in 2005 and 2006, were adviced by customers as caused by lightning overvoltages. With the use of stochastical methods it is possible, to reasses the collected data and to distinguish between cases, which are with high probability caused by lightning overvoltages, and those, which are not. If there was an indication for a direct strike, this case was excluded, so the focus was only on indirect lightning flashes, i.e. only flashes to ground near the structure and flashes to or nearby an incoming service line were investigated. The data from the field contain the location of damaged apparatus (residence of the policy holder) and the distances of the nearest cloud-to-ground stroke to the location of the damage registered by the German lightning location network BLIDS at the date of damage. The statistical data along with some complementary numerical simulations allow to verify the correspondence of the Standards rules used for IEC 62305-2 with the field data and to define some correction needs. The results could lead to a better understanding whether a damage reported to an insurance company is really caused by indirect lightning, or not.},
  subject      = {Blitzschutz},
  language  = {en}
}
@inproceedings{BallmannRaatschenStaat1985,
  author    = {Ballmann, J. and Raatschen, Hans-J{\"u}rgen and Staat, Manfred},
  title     = {High stress intensities in focussing zones of waves},
  doi       = {10.1016/B978-0-444-42520-1.50015-3},
  year      = {1985},
  abstract  = {The propagation of mechanical waves in plates of isotropic elastic material is investigated. After a short introduction to the understanding of focussing of stress waves in a plate with a curved boundary the method of characteristics is applied to a plate of hyperelastic material. Using this method the propagation of acceleration waves is discussed. Based on this a numerical difference scheme is developed for solving initial-boundary-value problems and applied to two examples: propagation of a point disturbance in a homogeneously finitely strained non-linear elastic plate and geometrical focussing in al linear elastic plate.},
  subject      = {Technische Mechanik},
  language  = {en}
}
@inproceedings{KraftMeyerNagl2002,
  author    = {Kraft, Bodo and Meyer, Oliver and Nagl, Manfred},
  title     = {Graph technology support for conceptual design in civil engineering},
  isbn      = {3-18-318004-9},
  year      = {2002},
  abstract  = {In: Advances in intelligent computing in engineering : proceedings of the 9.International EG-ICE Workshop ; Darmstadt, (01 - 03 August) 2002 / Martina Schnellenbach-Held ... (eds.) . - D{\"u}sseldorf: VDI-Verl., 2002 .- Fortschritt-Berichte VDI, Reihe 4, Bauingenieurwesen ; 180 ; S. 1-35 The paper describes a novel way to support conceptual design in civil engineering. The designer uses semantical tools guaranteeing certain internal structures of the design result but also the fulfillment of various constraints. Two different approaches and corresponding tools are discussed: (a) Visually specified tools with automatic code generation to determine a design structure as well as fixing various constraints a design has to obey. These tools are also valuable for design knowledge specialist. (b) Extensions of existing CAD tools to provide semantical knowledge to be used by an architect. It is sketched how these different tools can be combined in the future. The main part of the paper discusses the concepts and realization of two prototypes following the two above approaches. The paper especially discusses that specific graphs and the specification of their structure are useful for both tool realization projects.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftNagl2003,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Support of Conceptual Design in Civil Engineering by Graph-based Tools},
  year      = {2003},
  abstract  = {WS GTaD-2003 - The 1st Workshop on Graph Transformations and Design ed Grabska, E., Seite 6-7, Jagiellonian University Krakow. 2 pages},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{KraftNagl2004,
  author    = {Kraft, Bodo and Nagl, Manfred},
  title     = {Parameterized specification of conceptual design tools in civil engineering},
  year      = {2004},
  abstract  = {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).},
  subject      = {CAD},
  language  = {de}
}