عائلي محرر الملكية المجاني،
التحميل الان

عائلي الترتيب والملخص

عائلي العلامات

تعديل ترجمة ملكية محرر الممتلكات ترجمة نمط ترجمة نمط

عائلي وصف

مجانا، محرر الملكية المستندة إلى نمط Projectrustes عبارة عن محرر خاصية يستند إلى نمط تمكن ترجمة كل نمط في صيغة منطقية زمانية (حاليا CTL، CTRL و MU-Calculus) تتكون من وحدتين: واجهة المستخدم الرسومية و API للمترجم نمط. تم دمج الأخير في محلل الشبكة الوراثية (GNA)، أداة كمبيوتر لنمذجة ومحاكاة الشبكات التنظيمية الوراثية. أصبحت مدمجات ديناميات شبكات التفاعل الخلوي كبيرة بشكل متزايد في السنوات الأخيرة. تقوم دراسة هذه النماذج عن طريق تحليل وأدوات المحاكاة بإنشاء عدد كبير من التنبؤات بالسلوكيات الديناميكية المحتملة للنظام. عند تمثيل ديناميات النظام عن طريق الرسوم البيانية الانتقالية للدولة المنفصلة (على سبيل المثال، هياكل Kripke)، يصبح من الممكن استخدام تقنيات التحقق الرسمية للتحقق من خصائص معينة من الاهتمام. ومع ذلك، يتطلب هذا صياغة العقارات في المنطق الزمني، والتي ليست واضحة للمستخدم غير الخبراء. من أجل التعامل مع هذه المشكلة، تم تعريف مجموعة من الأنماط (قوالب الاستعلام الرفيعة المستوى) لالتقاط أسئلة بيولوجية متكررة يطرحها النماذج. تتكون الأنماط من عبارات اللغة الطبيعية المنظمة التي يمكن ترجمتها إلى صيغ المنطق الزمنية. متطلبات: Java 1.5 أو الأحدث

عائلي برامج ذات صلة