To aplikacja dla systemu Windows o nazwie Cpt Kirk, którą można uruchomić online w systemie Windows za pośrednictwem Linuksa. Jej najnowszą wersję można pobrać jako plik kirk.jar. Można ją uruchomić online w darmowym hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online aplikację o nazwie Cpt Kirk, aby uruchomić ją w systemie Windows przez system Linux za darmo przy użyciu programu OnWorks.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom dowolny emulator online systemu operacyjnego OnWorks z tej witryny, ale lepszy emulator online systemu Windows.
- 5. W systemie operacyjnym OnWorks Windows, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację i zainstaluj ją.
- 7. Pobierz Wine z repozytoriów oprogramowania dystrybucji Linuksa. Po zainstalowaniu możesz dwukrotnie kliknąć aplikację, aby uruchomić ją za pomocą Wine. Możesz także wypróbować PlayOnLinux, fantazyjny interfejs w Wine, który pomoże Ci zainstalować popularne programy i gry Windows.
Wine to sposób na uruchamianie oprogramowania Windows w systemie Linux, ale bez systemu Windows. Wine to warstwa kompatybilności z systemem Windows typu open source, która może uruchamiać programy systemu Windows bezpośrednio na dowolnym pulpicie systemu Linux. Zasadniczo Wine próbuje ponownie zaimplementować system Windows od podstaw, aby mógł uruchamiać wszystkie te aplikacje Windows bez faktycznego korzystania z systemu Windows.
Kapitan Kirk będzie mógł działać w systemie Windows online za pośrednictwem Linuksa
Ad
OPIS
Ponieważ metoda zaproponowana w https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubopiera się na metaprogramowaniu, możliwe jest wykorzystanie istniejących najnowocześniejszych systemów oprogramowania
które wspierają dobrze ugruntowaną semantykę i zestaw odpowiedzi, co pozwoliło nam rozpocząć rozwój tego nowego narzędzia poprzez rozszerzenie istniejącego, związanego z podejściem debugowania: Spock, stąd nazwa Cpt. Kościół.
Co więcej, co ważniejsze, jednym z kierunków do zbadania jest zastosowanie techniki reifikacji opisanej w „metaASP” w celu uzyskania implikantów za pomocą techniki nasycenia oraz uzyskanie głównych implikantów formuł pochodzenia przez optymalizację, a tym samym odpowiednich uzasadnień minimalnych.
Funkcjonalności
- Oblicz modele „dlaczego nie pochodzenia” dla programów z zestawem odpowiedzi.
- Mapuj modele WnP z modelami debugowania (spock).
Publiczność
Nauka/Badania
Język programowania
Java
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/cptkirk/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.