TY - CHAP A1 - Kraft, Bodo A1 - Meyer, Oliver A1 - Nagl, Manfred T1 - Graph technology support for conceptual design in civil engineering N2 - 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ü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. KW - CAD KW - CAD ; KW - CAD KW - civil engineering Y1 - 2002 SN - 3-18-318004-9 ER - TY - JOUR A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Visual Knowledge Specification for Conceptual Design: Definition and Tool Support N2 - 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. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2007 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 - Nagl, Manfred T1 - Semantic tool support for conceptual design N2 - ITCE-2003 - 4th Joint Symposium on Information Technology in Civil Engineering ed Flood, I., Seite 1-12, ASCE (CD-ROM), Nashville, USA In this paper we discussed graph based tools to support architects during the conceptual design phase. Conceptual Design is defined before constructive design; the used concepts are more abstract. We develop two graph based approaches, a topdown using the graph rewriting system PROGRES and a more industrially oriented approach, where we extend the CAD system ArchiCAD. In both approaches, knowledge can be defined by a knowledge engineer, in the top-down approach in the domain model graph, in the bottom-up approach in the in an XML file. The defined knowledge is used to incrementally check the sketch and to inform the architect about violations of the defined knowledge. Our goal is to discover design error as soon as possible and to support the architect to design buildings with consideration of conceptual knowledge. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2003 ER - TY - JOUR A1 - Kraft, Bodo A1 - Nagl, Manfred T1 - Graphbasierte Werkzeuge zur Unterstützung des konzeptuellen Gebäudeentwurfs JF - Vernetzt-kooperative Planungsprozesse im Konstruktiven Ingenieurbau : Grundlagen, Methoden, Anwendung und Perspektiven zur vernetzten Ingenieurkooperation / Uwe Rüppel (Hrsg.) Y1 - 2007 SN - 978-3-540-68102-1 SP - 155 EP - 175 PB - Springer CY - Berlin ER - TY - JOUR A1 - Kraft, Bodo A1 - Nobisrath, Ulrich A1 - Salumaa, Priit A1 - Schultchen, Erhard T1 - Fujaba based Tool Development for eHome Systems / Nobisrath, Ulrich ; Salumaa, Priit ; Schultchen, Erhard ; Kraft, Bodo JF - Electronic Notes in Theoretical Computer Science. 127 (2004), H. 1 Y1 - 2004 SN - 1571-0661 N1 - Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004) SP - 89 EP - 99 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 - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Graph Transformations for Dynamic Knowledge Processing N2 - 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. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2006 ER - TY - CHAP A1 - Kraft, Bodo A1 - Retkowitz, Daniel T1 - Rule-Dependencies for Visual Knowledge Specification in Conceptual Design N2 - 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. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2006 ER - TY - CHAP A1 - Kraft, Bodo A1 - Schneider, Gerd T1 - Semantic Roomobjects for Conceptual Design Support : A Knowledge-based Approach N2 - 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. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2005 SN - 978-1-4020-3460-2 ER - TY - CHAP A1 - Kraft, Bodo A1 - Wilhelms, N. T1 - Interactive distributed knowledge support for conceptual building design N2 - 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. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2004 SN - 3-86068-213-X ER - TY - CHAP A1 - Kraft, Bodo A1 - Wilhelms, Nils T1 - Visual Knowledge Specification for Conceptual Design N2 - 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. KW - CAD KW - CAD KW - Bauingenieurwesen KW - CAD KW - civil engineering Y1 - 2005 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 - JOUR A1 - Kramer, Friederike A1 - Halamkova, Lenka A1 - Poghossian, Arshak A1 - Schöning, Michael Josef A1 - Katz, Evgeny A1 - Halamek, Jan T1 - Biocatalytic analysis of biomarkers for forensic identification of ethnicity between Caucasian and African American JF - The analyst. August 2013 Y1 - 2013 SN - 1364-5528 (E-Journal); 0003-2654 (Print) VL - Vol. 138 SP - 6251 EP - 6257 PB - Royal Society of Chemistry CY - Cambridge ER - TY - CHAP A1 - Kremers, Alexander A1 - Pieper, Martin T1 - Simulation and Verification of Bionic Heat Exchangers with COMSOL Multiphysics® Software T2 - COMSOL Conference 2015 User Presentations ; COMSOL Conference 2015 Grenoble October 14 - 16, 2015 - World Trade Center, Grenoble, France Y1 - 2015 PB - COMSOL CY - Göttingen ; Berlin ER - TY - CHAP A1 - Kreutz, Christian A1 - Lörgen, Jürgen A1 - Graewe, Boris A1 - Bargon, Joachim A1 - Yoshida, Mayumi A1 - Freso, Zachary M. A1 - Frèchet, Jean M. J. T1 - High frequency quartz micro balances: a promising path to enhanced sensitivity of gravimetric sensors N2 - An array of 50 MHz quartz microbalances (QMBs) coated with a dendronized polymer was used to detect small amounts of volatile organic compounds (VOCs) in the gas phase. The results were compared to those obtained with the commonly used 10 MHz QMBs. The 50 MHz QMBs proved to be a powerful tool for the detection of VOCs in the gas phase; therefore, they represent a promising alternative to the much more delicate surface acoustic wave devices (SAWs). KW - Biosensor KW - Quartz micro balances KW - electronic noses dendronized polymers inverted mesa technology Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:a96-opus-1445 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 - JOUR A1 - Krome, Cornelia A1 - Höft, Jan A1 - Sander, Volker T1 - Clustering time series applied to energy markets JF - Energy Informatics Y1 - 2019 U6 - http://dx.doi.org/10.1186/s42162-019-0076-0 SN - 2520-8942 VL - 2 IS - Article numer 17 SP - 1 EP - 20 PB - Springer CY - Berlin ER - TY - CHAP A1 - Krome, Cornelia A1 - Sander, Volker T1 - Time series analysis with apache spark and its applications to energy informatics T2 - Proceedings of the 7th DACH+ Conference on Energy Informatics N2 - In energy economy forecasts of different time series are rudimentary. In this study, a prediction for the German day-ahead spot market is created with Apache Spark and R. It is just an example for many different applications in virtual power plant environments. Other examples of use as intraday price processes, load processes of machines or electric vehicles, real time energy loads of photovoltaic systems and many more time series need to be analysed and predicted. This work gives a short introduction into the project where this study is settled. It describes the time series methods that are used in energy industry for forecasts shortly. As programming technique Apache Spark, which is a strong cluster computing technology, is utilised. Today, single time series can be predicted. The focus of this work is on developing a method to parallel forecasting, to process multiple time series simultaneously with R and Apache Spark. Y1 - 2018 U6 - http://dx.doi.org/10.1186/s42162-018-0043-1 N1 - Energy Informatics 2018, Volume 1 Supplement 1 ER -