ນີ້ແມ່ນແອັບ Windows ທີ່ມີຊື່ວ່າ Cpt Kirk ເພື່ອໃຊ້ໃນ Windows ອອນໄລນ໌ຜ່ານ Linux ອອນໄລນ໌ ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນຊື່ kirk.jar. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ Cpt Kirk ເພື່ອດໍາເນີນການໃນ Windows ອອນໄລນ໌ຜ່ານ Linux ອອນໄລນ໌ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ emulator ອອນ ໄລ ນ ໌ OS OnWorks ຈາກ ເວັບ ໄຊ ທ ໌ ນີ້, ແຕ່ ດີກ ວ່າ Windows ອອນ ໄລ ນ ໌ emulator.
- 5. ຈາກ OnWorks Windows OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກແລະຕິດຕັ້ງມັນ.
- 7. ດາວໂຫລດ Wine ຈາກບ່ອນເກັບມ້ຽນຊອບແວການແຈກຢາຍ Linux ຂອງທ່ານ. ເມື່ອຕິດຕັ້ງແລ້ວ, ທ່ານສາມາດຄລິກສອງຄັ້ງ app ເພື່ອດໍາເນີນການໃຫ້ເຂົາເຈົ້າກັບ Wine. ນອກນັ້ນທ່ານຍັງສາມາດລອງ PlayOnLinux, ການໂຕ້ຕອບທີ່ແປກປະຫຼາດໃນໄລຍະ Wine ທີ່ຈະຊ່ວຍໃຫ້ທ່ານຕິດຕັ້ງໂປລແກລມ Windows ແລະເກມທີ່ນິຍົມ.
ເຫຼົ້າແວງເປັນວິທີການແລ່ນຊອບແວ Windows ໃນ Linux, ແຕ່ບໍ່ມີ Windows ທີ່ຕ້ອງການ. ເຫຼົ້າແວງແມ່ນຊັ້ນຄວາມເຂົ້າກັນໄດ້ຂອງ Windows ແຫຼ່ງເປີດທີ່ສາມາດເອີ້ນໃຊ້ໂຄງການ Windows ໂດຍກົງໃນ desktop Linux ໃດກໍໄດ້. ໂດຍພື້ນຖານແລ້ວ, Wine ກໍາລັງພະຍາຍາມປະຕິບັດໃຫມ່ຢ່າງພຽງພໍຂອງ Windows ຕັ້ງແຕ່ເລີ່ມຕົ້ນເພື່ອໃຫ້ມັນສາມາດດໍາເນີນການຄໍາຮ້ອງສະຫມັກ Windows ທັງຫມົດໄດ້ໂດຍບໍ່ຕ້ອງໃຊ້ Windows.
Cpt Kirk ເພື່ອດໍາເນີນການໃນ Windows ອອນໄລນ໌ຜ່ານ Linux ອອນໄລນ໌
Ad
ລາຍລະອຽດ
ນັບຕັ້ງແຕ່ວິທີການສະເຫນີໃນ https://www.researchgate.net/publication/262599199_Unifying_Provenance_and_Debugging_for_Answer-Set_Programs?ev=prf_pubແມ່ນອີງໃສ່ໂຄງການ meta, ມັນເປັນໄປໄດ້ທີ່ຈະນໍາໃຊ້ລະບົບຊອບແວທີ່ທັນສະໄຫມ
ທີ່ສະຫນັບສະຫນູນ semantics ທີ່ຕັ້ງໄວ້ດີແລະຄໍາຕອບ, ເຊິ່ງອະນຸຍາດໃຫ້ພວກເຮົາເລີ່ມຕົ້ນການພັດທະນາເຄື່ອງມືໃຫມ່ນີ້ໂດຍການຂະຫຍາຍຫນຶ່ງທີ່ມີຢູ່ທີ່ກ່ຽວຂ້ອງກັບວິທີການ debugging: Spock, ດັ່ງນັ້ນຊື່ Cpt. Kirk.
ຍິ່ງໄປກວ່ານັ້ນ, ທິດທາງຫນຶ່ງທີ່ຈະຄົ້ນຫາແມ່ນການນໍາໃຊ້ເຕັກນິກການປະຕິສັງຂອນຕາມທີ່ໄດ້ອະທິບາຍໄວ້ໃນ "metaASP" ເພື່ອໃຫ້ໄດ້ຮັບ implicants ຜ່ານເຕັກນິກການອີ່ມຕົວ, ແລະໄດ້ຮັບ implicants ທີ່ສໍາຄັນຂອງສູດ provenance ໂດຍການເພີ່ມປະສິດທິພາບແລະດັ່ງນັ້ນຈຶ່ງສົມເຫດສົມຜົນຫນ້ອຍທີ່ເຫມາະສົມ.
ຄຸນລັກສະນະ
- ຄິດໄລ່ຕົວແບບທີ່ເປັນຫຍັງຈຶ່ງບໍ່ provenance ສໍາລັບໂຄງການ Answer Set.
- ແຜນທີ່ແບບຈໍາລອງ WnP ດ້ວຍການແກ້ບັນຫາ (spock).
Audience
ວິທະຍາສາດ/ການຄົ້ນຄວ້າ
ພາສາການຂຽນໂປຣແກຣມ
Java
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/cptkirk/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.
