अतुल्यकालिक सेलुलर ऑटोमेटन

सेलुलर ऑटोमेटा, अन्य बहु-एजेंट प्रणाली  मॉडल की तरह, आमतौर पर समय को अलग-अलग समय के रूप में और परिमित राज्य मशीन अपडेट को घटित होने वाले अतुल्यकालिक प्रणाली के रूप में मानता है। इससे पहले कि कोई भी नई स्थिति अन्य कोशिकाओं को प्रभावित करे, मॉडल में प्रत्येक कोशिका की स्थिति को एक साथ अद्यतन किया जाता है। इसके विपरीत, एक अतुल्यकालिक प्रणाली सेलुलर ऑटोमेटन व्यक्तिगत कोशिकाओं को स्वतंत्र रूप से अपडेट करने में सक्षम है, इस तरह से कि सेल की नई स्थिति पड़ोसी कोशिकाओं में राज्यों की गणना को प्रभावित करती है।

समकालिक अद्यतनीकरण के कार्यान्वयन का विश्लेषण दो चरणों में किया जा सकता है। पहला, इंटरैक्शन, पड़ोस और अद्यतन नियम के आधार पर प्रत्येक सेल की नई स्थिति की गणना करता है। राज्य मूल्यों को एक अस्थायी भंडार में रखा जाता है। दूसरा चरण नए राज्यों को कोशिकाओं में कॉपी करके राज्य मानों को अद्यतन करता है।

इसके विपरीत, एसिंक्रोनस अपडेटिंग आवश्यक रूप से इन दो चरणों को अलग नहीं करती है: सबसे सरल मामले में (पूरी तरह से एसिंक्रोनस अपडेटिंग), राज्य में परिवर्तन तुरंत लागू किए जाते हैं।

समकालिक दृष्टिकोण यह सुनिश्चित करने के लिए एक वैश्विक घड़ी संकेत की उपस्थिति मानता है कि सभी कोशिकाएं एक साथ अपडेट की जाती हैं। हार्डवेयर विवरण भाषा तैयार करने के लिए सुविधाजनक होते हुए भी, यह एक अवास्तविक धारणा हो सकती है यदि मॉडल का प्रतिनिधित्व करना है, उदाहरण के लिए, एक जीवित प्रणाली जहां ऐसे उपकरण की उपस्थिति का कोई सबूत नहीं है।

एक सामान्य विधि जिसे बार-बार स्वतंत्र रूप से खोजा गया (1970 के दशक में के. नाकामुरा द्वारा, 1980 के दशक में टी. टोफोली द्वारा और 1998 में सी. एल. नेहनिव द्वारा) एक सरल तरीके से निर्मित एक एसिंक्रोनस के माध्यम से एक सिंक्रोनस सेलुलर ऑटोमेटन के व्यवहार का बिल्कुल अनुकरण करने की अनुमति देता है। सिंक्रोनस सेल्युलर ऑटोमेटन का संशोधन (नेहनिव 2002)। हालाँकि इस पद्धति की शुद्धता को हाल ही में कठोरता से सिद्ध किया गया है (नेहनिव, 2004)। परिणामस्वरूप, यह सिंक्रोनस सेल्यूलर आटोमेटा  के परिणामों से तुरंत पता चलता है कि एसिंक्रोनस सेल्युलर ऑटोमेटा अनुकरण करने में सक्षम हैं, उदाहरण के लिए, कॉनवे का जीवन का खेल, सार्वभौमिक गणना और स्व-प्रतिकृति (उदाहरण के लिए, वॉन न्यूमैन यूनिवर्सल कंस्ट्रक्टर में)। इसके अलावा, सामान्य निर्माण और प्रमाण सिंक्रोनस ऑटोमेटा नेटवर्क के अधिक सामान्य वर्ग पर भी लागू होता है (निर्देशित ग्राफ़ पर ऑटोमेटा के अमानवीय नेटवर्क, बाहरी इनपुट की अनुमति देते हैं - जिसमें एक विशेष मामले के रूप में सेलुलर ऑटोमेटा शामिल है), रचनात्मक रूप से दिखाते हैं कि उनका व्यवहार अतुल्यकालिक रूप से कैसे हो सकता है संबंधित एसिंक्रोनस ऑटोमेटा नेटवर्क द्वारा साकार किया गया।

