Aceasta este aplicația Linux numită JBernstein a cărei ultimă versiune poate fi descărcată ca JBernstein_v_0_3r7.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită JBernstein cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
SCREENSHOTS
Ad
JBernstein
DESCRIERE
JBernstein este un instrument implementat în Java care permite verificarea dacă o constrângere polinomială este valabilă pentru toate variabilele din domeniul lor. Este utilizat în principal în verificarea sau sinteza sistemelor ciber-fizice în care modelul de sistem este neliniar. Instrumentul acceptă, de asemenea, specificații în stilul de asumare-garanție.
Algoritmul de bază se bazează pe o traducere la polinoame Bernstein și sunt implementate mai multe tehnici de optimizare pentru a asigura eficiența. În ceea ce privește performanța, instrumentul permite verificarea tuturor exemplelor din pachetul de teste PVS Bernstein într-o secundă, ceea ce poate fi cu un ordin de mărime mai rapid decât alte instrumente precum QEPCAD sau REDLOG.
Deși JBernstein folosește dublu, oferă capabilități automate de estimare a erorilor (experimental), astfel încât rezultatul generat să fie corect (rezolvatorul poate returna necunoscut atunci când estimarea erorii este prea mare)
Public
Aerospațial, Tehnologia Informației, Știință/Cercetare, Inginerie
Interfața cu utilizatorul
Java SWT
Limbaj de programare
Java
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/jbernstein/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
