Jbernstein Java-Anwendung, um Techniken für die Überprüfung der nichtlinearen Einschränkungen zu erforschen
Jetzt downloaden

Jbernstein Ranking & Zusammenfassung

Jbernstein Stichworte

überprüfen lösen Zwang Constraint Solver.

Jbernstein Beschreibung

Jbernstein ist eine Anwendung, mit der seine Benutzer überprüfen können, ob eine Polynomeinschränkung für alle Variablen in ihrer Domäne gilt. Jbernstein kann verwendet werden, um die Synthese von Cyber-physischen Systemen zu überprüfen, in denen Modelle nicht linear sind. Jbernstein wird mit der Java-Programmiersprache entwickelt und kann auf Mac OS X, Windows und Linux ausgeführt werden.

Jbernstein Zugehörige Software