Semantic Web Framework for Rule-Based Generation of Knowledge and Simulation of Manufacturing Systems

Rabe, Markus; Gocev, Pavel

doi:10.1007/978-1-84800-221-0_31

Cited by 5 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The next important step is to consider the meaning of the information regarding the semantics and to utilize a knowledge base. The functionalities for knowledge description and simulation of manufacturing systems that have to be provided in order to support the M&S projects have been described by Rabe and Gocev (2008) and provided in a Semantic Web Platform for modeling, semantic enrichment of the knowledge and extraction of the necessary information for M&S.…”

Section: Introductionmentioning

confidence: 99%

Applying Semantic Web technologies for efficient preparation of simulation studies in manufacturing

Rabe¹,

Gocev²

2012

Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)

Self Cite

View full text Add to dashboard Cite

This paper addresses methods for the preparation of simulation studies in the manufacturing domain. The approach builds on an existing Semantic Web Platform for Modeling and Simulation that supports planning and simulation projects especially during information preparation and results evaluation. A new platform module was developed in order to support simulation project members in the early phase, especially in the provision of information as well as in the rapid capacity analysis. The module integrates the constraints that have to be considered during the definition and calculation of different solution scenarios. These constraints are built as semantic rules utilizing the predicate logic and the Semantic Web technologies. INTRODUCTIONThe Procedure Model for Simulation ( Figure 1) comprises two phases that are very important not just for the simulation study itself, but also can be very beneficial for a rapid capacity analysis of the system to be simulated (for a detailed discussion of the Procedure Model see Rabe et al. 2008b). The first one is the phase of System Analysis that includes the objective to determine which elements of the real system in which granularity and with which mechanism have to be modeled and simulated. The second phase is the development of the Formal Model that contains a system-independent description of the future simulation model. In the phase of turning the model description into the executable model and before the start of the implementation phase, it is very beneficial to provide the simulation expert with rough but substantial information about the performance of the system to be simulated, especially about the required capacities. The best method is to assess the planned manufacturing system in the early phase and to obtain measurable benchmarks and performance indicators of the future system like capacity demand for each resource in hours per year, suitable shift system, required number of workstations, and necessary production space for the designated production portfolio and product mix. Additionally, there is a necessity to provide different views on the real system, its structure and components, the relations between the parts' functions and the resources. These multi faceted views should support the process of communication, answering, clarification and conclusion within the project phases. According to the Procedure Model in Figure 1, data (Raw Data and Prepared Data) are administrated separately from the knowledge (Conceptual Model and Formal Model) during simulation studies. Therefore, a significant effort has to be made in order to provide an information base for capacity estimation in the early phase of the simulation project. This paper suggests a solution for efficient and rapid preparation and support of simulation studies in the manufacturing domain. The solution is based on Semantic Web technologies as a system of ontologies and offers an explicit description of the system to be simulated beginning after the System Analysis phase integrating the data and therewith...

show abstract

Section: Introductionmentioning

confidence: 99%

Applying Semantic Web technologies for efficient preparation of simulation studies in manufacturing

Rabe¹,

Gocev²

2012

Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)

Self Cite

View full text Add to dashboard Cite

show abstract

The configuration of design and manufacture knowledge models from a heavyweight ontological foundation

Chungoora¹,

Young²

2011

International Journal of Production Research

View full text Add to dashboard Cite

Problems related to knowledge sharing in design and manufacture, for supporting automated decision-making procedures, are associated with the inability to communicate the full meaning of concepts and their intent within and across system boundaries. To remedy these issues, it is important that the explicit structuring of semantics, i.e. meaning in computation form, is first performed and that these semantics become sharable across systems. This paper proposes a Common Logic-based ontological foundation as a basis for capturing the meaning of core feature-oriented design and manufacture concepts. This foundation serves as a semantic ground over which design and manufacture knowledge models can be configured in an integrity-driven way. The implications involved in the specification of the ontological foundation are discussed alongside the types of mechanisms that allow knowledge models to be configured. A test case scenario is then analysed in order to further support and verify the researched approach.

show abstract

synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs

Sinha

Patel

2012

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

View full text Add to dashboard Cite

This paper presents a high-level synthesis framework called synASM that synthesizes abstract state machines (ASMs) to VHDL for field-programmable gate arrays (FPGAs). In particular, this paper focuses on the specification, scheduling, and synthesis of parallel and timed constructs. ASMs possess well-defined formal semantics for sequential and parallel computation, and their composition. We extend ASMs to support the specification of timing requirements, which we call timed constructs. We also describe the composition of timed constructs with sequential and parallel computation. A key contribution of this paper is the extension of the force-directed scheduling algorithm to support both parallel and timed constructs. We implement the synthesis back-end in synASM that targets FPGAs. Our experiments show improvements of up to 52% in lookup table usage and 34% in total area for certain examples.Index Terms-Force-directed scheduling, high-level synthesis, parallel and timed constructs.

show abstract

Semantic Web Framework for Rule-Based Generation of Knowledge and Simulation of Manufacturing Systems

Cited by 5 publications

References 6 publications

Applying Semantic Web technologies for efficient preparation of simulation studies in manufacturing

Applying Semantic Web technologies for efficient preparation of simulation studies in manufacturing

The configuration of design and manufacture knowledge models from a heavyweight ontological foundation

synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs

Contact Info

Product

Resources

About