Alat perbandingan struktur protein
Perangkat lunak untuk menghitung urutan atau struktur struktur yang dipasangkan ...
1 KB
 | Alloy AnalyzerAlat untuk menganalisis model paduan |
| Unduh sekarang | |
Alloy Analyzer Peringkat & Ringkasan
Iklan
- Lisensi:
- MIT License
- Harga:
- FREE
- Nama Penerbit:
- Alloy Analyzer Team
- Situs web penerbit:
- http://alloy.mit.edu
- Sistem operasi:
- Mac OS X
- Ukuran file:
- 4 MB
Alloy Analyzer Tag
Alloy Analyzer Keterangan
Alat untuk menganalisis model paduan Alloy Analyzer adalah alat sumber gratis dan terbuka yang dikembangkan untuk menganalisis model yang ditulis dalam paduan, bahasa pemodelan struktural sederhana berdasarkan logika orde pertama. Alloy Analyzer dapat menghasilkan contoh invarian, mensimulasikan pelaksanaan operasi (bahkan yang didefinisikan secara implisit), dan memeriksa sifat-sifat yang ditentukan pengguna dari model. Alloy Analyzer didasarkan pada Model Finder Kodkod yang berbasis SAT. Kodkod menerapkan teknik dan optimisasi baru ke terjemahan dari relasional ke logika boolean, seperti instance parsial yang disediakan pengguna dan teknik pemecah simetri yang lebih umum yang bekerja di hadapan instance parsial yang sewenang-wenang. Panduan langkah-demi-langkah dan tutorial Alloy4 ada di sini dan di sini. Persyaratan: · Java 1.5 atau lebih baru Apa yang baru dalam rilis ini: · Termasuk heuristik penomoran atom baru yang harus membuat util / pemesanan penomoran lebih intuitif; juga ditingkatkan ke Kodkod terbaru, dan ditingkatkan ke SAT4J 2.0.5. · Ekspor PDF menggunakan tecniques kompresi dan menghasilkan ukuran file yang lebih kecil hingga 20x.
Alloy Analyzer Perangkat Lunak Terkait
