Subscribe
Issue No.12 - December (2009 vol.21)
pp: 1803-1806
Wang Zhenwei , University of Electronic Science and Technology of China, Chengdu
Li Hui , University of Electronic Science and Technology of China, Chengdu
ABSTRACT
Part machining is a discrete manufacturing process. In order to evaluate the manufacturing process, an intelligent modeling method based on the first-order predicate logic is proposed. First, the basic predicate formula is defined according to the machining method, and the predicate and variables are illustrated in detail. Thus, the process representation is completed. Second, to construct the process model, the modeling element is put forward, which includes three nodes. Components of modeling element are, respectively, discussed, as well as the mapping relationship between modeling element and predicate. After the definition of modeling predicate formula, five basic inference rules are established. Consequently, the manufacturing process model is constructed. Third, on the basis of the process model, the process simulation is carried out to evaluate the manufacturing performances, such as the production efficiency, the utilization rate of machining equipment, the production bottleneck, etc. Finally, a case study is conducted to explain this modeling method.
INDEX TERMS
Discrete process, intelligent modeling, predicate logic, performance simulation.
CITATION
Wang Zhenwei, Li Hui, "Manufacturing-Oriented Discrete Process Modeling Approach Using the Predicate Logic", IEEE Transactions on Knowledge & Data Engineering, vol.21, no. 12, pp. 1803-1806, December 2009, doi:10.1109/TKDE.2009.70
REFERENCES
 [1] E. López-Mellado, “Analysis of Discrete Event Systems by Simulation of Timed Petri Net Models,” Math. and Computers in Simulation, vol. 61, no. 1, pp. 53-59, 2002. [2] L. Jinliang and W. Zhiyong, “Flexible Process Planning Based on Petri Net,” J. Yanshan Univ., vol. 27, no. 1, pp. 71-74, 2003. [3] W. Zhong, G. Lei, and S. Shu-dong, “Petri-Net-Based Cost Optimization for Alternative Process Planning,” Mechanical Science and Technology, vol. 19, no. 5, pp. 767-769, 2000. [4] K. Santarek and I.M. Buseif, “Modeling and Design of Flexible Manufacturing Systems Using SADT and Petri Nets Tools,” J. Materials Processing Technology, vol. 76, pp. 212-218, 1998. [5] A. van Rensburg and N. Zwemstra, “Implementing IDEF Technique as Simulation Modeling Specifications,” Computers and Industrial Eng., vol. 29, no. 4, pp. 467-471, 1995. [6] C.-H. Kim, R.H. Weston, A. Hodgson, and K.-H. Lee, “The Complementary Use of IDEF and UML Modelling Approaches,” Computers in Industry, vol. 50, pp. 35-56, 2003. [7] J. Zhang, J. Gu, P. Li, and Z. Duan, “Object-Oriented Modeling of Control System for Agile Manufacturing Cells,” Int'l J. Production Economics, vol. 62, pp. 145-153, 1999. [8] A. Anglani, A. Grieco, M. Pacella, and T. Tolio, “Object-Oriented Modeling and Simulation of Flexible Manufacturing Systems: A Rule-Based Procedure,” Simulation Modeling Practice and Theory, vol. 10, pp. 209-234, 2002. [9] H. Jahan-Shahi, E. Shayan, and S. Masood, “Cost/Time Estimation in Flat Plate Processing Using Fuzzy Modeling,” Computers and Industrial Eng., vol. 42, pp. 555-566, 2002.