ارني

تحليل الشبكات التنظيمية البيولوجية مع هذه الأداة المساعدة.
التحميل الان

ارني الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • Freeware
  • اسم الناشر:
  • Christian Krause
  • أنظمة التشغيل:
  • Windows All
  • حجم الملف:
  • 29.8 MB

ارني العلامات


ارني وصف

Arne هو تطبيق مفيد وسهل الاستخدام مصمم خصيصا لتقديم أداة رسومية لمساعدتك في الحصول على نموذج وتحليل الشبكات التنظيمية البيولوجية. يستخدم Suite Suite MCRL2 Model Checker كضع حدوث خلفي وهو يبني باستخدام منصة العميل الغنية Eclipse. لذلك، إذا كنت تبحث عن أداة لمساعدتك في إنشاء شبكات بيولوجية، فتناول آرن لتدويرها وتحقق مما إذا كانت قدراتها تلبي احتياجاتك. الخصائص الرئيسية: التحرير الرسومي للشبكات التنظيمية المنفصلة، بما في ذلك تأثير قصير الأجل توليد تلقائي من وظائف التنشيط، التي تم توجيهها باستخدام قيود رتابة، وصيغ MU-Calculus Modal، ومعادلة الاختلاق، وقيود متعددة الخطوات / تسهيلية عرض سلوك الشبكة باستخدام أداة MCRL2 Ltsgraph


ارني برامج ذات صلة