A Temporal Process Specification Language for Virtual Manufacturing Engineering

Author(s):  
David E. Lee ◽  
H. Thomas Hahn

Abstract A process specification language is being developed for virtual manufacturing that provides a structured portable definition of a given manufacturing process as well as the ability to specify the temporal relationships between individual operation steps that compose a process. Based on the concepts embodied in markup languages such as HTML, SGML and XML, a portable process definition structure is defined. This structure provides a template from which virtual process specifications can be created. Subsequently, these structures can be exchanged between development environments for virtual process engineering and the actualized manufacturing facilities where processes are implemented. In addition, dependencies in time between the operation steps of a process such as common start times and operation serialization can be represented to allow for a complete specification of temporal behavior of a given manufacturing process. By providing this explicit mechanism for representing temporal constraints, a virtual manufacturing process can be viewed and utilized both in a localized application on a single virtual factory floor as well as distributed across multiple, interlinked virtual environments.

Author(s):  
David E. Lee ◽  
H. Thomas Hahn

Abstract In order to address the computational costs of modeling and analyzing manufacturing processes, a novel approach to virtual manufacturing process engineering using generic modular operations is presented. Relying on a state based representation of operation control for a simplified virtual manufacturing workcell, the valid states for each sequence of generic modular operations are aggregated and both operation state and processing constraints applied to specify the subtasks required to complete each step in a product’s process plan. By adopting this state based control approach, virtual process engineering provides a direct mechanism to map virtual process representations onto actualized processes. Using these generic modular operations and their temporal and processing dependencies, the computationally complex elements of virtual manufacturing process simulation can be directly identified and an architecture for virtual process development specified. Examples from both machining and assembly processes are provided.


1999 ◽  
Author(s):  
Craig Schlenoff ◽  
Mihai Ciocoiu ◽  
Don Libes ◽  
Michael Gruninger

Abstract In all types of communication, the ability to share information is often hindered because the meaning of information can be drastically affected by the context in which it is viewed and interpreted. This is especially true in manufacturing because of the growing complexity of manufacturing information and the increasing need to exchange this information among various software applications. Different manufacturing functions may use different terms to mean the exact same concept or use the exact same term to mean very different concepts. Often, the loosely defined natural language definitions associated with the terms contain so much ambiguity that they do not make the differences evident and/or do not provide enough information to resolve the differences. A solution to this problem is the development of a taxonomy, or ontology, of manufacturing concepts and terms along with their respective formal and unambiguous definitions. This paper focuses on the Process Specification Language (PSL) effort at the National Institute of Standards and Technology whose goal is to identify, formally define, and structure the semantic concepts intrinsic to the capture and exchange of discrete manufacturing process information. Specifically, it describes the results of the first pilot implementation, where PSL was successfully used as an interlingua to exchange manufacturing process information between the IDEF3-based ProCAP1 process modeling tool and the C++ based ILOG Scheduler.


2019 ◽  
Vol 49 (1) ◽  
pp. 111-140 ◽  
Author(s):  
Ebru Gökalp ◽  
Onur Demirörs ◽  
P. Erhan Eren

Personnel management plays a critical role in the success of public organizations. Our literature review shows that there is a lack of systematic guidance on how to improve Public Personnel Management Process (PPMP) quality. Software Process Improvement and Capability Determination (SPICE) is a process assessment framework that is successfully used by software organizations during the past two decades. The framework can also be used as a baseline to generate process capability models for different specific domains/sectors. We have utilized this approach for the government domain and we developed the process definition of PPMP. To observe the benefits and usability of the model, we have performed a multiple case study, including the assessments of three organizations’ PPMP capability levels and the development of action plans for PPMP improvement. The findings show that the proposed approach is applicable for identifying the PPMP capability levels and is capable of providing a roadmap for moving to the next level.


1999 ◽  
Author(s):  
Dan Zetu ◽  
Pat Banerjee ◽  
Ali Akgunduz

Abstract The fast construction of a Virtual Factory model without using a CAD package can be made possible by using computer vision techniques. In order to create a realistic Virtual Manufacturing environment, especially when such a model has to be created in correlation to an existing facility, a reliable algorithm that extracts 3D models from camera images is needed, and this requires exact knowledge of the camera location when capturing images. In this paper, we describe an approach for depth recovery from 2D images based on tracking a camera within the environment. We also explore the extension of our telemetry-based algorithm to remote facility management, by tracking and synchronizing human motion on the shop floor with motion of an avatar in a Virtual Environment representing the same shop floor.


Author(s):  
David E. Lee ◽  
H. Thomas Hahn

