ນີ້ແມ່ນແອັບ Windows ທີ່ມີຊື່ວ່າ SPINdle ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ spindle_all__2.2.4.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ SPINdle ກັບ 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.
ໜ້າ ຈໍ
Ad
spindle
ລາຍລະອຽດ
SPINdle ແມ່ນຕົວຊີ້ບອກເຫດຜົນທີ່ສາມາດຖືກໃຊ້ເພື່ອຄິດໄລ່ຜົນຂອງທິດສະດີເຫດຜົນທີ່ຫຼົງໄຫຼໄດ້ຢ່າງມີປະສິດທິພາບ. ການປະຕິບັດໃນປະຈຸບັນກວມເອົາທັງເຫດຜົນພື້ນຖານ defeasible ແລະເຫດຜົນ defeasible modal.
ຄຸນລັກສະນະ
- ສະຫນັບສະຫນູນທຸກປະເພດກົດລະບຽບຂອງເຫດຜົນ defeasible, ເຊັ່ນ: ຄວາມຈິງ, ກົດລະບຽບທີ່ເຄັ່ງຄັດ, ກົດລະບຽບ defeasible, defeaters ແລະດີກວ່າ.
- ຮອງຮັບ Modal Defeasible Logics ດ້ວຍການແປງຕົວປະຕິບັດການ modal.
- ສະຫນັບສະຫນູນການລົບລ້າງແລະການຂັດແຍ່ງກັນ (ແຕ່ລະຄົນ) ຕົວຫນັງສື.
- ທິດສະດີ Defeasible ສາມາດຖືກສະແດງໂດຍໃຊ້ XML ແລະຂໍ້ຄວາມທໍາມະດາ (ມີ syntax ທີ່ກໍານົດໄວ້ກ່ອນ), ແລະທິດສະດີແລະການຂະຫຍາຍຂອງມັນຍັງສາມາດຖືກສົ່ງອອກໂດຍໃຊ້ XML.
- ບັນນາທິການທິດສະດີສາຍຕາຖືກພັດທະນາເພື່ອແກ້ໄຂທິດສະດີຕາມເຫດຜົນມາດຕະຖານທີ່ຜິດກົດໝາຍ. (ກະລຸນາອ້າງອີງເຖິງເຮືອນໂຄງການສໍາລັບລາຍລະອຽດ.)
ພາສາການຂຽນໂປຣແກຣມ
Java
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/spindlereasoner/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.