Implementing IDEF techniques as simulation modelling specifications
ICC&IE '94 Proceedings of the 17th international conference on Computers and industrial engineering
Analysis of discrete event systems by simulation of timed Petri net models
Mathematics and Computers in Simulation
The complementary use of IDEF and UML modelling approaches
Computers in Industry
Cost/time estimation in flat plate processing using fuzzy modeling
Computers and Industrial Engineering - 26th International conference on computers and industrial engineering
Representing and matching simulation cases: A case-based reasoning approach
Computers and Industrial Engineering
Hi-index | 0.00 |
Manufacturing process refers to machining sequence from raw materials to final products. Process plan has important effects on manufacturing process. In general, process designer relies on his experience and knowledge to arrange the process plan. For a complex part, it takes long time and effort to determine process plan. In this paper, an intelligent modeling and analysis method using the first-order predicate logic is proposed to evaluate the manufacturing performance. First, the logic predicates used to represent the process plan are defined according to the machining methods, and the predicate variables are discussed in detail. Consequently, the process plan can be represented in the form of the first-order predicate logic. Second, a type of element model composed of four nodes and four links is put forward in order to construct the process model. All components in this element model are respectively explained, and the mapping relationship between element model and predicate logic is described in detail. According to engineering practices, logic inference rules are suggested and the inference process is illustrated. Hence, the manufacturing process model can be constructed. Third, the process simulation is carried out to evaluate the performance of manufacturing system by using measures such as efficiency, the machine utilization, etc. Finally, a case study is given to explain this intelligent modeling method using the first-order predicate logic.