Üretmek Ücretsiz, Desen Tabanlı Özellik Düzenleyicisi
Şimdi İndirin

Üretmek Sıralama ve Özet

Üretmek Etiketler

Düzenle Çevirmek mülk Emlak Editörü Desen tercüme desen çevirisi

Üretmek Açıklama

Ücretsiz, desen tabanlı özellik editörü Procrustes, her desenin zamansal bir mantık formülüne çevirisini (şu anda CTL, CTRL ve MU-Calculus'un desteklendiği) çevirisini sağlayan bir desen tabanlı özellik editörüdür .Procrustes iki modülden oluşur: grafiksel kullanıcı arayüzü ve Desen Tercüman API'si. İkincisi, genetik düzenleme ağlarının modellenmesi ve simülasyonu için bir bilgisayar aracı olan Genetik Ağ Analizine (GNA) entegre edilmiştir. Hücresel etkileşim ağlarının dinamiklerinin modelleri ve simülasyonu için bir bilgisayar aracı son yıllarda giderek daha büyük hale geldi. Bu modellerin analiz ve simülasyon araçları ile incelenmesi, sistemin olası dinamik davranışlarının çok sayıda tahminini oluşturur. Sistem dinamiklerini ayrık durum geçiş grafikleri (örneğin, Kripke yapıları) vasıtasıyla temsil ederken, ilgilenilen bazı özelliklerin doğrulanması için resmi doğrulama tekniklerini kullanmak mümkün olur. Bununla birlikte, bu, uzman olmayan bir kullanıcı için belirgin olmayan temporal mantıktaki özelliklerin formülasyonunu gerektirir. Bu soruna başa çıkabilmek için, yinelenen biyolojik soruları yakalamak için bir dizi desen (üst düzey sorgu şablonları) tanımlandı. modelleyiciler tarafından poz verdi. Desenler, temporal mantık formüllerine çevrilebilen yapılandırılmış doğal dil ifadelerden oluşur. Gereksinimler: · Java 1.5 veya daha sonra

Üretmek İlgili Yazılım