Esta es la aplicación de Linux llamada JBernstein cuya última versión se puede descargar como JBernstein_v_0_3r7.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada JBernstein con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
JBernstein
DESCRIPCIÓN
JBernstein es una herramienta implementada en Java que permite verificar si una restricción polinomial es válida para todas las variables dentro de su dominio. Se utiliza principalmente en la verificación o síntesis de sistemas ciberfísicos donde el modelo del sistema no es lineal. La herramienta también admite especificaciones en estilo de garantía asumida.
El algoritmo subyacente se basa en una traducción a polinomios de Bernstein y se implementan varias técnicas de optimización para garantizar la eficiencia. En cuanto al rendimiento, la herramienta permite verificar todos los ejemplos en la suite de pruebas PVS Bernstein en un segundo, lo que puede ser un orden de magnitud más rápido que otras herramientas como QEPCAD o REDLOG.
Aunque JBernstein usa double, ofrece capacidades automáticas de estimación de errores (experimental) para que el resultado generado sea correcto (el solucionador puede devolver desconocido cuando la estimación de errores es demasiado grande)
Audiencia
Aeroespacial, Tecnología de la información, Ciencia / Investigación, Ingeniería
Interfaz de usuario
SWT de Java
Lenguaje de programación
Java
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/jbernstein/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
