Arne Bu yardımcı programla biyolojik düzenleyici ağları analiz edin.
Şimdi İndirin

Arne Sıralama ve Özet

Arne Etiketler

Yaratmak Yaratıcı Analiz etmek düzenleme gereksinimleri biyolojik ağ biyolojik biyolojik parametre biyolojik döngüler Sentetik Biyolojik Sistem biyolojik veriler biyolojik dizilim Biyolojik Ağ Oluştur biyolojik ağ oluşturucu biyolojik ağı analiz et biyolojik yol biyolojik palindromlar Biyolojik Tekrarlar Biyolojik Metin Madenciliği Biyolojik organizmalar biyolojik ekran koruyucu biyolojik fenomen Biyolojik Yol Navigasyonu biyolojik harita Biyolojik soru biyolojik kütüphane mevzuata uygunluk biyolojik ağ kürasyonu biyolojik ömrü simüle etmek Biyolojik dizileri analiz eder Biyolojik molekülü analiz eder Biyolojik Molekül Analizi Yerleşimi Biyolojik Veriler Düzenleyici Bölge Analizi Biyolojik yolları görselleştirin Biyolojik Pathways Görüntüleyici Biyolojik yolları analiz eder Biyolojik yolu görüntüleyin Biyolojik yolu analiz eder CIS düzenleyici elemanı analiz eder Lojistik ağlarını analiz edin biyolojik simülatör

Arne Açıklama

Arne, biyolojik düzenleyici ağları modellemenize ve analiz etmenize yardımcı olacak grafiksel bir araç sunmak için özel olarak tasarlanmış kullanımı kolay, kullanımı kolaydır. MCRL2 Model Checker Suite'i arka uç olarak kullanır ve Eclipse Rich Client platformu kullanılarak oluşturur. Öyleyse, biyolojik ağlar oluşturmanıza yardımcı olacak bir araç arıyorsanız, bir dönüş için Arne'yi alın ve yeteneklerinin ihtiyaçlarınızı karşılayabileceği olup olmadığını kontrol edin. Ana Özellikler: Kısa süreli etki dahil, ayrık düzenleyici ağların grafik düzenlemesi Otomatik aktivasyon fonksiyonlarının üretilmesi, monotoniklik kısıtlamaları, modal mu-calculus formülleri, bisimülasyon eşdeğerlikleri ve çok istikrarlılık / homeostasy kısıtlamaları kullanılarak yönlendirilir MCRL2 Aracı Ltsgraph kullanarak ağ davranışının gösterilmesi

Arne İlgili Yazılım