ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ Mizar ເພື່ອແລ່ນໃນ Linux ອອນໄລນ໌ ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ mizar-0.90.444.tar.bz2. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ Mizar ເພື່ອດໍາເນີນການໃນ Linux ອອນໄລນ໌ກັບ 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. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
ໜ້າ ຈໍ
Ad
Mizar ເພື່ອດໍາເນີນການໃນ Linux ອອນໄລນ໌
ລາຍລະອຽດ
Mizar ແມ່ນເຄື່ອງຈຳລອງຄວາມໂນ້ມຖ່ວງຂອງຮ່າງກາຍ N. ເນື່ອງຈາກການຕັ້ງຄ່າເລີ່ມຕົ້ນປະກອບດ້ວຍມະຫາຊົນ, ຕໍາແໜ່ງ, ແລະຄວາມໄວຂອງວັດຖຸໃດນຶ່ງ (ຕາມແນວຄວາມຄິດ, ດາວເຄາະ ແລະດາວ), Mizar ຄິດໄລ່ ແລະແຕ້ມວິທີການທີ່ພວກມັນເຄື່ອນຍ້າຍຕາມຄວາມໄວ ແລະອິດທິພົນຂອງແຮງໂນ້ມຖ່ວງຂອງແຕ່ລະຄົນ.ຕ້ອງການ:
* KDE 4.4.5
* Qt 4.6.2
ຄວາມຕ້ອງການໃນການກໍ່ສ້າງ:
* ໄຟລ໌ dev KDE 4.4.5 (ເຊັ່ນ: ສະໜອງໃຫ້ໂດຍ kdelibs5-dev ໃນ Ubuntu 10.04)
* ໄຟລ໌ dev Qt 4.6.2 (ເຊັ່ນ: libqt4-dev ໃນ Ubuntu 10.04)
* libgsl (ເຊັ່ນ: libgsl0-dev ໃນ Ubuntu 10.04)
* cmake
* gcc, g++ 4.4.3
* python 2.6
ຄຸນລັກສະນະ
- ຈໍານວນຂອງຮ່າງກາຍ.
- ປ່ອງຢ້ຽມສະແດງຈໍານວນໃດກໍ່ຕາມ, ສະແດງໃຫ້ເຫັນວົງໂຄຈອນຈາກມຸມທີ່ແຕກຕ່າງກັນແລະມີການຂະຫຍາຍທີ່ແຕກຕ່າງກັນ.
- ກໍານົດວົງໂຄຈອນໂດຍນໍາໃຊ້ຕໍາແຫນ່ງແລະຄວາມໄວ (ສົມບູນຫຼືພີ່ນ້ອງ) ຫຼືອົງປະກອບວົງໂຄຈອນ (ເຄິ່ງສໍາຄັນ, eccentricity, ແລະອື່ນໆ).
- ຍົກເລີກ/ເຮັດຊ້ຳຫຼາຍລະດັບ.
- ປັບຄວາມໄວຂອງພາບເຄື່ອນໄຫວ (ເຖິງຂີດຈຳກັດຄວາມສາມາດຂອງຄອມພິວເຕີຂອງທ່ານ).
- ລະບຸຄວາມຖືກຕ້ອງຂອງການຄຳນວນ (ເຖິງຂີດຈຳກັດຂອງເລກເລກຄະນິດຈຸດລອຍສອງເທົ່າຄວາມຊັດເຈນ).
- (ຂໍ້ຈຳກັດ) ຮ່າງກາຍທັງໝົດຖືກພິຈາລະນາວ່າເປັນຮູບຊົງທີ່ບໍ່ມີຄຸນສົມບັດ.
- (ຂໍ້ຈໍາກັດ) ແຮງໂນ້ມຖ່ວງຂອງນິວໂຕເນຍເທົ່ານັ້ນ, ບໍ່ມີການແກ້ໄຂການປຽບທຽບທົ່ວໄປ.
Audience
ຜູ້ໃຊ້ສຸດທ້າຍ/ເດັສທັອບ
ໃນການໂຕ້ຕອບຜູ້ໃຊ້
KDE, Qt, X Window System (X11)
ພາສາການຂຽນໂປຣແກຣມ
C ++
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/mizar/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.
