Si tratta dell'app per Windows denominata JBernstein, la cui ultima versione può essere scaricata come JBernstein_v_0_3r7.zip. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app chiamata JBernstein con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
IMMAGINI
Ad
J.Bernstein
DESCRIZIONE
JBernstein è uno strumento implementato in Java che consente di verificare se un vincolo polinomiale è valido per tutte le variabili all'interno del loro dominio. Viene utilizzato principalmente nella verifica o sintesi di sistemi ciberfisici in cui il modello di sistema è non lineare. Lo strumento supporta anche specifiche in stile assume-guarantee.
L'algoritmo sottostante si basa su una traduzione in polinomi di Bernstein e sono implementate diverse tecniche di ottimizzazione per garantirne l'efficienza. Per quanto riguarda le prestazioni, lo strumento consente di verificare tutti gli esempi nella suite di test PVS Bernstein in un secondo, un ordine di grandezza più veloce rispetto ad altri strumenti come QEPCAD o REDLOG.
Sebbene JBernstein utilizzi il metodo double, offre funzionalità di stima automatica dell'errore (sperimentale) in modo che il risultato generato sia corretto (il risolutore potrebbe restituire un valore sconosciuto quando la stima dell'errore è troppo grande).
Pubblico
Aerospaziale, Tecnologia dell'informazione, Scienza/Ricerca, Ingegneria
Interfaccia utente
JavaSWT
Linguaggio di programmazione
Java
Categorie
Questa applicazione può essere scaricata anche da https://sourceforge.net/projects/jbernstein/. È ospitata su OnWorks per poter essere eseguita online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
