ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ LTL3BA ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ ltl3ba-1.1.3.tar.gz. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ LTL3BA ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
LTL3BA
Ad
ລາຍລະອຽດ
LTL3BA ເປັນຜູ້ແປສູດ LTL ເປັນ Büchi automata. ມັນແມ່ນອີງໃສ່ເຄື່ອງມືທີ່ນິຍົມທີ່ມີຊື່ວ່າ LTL2BA ຂຽນໂດຍ Denis Oddoux ແລະ Paul Gastin (ມີຢູ່. http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/).
LTL3BA ປັບປຸງປະສິດທິພາບຂອງ LTL2BA ຕື່ມອີກ. ການດັດແກ້ສ່ວນໃຫຍ່ແມ່ນໄດ້ອະທິບາຍໃນເອກະສານ:
T. Babiak, M. Křetínský, V. Řehák, ແລະ J. Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, page 95-109. Springer-Verlag, 2012.
LTL3BA ຮອງຮັບຜົນຜະລິດໃນຮູບແບບ Hanoi Omega-Automata (HOA) ຕັ້ງແຕ່ລຸ້ນ 1.1.0. ຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບ HOA ສາມາດພົບໄດ້ທີ່ນີ້: http://adl.github.io/hoaf/
ເພື່ອລວບລວມ LTL3BA, ຫ້ອງສະຫມຸດ BuDDy (http://sourceforge.net/projects/buddy/) ແມ່ນຈໍາເປັນ.
Audience
ວິທະຍາສາດ/ການຄົ້ນຄວ້າ, ການສຶກສາ
ໃນການໂຕ້ຕອບຜູ້ໃຊ້
ເສັ້ນຄໍາສັ່ງ
ພາສາການຂຽນໂປຣແກຣມ
C++, C
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/ltl3ba/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.