الشبكة المنطقية

الشبكة المنطقية
تتكون الشبكة المنطقية من مجموعة منفصلة من المتغيرات المنطقية لكل منها وظيفة منطقية (ربما تختلف عن كل متغير) مخصصة لها والتي تأخذ مدخلات من مجموعة فرعية من هذه المتغيرات والمخرجات التي تحدد حالة المتغير الذي تم تعيينه له، تحدد هذه المجموعة من الوظائف في الواقع طوبولوجيا (اتصال) على مجموعة المتغيرات، والتي تصبح بعد ذلك عُقدًا في شبكة، وعادة ما يتم أخذ ديناميكيات النظام كــ سلسلة زمنية منفصلة حيث يتم تحديد حالة الشبكة بأكملها في الوقت t +1 عن طريق تقييم وظيفة كل متغير على حالة الشبكة في الوقت t، يمكن القيام بذلك بشكل متزامن أو غير متزامن.
تم استخدام الشبكات المنطقية في علم الأحياء لنمذجة الشبكات التنظيمية، على الرغم من أن الشبكات المنطقية هي تبسيط أولي للواقع الجيني حيث لا تكون الجينات مفاتيح ثنائية بسيطة، فهناك العديد من الحالات التي تلتقط فيها بشكل صحيح النمط الصحيح للجينات المعبر عنها والمقموعة، لم يتم فهم النموذج الرياضي السهل (المتزامن) على ما يبدو إلا بشكل كامل في منتصف العقد الأول من القرن الحادي والعشرين.
النموذج الكلاسيكي
تعد الشبكة المنطقية نوعًا معينًا من النظام الديناميكي المتسلسل، حيث يكون الوقت والحالات منفصلة، أي أن لكل من مجموعة المتغيرات ومجموعة الحالات في السلسلة الزمنية انحيازًا إلى سلسلة صحيحة، تشبه هذه الأنظمة التشغيل الآلي الخلوي على الشبكات، باستثناء حقيقة أنه عند إعدادها، يكون لكل عقدة قاعدة يتم اختيارها عشوائيًا من بين كل 2 عقدة محتملة ذات مدخلات K، يميل سلوك K=2 من الفئة 2 إلى السيطرة، ولكن بالنسبة إلى K>2 ، فإن السلوك الذي يراه المرء يقترب بسرعة مما هو نموذجي لرسم الخرائط العشوائية التي ترتبط فيها الشبكة التي تمثل تطور حالات 2 للعقد الكامنة N بشكل عشوائي.
الشبكة المنطقية العشوائية (RBN) هي شبكة يتم اختيارها عشوائيًا من مجموعة جميع الشبكات المنطقية الممكنة ذات حجم معين، N، ثم يمكن للمرء أن يدرس إحصائياً، كيف تعتمد الخصائص المتوقعة لهذه الشبكات على الخصائص الإحصائية المختلفة لمجموعة جميع الشبكات الممكنة، على سبيل المثال، يمكن للمرء أن يدرس كيف يتغير سلوك RBN مع تغير متوسط الاتصال.
تم اقتراح الشبكات المنطقية الأولى من قبل ستيوارت أ.كوفمان في عام 1969، كنماذج عشوائية للشبكات التنظيمية الجينية ولكن فهمهم الرياضي بدأ فقط في 2000s.
الجاذبون
نظرًا لأن الشبكة المنطقية لا تحتوي إلا على حالات ممكنة 2N، فإن المسار سيصل عاجلاً أم آجلاً إلى حالة تمت زيارتها سابقًا، وبالتالي، نظرًا لأن الديناميكيات حتمية، فإن المسار سيقع في حالة ثابتة أو دورة تسمى الجاذب (على الرغم من أن دورة في المجال الأوسع من النظم الديناميكية هي فقط عامل جذب إذا الاضطرابات من ذلك يؤدي إلى العودة إليها)، إذا كان للجاذب حالة واحدة فقط، فإنه يطلق عليه الجاذب النقطي، وإذا كان الجاذب يتألف من أكثر من حالة واحدة، فيُطلق عليه الجاذب الدائري، تسمى مجموعة الحالات التي تؤدي إلى الجاذب حوض الجاذب، الدول التي لا تحدث إلا في بداية مسارات (لا مسارات تؤدي إليها)، تسمى ولايات حديقة عدن وديناميات الشبكة تتدفق من هذه الدول نحو المزارات. الوقت المستغرق للوصول إلى المزارات يسمى الوقت المؤقت.
مع تزايد قوة الكمبيوتر وزيادة فهم النموذج الذي يبدو بسيطًا، أعطى مؤلفون مختلفون تقديرات مختلفة لمتوسط عدد وطول الجاذبين، هنا ملخص موجز للمنشورات الرئيسية.
تحقيق الاستقرار
في نظرية النظم الديناميكيّة، فإن تركيب وطول الجذامات في الشبكة يتوافق مع المرحلة الديناميكية للشبكة، يعتمد استقرار الشبكات المنطقية على اتصالات العقد الخاصة بها، يمكن أن تعرض الشبكة المنطقية سلوكًا مستقرًا أو هامًا أو فوضويًا، تحكم هذه الظاهرة قيمة حاسمة لمتوسط عدد اتصالات العقد، ويمكن تمييزها بمسافة هامينج كمقياس المسافة، وفي النظام غير المستقر، تنمو المسافة بين دولتين متقاربة في البداية في المتوسط على نحو مضطرد بمرور الوقت، في حين تنخفض في النظام المستقر إلى مستويات غير عادية، في هذا، مع «حالات الإغلاق الأولية»، يعني المرء أن مسافة هامينج صغيرة مقارنة بعدد العقد في الشبكة.
بالنسبة إلى نموذج N-K-model ، تكون الشبكة مستقرة إذا ، وحرجة إذا ، وغير مستقرة إذا
يتم تحديث حالة العقدة المحددة وفقًا لــ جدول الحقيقة الخاص بها، والذي يتم تعبئة مخرجاته بشكل عشوائي، يشير إلى احتمال تعيين إخراج متوقف عن التشغيل لسلسلة معينة من إشارات الإدخال.
إذا لكل عقدة، فإن الانتقال بين النطاق المستقر والفوضوي يعتمد على ، وفقًا لـ برنارد دريدا وإيف بومو ، فإن القيمة الحاسمة لمتوسط عدد الاتصالات هي .
إذا لم يكن ثابتًا، ولم يكن هناك ارتباط بين الدرجات المتدرجة والخارجة، يتم تحديد شروط الاستقرار بواسطة الشبكة مستقرة إذا ، حرجة إذا ، و غير مستقر إذا
شروط الاستقرار هي نفسها في حالة الشبكات ذات الهيكل الخالي من المقاييس حيث يكون التوزيع داخل وخارج الدرجة توزيعًا لقانون الطاقة: و ، لأن كل رابط خارجي من عقدة هو رابط داخلي لآخر.
تُظهر الحساسية احتمالية تغير ناتج الوظيفة المنطقية لعقدة معينة إذا تغير إدخالها، للشبكات المنطقية العشوائية، ، في الحالة العامة، يخضع استقرار الشبكة لــ أكبر قيمة من المصفوفة ، حيث ، و هي مصفوفة مجاورة للشبكة، الشبكة مستقرة إذا ، حرجه إذا ، غير مستقرة إذا .
اختلافات النموذج
طبولوجيا أخرى
أحد المواضيع هو دراسة طبولوجيا الرسم البياني الأساسية المختلفة.
حالة متجانسة يشير ببساطة إلى الشبكة التي هي ببساطة تخفيض إلى نموذج إيسينج الشهير.
يمكن اختيار طبولوجيا خالية من المقاييس للشبكات المنطقية، يمكن للمرء أن يميز الحالة التي يتم فيها توزيع التوزيع في قانون السلطة فقط، أو فقط التوزيع خارج الدرجة أو كليهما.
مخططات التحديث الأخرى
يتم تحديث الشبكات المنطقية الكلاسيكية (تسمى أحيانًا CRBN ، أي شبكة عشوائية منطقية كلاسيكية) بشكل متزامن، وبدافع من حقيقة أن الجينات لا تغير حالتها في وقت واحد في العادة، تم تقديم بدائل مختلفة. التصنيف الشائع هو ما يلي:
تحديث حتمى غير متزامن
لا يتم تحديث الشبكات المنطقية (DRBNs) بشكل متزامن ولكن لا يزال هناك حل نهائي، سيتم تحديث العقدة i عندما يكون t ≡ Qi (mod Pi) حيث t هو الوقت المحدد.
الحالة الأكثر شيوعًا هي التحديث العشوائي الكامل (GARBN ، الشبكات المنطقية العشوائية غير المتزامنة العامة)، هنا، يتم تحديد عقدة واحدة (أو أكثر) في كل خطوة حسابية ليتم تحديثها.
النظام الديناميكي المنطقي المرصود جزئيًا (PONDS). يختلف نموذج الإشارة عن جميع نماذج الشبكة المنطقية والعشوائية السابقة عن طريق إزالة افتراض إمكانية المراقبة المباشرة لناقل الحالة المنطقية والسماح بعدم اليقين في عملية المراقبة، معالجة السيناريو الذي واجهته في الممارسة.
تطبيق شبكات منطقية
التصنيف
تصنيف بايزي الأمثل طور تصنيفًا مثاليًا للمسارات يحسب عدم اليقين المحتمل للنموذج واقترح أيضًا تصنيف مسار قائم على الجسيمات قابل للتطوير بدرجة كبيرة للشبكات الكبيرة ذات التعقيد الأقل بكثير من الحل الأمثل.
المصادر
Dubrova, E., Teslenko, M., Martinelli, A., (2005). *Kauffman Networks: Analysis and Applications, in "Proceedings of International Conference on Computer-Aided Design", pages 479-484.
روابط خارجية
DDLab
Analysis of Dynamic Algebraic Models (ADAM) v1.1
RBNLab
NetBuilder Boolean Networks Simulator
Open Source Boolean Network Simulator
JavaScript Kauffman Network
Probabilistic Boolean Networks (PBN)
A SAT-based tool for computing attractors in Boolean Networks
CoLoMoTo (Consortium for Logical Models and Tools)
معلوماتية حيوية
منطق
ميكانيكا إحصائية