Abstract Concurrent with the use of tailored materials for specific applications has been the understanding that a product’s design has a significant and measurable effect on manufacturing process cycle times and unit production costs. In order to reliably manufacture and assemble aircraft structures fabricated from composite materials on a cost-effective basis, an environment for virtual assembly production analysis is being developed. Within this environment, members of an aircraft’s integrated product development team can rapidly assess the impact of design decisions on individual assembly operations and overall aircraft assembly in a virtual manufacturing context. Effects related to joint design and component matings are measured based on force and process conditions as well as the types of tooling required for final assembly. By evaluating assembly production impacts early during product design, the costly design-manufacture-redesign cycle is redefined and recast based on the realities of manufacturing process constraints.


2010 ◽  
Vol 139-141 ◽  
pp. 1350-1355
Author(s):  
Er Shi Qi ◽  
Hui Li ◽  
Liang Liu

This paper analyzes the relationship between virtual manufacturing (VM) and digital factory (DF), in order to distinguish the two concepts. Based on the thought of PLM (Product Lifecycle Management), compare with the definition of VM, the paper gives the definition of DF, and analyzes the category and system characteristics of DF from narrow and broad point of view. The structural relationship and operation mechanisms of VM, narrow sense DF and broad sense DF are analyzed from the perspective of functional integration. During the phase of system implementation, from the perspectives of key technologies, implementation contents, implementation characteristics and important objectives, the characteristics of the three modes of production are summarized, the conclusion of system implementation under the condition of existing technology is obtained, and the potential application of narrow sense DF is researched.


1997 ◽  
Vol 07 (03) ◽  
pp. 329-356
Author(s):  
Maurad Debbabi

In this paper we address the problem of specification and design of concurrent systems. More accurately, we present the definition of a new specification language that is formal, wide-spectrum, model-based, concurrent, polymorphic and strongly implicitly typed. The language is built upon a concurrent, funtional and imperative programming language: Concurrent ML. Specification aspects are supported thanks to the addition of some specification constructs and also by allowing axioms to ML structures and signatures. The resulting specification language is thus highly expressive though it embodies a restricted number of concepts. We present here the motivations underlying the definition of such a language as well as the design choices. Furthermore, we introduce the specification and development methology and illustrate it on various examples. We will see that many specification styles are allowed: algebraic, applicative, state-based, concurrent applicative and concurrent imperative. We show that the language rests on secure theoretical foundations exemplified by formal syntactic and semantic definitions. The latter consists in a static semantics together with a dynamic semantics. The static semantics reconstructs not only principal types but also minimal side and communication effects. This is done thanks to an extension of the type and effect discipline. The language is also endowed with a dynamic denotational semantics. The underlying model is based on an extension of the acceptance trees model to handle value-passing, communication, assignment, sequencing, return of results and higher order objects.


2007 ◽  
Vol 24 (10) ◽  
pp. 1785-1799 ◽  
Author(s):  
Sheldon Bacon ◽  
Fred Culkin ◽  
Nigel Higgs ◽  
Paul Ridout

Abstract Standard seawater (SSW) has been employed by oceanographers as a reference material in the determination of salinity for over a century. In all that time, this is the first study to determine the uncertainty of the SSW manufacturing process. SSW is calibrated in reference to carefully prepared solutions of potassium chloride (KCl). All uncertainties in the preparation and measurement of KCl solutions and of new SSW are calculated. The expanded uncertainty of the SSW conductivity ratio is found to be 1 × 10−5, based on a coverage factor of 2, at the time of manufacture. There is no discernible “within batch” variability. No significant variability of quality within or between batches of KCl is found. Measurement of SSW “offsets” from the label conductivity ratio as long as 5 yr after the SSW batch manufacture are reported, and no significant change in label conductivity ratio for SSW batches P130 through P144 outside the expanded uncertainty of 1 × 10−5 is found. This last result is in contrast to some other studies, and herein are suggestions as to why this may be the case.


2002 ◽  
Vol 2 (3) ◽  
pp. 232-236 ◽  
Author(s):  
G. Gary Wang

Virtual Prototyping (VP) technique has been interpreted in many different ways, which causes confusion and misunderstanding among researchers and practitioners. Based on a review of the current related research and application, this paper proposes a definition of VP as well as components of a virtual prototype. VP is then compared with and distinguished from virtual reality (VR), virtual environment (VE), and virtual manufacturing (VM) techniques. Given the proposed definition and review of VP, future VP related research topics are suggested.


Sign in / Sign up

Export Citation Format

Share Document