@article{Staat2003,
  author    = {Staat, Manfred},
  title     = {Shakedown and ratchetting under tension-torsion loadings: analysis and experiments},
  year      = {2003},
  abstract  = {Structural design analyses are conducted with the aim of verifying the exclusion of ratchetting. To this end it is important to make a clear distinction between the shakedown range and the ratchetting range. The performed experiment comprised a hollow tension specimen which was subjected to alternating axial forces, superimposed with constant moments. First, a series of uniaxial tests has been carried out in order to calibrate a bounded kinematic hardening rule. The load parameters have been selected on the basis of previous shakedown analyses with the PERMAS code using a kinematic hardening material model. It is shown that this shakedown analysis gives reasonable agreement between the experimental and the numerical results. A linear and a nonlinear kinematic hardening model of two-surface plasticity are compared in material shakedown analysis.},
  subject      = {Einspielen <Werkstoff>},
  language  = {en}
}
@inproceedings{Staat2003,
  author    = {Staat, Manfred},
  title     = {Design by Analysis of Pressure Components by non-linear Optimization},
  year      = {2003},
  abstract  = {This paper presents the direct route to Design by Analysis (DBA) of the new European pressure vessel standard in the language of limit and shakedown analysis (LISA). This approach leads to an optimization problem. Its solution with Finite Element Analysis is demonstrated for some examples from the DBA-Manual. One observation from the examples is, that the optimisation approach gives reliable and close lower bound solutions leading to simple and optimised design decision.},
  language  = {en}
}
@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}
}
@inproceedings{Kraft2004,
  author    = {Kraft, Bodo},
  title     = {Conceptual design tools for civil engineering},
  year      = {2004},
  abstract  = {Applications of Graph Transformations with Industrial Relevance Lecture Notes in Computer Science, 2004, Volume 3062/2004, 434-439, DOI: http://dx.doi.org/10.1007/978-3-540-25959-6_33 This paper gives a brief overview of the tools we have developed to support conceptual design in civil engineering. Based on the UPGRADE framework, two applications, one for the knowledge engineer and another for architects allow to store domain specific knowledge and to use this knowledge during conceptual design. Consistency analyses check the design against the defined knowledge and inform the architect if rules are violated.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftWilhelms2004,
  author    = {Kraft, Bodo and Wilhelms, N.},
  title     = {Interactive distributed knowledge support for conceptual building design},
  isbn      = {3-86068-213-X},
  year      = {2004},
  abstract  = {In: Net-distributed Co-operation : Xth International Conference on Computing in Civil and Building Engineering, Weimar, June 02 - 04, 2004 ; proceedings / [ed. by Karl Beuke ...] . - Weimar: Bauhaus-Univ. Weimar 2004. - 1. Aufl. . Seite 1-14 ISBN 3-86068-213-X International Conference on Computing in Civil and Building Engineering <10, 2004, Weimar> Summary In our project, we develop new tools for the conceptual design phase. During conceptual design, the coarse functionality and organization of a building is more important than a detailed worked out construction. We identify two roles, first the knowledge engineer who is responsible for knowledge definition and maintenance; second the architect who elaborates the conceptual de-sign. The tool for the knowledge engineer is based on graph technology, it is specified using PROGRES and the UPGRADE framework. The tools for the architect are integrated to the in-dustrial CAD tool ArchiCAD. Consistency between knowledge and conceptual design is en-sured by the constraint checker, another extension to ArchiCAD.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KirchhofKraft2004,
  author    = {Kirchhof, M. and Kraft, Bodo},
  title     = {UML-based modeling of architectural knowledge and design},
  year      = {2004},
  abstract  = {IASSE-2004 - 13th International Conference on Intelligent and Adaptive Systems and Software Engineering eds. W. Dosch, N. Debnath, pp. 245-250, ISCA, Cary, NC, 1-3 July 2004, Nice, France We introduce a UML-based model for conceptual design support in civil engineering. Therefore, we identify required extensions to standard UML. Class diagrams are used for elaborating building typespecific knowledge: Object diagrams, implicitly contained in the architect's sketch, are validated against the defined knowledge. To enable the use of industrial, domain-specific tools, we provide an integrated conceptual design extension. The developed tool support is based on graph rewriting. With our approach architects are enabled to deal with semantic objects during early design phase, assisted by incremental consistency checks.},
  subject      = {UML},
  language  = {en}
}
@techreport{NaglKraft2004,
  author    = {Nagl, Manfred and Kraft, Bodo},
  title     = {Graphbasierte Werkzeuge zur Unterst{\"u}tzung des konzeptuellen Geb{\"a}ude-Entwurfs : Bericht {\"u}ber den 2. F{\"o}rderzeitraum des Schwerpunktprogramms : DFG-Schwerpunktprogramm 1103 : Vernetzt-kooperative Planungsprozesse im Konstruktiven Ingenieurbau. - Auch unter dem Titel: Neue Software-Werkzeuge zur Unterst{\"u}tzung des konzeptuellen Geb{\"a}udeentwurfs},
  year      = {2004},
  abstract  = {Der konstruktive Entwurf wird in derzeitigen CAD-Systemen gut unterst{\"u}tzt, nicht aber der konzeptuelle Geb{\"a}ude-Entwurf. Dieser abstrahiert von konstruktiven Elementen wie Linie, Wand oder Decke, um auf die Konzepte, d.h. die eigentlichen Funktionen, heraus zu arbeiten. Diese abstraktere, funktionale Sichtweise auf ein Geb{\"a}ude ist w{\"a}hrend der fr{\"u}hen Entwurfsphase essentiell, um Struktur und Organisation des gesamten Geb{\"a}udes zu erfassen. Bereits in dieser Phase muss Fachwissen (z. B. rechtliche, {\"o}konomische und technische Bestimmungen) ber{\"u}cksichtigt werden. Im Rahmen des vorliegenden Projekts werden Software-Werkzeuge integriert in industrielle CAD-Systeme entwickelt, die den konzeptuellen Geb{\"a}ude-Entwurf erm{\"o}glichen und diesen gegen Fachwissen pr{\"u}fen. Das Projekt ist in zwei Teile gegliedert. Im Top-Down-Ansatz werden Datenstrukturen und Methoden zur Strukturierung, Repr{\"a}sentation und Evaluation von geb{\"a}udespezifischem Fachwissen erarbeitet. Dieser Teil baut auf den graphbasierten Werkzeugen PROGRES und UPGRADE des Lehrstuhls auf. Der Bottom-Up-Ansatz ist industriell orientiert und hat zum Ziel, das kommerzielle CAD-System ArchiCAD zu erweitern. Hierbei soll der fr{\"u}he, konzeptuelle Geb{\"a}ude-Entwurf in einem CAD-System erm{\"o}glicht werden. Der Entwurf kann dar{\"u}ber hinaus gegen das definierte Fachwissen gepr{\"u}ft werden. Im Rahmen des graphbasierten Top-Down-Ansatzes wurde zun{\"a}chst eine neue Spezifikationsmethode f{\"u}r die Sprache PROGRES entwickelt. Das PROGRES-System erlaubt die Spezifikation von Werkzeugen in deklarativer Form. {\"U}blicherweise wird dom{\"a}nenspezifisches Fachwissen in der PROGRES-Spezifikation codiert, das daraus generierte visuelle Werkzeug stellt dann die entsprechende Funktionalit{\"a}t zur Verf{\"u}gung. Mit dieser Methode sind am Lehrstuhl f{\"u}r Informatik III Werkzeuge f{\"u}r verschie-dene Anwendungsdom{\"a}nen entstanden. In unserem Fall versetzen wir einen Dom{\"a}nen-Experten, z. B. einen erfahrenen Architekten, in die Lage, Fachwissen zur Laufzeit einzugeben, dieses zu evaluieren, abzu{\"a}ndern oder zu erg{\"a}nzen. Im Rahmen der bisherigen Arbeit wurde dazu eine parametrisierte PROGRES-Spezifikation und zwei darauf aufbauende Werkzeuge entwickelt, welche die dynamische Eingabe von geb{\"a}ude-technisch relevantem Fachwissen erlauben und einen graphbasierten, konzeptuellen Geb{\"a}ude-Entwurf erm{\"o}glichen. In diesem konzeptuellen Geb{\"a}ude-Entwurf wird von Raumgr{\"o}ßen und Positionen abstrahiert, um die funktionale Struktur eines Geb{\"a}udes zu beschreiben. Das Fachwissen kann von einem Architekten visuell definiert werden. Es k{\"o}nnen semantische Einheiten, im einfachsten Fall R{\"a}ume, nach verschiedenen Kriterien kategorisiert und klassifiziert werden. Mit Hilfe von Attributen und Relationen k{\"o}nnen die semantischen Einheiten pr{\"a}ziser beschrieben und in Beziehung zueinander gesetzt werden. Die in PROGRES spezifizierten Konsistenz-Analysen erlauben die Pr{\"u}fung eines graphbasierten konzeptuellen Geb{\"a}ude-Entwurfs gegen das dynamisch eingef{\"u}gte Fachwissen. Im zweiten Teil des Forschungsprojekts, dem Bottom-Up-Ansatz, wird das CAD-System ArchiCAD erweitert, um den integrierten konzeptuellen Geb{\"a}ude-Entwurf zu erm{\"o}glichen. Der Architekt erh{\"a}lt dazu neue Entwurfselemente, die Raumobjekte, welche die relevanten semantischen Einheiten w{\"a}hrend der fr{\"u}hen Entwurfsphase repr{\"a}sentieren. Mit Hilfe der Raumobjekte kann der Architekt in ArchiCAD den Grundriss und das Raumprogramm eines Geb{\"a}udes entwerfen, ohne von konstruktiven Details in seiner Kreativit{\"a}t eingeschr{\"a}nkt zu werden. Die Arbeitsweise mit Raumobjekten entspricht dem informellen konzeptuellen Entwurf auf einer Papierskizze und ist daher f{\"u}r den Architekten intuitiv und einfach zu verwenden. Durch die Integration in ArchiCAD ergibt sich eine weitere Unterst{\"u}tzung: Das im Top-Down-Ansatz spezifizierte Fach-wissen wird verwendet, um den konzeptuellen Geb{\"a}ude-Entwurf des Architekten auf Regelverletzungen zu {\"u}berpr{\"u}fen. Entwurfsfehler werden angezeigt. Zum Abschluss des konzeptuellen Geb{\"a}ude-Entwurfs mit Raumobjekten wird durch ein weiteres neu entwickeltes Werkzeug eine initiale Wandstruktur automatisch erzeugt, die als Grundlage f{\"u}r die folgenden konstruktiven Entwurfsphasen dient. Alle beschriebenen Erwei-terungen sind in ArchiCAD integriert, sie sind f{\"u}r den Architekten daher leicht zu erlernen und einfach zu bedienen.},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{DigelDemirciTrzewiketal.2004,
  author    = {Digel, Ilya and Demirci, Taylan and Trzewik, J{\"u}rgen and Linder, Peter and Temiz Artmann, Ayseg{\"u}l},
  title     = {Fibroblast response to mechanical stress: role of the adhesion substrate : [abstract]},
  year      = {2004},
  abstract  = {Mechanical stimulation of the cells resulted in evident changes in the cell morphology, protein composition and gene expression. Microscopically, additional formation of stress fibers accompanied by cell re-arrangements in a monolayer was observed. Also, significant activation of p53 gene was revealed as compared to control. Interestingly, the use of CellTech membrane coating induced cell death after mechanical stress had been applied. Such an effect was not detected when fibronectin had been used as an adhesion substrate.},
  subject      = {Fibroblast},
  language  = {en}
}
@article{Staat2004,
  author    = {Staat, Manfred},
  title     = {Plastic collapse analysis of longitudinally flawed pipes and vessels},
  year      = {2004},
  abstract  = {Improved collapse loads of thick-walled, crack containing pipes and vessels are suggested. Very deep cracks have a residual strength which is better modelled by a global limit load. In all burst tests, the ductility of pressure vessel steels was sufficiently high whereby the burst pressure could be predicted by limit analysis with no need to apply fracture mechanics. The relative prognosis error increases however, for long and deep defects due to uncertainties of geometry and strength data.},
  subject      = {Druckbeh{\"a}lter},
  language  = {en}
}
@article{VuStaat2004,
  author    = {Vu, Duc-Khoi and Staat, Manfred},
  title     = {An algorithm for shakedown analysis of structure with temperature dependent yield stress},
  year      = {2004},
  abstract  = {This work is an attempt to answer the question: How to use convex programming in shakedown analysis of structures made of materials with temperature-dependent properties. Based on recently established shakedown theorems and formulations, a dual relationship between upper and lower bounds of the shakedown limit load is found, an algorithmfor shakedown analysis is proposed. While the original problem is neither convex nor concave, the algorithm presented here has the advantage of employing convex programming tools.},
  subject      = {Einspielen <Werkstoff>},
  language  = {en}
}
@article{KuehnHaugnerStaatetal.2004,
  author    = {K{\"u}hn, Raoul-Roman and Haugner, Werner and Staat, Manfred and Sponagel, Stefan},
  title     = {A Two Phase Mixture Model based on Bone Observation},
  year      = {2004},
  abstract  = {An optimization method is developed to describe the mechanical behaviour of the human cancellous bone. The method is based on a mixture theory. A careful observation of the behaviour of the bone material leads to the hypothesis that the bone density is controlled by the principal stress trajectories (Wolff's law). The basic idea of the developed method is the coupling of a scalar value via an eigenvalue problem to the principal stress trajectories. On the one hand this theory will permit a prediction of the reaction of the biological bone structure after the implantation of a prosthesis, on the other hand it may be useful in engineering optimization problems. An analytical example shows its efficiency.},
  subject      = {Knochen},
  language  = {en}
}
@inproceedings{KraftSchneider2005,
  author    = {Kraft, Bodo and Schneider, Gerd},
  title     = {Semantic Roomobjects for Conceptual Design Support : A Knowledge-based Approach},
  isbn      = {978-1-4020-3460-2},
  year      = {2005},
  abstract  = {In: Computer Aided Architectural Design Futures 2005 2005, Part 4, 207-216, DOI: http://dx.doi.org/10.1007/1-4020-3698-1_19 The conceptual design at the beginning of the building construction process is essential for the success of a building project. Even if some CAD tools allow elaborating conceptual sketches, they rather focus on the shape of the building elements and not on their functionality. We introduce semantic roomobjects and roomlinks, by way of example to the CAD tool ArchiCAD. These extensions provide a basis for specifying the organisation and functionality of a building and free architects being forced to directly produce detailed constructive sketches. Furthermore, we introduce consistency analyses of the conceptual sketch, based on an ontology containing conceptual relevant knowledge, specific to one class of buildings.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftWilhelms2005,
  author    = {Kraft, Bodo and Wilhelms, Nils},
  title     = {Visual Knowledge Specification for Conceptual Design},
  year      = {2005},
  abstract  = {Proc. of the 2005 ASCE Intl. Conf. on Computing in Civil Engineering (ICCC 2005) eds. L. Soibelman und F. Pena-Mora, Seite 1-14, ASCE (CD-ROM), Cancun, Mexico, 2005 Current CAD tools are not able to support the fundamental conceptual design phase, and none of them provides consistency analyses of sketches produced by architects. To give architects a greater support at the conceptual design phase, we develop a CAD tool for conceptual design and a knowledge specification tool allowing the definition of conceptually relevant knowledge. The knowledge is specific to one class of buildings and can be reused. Based on a dynamic knowledge model, different types of design rules formalize the knowledge in a graph-based realization. An expressive visual language provides a user-friendly, human readable representation. Finally, consistency analyses enable conceptual designs to be checked against this defined knowledge. In this paper we concentrate on the knowledge specification part of our project.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{KraftRetkowitz2005,
  author    = {Kraft, Bodo and Retkowitz, Daniel},
  title     = {Operationale Semantikdefinition f{\"u}r konzeptuelles Regelwissen},
  year      = {2005},
  abstract  = {In: Forum Bauinformatik 2005 : junge Wissenschaftler forschen / [Lehrstuhl Bauinformatik, Brandenburgische Technische Universit{\"a}t Cottbus. Frank Schley ... (Hrsg.)]. - Cottbus : Techn. Universit{\"a}t 2005. S. 1-10 ISBN 3-934934-11-0 Mittels eines operationalen Ansatzes zur Semantikdefinition wird am Bei-spiel des konzeptuellen Geb{\"a}udeentwurfs ein Regelsystem formalisiert. Dazu werdenzwei Teile, zum einen das Regelwissen, zum anderen ein konzeptueller Entwurfsplan zun{\"a}chst informell eingef{\"u}hrt und dann formal beschrieben. Darauf aufbauend wird die Grundlage f{\"u}r eine Konsistenzpr{\"u}fung des konzeptuellen Entwurfs gegen das Regel-wissen formal angeben},
  subject      = {CAD},
  language  = {de}
}
@article{Staat2005,
  author    = {Staat, Manfred},
  title     = {Local and global collapse pressure of longitudinally flawed pipes and cylindrical vessels},
  year      = {2005},
  abstract  = {Limit loads can be calculated with the finite element method (FEM) for any component, defect geometry, and loading. FEM suggests that published long crack limit formulae for axial defects under-estimate the burst pressure for internal surface defects in thick pipes while limit loads are not conservative for deep cracks and for pressure loaded crack-faces. Very deep cracks have a residual strength, which is modelled by a global collapse load. These observations are combined to derive new analytical local and global collapse loads. The global collapse loads are close to FEM limit analyses for all crack dimensions.},
  subject      = {Finite-Elemente-Methode},
  language  = {en}
}
@article{Staat2005,
  author    = {Staat, Manfred},
  title     = {Direct finite element route for design-by-analysis of pressure components},
  year      = {2005},
  abstract  = {In the new European standard for unfired pressure vessels, EN 13445-3, there are two approaches for carrying out a Design-by-Analysis that cover both the stress categorization method (Annex C) and the direct route method (Annex B) for a check against global plastic deformation and against progressive plastic deformation. This paper presents the direct route in the language of limit and shakedown analysis. This approach leads to an optimization problem. Its solution with Finite Element Analysis is demonstrated for mechanical and thermal actions. One observation from the examples is that the so-called 3f (3Sm) criterion fails to be a reliable check against progressive plastic deformation. Precise conditions are given, which greatly restrict the applicability of the 3f criterion.},
  subject      = {Einspielen <Werkstoff>},
  language  = {en}
}
@inproceedings{KraftRetkowitz2006,
  author    = {Kraft, Bodo and Retkowitz, Daniel},
  title     = {Graph Transformations for Dynamic Knowledge Processing},
  year      = {2006},
  abstract  = {In: Proceedings of the 39th Annual Hawaii International Conference on System Sciences, 2006. HICSS '06 http://dx.doi.org/10.1109/HICSS.2006.200 The conceptual design phase at the beginning of the building construction process is not adequately supported by any CAD-tool. Conceptual design support needs regarding two aspects: first, the architect must be able to develop conceptual sketches that provide abstraction from constructive details. Second, conceptually relevant knowledge should be available to check these conceptual sketches. The paper deals with knowledge to formalize for conceptual design. To enable domain experts formalizing knowledge, a graph-based specification is presented that allows the development of a domain ontology and design rules specific for one class of buildings at runtime. The provided tool support illustrates the introduced concepts and demonstrates the consistency analysis between knowledge and conceptual design.},
  subject      = {CAD},
  language  = {de}
}
@inproceedings{KraftRetkowitz2006,
  author    = {Kraft, Bodo and Retkowitz, Daniel},
  title     = {Rule-Dependencies for Visual Knowledge Specification in Conceptual Design},
  year      = {2006},
  abstract  = {In: Proc. of the 11th Intl. Conf. on Computing in Civil and Building Engineering (ICCCBE-XI) ed. Hugues Rivard, Montreal, Canada, Seite 1-12, ACSE (CD-ROM), 2006 Currently, the conceptual design phase is not adequately supported by any CAD tool. Neither the support while elaborating conceptual sketches, nor the automatic proof of correctness with respect to effective restrictions is currently provided by any commercial tool. To enable domain experts to store the common as well as their personal domain knowledge, we develop a visual language for knowledge formalization. In this paper, a major extension to the already existing concepts is introduced. The possibility to define rule dependencies extends the expressiveness of the knowledge definition language and contributes to the usability of our approach.},
  subject      = {CAD},
  language  = {en}
}
@inproceedings{PoghossianSchumacherKloocketal.2006,
  author    = {Poghossian, Arshak and Schumacher, Kerstin and Kloock, Joachim P. and Rosenkranz, Christian and Schultze, Joachim W. and M{\"u}ller-Veggian, Mattea and Sch{\"o}ning, Michael Josef},
  title     = {Functional testing and characterisation of ISFETs on wafer level by means of a micro-droplet cell},
  url       = {http://nbn-resolving.de/urn:nbn:de:hbz:a96-opus-1259},
  year      = {2006},
  abstract  = {A wafer-level functionality testing and characterisation system for ISFETs (ionsensitive field-effect transistor) is realised by means of integration of a specifically designed capillary electrochemical micro-droplet cell into a commercial wafer prober-station. The developed system allows the identification and selection of "good" ISFETs at the earliest stage and to avoid expensive bonding, encapsulation and packaging processes for nonfunctioning ISFETs and thus, to decrease costs, which are wasted for bad dies. The developed system is also feasible for wafer-level characterisation of ISFETs in terms of sensitivity, hysteresis and response time. Additionally, the system might be also utilised for wafer-level testing of further electrochemical sensors.},
  subject      = {Biosensor},
  language  = {en}
}
@inproceedings{WagnerSchoening2006,
  author    = {Wagner, Torsten and Sch{\"o}ning, Michael Josef},
  title     = {Preface of the Special Issue of I3S 2005 in J{\"u}lich (Germany)},
  url       = {http://nbn-resolving.de/urn:nbn:de:hbz:a96-opus-1365},
  year      = {2006},
  abstract  = {International Symposium on Sensor Science, I3S 2005 <3; 2005; Juelich, Germany> In: Sensors 2006, 6, 260-261 ISSN 1424-8220},
  subject      = {Biosensor},
  language  = {en}
}