Petri Net Description of Biological Neural Circuits for Fast Hardware Prototyping
تقترح هذه الورقة إطار عمل لشبكة "بتري" ذات زمن (T-timed Petri net) لنمذجة الدوائر العصبية البيولوجية، يتغلب على قيود عمليات المحاكاة ذات الخطوات الزمنية الثابتة من خلال تمكين التنفيذ في الوقت الفعلي القابل للتحقق منه رسميًا والمضمون بمواعيد نهائية، مع الحفاظ على التوافق التحليلي مع الديناميكيات المستمرة، كما تم التحقق من ذلك من خلال ثلاث دوائر دقيقة محاكات.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي لبحث مسبق لم يخضع لمراجعة الأقران. وهو ليس نصيحة طبية. لا تتخذ أي قرارات تتعلق بصحتك بناءً على هذا المحتوى. اقرأ إخلاء المسؤولية الكامل
لا يعالج الدماغ المعلومات كما تفعل الحاسبات التقليدية. فبينما يتبع المعالج التقليدي نبضات ساعة صارمة، ينتقل عبر التعليمات واحدة تلو الأخرى في تزامن مثالي، يعمل الدماغ وفق مبدأ مختلف تماماً؛ إذ يعتمد على نبضات كهربائية، تُعرف بالنبضات العصبية (spikes)، تنتقل بين الخلايا العصبية في لحظات دقيقة. وفي هذا النظام البيولوجي، لا يعد التوقيت الدقيق لنبضة واحدة مجرد تفصيل، بل هو الرسالة ذاتها. فإذا وصلت إشارة تهدف لتنسيق حركة عضلية متأخرة بجزء من الثانية، فلن تكون النتيجة مجرد فعل أبطأ، بل فعلاً خاطئاً تماماً. وهذا الحساسية تجاه الوقت تجعل من الدماغ نظاماً "في الوقت الحقيقي الصارم" (hard real-time system)، حيث تعتمد الصحة والفعالية كلياً على الالتزام بمواعيد نهائية صارمة. ولعقود من الزمن، جاهد العلماء لمحاكاة هذه الدوائر العصبية على الحواسيب القياسية لأن البرمجيات المستخدمة لنمذجتها غالباً ما تعامل الوقت كشبكة ثابتة، مما يفقدها الطبيعة الانسيابية القائمة على الأحداث التي تميز البيولوجيا الحقيقية. علاوة على ذلك، فإن محاكيات الأجهزة الحالية غالباً ما تعجز عن ضمان وصول الإشارة ضمن نافذة زمنية محددة وآمنة، مما يترك مجالاً لتأخيرات غير متوقعة لا يمكن أن تحدث أبداً في الكائن الحي.
ولحل هذه المعضلة، طور فريق من الباحثين من معهد نيوجيرسي للتكنولوجيا، وجامعة فلوريدا أتلانتيك، ومختبر لورانس بيركلي الوطني، طريقة جديدة لوصف الدوائر العصبية ومحاكاتها. فقد ابتكروا نموذجاً يسمى "نيورون بتري" (Petri neuron)، والذي يترجم سلوك الخلية العصبية البيولوجية إلى نظام من الرموز والبوابات، يشبه المخطط الانسيابي الذي يتتبع حركة العناصر عبر مصنع. في هذا النموذج، لا يكون العصبون تياراً مستمراً من الكهرباء، بل سلسلة من الخطوات المنفصلة: فهو يجمع الإشارات الواردة، ويتحقق مما إذا كان المجموع قد وصل إلى مستوى حرج، ثم يطلق نبضة إذا تحقق ذلك. ومن الأهمية بمكان أن هذا النظام يتضمن فترة تعافٍ مدمجة، مما يحاكي الحقيقة البيولوجية المتمثلة في أن العصبون لا يمكنه الإطلاق مرة أخرى فور إرسال إشارة. وباستخدام هذا الهيكل، يستطيع الباحثون إثباتاً رياضياً، قبل تشغيل أي محاكاة، المدة التي ستستغرقها الإشارة للعبور عبر الدائرة ومتى ستحدث النبضة التالية. هذا النهج يزيل التخمين بشأن التوقيت، ويقدم ضماناً بأن المحاكاة ستتصرف بنفس الموثوقية الزمنية الصارمة التي تمثلها الدائرة البيولوجية.
اختبر الباحثون نموذجهم الجديد عبر بناء ثلاثة أنواع متميزة من الدوائر العصبية الدقيقة، يمثل كل منها وظيفة شائعة في الدماغ. النوع الأول كان حلقة تثبيط تغذية راجعة (feedback inhibition loop)، وهي آلية حيث يحفز عصبون مُثار عصبوناً آخر يقوم بإيقافه فوراً لمنع النشاط الجامح. وفي محاكاتهم، نجح "نيورون بتري" في إعادة إنتاج أنماط الإطلاق الإيقاعية المشهدة في الدماغ، وتحديداً إيقاعات نطاق غاما المرتبطة بالتركيز الشديد والذاكرة. والأهم من ذلك، قدم النموذج ضماناً رسمياً بأن إشارة التثبيط ستصل دائماً ضمن عدد محدد من الدورات، مما يضمن استقرار الدائرة وعدم خروجها عن السيطرة. أما الاختبار الثاني فقد تضمن دائرة تثبيط جانبي (lateral inhibition circuit)، وهو إعداد يستخدمه الدماغ لزيادة حدة التباين وتمييز الحواف، تماماً كما تميز العين جسماً مظلماً مقابل خلفية ساطعة. وهنا، أظهر النموذج أن المنافسة بين العصبونات لمعرفة أي منها سـ "يفوز" ويطلق إشارة قد حُسمت ضمن وقت محدد بصرامة، بغض النظر عن قوة المدخلات الأولية. وقد أثبت هذا أن النظام لا يمكن أن يعلق في حالة من عدم الحسم، وهي خاصية غالباً ما تفشل طرق المحاكاة القياسية في ضمانها.
الاختبار الأخير كان كاشف ميزات هرمي (hierarchical feature detector)، وهو نسخة مبسطة من النظام البصري التي تحدد أشكالاً معينة، مثل الخطوط الأفقية أو الرأسية. بنى الباحثون شبكة حيث تكتشف العصبونات البسيطة الخطوط وتمرر تلك المعلومات إلى عصبونات معقدة تتعرف على النمط العام. وقد حددت المحاكاة بشكل صحيح اتجاه الخطوط وأعادت إنتاج التأخير المتوقع بين اكتشاف نمط مفضل ونمط غير مفضل. وطابق توقيت هذه الأحداث تنبؤات الباحثين الرياضية بدقة، مما أكد قدرة النموذج على التعامل مع دوائر متعددة الطبقات ومعقدة مع الحفاظ على تحكم دقيق في توقيت كل نبضة منفردة. وللتأكد من أن هذه النتائج ليست مجرد نظريات، قام الفريق بتشغيل عمليات المحاكاة على نوعين مختلفين جداً من الأجهزة: حاسوب مكتبي قوي، ومتحكم دقيق (microcontroller) صغير ومنخفض التكلفة. ووجدوا أنه بينما تسبب الحاسوب المكتبي في تأخيرات غير متوقعة بسبب نظام تشغيله المعقد، فإن المتحكم الدقيق الصغير قدم الإشارات بدقة متناهية، مما أثبت أن هذه الطريقة يمكن أن تعمل على نوع الرقائق المخصصة والموفرة للطاقة اللازمة للتطبيقات الواقعية.
تكمن أهمية هذا العمل في قدرته على جسر الفجوة بين النظرية البيولوجية والواقع الهندسي. فمن خلال معاملة توقيت النبضات العصبية كمسألة رسمية قابلة للحل بدلاً من كونها متغيراً يتم تقريبه، خلق الباحثون مخططاً لبناء دوائر عصبية مضمونة العمل بشكل صحيح في الوقت الحقيقي. وهذه خطوة حاسمة للأمام في مجال الحوسبة العصبية (neuromorphic computing)، التي تهدف إلى بناء رقائق حاسوبية تحاكي بنية الدماغ. وإذا استطاع المهندسون الاعتماد على ضمانات التوقيت هذه، فيمكنهم تصميم أنظمة للروبوتات، والمعالجة الحسية، والتحكم الذاتي، تتفاعل بنفس الموثوقية في أجزاء من الثانية كما يفعل الكائن الحي. لا تدعي الدراسة أنها حلت كل مشكلات المحاكاة العصبية؛ فالنموذج يبسط حالياً بعض التفاصيل البيولوجية، مثل التعافي التدريجي للعصبون بعد الإطلاق، ويعتمد على خطوات منفصلة تؤدي إلى أخطاء صغيرة عند معدلات الإطلاق المنخفضة جداً. ومع ذلك، من خلال وضع أساس يكون فيه التوقيت قابلاً للتنبؤ والتحقق، قدم الباحثون أداة جديدة تسمح للعلماء بالانتقال لما وراء التقريبات وبناء دوائر عصبية موثوقة بقدر البيولوجيا التي يسعون لمحاكاتها.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.