Bu, en son sürümü kirk.jar olarak indirilebilen, Linux çevrimiçi üzerinden Windows'ta çevrimiçi olarak çalıştırılan Cpt Kirk adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile Linux üzerinden Windows'ta çevrimiçi olarak çalıştırmak için Cpt Kirk adlı bu uygulamayı ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
Cpt Kirk, Windows'ta çevrimiçi Linux üzerinden çevrimiçi çalışacak
Ad
AÇIKLAMA
Önerilen yöntemden bu yana https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubMeta programlamaya dayalıdır, mevcut son teknoloji yazılım sistemlerini kullanmak mümkündür
Bu, bir hata ayıklama yaklaşımıyla ilgili olanı genişleterek bu yeni aracı geliştirmeye başlamamıza izin veren sağlam temelli ve yanıt kümesi semantiğini destekleyen: Spock, dolayısıyla Cpt adı. Kirk.
Ayrıca ve daha da önemlisi, keşfedilecek yönlerden biri, "metaASP" de açıklanan şeyleştirme tekniğini, bir doygunluk tekniği yoluyla çıkarımları elde etmek için kullanmak ve orijin formüllerinin temel çıkarımlarını optimizasyon ve dolayısıyla uygun minimum doğrulamalarla elde etmektir.
Özellikler
- Cevap Kümesi programları için neden-olmayan kaynak modellerini hesaplayın.
- Hata ayıklama (spock) modelleriyle WnP modellerini eşleyin.
Seyirci
Bilim araştırması
Programlama dili
Java
Bu, https://sourceforge.net/projects/cptkirk/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
