Satlotyper عبارة عن أداة برمجية مصممة لاستنتاج النفاثة النفاثة من polyploid وبيانات SNP غير المتوفرة من البولياللي. يستخدم Satlotyper مشغلي المنطقي والمتغيرات لصياغة الاستدلال النمطية النمطية بواسطة Pure Parsimony (HIPP) لمشكلة الرضا المنطقي (SAT). لإيجاد المجموعة الأكثر بيئا من شرح الأنماط المختلفة، يبدأ Satlotyper بافتراض واحد يشرح النمط النموذجي ويزيد من عدد العبوات المضغوط حتى يتم العثور على مجموعة مرضية. نظرا لأن SAT هو NP-Complete، لا يمكن مضمون أنه تم العثور على حل في وقت معقول لبيانات معينة. ومع ذلك، أظهرت اختبارات التبريم أنه من الممكن حساب الاستدلالات للبيانات من العالم الحقيقي. علاوة على ذلك، يعطي Satlotyper قيودا للبديل في شرح الحلول والقدرة على تحسين احتمال النتيجة عن طريق إجراء التمهيد. أعط Satlotyper محاولة لرؤية مدى فائدة يمكن أن تكون في الواقع لك!
يوفر موقع softwaresea.com أحدث مركز تنزيل مجاني للبرامج الخضراء في الداخل والخارج ، بما في ذلك برامج الكمبيوتر وتطبيق Apple وتطبيق Android وتنزيلات برامج الكمبيوتر المحمولة المجانية الأخرى. إذا كنت تريد معرفة المزيد عن البرامج المجانية الخضراء ، فقم بتنزيلها في softwaresea.com!