12,208 research outputs found
Factory modelling: data guidance for analysing production, utility and building architecture systems
Work on energy and resource reduction in factories is dependent on the availability of data. Typically, available sources are incomplete or inappropriate for direct use and manipulation is required. Identifying new improvement opportunities through simulation across factory production, utility and building architecture domains requires analysis of model feasibility, particularly in terms of system data composition, input resolution and simulation result fidelity. This paper reviews literature on developing appropriate model data for assessing energy and material flows at factory level. Gaps are found in guidance for analysis and integration of resource-flows across system boundaries. The process for how data was prepared, input and iteratively developed alongside conceptual and simulation models is described. The case of a large-scale UK manufacturer is presented alongside discussions on challenges associated with factory level modelling, and the insights gained from understanding the effect of data clarity on system performance
Recommended from our members
A modular hybrid simulation framework for complex manufacturing system design
For complex manufacturing systems, the current hybrid Agent-Based Modelling and Discrete Event Simulation (ABM–DES) frameworks are limited to component and system levels of representation and present a degree of static complexity to study optimal resource planning. To address these limitations, a modular hybrid simulation framework for complex manufacturing system design is presented. A manufacturing system with highly regulated and manual handling processes, composed of multiple repeating modules, is considered. In this framework, the concept of modular hybrid ABM–DES technique is introduced to demonstrate a novel simulation method using a dynamic system of parallel multi-agent discrete events. In this context, to create a modular model, the stochastic finite dynamical system is extended to allow the description of discrete event states inside the agent for manufacturing repeating modules (meso level). Moreover, dynamic complexity regarding uncertain processing time and resources is considered. This framework guides the user step-by-step through the system design and modular hybrid model. A real case study in the cell and gene therapy industry is conducted to test the validity of the framework. The simulation results are compared against the data from the studied case; excellent agreement with 1.038% error margin is found in terms of the company performance. The optimal resource planning and the uncertainty of the processing time for manufacturing phases (exo level), in the presence of dynamic complexity is calculated
A State-of-the-art Integrated Transportation Simulation Platform
Nowadays, universities and companies have a huge need for simulation and
modelling methodologies. In the particular case of traffic and transportation,
making physical modifications to the real traffic networks could be highly
expensive, dependent on political decisions and could be highly disruptive to
the environment. However, while studying a specific domain or problem,
analysing a problem through simulation may not be trivial and may need several
simulation tools, hence raising interoperability issues. To overcome these
problems, we propose an agent-directed transportation simulation platform,
through the cloud, by means of services. We intend to use the IEEE standard HLA
(High Level Architecture) for simulators interoperability and agents for
controlling and coordination. Our motivations are to allow multiresolution
analysis of complex domains, to allow experts to collaborate on the analysis of
a common problem and to allow co-simulation and synergy of different
application domains. This paper will start by presenting some preliminary
background concepts to help better understand the scope of this work. After
that, the results of a literature review is shown. Finally, the general
architecture of a transportation simulation platform is proposed
Modeling and formal verification of probabilistic reconfigurable systems
In this thesis, we propose a new approach for formal modeling and verification of adaptive probabilistic systems. Dynamic reconfigurable systems are the trend of all future technological systems, such as flight control systems, vehicle electronic systems, and manufacturing systems. In order to meet user and environmental requirements, such a dynamic reconfigurable system has to actively adjust its configuration at run-time by modifying its components and connections, while changes are detected in the internal/external execution environment. On the other hand, these changes may violate the memory usage, the required energy and the concerned real-time constraints since the behavior of the system is unpredictable. It might also make the system's functions unavailable for some time and make potential harm to human life or large financial investments. Thus, updating a system with any new configuration requires that the post reconfigurable system fully satisfies the related constraints. We introduce GR-TNCES formalism for the optimal functional and temporal specification of probabilistic reconfigurable systems under resource constraints. It enables the optimal specification of a probabilistic, energetic and memory constraints of such a system. To formally verify the correctness and the safety of such a probabilistic system specification, and the non-violation of its properties, an automatic transformation from GR-TNCES models into PRISM models is introduced. Moreover, a new approach XCTL is also proposed to formally verify reconfigurable systems. It enables the formal certification of uncompleted and reconfigurable systems. A new version of the software ZIZO is also proposed to model, simulate and verify such GR-TNCES model. To prove its relevance, the latter was applied to case studies; it was used to model and simulate the behavior of an IPV4 protocol to prevent the energy and memory resources violation. It was also used to optimize energy consumption of an automotive skid conveyor.In dieser Arbeit wird ein neuer Ansatz zur formalen Modellierung und Verifikation dynamisch rekonfigurierbarer Systeme vorgestellt. Dynamische rekonfigurierbare Systeme sind in vielen aktuellen und zukünftigen Anwendungen, wie beispielsweise Flugsteuerungssystemen, Fahrzeugelektronik und Fertigungssysteme zu finden. Diese Systeme weisen ein probabilistisches, adaptives Verhalten auf. Um die Benutzer- und Umgebungsbedingungen kontinuierlich zu erfüllen, muss ein solches System seine Konfiguration zur Laufzeit aktiv anpassen, indem es seine Komponenten, Verbindungen zwischen Komponenten und seine Daten modifiziert (adaptiv), sobald Änderungen in der internen oder externen Ausführungsumgebung erkannt werden (probabilistisch). Diese Anpassungen dürfen Beschränkungen bei der Speichernutzung, der erforderlichen Energie und bestehende Echtzeitbedingungen nicht verletzen. Eine nicht geprüfte Rekonfiguration könnte dazu führen, dass die Funktionen des Systems für einige Zeit nicht verfügbar wären und potenziell menschliches Leben gefährdet würde oder großer finanzieller Schaden entstünde. Somit erfordert das Aktualisieren eines Systems mit einer neuen Konfiguration, dass das rekonfigurierte System die zugehörigen Beschränkungen vollständig einhält. Um dies zu überprüfen, wird in dieser Arbeit der GR-TNCES-Formalismus, eine Erweiterung von Petrinetzen, für die optimale funktionale und zeitliche Spezifikation probabilistischer rekonfigurierbarer Systeme unter Ressourcenbeschränkungen vorgeschlagen. Die entstehenden Modelle sollen über probabilistische model checking verifiziert werden. Dazu eignet sich die etablierte Software PRISM. Um die Verifikation zu ermöglichen wird in dieser Arbeit ein Verfahren zur Transformation von GR-TNCES-Modellen in PRISM-Modelle beschrieben. Eine neu eingeführte Logik (XCTL) erlaubt zudem die einfache Beschreibung der zu prüfenden Eigenschaften. Die genannten Schritte wurden in einer Softwareumgebung für den automatisierten Entwurf, die Simulation und die formale Verifikation (durch eine automatische Transformation nach PRISM) umgesetzt. Eine Fallstudie zeigt die Anwendung des Verfahren
Product-service systems scenarios simulation based on G-DEVS/HLA: Generalized discrete event specification/high level architecture
International audienceIn the past decade, personal customers expected manufacturing companies to provide them with a physical product with, nonetheless, some basic additional services. Currently, customers expect a more comprehensive solution, integrating both a physical product and non-physical services, which explains why companies have started to propose Product-Service Systems (PSS). The underlying objective of profitability can be attained if the system is designed, based on system use, to avoid waste, and if services are developed jointly with products. Although all the requisite conditions are well-known, the optimal way to satisfy them is not formalized or even guided by any clear methodology. This paper proposes to create PSS models to be simulated in different service scenarios based on G-DEVS/HLA. The simulation results provide pointers to help decision maker choose between several PSS design scenarios to be manufactured. A case study from the toy industry is used to illustrate the proposed methodology
Requirements on the engineering of advanced standby strategies in automobile production
Part of:
Seliger, Günther (Ed.): Innovative solutions : proceedings / 11th Global Conference on Sustainable Manufacturing, Berlin, Germany, 23rd - 25th September, 2013. - Berlin: Universitätsverlag der TU Berlin, 2013. - ISBN 978-3-7983-2609-5 (online). - http://nbn-resolving.de/urn:nbn:de:kobv:83-opus4-40276. - pp. 165–170.A key challenge in manufacturing industry within the next years is to reduce and optimize energy consumption of production systems without affecting productivity. To adress this problem, different approaches are discussed, such as smart grids, or utilization of more energy-efficient machine components. A new approach on shop floor level is to optimize production control strategies, to power down inactive machine components during non productive phases. To fully exploit this potential, it is necessary to integrate the planning of the required control systems into all phases of the engineering process. This paper presents a concept for the integrated engineering of these new applications by evaluating planning tools, methods and data models regarding their suitability to implement the concept of advanced power down and restart concepts. In conclusion, requirements on these tools, methods and data models are defined, to empower them for optimal support of the future engineering process
Integration of e-business strategy for multi-lifecycle production systems
Internet use has grown exponentially on the last few years becoming a global communication and business resource. Internet-based business, or e-Business will truly affect every sector of the economy in ways that today we can only imagine. The manufacturing sector will be at the forefront of this change. This doctoral dissertation provides a scientific framework and a set of novel decision support tools for evaluating, modeling, and optimizing the overall performance of e-Business integrated multi-lifecycle production systems. The characteristics of this framework include environmental lifecycle study, environmental performance metrics, hyper-network model of integrated e-supply chain networks, fuzzy multi-objective optimization method, discrete-event simulation approach, and scalable enterprise environmental management system design. The dissertation research reveals that integration of e-Business strategy into production systems can alter current industry practices along a pathway towards sustainability, enhancing resource productivity, improving cost efficiencies and reducing lifecycle environmental impacts.
The following research challenges and scholarly accomplishments have been addressed in this dissertation: Identification and analysis of environmental impacts of e-Business. A pioneering environmental lifecycle study on the impact of e-Business is conducted, and fuzzy decision theory is further applied to evaluate e-Business scenarios in order to overcome data uncertainty and information gaps; Understanding, evaluation, and development of environmental performance metrics. Major environmental performance metrics are compared and evaluated. A universal target-based performance metric, developed jointly with a team of industry and university researchers, is evaluated, implemented, and utilized in the methodology framework; Generic framework of integrated e-supply chain network. The framework is based on the most recent research on large complex supply chain network model, but extended to integrate demanufacturers, recyclers, and resellers as supply chain partners. Moreover, The e-Business information network is modeled as a overlaid hypernetwork layer for the supply chain; Fuzzy multi-objective optimization theory and discrete-event simulation methods. The solution methods deal with overall system parameter trade-offs, partner selections, and sustainable decision-making; Architecture design for scalable enterprise environmental management system. This novel system is designed and deployed using knowledge-based ontology theory, and XML techniques within an agent-based structure. The implementation model and system prototype are also provided.
The new methodology and framework have the potential of being widely used in system analysis, design and implementation of e-Business enabled engineering systems
Data quality problems in discrete event simulation of manufacturing operations
High-quality input data are a necessity for successful discrete event simulation (DES) applications, and there are available methodologies for data collection in DES projects. However, in contrast to standalone projects, using DES as a daily manufacturing engineering tool requires high-quality production data to be constantly available. In fact, there has been a major shift in the application of DES in manufacturing from production system design to daily operations, accompanied by a stream of research on automation of input data management and interoperability between data sources and simulation
models. Unfortunately, this research stream rests on the assumption that the collected data are already of high quality,and there is a lack of in-depth understanding of simulation data quality problems from a practitioners’ perspective.Therefore, a multiple-case study within the automotive industry was used to provide empirical descriptions of simulation data quality problems, data production processes, and relations between these processes and simulation data quality problems. These empirical descriptions are necessary to extend the present knowledge on data quality in DES in a practical
real-world manufacturing context, which is a prerequisite for developing practical solutions for solving data quality problems such as limited accessibility, lack of data on minor stoppages, and data sources not being designed for simulation. Further, the empirical and theoretical knowledge gained throughout the study was used to propose a set of practical guidelines that can support manufacturing companies in improving data quality in DES
- …