Issue No.12 - December (2009 vol.21)
Wang Zhenwei , University of Electronic Science and Technology of China, Chengdu
Li Hui , University of Electronic Science and Technology of China, Chengdu
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2009.70
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.
Discrete process, intelligent modeling, predicate logic, performance simulation.
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