Ito ang Windows app na pinangalanang JBernstein na ang pinakabagong release ay maaaring ma-download bilang JBernstein_v_0_3r7.zip. 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 JBernstein na may 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.
MGA LALAKI
Ad
JBernstein
DESCRIPTION
Ang JBernstein ay isang tool na ipinatupad sa Java na nagbibigay-daan upang suriin kung ang isang polynomial constraint ay humahawak para sa lahat ng mga variable sa loob ng kanilang domain. Pangunahing ginagamit ito sa pag-verify o synthesis ng mga cyber-physical system kung saan ang modelo ng system ay nonlinear. Sinusuportahan din ng tool ang mga pagtutukoy sa istilong assume-guarantee.
Ang pinagbabatayan na algorithm ay batay sa isang pagsasalin sa Bernstein polynomial, at ilang mga diskarte sa pag-optimize ang ipinatupad upang matiyak ang kahusayan. Tungkol sa pagganap, binibigyang-daan ng tool na suriin ang lahat ng mga halimbawa sa testsuite ng PVS Bernstein sa loob ng isang segundo, na maaaring maging isang order ng magnitude na mas mabilis kaysa sa ilang iba pang mga tool tulad ng QEPCAD o REDLOG.
Bagama't doble ang ginagamit ng JBernstein, nag-aalok ito ng mga kakayahan sa awtomatikong pagtatantya ng error (pang-eksperimento) upang tama ang nabuong resulta (maaaring bumalik ang solver na hindi alam kapag masyadong malaki ang pagtatantya ng error)
Audience
Aerospace, Information Technology, Science/Research, Engineering
Interface ng gumagamit
Java SWT
Wika ng Programming
Java
Kategorya
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/jbernstein/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
