Dit is de Linux-app genaamd JBernstein waarvan de nieuwste release kan worden gedownload als JBernstein_v_0_3r7.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app genaamd JBernstein gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
J Bernstein
PRODUCTBESCHRIJVING
JBernstein is een in Java geĂŻmplementeerd hulpmiddel waarmee kan worden gecontroleerd of een polynomiale beperking geldt voor alle variabelen binnen hun domein. Het wordt voornamelijk gebruikt bij de verificatie of synthese van cyberfysieke systemen waarbij het systeemmodel niet-lineair is. De tool ondersteunt ook specificaties in de vorm van een garantie.
Het onderliggende algoritme is gebaseerd op een vertaling naar Bernstein-polynomen, en er zijn verschillende optimalisatietechnieken geïmplementeerd om de efficiëntie te garanderen. Wat de prestaties betreft, maakt de tool het mogelijk om alle voorbeelden in de PVS Bernstein-testsuite binnen een seconde te controleren, wat een orde van grootte sneller kan zijn dan sommige andere tools zoals QEPCAD of REDLOG.
Hoewel JBernstein double gebruikt, biedt het automatische foutschattingsmogelijkheden (experimenteel), zodat het gegenereerde resultaat correct is (de oplosser kan onbekend retourneren als de foutschatting te groot is)
Toehoorders
Lucht- en ruimtevaart, informatietechnologie, wetenschap/onderzoek, engineering
Gebruikersinterface
Java-SWT
Programmeertaal
Java
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/jbernstein/. Het is gehost in OnWorks zodat het op de eenvoudigste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.