Ito ang Windows app na pinangalanang Cpt Kirk upang tumakbo sa Windows online sa Linux online na ang pinakabagong release ay maaaring ma-download bilang kirk.jar. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Cpt Kirk upang tumakbo sa Windows online sa Linux online gamit ang OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Magsimula ng anumang OS OnWorks online emulator mula sa website na ito, ngunit mas mahusay na Windows online emulator.
- 5. Mula sa OnWorks Windows OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application at i-install ito.
- 7. I-download ang Wine mula sa iyong mga Linux distributions software repository. Kapag na-install na, maaari mong i-double click ang app upang patakbuhin ang mga ito gamit ang Wine. Maaari mo ring subukan ang PlayOnLinux, isang magarbong interface sa ibabaw ng Wine na tutulong sa iyong mag-install ng mga sikat na programa at laro sa Windows.
Ang alak ay isang paraan upang patakbuhin ang software ng Windows sa Linux, ngunit walang kinakailangang Windows. Ang alak ay isang open-source na layer ng compatibility ng Windows na maaaring direktang magpatakbo ng mga program sa Windows sa anumang desktop ng Linux. Sa totoo lang, sinusubukan ng Wine na muling ipatupad ang sapat na Windows mula sa simula upang mapatakbo nito ang lahat ng mga Windows application na iyon nang hindi talaga nangangailangan ng Windows.
Cpt Kirk na tumakbo sa Windows online sa Linux online
Ad
DESCRIPTION
Dahil ang pamamaraan na iminungkahi sa https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubay batay sa meta-programming, posible na gumamit ng mga kasalukuyang makabagong sistema ng software
na sumusuporta sa mga semantika na may mahusay na batayan at hanay ng mga sagot, na nagbigay-daan sa amin na simulan ang pagbuo ng bagong tool na ito sa pamamagitan ng pagpapalawak ng umiiral na nauugnay sa isang diskarte sa pag-debug: Spock, kaya tinawag na Cpt. Kirk.
Higit pa rito at higit na mahalaga, ang isang direksyon upang galugarin ay ang paggamit ng pamamaraan ng reification tulad ng inilarawan sa "metaASP" upang makuha ang mga implikasyon sa pamamagitan ng isang teknik ng saturation, at pagkuha ng mga pangunahing implikasyon ng mga pormula ng pinagmulan sa pamamagitan ng pag-optimize at sa gayon ay tamang minimal na mga katwiran.
Mga tampok
- Compute why-not provenance models para sa Answer Set programs.
- Mapa ang mga modelo ng WnP na may mga modelo ng pag-debug (spock).
Audience
Agham/Pananaliksik
Wika ng Programming
Java
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/cptkirk/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
