Kavramsal Tasarım Optimizasyonunda Petri Net ve Melez Otomat Sentezi

Yıl 2001, Cilt: 4 Sayı: 1, 33 - 46, 01.05.2001

Zühal Erden Aydan M. Erkmen Abdülkadir Erden

Öz

Bu çalışmada,
mühendislik tasarımındaki kavramsal tasarım aşamasının otomasyonu için Petri
Net ve Melez Otomat (Hybrid Automata) sentezine dayanan PNDN adlı bir tasarım
ağı modeli PNDN, tasarımı yapılacak ürünün mantıksal davranışını ürünün alt
işlevleri arasındaki kesin ve belirsizlik içeren bilgi akışı ile iki tarzda
modellemektedir. Bilgi akışındaki belirsizliklerin modellenmesinde Sezgisel
Bulanık Önermeler yaklaşımı kullanılmıştır. Genel amaçlı ve işlevsel düzeyde
geliştirilen model, tümleşik bir tasarım felsefesi olan mekatronik tasarımda
uygulanmıştır. Bu makalede tasarım ağının yapısı ve kesin bilgi akışı modeli
anlatılmaktadır. 

Anahtar Kelimeler

Kavramsal Tasarım, Tasarım Otomasyonıt, Petri Net, Melez Otomatlar, Mekatronik Tasarım, Tasarım Ağı

Kaynakça

• 1. Pahl, G. ve Beitz, W., Engineering Design-A Systematic Approach, The Design Council, London, UK, 1988.
• 2. Ullman, D.G., The Mechanical Design Process, McGraw-Hill, Inc., USA, 1992.
• 3. Tomiyama, T. et al., Metamodel : A Key to Intelligent CAD Systems, Research in Engineering Design, 1(1989), 19-34.
• 4. Pugh, S., Total Design, Addison-Wesley Publishing Company, UK, 1991.
• 5. Suh, N.P., Bell, A.C. ve Gossard, D.C., On an Axiomatic Approach to Manufacturing and Manufacturing Systems, ASME Transactions, Journal of Engineering for Industry, 100 (1978) 2, 127-130.
• 6. Serrano, D., Constraint Management in Conceptual Design, Ph.D. Thesis, Massachusetts Institute of Technology, USA, 1987.
• 7. Kusiak, A. ve Park, K., Concurrent Engineering: Decomposition and Scheduling of Design Activities, Int. J. of Prod. Res., 28 (1990) 10, 1883-1900.
• 8. Brown, D.C. ve Chandrasekaran, B., Expert Systems for a Class of Mechanical Design Activity, Knowledge Engineering in Computer-Aided Design, Ed. John. S. Gero, 259-283, Elsevier Science Publishers B. V., North-Holland, 1985.
• 9. Kannapan, S.M. ve Marshek, K.M., An Algebraic and Predicate Logic Approach to Representation and Reasoning in Machine Design, Mechanism and Machine Theory, 25 (1990) 3, 335-353.
• 10. Kowalski, J., Modelling Knowledge-Based System for Optimum Machine Design, Mechanism and Machine Theory, 27 (1992) 4, 491-505.
• 11. Johnson, D.E. ve Johnson, J.R., Graph Theory with Engineering Applications, The Ronald Press Company, USA, 1972.
• 12. Cagan, J., A Graph-Based Representation to Support Structural Design Innovation, Artificial Intelligence in Design '91, Ed. John S. Gero, Butterworth-Heinemann Ltd., Oxford, UK, 1974. 13. Buur, J., A Theoretical Approach to Mechatronic Design, Doktora Tezi, Te,chnical University of Denmark, 1K Publication 90.74A, Lyngby, Denmark, 1990.
• 14. Auslander, D.M. ve Kempf, C.J., Mechatronics-Mechanical System Interfacing, Prentice Hall Inc., USA, 1996.
• 15. Murata, T., Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, 77 (1989) 4, 541-580.
• 16. Peterson, J. L., Petri Nets, ACM Comput. Surveys, 9 (1977) 223-252.
• 17. Reisig, W., Petri Nets : An Introduction, Springer-Verlag, Germany, 1985.
• 18. Reisig, W., A Primer in Petri Net Design, Springer-Verlag, Germany, 1992.
• 19. Alur et al., The Algorithmic Analysis of Hybrid Systems, Proceedings of the 11 th Int. Conf. On Analysis and Optimization of Discrete Event Systems, Lecture Notes in Control and Information Sciences 199 (1994), 331-351, Springer-Verlag.
• 20. Henziger, T.A. ve diğerleri, What's Decidable About Hybrid Automata?, Proceedings of the 27th Annual Symposium Theory on the Theory of Computing, 373-382, ACM Press, (1995).
• 21. Puri, A. ve Varaiya, P., Verification of Hybrid Systems Using Abstractions, Hybrid Systems II, LNCS 999, Springer-Verlag (1995).
• 22. Erden, Z, A Petri Net-Based Inference Network for Design Automation at Functional Level Applied to Mechatronic Systems, Doktora Tezi, ODTÜ, 1999.
• 23. Erden, Z., Erkmen, A.M. ve Erden, A., A Petri Net-Based Design Network with Applications to Mechatronic Systems, Journal of Integrated Design and Process Science, 2 (1998) 3, 32-48.
• 24. Erden Z., Erkmen, A.M. ve Erden, A., Generation of Functional Cells for a Mechatronic Design Network, Proc. of the 5th UK Mechatronics Forum Int. Conference (Mechatronics '96) with the 3rd Int. Conf. on Mechatronics and Machine Vision in Practice (M2VIP '96), 1, 233-238 Guimaraes, Portugal, 1996.
• 25. Erden, Z., Erkmen, A.M. ve Erden, A., Modeling of the Job-Resource Interaction in a Mechatronic Design Process by Using Petri Net Theory, Proc. I lth International Conf. on Engineering Design, ICED 97, 2, 753-756, Tampere, Finland, 1997.
• 26. Erden, Z., Erkmen, A.M. ve Erden, A., A Petri Net-Based Inference Network for Design Automation under Nondeterminism Applied to Mechatronic Systems, Proc. the 6th UK Mechatronics Forum International Conference (Mechatronics 98), 17-22, Skövde, Sweden, 1998.
• 27. Erden, Z., Erkmen, A.M. ve Erden, A., Handling Uncertainty in Design Automation Using Intuitionistic Fuzzy Propositions, Proc. the 12th Int. Conference on Engineering Design, ICED 99, Munich, Germany, 1999.
• 28. Tabak, D. and Levis, A.H. (1985) Petri Net Representation of Decision Models. IEEE Transactions on Systems, Man, and Cybernetics SMC-15:812-818.
• 29. Erden, Z. ve Erden, A., Design Note : A Simulation Software for an Intelligent Area Sweeping Machine, Proc. of the ft Int. Mechatronic Design and Production Workshop, 339-343, ODTÜ, 1993.
• 30. Güroğlu, S., Implementation of an Algorithrn for a Petri Net-Based Design Inference Network, Yüksek Lisans Tezi, ODTÜ, 1999.
• 31. Güroğlu, S., Erden, Z., Erkmen, A.M. and Erden, A., The Design Network Simulator (DNS): An Implementation Software for a Petri Net-Based Design Network Applied to Mechatronic Design, Proc. the 6th Int. Conf. on Mechatronics and Machine Vision in Practice, M2VIP 99, 193-202, Ankara, Turkey, 1999.