अद्यतन योजनाएं
कई अध्ययनों ने अतुल्यकालिक मॉडल लागू किए हैं और पाया है कि उनका व्यवहार तुल्यकालिक मॉडल से भिन्न है। बेर्सिनी और डेटॉर्स (1994) ने दिखाया है कि कॉनवे का गेम ऑफ लाइफ अद्यतनीकरण योजना के प्रति कितना संवेदनशील है। अतुल्यकालिक मामले में कोई भी दिलचस्प व्यवहार गायब हो जाता है। हार्वे और बोसोमायर (1997) ने बताया कि यादृच्छिक बूलियन नेटवर्क में स्टोकेस्टिक अपडेट के परिणामस्वरूप केवल बिंदु आकर्षित करने वालों की अभिव्यक्ति होती है: कोई दोहराने योग्य चक्रीय व्यवहार नहीं है, हालांकि उन्होंने ढीले चक्रीय आकर्षण की अवधारणा पेश की। कनाडा (1994) ने दिखाया है कि कुछ एक-आयामी सीए मॉडल जो अद्यतन होने पर गैर-अराजक पैटर्न उत्पन्न करते हैं, यादृच्छिक होने पर समकालिक रूप से कैओस सिद्धांत पैटर्न के किनारे उत्पन्न करते हैं। ऑर्पोनेन (1997) ने प्रदर्शित किया है कि थ्रेशोल्ड लॉजिक इकाइयों (कृत्रिम न्यूरॉन देखें) के किसी भी समकालिक रूप से अद्यतन नेटवर्क को ऐसे नेटवर्क द्वारा अनुकरण किया जा सकता है जिसमें अपडेट के क्रम पर कोई बाधा नहीं है। सिप्पर एट अल. (1997) ने विशिष्ट कंप्यूटिंग कार्य करने वाले गैर-समान सीए के विकास की जांच की। ये मॉडल समान अद्यतन नियम वाले सभी नोड्स की सामान्य आवश्यकता को शिथिल करते हैं। उनके मॉडल में, नोड्स को ब्लॉकों में व्यवस्थित किया गया था। एक ब्लॉक के भीतर नोड्स को सिंक्रोनस रूप से अपडेट किया गया था, लेकिन ब्लॉक को एसिंक्रोनस रूप से अपडेट किया गया था। उन्होंने तीन योजनाओं के साथ प्रयोग किया: (1) प्रत्येक समय चरण पर, प्रतिस्थापन के साथ यादृच्छिक रूप से एक ब्लॉक चुना जाता है; (2) प्रत्येक समय चरण में, प्रतिस्थापन के बिना यादृच्छिक रूप से एक ब्लॉक चुना जाता है; (3) प्रत्येक समय चरण पर, एक निश्चित अद्यतन क्रम के अनुसार एक ब्लॉक चुना जाता है।

अतुल्यकालिक अद्यतनीकरण के विभिन्न प्रकार हैं, और विभिन्न लेखकों ने अलग-अलग तरीकों से इनका वर्णन किया है। नीचे दी गई छवियों में दिखाई गई योजनाएँ इस प्रकार हैं (कॉर्नफोर्थ एट अल. 2005):


 * तुल्यकालिक योजना - सभी सेल प्रत्येक समय चरण पर समानांतर में अपडेट किए जाते हैं। यह पारंपरिक मॉडल है, जिसे तुलना के लिए यहां बताया गया है।
 * यादृच्छिक स्वतंत्र योजना - प्रत्येक समय चरण में, एक सेल को प्रतिस्थापन के साथ यादृच्छिक रूप से चुना जाता है, और अद्यतन किया जाता है।
 * यादृच्छिक क्रम योजना - प्रत्येक समय चरण पर, सभी नोड्स अपडेट किए जाते हैं, लेकिन यादृच्छिक क्रम में।
 * चक्रीय योजना - प्रत्येक समय चरण में एक नोड को एक निश्चित अद्यतन क्रम के अनुसार चुना जाता है, जिसे मॉडल के आरंभीकरण के दौरान यादृच्छिक रूप से तय किया गया था।
 * क्लॉक सिग्नल|स्वयं-घड़ी योजना - प्रत्येक सेल में एक स्वतंत्र टाइमर होता है, जो एक यादृच्छिक अवधि और चरण के लिए आरंभ होता है। जब अवधि समाप्त हो जाती है, तो सेल अपडेट हो जाता है और टाइमर रीसेट हो जाता है। अद्यतन करना स्वायत्त है और विभिन्न कोशिकाओं के लिए अलग-अलग दरों पर आगे बढ़ता है।
 * स्व-तुल्यकालिक प्रणाली |सेल्फ-सिंक स्कीम - क्लॉक्ड स्कीम के समान, लेकिन टाइमर का चरण पड़ोसियों के साथ स्थानीय युग्मन से प्रभावित होता है, और इसलिए स्थानीय सिंक्रोनस प्राप्त करने में सक्षम होते हैं।

