TY - CONF AU - Wahby, Mostafa AU - Hamann, Heiko ID - 19959 T2 - Applications of Evolutionary Computation (EvoApplications 2015) TI - On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking ER - TY - CONF AB - Besides the life-as-it-could-be driver of artificial life research there is also the concept of extending natural life by creating hybrids or mixed societies that are built from natural and artificial components. In this paper we motivate and present the research program of the project flora robotica. Our objective is to develop and to investigate closely linked symbiotic relationships between robots and natural plants and to explore the potentials of a plant-robot society able to produce architectural artifacts and living spaces. These robot-plant bio-hybrids create synergies that allow for new functions of plants and robots. They also create novel design opportunities for an architecture that fuses the design and construction phase. The bio-hybrid is an example of mixed societies between 'hard' artificial and 'wet' natural life, which enables an interaction between natural and artificial ecologies. They form an embodied, self-organizing, and distributed cognitive system which is supposed to grow and develop over long periods of time resulting in the creation of meaningful architectural structures. A key idea is to assign equal roles to robots and plants in order to create a highly integrated, symbiotic system. Besides the gain of knowledge, this project has the objective to create a bio-hybrid system with a defined function and application -- growing architectural artifacts. AU - Hamann, Heiko AU - Wahby, Mostafa AU - Schmickl, Thomas AU - Zahadat, Payam AU - Hofstadler, Daniel AU - Stoy, Kasper AU - Risi, Sebastian AU - Faina, Andres AU - Veenstra, Frank AU - Kernbach, Serge AU - Kuksin, Igor AU - Kernbach, Olga AU - Ayres, Phil AU - Wojtaszek, Przemyslaw ID - 19960 SN - 9781479975600 T2 - Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE'15) TI - Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids ER - TY - JOUR AB - Recent approaches in evolutionary robotics (ER) propose to generate behavioral diversity in order to evolve desired behaviors more easily. These approaches require the definition of a behavioral distance, which often includes task-specific features and hence a priori knowledge. Alternative methods, which do not explicitly force selective pressure towards diversity (SPTD) but still generate it, are known from the field of artificial life, such as in artificial ecologies (AEs). In this study, we investigate how SPTD is generated without task-specific behavioral features or other forms of a priori knowledge and detect how methods of generating SPTD can be transferred from the domain of AE to ER. A promising finding is that in both types of systems, in systems from ER that generate behavioral diversity and also in the investigated speciation model, selective pressure is generated towards unpopulated regions of search space. In a simple case study we investigate the practical implications of these findings and point to options for transferring the idea of self-organizing SPTD in AEs to the domain of ER. AU - Hamann, Heiko ID - 19962 JF - Artificial Life SN - 1064-5462 TI - Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards Diversity ER - TY - CONF AB - Aggregation is a crucial task in swarm robotics to ensure cooperation. We investigate the task of aggregation on an area specified indirectly by certain environmental features, here it is a light distribution. We extend the original BEECLUST algorithm, that implements an aggregation behavior, to an adaptive variant that automatically adapts to any light conditions. We compare these two control algorithms in a number of swarm robot experiments with different light conditions. The improved, adaptive variant is found to be significantly better in the tested setup. AU - Wahby, Mostafa AU - Weinhold, Alexander AU - Hamann, Heiko ID - 19966 SN - 9781631901003 T2 - Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS) TI - Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings ER - TY - CONF AU - Wahby, Mostafa AU - Divband Soorati, Mohammad AU - von Mammen, Sebastian AU - Hamann, Heiko ID - 19967 T2 - Proceedings. 25. Computational Intelligence Workshop TI - Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion ER - TY - CONF AB - Fitness function design is known to be a critical feature of the evolutionary-robotics approach. Potentially, the complexity of evolving a successful controller for a given task can be reduced by integrating a priori knowledge into the fitness function which complicates the comparability of studies in evolutionary robotics. Still, there are only few publications that study the actual effects of different fitness functions on the robot's performance. In this paper, we follow the fitness function classification of Nelson et al. (2009) and investigate a selection of four classes of fitness functions that require different degrees of a priori knowledge. The robot controllers are evolved in simulation using NEAT and we investigate different tasks including obstacle avoidance and (periodic) goal homing. The best evolved controllers were then post-evaluated by examining their potential for adaptation, determining their convergence rates, and using cross-comparisons based on the different fitness function classes. The results confirm that the integration of more a priori knowledge can simplify a task and show that more attention should be paid to fitness function classes when comparing different studies. AU - Hamann, Heiko AU - Divband Soorati, Mohammad ID - 19980 T2 - Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015) TI - The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge ER - TY - CONF AU - Hamann, Heiko AU - Schmickl, Thomas AU - Zahadat, Payam ID - 19988 T2 - 13th European Conference on Artificial Life (ECAL 2015) TI - Evolving Collective Behaviors With Diverse But Predictable Sensor States ER - TY - CHAP AU - Hamann, Heiko AU - Correll, Nikolaus AU - Kacprzyk, Janusz AU - Pedrycz, Witold ID - 19989 T2 - Springer Handbook of Computational Intelligence TI - Probabilistic Modeling of Swarming Systems ER - TY - CONF AU - Ding, Hongli AU - Hamann, Heiko ID - 19990 T2 - First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015) TI - Dependability in Swarm Robotics: Error Detection and Correction ER - TY - CONF AU - Hamann, Heiko AU - Schmickl, Thomas AU - Kengyel, Daniela AU - Zahadat, Payam AU - Radspieler, Gerald AU - Wotawa, Franz ID - 19991 T2 - Principles and Practice of Multi-Agent Systems (PRIMA 2015) TI - Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms ER - TY - JOUR AU - Valentini, Gabriele AU - Hamann, Heiko ID - 19992 JF - Swarm Intelligence SN - 1935-3812 TI - Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes ER - TY - CONF AU - Dorigo, Marco AU - Hamann, Heiko AU - Valentini, Gabriele ID - 20005 T2 - Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015) TI - Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off ER - TY - CONF AU - Dorigo, Marco AU - Hamann, Heiko AU - Valentini, Gabriele ID - 20006 T2 - AAAI-15 Video Proceedings TI - Self-organized collective decisions in a robot swarm ER - TY - CONF AU - Kaveh, Mahdi AU - Pourmohammad, Javad AU - Hassanalian, Mostafa AU - Nili Ahmadabadi, Mahdi AU - Otroshi, Mortaza ID - 20153 TI - Optimized method in sizing of Flapping Wing ER - TY - CONF AB - The Collaborative Research Centre "On-The-Fly Computing" works on foundations and principles for the vision of the Future Internet. It proposes the paradigm of On-The-Fly Computing, which tackles emerging worldwide service markets. In these markets, service providers trade software, platform, and infrastructure as a service. Service requesters state requirements on services. To satisfy these requirements, the new role of brokers, who are (human) actors building service compositions on the fly, is introduced. Brokers have to specify service compositions formally and comprehensively using a domain-specific language (DSL), and to use service matching for the discovery of the constituent services available in the market. The broker's choice of the DSL and matching approaches influences her success of building compositions as distinctive properties of different service markets play a significant role. In this paper, we propose a new approach of engineering a situation-specific DSL by customizing a comprehensive, modular DSL and its matching for given service market properties. This enables the broker to create market-specific composition specifications and to perform market-specific service matching. As a result, the broker builds service compositions satisfying the requester's requirements more accurately. We evaluated the presented concepts using case studies in service markets for tourism and university management. AU - Arifulina, Svetlana AU - Platenius, Marie Christin AU - Mohr, Felix AU - Engels, Gregor AU - Schäfer, Wilhelm ID - 280 T2 - Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet TI - Market-Specific Service Compositions: Specification and Matching ER - TY - JOUR AB - Background Understanding changes in dietary intake during puberty could aid the mapping of dietary interventions for primary prevention. The present study describes dietary changes from childhood to adolescence, and their associations with parental education, family income, child education, body mass index (BMI), pubertal onset and screen-time sedentary behaviour. Methods Dietary data (n = 1232) were obtained from food frequency questionnaires at the 10- and 15-year follow-ups of the GINIplus birth cohort study. Intakes of 17 food groups, macronutrients and antioxidant vitamins, were described by a) paired Wilcoxon rank sum tests, comparing average intakes at each time-point, and b) Cohen’s kappa “tracking” coefficients, measuring stability of intakes (maintenance of relative tertile positions across time). Further, associations of changes (tertile position increase or decrease vs. tracking) with parental education, family income, child education, pubertal onset, BMI, and screen-time, were assessed by logistic regression and multinomial logistic regression models stratified by baseline intake tertile. Results Both sexes increased average intakes of water and decreased starchy vegetables, margarine and dairy. Females decreased meat and retinol intakes and increased vegetables, grains, oils and tea. Males decreased fruit and carbohydrates and increased average intakes of meat, caloric drinks, water, protein, fat, polyunsaturated fatty acids (PUFAs), vitamin C and alpha-tocopherol. Both sexes presented mainly “fair” tracking levels [κw = 0.21–0.40]. Females with high (vs. low) parental education were more likely to increase their nut intake [OR = 3.8; 95 % CI = (1.7;8.8)], and less likely to decrease vitamin C intakes [0.2 (0.1;0.5)], while males were less likely to increase egg consumption [0.2 (0.1;0.5)] and n3 PUFAs [0.2 (0.1;0.5)]. Females with a higher (vs. low) family income were more likely to maintain medium wholegrain intakes [0.2 (0.1;0.7) for decrease vs. tracking, and 0.1 (0.0;0.5) for increase vs. tracking], and were less likely to decrease vitamin C intakes [0.2 (0.1;0.6)]. Males with high education were less likely to increase sugar-sweetened foods [0.1 (0.1;0.4)]. Finally, BMI in females was negatively associated with decreasing protein intakes [0.7 (0.6;0.9)]. In males BMI was positively associated with increasing margarine [1.4 (1.1;1.6)] and vitamin C intakes [1.4 (1.1;1.6)], and negatively associated with increasing n3 PUFA. Conclusions Average dietary intakes changed significantly, despite fair tracking levels, suggesting the presence of trends in dietary behaviour during puberty. Family income and parental education predominantly influenced intake changes. Our results support the rationale for dietary interventions targeting children, and suggest that sex-specific subpopulations, e.g. low socio-economic status, should be considered for added impact. AU - Harris, Carla AU - Flexeder, Claudia AU - Thiering, Elisabeth AU - Buyken, Anette AU - Berdel, Dietrich AU - Koletzko, Sibylle AU - Bauer, Carl-Peter AU - Brüske, Irene AU - Koletzko, Berthold AU - Standl, Marie ID - 28015 JF - BMC Public Health KW - Puberty KW - Dietary intake KW - Dietary changes KW - Tracking KW - Determinants KW - Epidemiology TI - Changes in dietary intake during puberty and their determinants: results from the GINIplus birth cohort study VL - 15 ER - TY - JOUR AU - Bloh, Thiemo AU - Bloh, Bea AU - van Ophuysen, Stefanie ID - 28033 IS - 4 JF - Empirische Pädagogik TI - Lernpotential durch Lehrerkooperation. Vorstellung eines Analyseansatzes zur Erfassung erfahrungsbezogener Lerngelegenheiten. VL - 29 ER - TY - GEN AU - Rojahn, Tobias ID - 281 TI - Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network ER - TY - JOUR AU - Gries, Thomas AU - Naudé, Wim AU - Bilkic, Natascha ID - 2815 JF - The Quarterly Review of Economics and Finance TI - Playing the Lottery or Dressing Up? A Model of Firm-Level Heterogeneity and the Decision to Export VL - 58 ER - TY - JOUR AU - Gries, Thomas AU - Feng, Yuanhua AU - Guo, Zhichao ID - 2816 IS - 2 JF - China Agricultural Economic Review TI - Changes of China’s agri-food exports to Germany caused by its accession to WTO and the 2008 financial crisis VL - 7 ER - TY - GEN AU - Kirsch, Michelle ID - 282 TI - Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern ER - TY - JOUR AU - Iwanek, Peter AU - Dumitrescu, Roman AU - Reinhart, Felix AU - Brandis, Rinje ID - 28210 JF - productivITy (4 / 2015) TI - Expertensystem zur Steigerung der Effizienz im Bereich der Produktion ER - TY - GEN AU - Han, K. AU - Kundisch, Dennis AU - Weinhardt, C. AU - Zimmermann, Steffen ID - 2822 TI - Economics and Value of IS VL - 57 (5) ER - TY - THES AU - Bauer, Frank ID - 28222 SN - 978-3-942647-60-1 TI - Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung VL - 341 ER - TY - GEN AU - Gausemeier, Jürgen AU - Dumitrescu, Roman AU - Rammig, Franz-Josef AU - Schäfer, Wilhelm AU - Trächtler, Ansgar ID - 28223 SN - 978-3-942647-62-5 TI - 10. Paderborner Workshop Entwurf mechatronischer Systeme VL - 343 ER - TY - GEN AU - Gausemeier, Jürgen ID - 28224 SN - 978-3-942647-66-3 TI - Vorausschau und Technologieplanung. 11. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015 VL - 347 ER - TY - CONF AB - Today, software verification is an established analysis method which can provide high guarantees for software safety. However, the resources (time and/or memory) for an exhaustive verification are not always available, and analysis then has to resort to other techniques, like testing. Most often, the already achieved partial verification results arediscarded in this case, and testing has to start from scratch.In this paper, we propose a method for combining verification and testing in which testing only needs to check the residual fraction of an uncompleted verification. To this end, the partial results of a verification run are used to construct a residual program (and residual assertions to be checked on it). The residual program can afterwards be fed into standardtesting tools. The proposed technique is sound modulo the soundness of the testing procedure. Experimental results show that this combinedusage of verification and testing can significantly reduce the effort for the subsequent testing. AU - Czech, Mike AU - Jakobs, Marie-Christine AU - Wehrheim, Heike ED - Egyed, Alexander ED - Schaefer, Ina ID - 283 T2 - Fundamental Approaches to Software Engineering TI - Just test what you cannot verify! ER - TY - CONF AU - Hassan, Bassem AU - Stöcklein, Jörg AU - Berssenbrügge, Jan ED - Shumaker, Randall ED - Lackey, Stephanie ID - 28301 T2 - Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015; LNCS 9179 TI - ARTiST - An Augmented Reality Testbed for Intelligent Technical Systems VL - LNCS 9179 ER - TY - JOUR AU - Trächtler, Ansgar AU - Iwanek, Peter AU - Scheffels, Gerald ID - 28302 JF - elektrotechnik - Automatisierung Sonderausgabe TI - Der Mensch als Vorbild ER - TY - CONF AB - The development of software-intensive technical systems (e.g., within the automotive industry) involves several engineering disciplines like mechanical, electrical, control, and software engineering. Model-based Systems Engineering (MBSE) coordinates these disciplines throughout the development by means of discipline-spanning processes and system models. Such a system model provides a common understanding of the system under development and serves as a starting point for the discipline-specific development. An integral part of MBSE is the requirements engineering on the system level. However, for the discipline-specific development to start, these requirements need to be refined, e.g., into specific requirements for the embedded software. Since existing MBSE approaches lack support for this refinement step, we conceived a systematic transition from MBSE to model-based software requirements engineering, which we present in this paper. We automated the steps of the transition where possible, in order to avoid error-prone and time-consuming manual tasks. We illustrate the approach with an example of an automotive embedded system. AU - Holtmann, Jörg AU - Bernijazov, Ruslan AU - Meyer, Matthias AU - Schmelter, David AU - Tschirner, Christian ID - 28303 T2 - Proceedings of the International Conference on Software and Systems Process (ICSSP) TI - Integrated Systems Engineering and Software Requirements Engineering for Technical Systems ER - TY - JOUR AB - In this sequel paper, the previously presented framework for the planning and optimisation of functionally graded components Biermann et al. (Production Engineering Research & Development 7(6):657–664, 2013) is applied within a case study. In addition to the application, the implementational infrastructure of the framework is provided and the preliminaries for applying the framework to the respective production system are presented. Hence, the practical realisation of the models and methods is documented. In the context of the case study, each step of the planning process is demonstrated in a visually assisted way. These visualisations are based on the specific steps of the wizard guiding the planner through the framework. As a central contribution, the specification of a non-trivial gradation and the planning of the corresponding process chain by means of the planning framework are demonstrated. AU - Biermann, Dirk AU - Gausemeier, Jürgen AU - Heim, Hans-Peter AU - Hess, Stefan AU - Petersen, Marcus AU - Ries, Angela AU - Wagner, T. ID - 28304 JF - Production Engineering Research & Development 9(3) TI - Planning and Optimisation of Manufacturing Process Chains for Functionally Graded Components – Part 2: Case Study on Self-reinforced Thermoplastic Composites ER - TY - CONF AU - Berssenbrügge, Jan AU - Trächtler, Ansgar AU - Schmidt, Christoph ID - 28305 T2 - Proceedings of the ASME 2015 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference TI - Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems ER - TY - CONF AU - Bremer, Christian AU - Dumitrescu, Roman AU - Gausemeier, Jürgen ID - 28306 T2 - Stuttgarter Symposium für Produktentwicklung - SSP 2015 TI - Zustandsorientierte Modellierung flexibler Produktionssysteme ER - TY - CONF AB - In case of an unplanned machine breakdown, alternative resources have to be found quickly to avoid delays in following process steps. In order to counter this, an automated determination of alternative CNC-machines and a reliable validation is proposed. First, a rough process description is extracted from the NC program. Second, a suitable machine is searched in an ontology based on the rough process description. The ontology contains a description of all needed properties of a machine and rules to derive the resulting capabilities. Third, the NC program is validated on a virtual machine to ensure the absence of errors. AU - Rehage, Gerald AU - Gausemeier, Jürgen ID - 28307 T2 - 15th CIRP Conference on Modelling of Machining Operations (15th CMMO), Band 31 TI - Ontology-based determination of alternative CNC machines for a flexible resource allocation ER - TY - CONF AU - Eckelt, Daniel AU - Gausemeier, Jürgen ID - 28308 T2 - IP: Kooperation, Wettbewerb, Konfrontation, 37. Kollequium der TU Ilmenau über Patentinformationen, Band 37 TI - Vorsprung durch strategisches IP-Management - Gestiges Eigentum kennen, schützen und nutzen ER - TY - CONF AU - Rübbelke, René AU - Söllner, Christoph AU - Gausemeier, Jürgen ID - 28309 T2 - 24th International Association for Management of Technology Conference, Nr. 24 TI - Balancing the Strategic Product Portfolio based on Market and Competence Needs ER - TY - CONF AU - Placzek, Markus AU - Eberling, Christian AU - Gausemeier, Jürgen ID - 28310 T2 - 24th International Association for Management of Technology Conference Proceedings, Band 24 TI - Conception of a Knowledge Management System for Technologies ER - TY - CONF AU - Amshoff, Benjamin AU - Dülme, Christian AU - Echterfeld, Julian AU - Gausemeier, Jürgen ID - 28311 TI - Tagungsband zum Stuttgarter Symposium für Produktentwicklung (SSP) ER - TY - JOUR AU - Amshoff, Benjamin AU - Dülme, Christian AU - Echterfeld, Julian AU - Gausemeier, Jürgen ID - 28312 JF - International Journal of Innovation Management 19(3) TI - BUSINESS MODEL PATTERNS FOR DISRUPTIVE TECHNOLOGIES ER - TY - CONF AU - Echterfeld, Julian AU - Amshoff, Benjamin AU - Gausemeier, Jürgen ID - 28314 T2 - International Association for Management of Technology (IAMOT) TI - HOW TO USE BUSINESS MODEL PATTERNS FOR EXPLOITING DISRUPTIVE TECHNOLOGIES ER - TY - JOUR AU - Wiederkehr, Olga AU - Echterfeld, Julian AU - Gausemeier, Jürgen AU - Lehner, Anne-Christin ID - 28315 JF - Stuttgarter Symposium für Produktentwicklung (SSP) 2015 TI - Modellorientierte Vernetzung von Strategischer Produktplanung und Produktentwicklung ER - TY - CONF AU - Abdelgawad, Kareem AU - Hassan, Bassem AU - Berssenbrügge, Jan AU - Stöcklein, Jörg AU - Grafe, Michael ID - 28316 T2 - International Journal On Advances in Software, Band 8 TI - A Modular Architecture of an Interactive Simulation and Training Environment for Advanced Driver Assistance Systems ER - TY - CONF AB - his paper examines the system protection for cyber-physical systems (CPS). CPS are particularly characterized by their networking system components. This means they are able to adapt to the needs of their users and its environment. With this ability, CPS have new, specific requirements on the protection against anti-counterfeiting, know-how loss and manipulation. They increase the requirements on system protection because piracy attacks can be more diverse, for example because of an increasing number of interfaces or through the networking abilities. The new requirements were identified and in a next step matched with existing protective measures. Due to the found gap the development of new protection measures has to be forced to close this gap. Moreover a comparison of the effectiveness between selected measures was realized and the first results are presented in this paper. AU - Kliewe, Daniel AU - Kühn, Arno AU - Dumitrescu, Roman AU - Gausemeier, Jürgen ID - 28317 T2 - International Science Index, Band 9-5 TI - Challenges in Anti-Counterfeiting of Cyber-Physical Systems ER - TY - CONF AU - Berssenbrügge, Jan AU - Wiederkehr, Olga AU - Jähn, Claudius AU - Fischer, Matthias ID - 28318 T2 - 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342 TI - Anbindung des Virtuellen Prototypen an die Partialmodelle intelligenter technischer Systeme ER - TY - CONF AU - Berssenbrügge, Jan AU - Trächtler, Ansgar AU - Schmidt, Christoph AU - Stöcklein, Jörg AU - Grafe, Michael ID - 28319 T2 - 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342 TI - Visualisierung von Scheinwerfersystemen für das Virtual Prototyping von lichtbasierten Fahrerassistenzsystemen ER - TY - CONF AU - Hassan, Bassem AU - Gausemeier, Jürgen AU - Abdelgawad, Kareem AU - Berssenbrügge, Jan AU - Grafe, Michael ID - 28320 T2 - 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342 TI - Systematik für die Entwicklung von rekonfigurierbaren Fahrsimulatoren ER - TY - CONF AB - Der Lebenszyklus von Produktionssystemen besteht nach Wiendahl et al. aus den drei Phasen Planung und Realisierung, Betrieb und Redistribution (Wiendahl et al. in Anlaufrobuste Produktionssysteme. Werkstattstechnik (wt) online, Jahrg. 92, Ausgabe 11/12, 2002, S. 650-655). Jede Phase enthält vielfältige Aufgaben die maßgeblich vom Fach- und Erfahrungswissen der Mitarbeiter abhängen. In der ersten Phase werden unter anderem die Fertigungsprozesse und -ressourcen festgelegt. Hierfür bedarf es genauer Kenntnisse über die zu fertigenden Bauteile, benötigten Prozesse und geeigneten Ressourcen selbst sowie deren Abhängigkeiten untereinander. In der Betriebsphase des Produktionssystems muss auf Maschinenausfälle oder Eilaufträge mit Um- bzw. Neuplanungen von Ressourcen reagiert werden. Das benötigte Wissen im Lebenszyklus von Produktionssystemen verteilt sich in der Regel auf verschiedene Personen und eine Vielzahl unterschiedlicher Dokumente; teilweise ist es auch nur implizit vorhanden. Demzufolge liegt es verteilt und unstrukturiert vor und eignet sich nicht für eine bedarfsgerechte Bereitstellung. Darüber hinaus fehlt eine Semantik, die das vorhandene Wissen in Beziehung setzt und durch automatisierte Schlussfolgerungen ergänzt. Hierfür bieten wissensbasierte Systeme (WBS) auf Basis von Ontologien einen vielversprechenden Lösungsansatz. Diese bieten eine Semantik und Inferenz zur Wissensmodellierung und ermöglichen den effizienten Zugriff auf das benötigte Wissen. Dies verspricht eine große Zeitersparnis bei den Aufgaben im Lebenszyklus von Produktionssystemen, auch im Hinblick auf die immer kürzer werdenden Produktlebenszyklen. Der Beitrag beschreibt den Aufbau von drei Ontologien für das Wissensmanagement im Rahmen verschiedener Aufgaben. Ferner werden die Vorteile durch den Einsatz von Ontologien praxisorientiert anhand eines Produktionssystems für eine Taschenlampe dargestellt. AU - Petersen, Marcus AU - Rehage, Gerald AU - Gausemeier, Jürgen AU - Bauer, Frank ED - Gausemeier, Jürgen ED - Dumitrescu, Roman ED - Rammig, Franz-Josef ED - Schäfer, Wilhelm ED - Trächtler, Ansgar ID - 28321 SN - 978-3-942647-62-5 T2 - Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343 TI - Wissensaufbereitung und -bereitstellung durch Ontologien im Lebenszyklus von Produktionssystemen ER - TY - CONF AU - Jähn, Claudius AU - Fischer, Matthias AU - Gerges, Maria AU - Berssenbrügge, Jan ID - 28322 T2 - 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342 TI - Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell ER - TY - CONF AU - Gausemeier, Jürgen AU - Czaja, Anja AU - Dülme, Christian ID - 28323 T2 - Wissenschafts- und Industrieforum Intelligente Technische Systeme 2015 10. Paderborner Workshop Entwurf mechatronischer Systeme, Band 343 TI - Innovationspotentiale auf dem Weg zu Industrie 4.0 ER - TY - JOUR AU - Frieben, Tanja AU - Schneider, Marcel AU - Gausemeier, Jürgen AU - Trächtler, Ansgar ID - 28324 JF - ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb 110(4) TI - Virtuelle Inbetriebnahme mit wählbarer Modellierungstiefe ER - TY - BOOK ED - Gausemeier, Jürgen ED - Grafe, Michael ED - Meyer auf der Heide, Friedhelm ID - 28325 TI - Augmented & Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR VL - Band 342 ER - TY - CONF AB - Das Paradigma Industrie 4.0 bietet produzierenden Unternehmen große Potentiale hinsichtlich Flexibilitäts- und Produktivitätssteigerungen. Bei der Umsetzung des Paradigmas stehen die Unternehmen jedoch häufig vor der Herausforderung bestehende Produktionssysteme dezentralisieren und mit einer inhärenten Intelligenz nachrüsten zu müssen. Hierfür existieren allerdings noch keine fertigen "Out of the box"-Lösungen, sodass hohe Investitionskosten für die Konzeption und Inbetriebnahme kundenspezifischer Lösungen entstehen. Kosten die kleine und mittlere Unternehmen (KMU) häufig nicht aufbringen können, wodurch ihnen die Umsetzung von Industrie 4.0 wesentlich erschwert wird. Vor diesem Hintergrund besteht ein erheblicher Bedarf an kostengünstigen Ansätzen für den Einstieg in Industrie 4.0. In diesem Beitrag wird ein Konzept zur Dezentralisierung bestehender Produktionssysteme auf Basis kostengünstiger Einplatinenrechner (engl.: Single Board Computer) am Beispiel des Raspberry Pi vorgestellt. Dabei wird jede Komponente eines bestehenden Produktionssystems mit einem Einplatinenrechner bestückt, der anschließend die Anbindung der Komponente an das Produktionsnetzwerk, dessen Rolle sowie die dafür notwendige Datenverarbeitung regelt. Zudem übernimmt der Einplatinenrechner die Kommunikation der Komponente innerhalb des gesamten Netzwerks. Das Konzept umfasst eine Kommunikationsarchitektur für ein Produktionsnetzwerk sowie die darauf aufbauende dezentrale Materialflusssteuerung. Die Absicherung erfolgt anhand von Materialflusssimulationen. Notwendige Erweiterungsmaßnahmen, wie bspw. die Anbindung der SBC an die Produktionsressourcen, zur Umsetzung des Konzepts runden den Beitrag ab. AU - Petersen, Marcus AU - Gausemeier, Jürgen AU - Köchling, Daniel AU - Schneider, Marcel AU - Wellpott, Marcel ID - 28326 SN - 0083-5560 T2 - 24. Deutscher Materialfluss-Kongress mit VDI-Konferenz Shuttle in der Logistik, VDI-Berichte, Band 2234 TI - Industrie 4.0 – Dezentralisierung bestehender Produktionssysteme durch kostengünstige Einplatinenrechner ER - TY - CONF AU - Iwanek, Peter AU - Dumitrescu, Roman AU - Gausemeier, Jürgen ID - 28330 T2 - VDI Mechatroniktagung 2015 TI - Identifikation von Potentialen zur Integration von Lösungen der Selbstoptimierung für technische Systeme des Maschinen- und Anlagenbaus ER - TY - JOUR AU - Wiederkehr, Olga AU - Dumitrescu, Roman AU - Gausemeier, Jürgen ID - 28331 JF - VDI Mechatroniktagung 2015 TI - Systematische Vernetzung von Strategischer Produktplanung und Produktentwicklung ER - TY - CONF AU - Weisske, Alexander AU - Iwanek, Peter AU - Flottmeier, Sarah AU - Czaja, Anja AU - Trächtler, Ansgar AU - Dumitrescu, Roman ID - 28332 T2 - VDI Mechatroniktagung 2015 TI - Planung der Inbetriebnahme mechatronischer Prototypen auf Basis einer disziplinübergreifenden Systemmodellierung ER - TY - THES AU - Vaßholz, Mareen ID - 28333 TI - Systematik zur wirtschaftlichkeitsorientierten Konzipierung Intelligenter Technischer Systeme ER - TY - THES AU - Peitz, Christoph ID - 28334 TI - Systematik zur Entwicklung einer produktlebenszyklusorientierten Geschäftsmodell-Roadmap ER - TY - THES AU - Dorociak, Rafal ID - 28335 TI - Systematik zur frühzeitigen Absicherung der Sicherheit und Zuverlässigkeit fortschrittlicher mechatronischer Systeme VL - Band 340 ER - TY - CHAP AB - Strategische Planung ermöglicht es, frühzeitig auf sich ändernde Markt- und Wettbe-werbsbedingungen zu reagieren. Für strategische Entscheidungen wird eine Vorstellung von der Zukunft benötigt. Das zukünftige Verhalten von Wettbewerbern, Lieferanten, Kunden, Verbänden etc. (Stakeholder) ist dabei eine wesentliche Einflussgröße. Dies birgt große Unsicherheit bzgl. konkreter Entscheidungsprobleme (z.B. Produktstrategie: Wie soll der Wettbewerbsvorsprung über die Produktlebensdauer erhalten bleiben?). Wie diese Stakeholder auf strategische Entscheidungen reagieren, lässt sich allerdings nicht ohne weiteres vorhersagen (z.B. Preiskampf, Innovations-Offensive). Das Fortschreiben bisherigen Verhaltens kann zu Fehleinschätzungen führen. Somit ist es notwendig das Verhalten der relevanten Stakeholder systematisch vorauszudenken. Dabei hilft die Szenario-Technik mögliche Reaktionen zu antizipieren. Wir schlagen ein Vorgehen vor, das sich aus Stakeholder-Analyse und Szenario-Technik zusammensetzt. Dabei zeigen wir, wie Stakeholder identifiziert werden, die den größten Einfluss auf den Erfolg der gewählten Entscheidung haben. Dabei spielen Reaktions-neigung und Betroffenheit eine wesentliche Rolle. Für die relevanten Stakeholder wer-den Verhaltens-Szenarien erstellt. Dazu können ausgehend von einem Katalog Positio-nierungsvariablen mit unterschiedlichen Handlungsoptionen ausgewählt und um situati-onsbedingte Variablen angereichert werden. Die Verhaltens-Szenarien geben Aufschluss über mögliche, konsistente Verhaltensweisen der Stakeholder. Abschließend erläutern wir, wie Referenz-Szenarien auf Basis des Stakeholder-Charakters ausgewählt werden und wie daraus Rückschlüsse für die eigene Entscheidung getroffen werden können. AU - Peter, Stefan AU - Gausemeier, Jürgen AU - Amshoff, Benjamin AU - Koldewey, Christian ID - 28336 T2 - Symposium für Vorausschau und Technologieplanung, Band 347 , Kapitel: 1 TI - Vorausschau von Stakeholder-Verhalten mit der Szenario-Technik ER - TY - CONF AU - Schierbaum, Thomas AU - Gausemeier, Jürgen ED - Gausemeier, Jürgen ED - Dumitrescu, Roman ED - Schäfer, Wilhelm ED - Trächtler, Ansgar ID - 28337 T2 - Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme TI - Systematik zur Kostenbewertung von mechatronischen Systemen in der Technologie Molded Interconnect Devices ER - TY - CHAP AB - Dieser Beitrag untersucht den Einfluss der Aussprache auf die Selbstkonstruktion von Lernenden und deren Bereitschaft, sich auf die zu erlernende Sprache und Kultur einzulassen. Im Gegensatz zu traditionellen Forschungsansätzen wird die Aussprache dabei als subjektiv bedeutsame Dimension im Sprachlernprozess konzipiert, die die Wahrnehmungen der Lernenden gegenüber sich selbst, anderen Sprechenden und dem gesamten Lernkontext stark mitprägt. Die Untersuchungen basieren auf den Narrationen zweier kanadischer Germanistikstudierender, die zwei Semester an deutschen Universitäten verbrachten. Der Selbstfindungs- und Lernprozess beider Studierender im fremden Umfeld wird dabei wesentlich durch ihre Selbstwahrnehmungen gelenkt, welche wiederum stark um das Thema Aussprache kreisen. Obwohl sich beide Lernende sehr unterschiedlich als Sprechende des Deutschen konstruieren, fixieren sie sich darauf, wie sie meinen zu klingen und folglich wahrgenommen zu werden. Dabei erweist sich vor allem das Konstrukt des Native Speaker als zentraler Vergleichspunkt, an dem sich die Lernenden messen und der somit als Basis für die Wertung des Auslandsaufenthalts und des eigenen Lernerfolgs dient. Durch die Analyse subjektiver Lernertheorien entwirft dieser Beitrag einen gänzlich neuen Rahmen für die Betrachtung von Aussprache im Sprachlernprozess, der über die rein phonetische Dimension hinausgeht und den Fokus auf die sozialpsychologischen Funktionen von Aussprache lenkt. AU - Müller, Mareike AU - Schmenk, Barbara ED - Böcker , Jessica ED - Stauch, Annette ID - 28360 SN - 9783631647189 T2 - Konzepte aus der Sprachlehrforschung – Impulse für die Praxis: Festschrift für Karin Kleppin TI - Der Klang meines Selbst: Aussprache und Selbstkonstruktion von Fremdsprachenlernenden ER - TY - JOUR AB - In this work, we present the first scalable distributed information system, that is, a system with low storage overhead, that is provably robust against denial-of-service (DoS) attacks by a current insider. We allow a current insider to have complete knowledge about the information system and to have the power to block any ϵ-fraction of its servers by a DoS attack, where ϵ can be chosen up to a constant. The task of the system is to serve any collection of lookup requests with at most one per nonblocked server in an efficient way despite this attack. Previously, scalable solutions were only known for DoS attacks of past insiders, where a past insider only has complete knowledge about some past time point t0 of the information system. Scheideler et al. [Awerbuch and Scheideler 2007; Baumgart et al. 2009] showed that in this case, it is possible to design an information system so that any information that was inserted or last updated after t0 is safe against a DoS attack. But their constructions would not work at all for a current insider. The key idea behind our IRIS system is to make extensive use of coding. More precisely, we present two alternative distributed coding strategies with an at most logarithmic storage overhead that can handle up to a constant fraction of blocked servers. AU - Eikel, Martina AU - Scheideler, Christian ID - 284 IS - 3 JF - Transactions on Parallel Computing TI - IRIS: A Robust Information System Against Insider DoS Attacks ER - TY - CONF AU - Homt, Martina AU - van Ophuysen, Stefanie ID - 28436 TI - „Forschendes Lernen“ im Praxissemester – Präkonzepte und Überzeugungen von Lehramtsstudierenden ER - TY - CONF AU - Homt, Martina AU - Riek, Kim AU - van Ophuysen, Stefanie ID - 28437 TI - Qualitätskriterien für den Einsatz von Dokumentationsinstrumenten im Kontext des Grundschulübergangs ER - TY - CONF AU - Schmidt, Jennifer AU - Homt, Martina AU - Behrmann, Lars AU - van Ophuysen, Stefanie ID - 28438 TI - „Forschendes Lernen“ im Praxissemester – Konzeption und erste Evaluation der Methodenausbildung für Lehramtsstudierende an der WWU Münster ER - TY - CONF AB - We propose an incremental workflow for the verification of parameterized systems modeled as symmetric networks of timed automata. Starting with a small number of timed automata in the network, a safety property is verified using IC3, a state-of-the-art algorithm based on induction.The result of the verification, an inductive strengthening, is reused proposing a candidate inductive strengthening for a larger network.If the candidate is valid, our main theorem states that the safety property holds for all sizes of the network of timed automata. Otherwise the number of automata is increased and the next iteration is started with a new run of IC3.We propose and thoroughly examine optimizations to our workflow, e.g. Feedback mechanisms to speed up the run of IC3. AU - Isenberg, Tobias ID - 285 T2 - Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD) TI - Incremental Inductive Verification of Parameterized Timed Systems ER - TY - CHAP AU - Kahnert, Julia AU - Eickelmann, Birgit AU - Lorenz, Ramona AU - Bos, Wilfried ED - Abs, Hermann Josef ED - Brüsemeister, Thomas ED - Schemmann, Michael ED - Wissinger, Jochen ID - 28589 T2 - Governance im Bildungswesen zwischen Steuerung, Koordination und Marktgeschehen TI - Die Steuerungsfunktion von zentralen Abiturprüfungen – Analysen und kontroverse Einschätzungen der Aufgabenschwierigkeit und mögliche Rückkopplungen auf den Unterricht ER - TY - JOUR AU - Eickelmann, Birgit AU - Gerick, Julia AU - Bos, Wilfried ID - 28590 IS - 1 JF - Zeitschrift Schul-Management TI - Impulse für eine Schule der Zukunft – Zentrale Ergebnisse der internationalen Schulleistungsstudie ICILS 2013 VL - 46 ER - TY - CHAP AU - Gerick, Julia AU - Eickelmann, Birgit AU - Bos, Wilfried ED - Birkigt, Gerd ID - 28591 T2 - Digitale Medien in der Schule TI - Vermittlung digitaler Kompetenzen als neues Handlungsfeld für Schulen und Schulleitungen. Zentrale Ergebnisse der internationalen Schulleistungsstudie ICILS 2013 ER - TY - DATA AU - Eickelmann, Birgit ID - 28593 TI - Bildungsgerechtigkeit 4.0 - ICILS 2013: Grundlage für eine neue Debatte zur Bildungsgerechtigkeit ER - TY - JOUR AU - Gerick, Julia AU - Eickelmann, Birgit ID - 28595 IS - 2 JF - Journal für Schulentwicklung TI - Lehrerprofessionalisierung und Fortbildungsaktivitäten im Kontext von Schulentwicklung mit neuen Technologien VL - 7 ER - TY - JOUR AU - Erstad, Ola AU - Eickelmann, Birgit AU - Eichhorn, Koos ID - 28596 IS - 4 JF - Education and Information Technologies SN - 1360-2357 TI - Preparing teachers for schooling in the digital age: A meta-perspective on existing strategies and future challenges VL - 20 ER - TY - CHAP AU - Eickelmann, Birgit AU - Gerick, Julia AU - Bos, Wilfried ED - Wendt, Heike ED - Stubbe, Tobias C. ED - Schwippert, Knut ED - Bos, Wilfried ID - 28597 T2 - IGLU & TIMSS. 10 Jahre international vergleichende Schulleistungsforschung in der Grundschule. Vertiefende Analysen zu IGLU und TIMSS 2001 bis 2011 TI - Schulische Prädiktoren für die Nutzung neuer Technologien im Mathematikunterricht der Primarstufe und ihre Zusammenhänge mit Schülerkompetenzen ER - TY - JOUR AU - Eickelmann, Birgit AU - Bos, Wilfried AU - Gerick, Julia ID - 28598 JF - SchulVerwaltung NRW TI - Wie geht es weiter? Zentrale Befunde der Studie ICILS 2013 und mögliche Handlungs- und Entwicklungsperspektiven für Einzelschulen VL - 5 ER - TY - GEN AU - Kalde, Benedikt ID - 286 TI - Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup ER - TY - BOOK AU - Eickelmann, Birgit AU - Bos, Wilfried AU - Vennemann, Mario ID - 28601 TI - Total digital? - Wie Jugendliche Kompetenzen im Umgang mit neuen Technologien erwerben. Dokumentation der Analysen des Vertiefungsmoduls zu ICILS 2013 ER - TY - CHAP AU - Lai, Kwok-Wing AU - Davis, Niki AU - Eickelmann, Birgit AU - Erstad, Ola AU - Fisser, Petra AU - Gibson, David C. AU - Khaddage, Ferial AU - Knezek, Gerald AU - Webb, Mary ED - Brinda, Torsten ED - Reynolds, Nicholas ED - Romeike, Ralf ED - Schwill, Andreas ID - 28603 T2 - KEYCIT 2014. Key Competencies in Informatics and ICT TI - Tackling Educational Challenges in a Digitally Networked World ER - TY - GEN AU - Strotmann, Daniela ID - 2865 TI - Singulärwertzerlegung für μ-ähnliche Bregman-Divergenzen ER - TY - CONF AB - The size of modern data centers is constantly increasing. As it is not economic to interconnect all machines in the data center using a full-bisection-bandwidth network, techniques have to be developed to increase the efficiency of data-center networks. The Software-Defined Network paradigm opened the door for centralized traffic engineering (TE) in such environments. Up to now, there were already a number of TE proposals for SDN-controlled data centers that all work very well. However, these techniques either use a high amount of flow table entries or a high flow installation rate that overwhelms available switching hardware, or they require custom or very expensive end-of-line equipment to be usable in practice. We present HybridTE, a TE technique that uses (uncertain) information about large flows. Using this extra information, our technique has very low hardware requirements while maintaining better performance than existing TE techniques. This enables us to build very low-cost, high performance data-center networks. AU - Wette, Philip AU - Karl, Holger ID - 287 T2 - Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015) TI - HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks ER - TY - CONF AU - Erfurth, Christian AU - Pottebaum, Jens ED - Cunningham, Douglas W. ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo ID - 24073 KW - Ver{\ SN - 978-3-88579-640-4 T2 - 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland TI - IT-Unterstützung in Emergency Management & Response ER - TY - CONF AB - Distributed applications are commonly based on overlay networks interconnecting their sites so that they can exchange information. For these overlay networks to preserve their functionality, they should be able to recover from various problems like membership changes or faults. Various self-stabilizing overlay networks have already been proposed in recent years, which have the advantage of being able to recover from any illegal state, but none of these networks can give any guarantees on its functionality while the recovery process is going on. We initiate research on overlay networks that are not only self-stabilizing but that also ensure that searchability is maintained while the recovery process is going on, as long as there are no corrupted messages in the system. More precisely, once a search message from node u to another node v is successfully delivered, all future search messages from u to v succeed as well. We call this property monotonic searchability. We show that in general it is impossible to provide monotonic searchability if corrupted messages are present in the system, which justifies the restriction to system states without corrupted messages. Furthermore, we provide a self-stabilizing protocol for the line for which we can also show monotonic searchability. It turns out that even for the line it is non-trivial to achieve this property. Additionally, we extend our protocol to deal with node departures in terms of the Finite Departure Problem of Foreback et. al (SSS 2014). This makes our protocol even capable of handling node dynamics. AU - Scheideler, Christian AU - Setzer, Alexander AU - Strothmann, Thim Frederik ID - 241 T2 - Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS) TI - Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures ER - TY - CONF AB - A fundamental problem for overlay networks is to safely exclude leaving nodes, i.e., the nodes requesting to leave the overlay network are excluded from it without affecting its connectivity. There are a number of studies for safe node exclusion if the overlay is in a well-defined state, but almost no formal results are known for the case in which the overlay network is in an arbitrary initial state, i.e., when looking for a self-stabilizing solution for excluding leaving nodes. We study this problem in two variants: the Finite Departure Problem (FDP) and the Finite Sleep Problem (FSP). In the FDP the leaving nodes have to irrevocably decide when it is safe to leave the network, whereas in the FSP, this leaving decision does not have to be final: the nodes may resume computation when woken up by an incoming message. We are the first to present a self-stabilizing protocol for the FDP and the FSP that can be combined with a large class of overlay maintenance protocols so that these are then guaranteed to safely exclude leaving nodes from the system from any initial state while operating as specified for the staying nodes. In order to formally define the properties these overlay maintenance protocols have to satisfy, we identify four basic primitives for manipulating edges in an overlay network that might be of independent interest. AU - Koutsopoulos, Andreas AU - Scheideler, Christian AU - Strothmann, Thim Frederik ID - 242 T2 - Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) TI - Towards a Universal Approach for the Finite Departure Problem in Overlay Networks ER - TY - CONF AB - This paper introduces the problem of communication pattern adaption for a distributed self-adjusting binary search tree. We propose a simple local algorithm, which is closely related to the nearly thirty-year-old idea of splay trees and evaluate its adaption performance in the distributed scenario if different communication patterns are provided.To do so, the process of self-adjustment is modeled similarly to a basic network creation game, in which the nodes want to communicate with only a certain subset of all nodes. We show that, in general, the game (i.e., the process of local adjustments) does not converge, and convergence is related to certain structures of the communication interests, which we call conflicts.We classify conflicts and show that for two communication scenarios in which convergence is guaranteed, the self-adjusting tree performs well.Furthermore, we investigate the different classes of conflicts separately and show that, for a certain class of conflicts, the performance of the tree network is asymptotically as good as the performance for converging instances. However, for the other conflict classes, a distributed self-adjusting binary search tree adapts poorly. AU - Strothmann, Thim Frederik ID - 243 T2 - Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM) TI - The impact of communication patterns on distributed locally self-adjusting binary search trees ER - TY - JOUR AB - We revisit the simple class of weighted congestion games on parallel links [10], where each player has a non-negative weight and her cost on the link she chooses is the sum of the weights of all players choosing the link. We extend this class to mix-weighted congestion games on parallel links, where weights may as well be negative. For the resulting simple class, we study the complexity of deciding the existence of a pure equilibrium, where no player could unilaterally improve her cost by switching to another link.We show that even for a singlenegative weight, this decision problem is strongly NP-complete when the number of links is part of the input; the problem is NP-complete already for two links. When the number of links is a fixed constant, we show, through a pseudopolynomial, dynamic programming algorithm, that the problem is not strongly NP-complete unless P = NP; the algorithm works for any number of negative weights. AU - Monien, Burkhard AU - Mavronicolas, Marios ID - 244 IS - 12 JF - Information Processing Letters TI - The complexity of pure equilibria in mix-weighted congestion games on parallel links VL - 115 ER - TY - CONF AB - In cloud computing, software architects develop systems for virtually unlimited resources that cloud providers account on a pay-per-use basis. Elasticity management systems provision these resources autonomously to deal with changing workload. Such changing workloads call for new objective metrics allowing architects to quantify quality properties like scalability, elasticity, and efficiency, e.g., for requirements/SLO engineering and software design analysis. In literature, initial metrics for these properties have been proposed. However, current metrics lack a systematic derivation and assume knowledge of implementation details like resource handling. Therefore, these metrics are inapplicable where such knowledge is unavailable.To cope with these lacks, this short paper derives metrics for scalability, elasticity, and efficiency properties of cloud computing systems using the goal question metric (GQM) method. Our derivation uses a running example that outlines characteristics of cloud computing systems. Eventually, this example allows us to set up a systematic GQM plan and to derive an initial set of six new metrics. We particularly show that our GQM plan allows to classify existing metrics. AU - Becker, Matthias AU - Lehrig, Sebastian AU - Becker, Steffen ID - 245 T2 - Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering TI - Systematically Deriving Quality Metrics for Cloud Computing Systems ER - TY - CONF AU - Moritzer, Elmar AU - Hopp, Matthias ID - 24530 T2 - 68th Annual Assembly of the International Institute of Welding (IIW) TI - Bonding of Wood Plastic Composites (WPC) - Material and Surface Modification for Special Applications ER - TY - JOUR AU - Moritzer, Elmar AU - Hopp, Matthias ID - 24531 JF - Jahresmagazin Kunststofftechnik SN - 1618-8357 TI - Kleben von Wood-Plastic-Composites (WPC) - Material- und Oberflächenmodifizierung für spezielle Anwendungen ER - TY - THES AU - Besova, Galina ID - 246 TI - Systematic Development and Re-Use of Model Tranformations ER - TY - CONF AB - Multi-rooted trees are becoming the norm for modern data-center networks. In these networks, scalable flow routing is challenging owing to vast number of flows. Current approaches either employ a central controller that can have scalability issues or a scalable decentralized algorithm only considering local information. In this paper we present a new decentralized approach to least-congested path routing in software-defined data center networks that has neither of these issues: By duplicating the initial (or SYN) packet of a flow and estimating the data rate of multiple flows in parallel, we exploit TCP’s habit to fill buffers to find the least congested path. We show that our algorithm significantly improves flow completion time without the need for a central controller or specialized hardware. AU - Schwabe, Arne AU - Karl, Holger ID - 247 T2 - Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015) TI - SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics ER - TY - GEN AU - Sonntag, Melissa ID - 258 TI - Reputation und Vertrauen auf Online-Märkten ER - TY - GEN AU - Gutt, Dominik AU - Kundisch, Dennis ID - 259 T2 - INFORMS Annual Meeting TI - Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings? ER - TY - JOUR AB - During the last decade, researchers have proposed a number of model transformations enabling performance predictions. These transformations map performance-annotated software architecture models into stochastic models solved by analytical means or by simulation. However, so far, a detailed quantitative evaluation of the accuracy and efficiency of different transformations is missing, making it hard to select an adequate transformation for a given context. This paper provides an in-depth comparison and quantitative evaluation of representative model transformations to, e.g., Queueing Petri Nets and Layered Queueing Networks. The semantic gaps between typical source model abstractions and the different analysis techniques are revealed. The accuracy and efficiency of each transformation are evaluated by considering four case studies representing systems of different size and complexity. The presented results and insights gained from the evaluation help software architects and performance engineers to select the appropriate transformation for a given context, thus significantly improving the usability of model transformations for performance prediction. AU - Brosig, Fabian AU - Meier, Philipp AU - Becker, Steffen AU - Koziolek, Anne AU - Koziolek, Heiko AU - Kounev, Samuel ID - 260 IS - 2 JF - Transactions on Software Engineering TI - Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures ER - TY - GEN AU - Eisenhofer, Thorsten ID - 261 TI - Protokolle zur authentifizierten Schüsselvereinbarung ER - TY - JOUR AB - The highly efficient filtration of ultrafine dust emitted by biomass combustion processes with a baghouse filter has been successfully tested in the last years. To protect the filter material from the very small and sticky fine dust particles and to guarantee very high total collection efficiencies (> 99 %) in a long-term stable process, the use of a precoat is necessary. Tests done in a laboratory and a real-application plant show that the reuse of precoat materials can lead to significant savings. Considering the influences of different combustion processes, the associated precoat efficiencies could be calculated. With these characteristic ratios, it is possible to evaluate different process settings. Hence, the amount and the cost of the needed precoat could be reduced significantly. AU - Schiller, Sascha AU - Hellmich, Christoph AU - Schmid, Hans-Joachim ID - 26108 JF - Chemical Engineering & Technology SN - 0930-7516 TI - Evaluation of the Efficiency of Filtration Processes Using Precoat Materials ER - TY - CHAP AB - The emphasis of the study presented is on a new process of particle extraction to transfer magnetite nanoparticles from an aqueous into an immiscible organic phase directly through the liquid-liquid interface. For the production of high-quality organosols, stabilized colloidal and functionalized particles are required in a liquid organic phase. The mechanism of phase transfer is initiated by adsorption and chemical binding of surfactants (fatty acids) at the particle surface. The resulting physico-chemical dispersion of the hydrophobically modified particles leads to the formation of the stabilized organic colloid, or organosol. The aim here is to demonstrate the entire chain of the transfer process in a continuous miniplant, which comprises particle synthesis, conditioning, and transfer, and which uses a drop column for extraction and as a transfer device. Based on the investigation of the governing principles and the material parameters, the results obtained for the transfer kinetics in the individual contact devices (centrifuge, single-drop column, and drop column for different operations) are used for the dimensioning of the entire process chain. AU - Erler, Jacqueline V. AU - Machunsky, Stefanie AU - Franke, Steffen AU - Grimm, Philipp AU - Schmid, Hans-Joachim AU - Peuker, Urs A. ID - 26119 T2 - Colloid Process Engineering TI - Process Development of a Liquid-Liquid Phase Transfer of Colloidal Particles for Production of High-Quality Organosols ER - TY - JOUR AB - The conditioning of the aerosol particle population into a bipolar charge equilibrium is an essential prerequisite to calculate the particle number size distribution using mobility particle size spectrometers. This is commonly realized by diffusion charging of bipolar air ions generated by e.g. a 85Kr source. Because of strict legal regulations on radioactive sources in several countries, soft-X-ray (SXR) appears as a suitable alternative. However, multiple measurements showed a systematical and significant difference between the particle charge distribution delivered by a radioactive source and an SXR charger, respectively. In this investigation, a calibrated particle charge distribution, suitable for the SXR chargers, was calculated based on the Fuchs model. An approximation analogous to the commonly used Wiedensohler approximation formula (Wiedensohler, 1988) was computed. The use of the new SXR approximation of the bipolar charge equilibrium for the inversion of an electrical mobility distribution to a particle number size distribution improves the comparability of these results, compared to measurements involving a 85Kr charger or to bipolar chargers using radioactive material in general. A systematic error in case of using the SXR charger could be eliminated and hence the root mean square deviation could be reduced from 13% using the common parameters for both charger types to 7% using the new SXR approximation for the SXR bipolar charger. AU - Tigges, L. AU - Wiedensohler, A. AU - Weinhold, K. AU - Gandhi, J. AU - Schmid, Hans-Joachim ID - 26121 JF - Journal of Aerosol Science SN - 0021-8502 TI - Bipolar charge distribution of a soft X-ray diffusion charger ER - TY - JOUR AB - An essential part of mobility particle size spectroscopy is the prediction of the aerosol charge distribution in a highly concentrated bipolar ion environment. This charge distribution can be readily calculated, but is depending on several environmental conditions. These influences are investigated theoretically. The first part of this work deals with a sensitivity analysis using the Fuchs model (Fuchs, 1963) to determine the variation of the resulting charge distributions depending on the input parameters. It is demonstrated, that the main influencing variable is the difference between the positive and negative ion mobility. A sensitivity analysis reveals that a reasonable variation of the ion mobilities may lead to variations of the particle density distribution up to±20%. The second part investigates the evolution of the charge distribution along the tubing downstream of the bipolar charger exit starting with equal ion concentrations for positive and negative ions. Due to wall losses depending on ion mobility a non-equilibrium charge distribution is developing along the plumbing. The evolution of the particle charge distribution is determined using a coupled population balance model. Even though the non-equilibrium character is clearly shown, it turns out that this effect is negligible at conditions typical for particle size measurements. AU - Tigges, L. AU - Jain, A. AU - Schmid, Hans-Joachim ID - 26122 JF - Journal of Aerosol Science SN - 0021-8502 TI - On the bipolar charge distribution used for mobility particle sizing: Theoretical considerations ER - TY - JOUR AB - The precipitation of sticky and ultrafine particles has become increasingly important. Biomass burners are one important example for ultrafine dust emission sources with ever growing importance. Therefore, a baghouse filter has been developed, which combines excellent separation efficiency (> 99%, clean air dust loading of < 1 mg/m3) with convenience in operation. However, in order to prevent clogging of the filter cloth by sticky and ultrafine particles, it is necessary to use a precoat layer (e.g. hydrated limestone powder). If this technology is applied to larger scale processes, e.g. biomass burning for industrial drying processes, the reuse of the precoat material can generate significant savings. Therefore, extended tests on recycling of used precoat material have been performed. Particularly, the influence of precoat injection parameters and various mixing strategies of used and virgin powder for refreshing the precoat material have been investigated. Different mixtures have been characterised by their ability to disintegrate, flowability and filtration behaviour. It is clearly demonstrated that upon redispersing the used precoat fine dust mainly adheres to the coarse precoat with only a limited number of dust agglomerates being produced in addition. For each kind of precoat a minimum amount is determined in order to ensure a long-term stable process. This way a saving potential of between 40–67% has been found. An economic and ecologic process has been developed to precipitate ultrafine dust in a baghouse filter system using precoat materials. AU - Schiller, Sascha AU - Schmid, Hans-Joachim ID - 26123 JF - Powder Technology SN - 0032-5910 TI - Highly efficient filtration of ultrafine dust in baghouse filters using precoat materials ER - TY - JOUR AB - Capillary forces between particles often dominate other adhesion forces. However, the calculation of the shape of capillary bridges and the resulting force is complex, so often assumptions and approximations are used. These assumptions are not useful for nanoscale particles. Therefore, a simulation method was established to calculate numerically the shape of the meniscus and derive the corresponding capillary bridge force. The main focus are nanoscaled particles with liquid bridges formed by condensing air humidity. The dependence of the capillary force on various parameters such as particle sizes, contact angle and humidity was investigated and it is demonstrated that often-used assumptions cannot be used for nanoscaled particles without remarkable mistake. AU - Dörmann, Michael AU - Schmid, Hans-Joachim ID - 26124 JF - Procedia Engineering SN - 1877-7058 TI - Simulation of Capillary Bridges between Particles ER - TY - CHAP AU - Betz, Stefan ED - Siepermann u.a., Christoph ID - 2615 T2 - Risikomanagement in Supply Chains TI - Unscharfe Produktionsmengenplanung als Instrument des Risikomanagements in Supply Chains ER -