नीचे दिए गए समय-स्थिति आरेख उन अंतरों को दिखाते हैं जो किसी अन्य पैरामीटर को बदले बिना सेलुलर ऑटोमेटा मॉडल की अद्यतन योजना को बदलने के कारण होते हैं। प्रयुक्त नियम, नियम 30, प्रत्येक आरेख के लिए समान है।

निहितार्थ
अक्सर, सेलुलर ऑटोमेटा जैसे सिमुलेशन का उपयोग वास्तविक जीवन में काम करने वाली प्रक्रियाओं को समझने में मदद के लिए किया जाता है। सरलीकृत मॉडल बनाकर नई अंतर्दृष्टि सीखी जा सकती है। हमेशा यह सवाल रहता है कि जो मॉडल बनाया जा रहा है उसका पर्याप्त रूप से वर्णन करने के लिए ये मॉडल कितने सरल होने चाहिए। अतुल्यकालिक मॉडल का उपयोग मॉडल में यथार्थवाद के एक अतिरिक्त स्तर की अनुमति दे सकता है। ऊपर वर्णित सभी योजनाओं का वास्तविक जीवन में अपना योगदान है। यादृच्छिक स्वतंत्र योजना सामाजिक नेटवर्क या संगणक संजाल  में संचार के मॉडलिंग के लिए उपयुक्त हो सकती है। क्लॉक्ड योजना कॉलोनी (जीव विज्ञान) मॉडलिंग के लिए उपयुक्त हो सकती है, जबकि स्व-तुल्यकालिक योजना तंत्रिका ऊतक पर लागू की जा सकती है।

संदर्भ

 * H. Bersini and V. Detours, 1994. Asynchrony induces stability in cellular automata based models, Proceedings of the IVth Conference on Artificial Life , pages 382-387, Cambridge, MA, July 1994, vol 204, no. 1-2, pp. 70-82.
 * Cornforth, D, Green, D, & Newth, D 2005, Ordered Asynchronous Processes in Multi-Agent Systems, Physica D, vol 204, no. 1-2, pp. 70-82.
 * Cornforth, D, Green, DG, Newth D & Kirley M 2002, Do Artificial Ants March in Step? Ordered Asynchronous Processes and Modularity in Biological Systems. In Standish, Bedau, Abbass, Proceedings of the Eighth International Conference on Artificial Life, Sydney, pp. 28-32
 * Fatès N., (2014), A guided tour of asynchronous cellular automata, Journal of Cellular Automata: Vol. 9(5-6), pp. 387-416, preprint
 * Fatès N., and Morvan M., (2005), An Experimental Study of Robustness to Asynchronism for Elementary Cellular Automata, Complex Systems: Volume 16 / Issue 1, pp. 1-27.
 * Fatès N., Morvan M., N. Schabanel, and E. Thierry, (2006), Fully asynchronous behavior of double-quiescent elementary cellular automata, Theoretical Computer Science: Volume 362, pp. 1 - 16.
 * Harvey I., and Bossomaier T.R.J, (1997). Time Out of Joint: Attractors in Asynchronous Boolean Networks. In Husbands and Harvey (eds.), Proceedings of the Fourth European Conference on Artificial Life, 67-75, MIT Press.
 * Kanada Y. (1994). The Effects of Randomness in Asynchronous 1D Cellular Automata. Artificial Life IV.
 * Nehaniv, C. L. (2002). Evolution in Asynchronous Cellular Automata, Artificial Life VIII, 65-73, MIT Press.
 * Nehaniv, C. L. (2004). Asynchronous Automata Networks Can Emulate Any Synchronous Automata Network, International Journal of Algebra & Computation, 14(5-6):719-739.
 * Orponen, P. (1997). Computing with Truly Asynchronous Threshold Logic Networks. Theoretical Computer Science 174(1-2):123-136.
 * Sipper M, Tomassini M. and Capcarrere M.S. (1997). Evolving Asynchronous and Scalable Non-Uniform Cellular Automata. Proc. of Intl. Conf. on Artificial Neural Networks and Genetic Algorithms (ICANNGA97), Springer-Verlag.
 * Virtual Laboratory at Monash University Online simulations of asynchronous updating in cellular automata.