Це програма для Windows під назвою JBernstein, останню версію якої можна завантажити як JBernstein_v_0_3r7.zip. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою JBernstein з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму та встановіть її.
- 7. Завантажте Wine зі сховищ програмного забезпечення дистрибутивів Linux. Після встановлення ви можете двічі клацнути програму, щоб запустити їх за допомогою Wine. Ви також можете спробувати PlayOnLinux, модний інтерфейс замість Wine, який допоможе вам встановити популярні програми та ігри Windows.
Wine — це спосіб запуску програмного забезпечення Windows на Linux, але без використання Windows. Wine — це рівень сумісності Windows з відкритим вихідним кодом, який може запускати програми Windows безпосередньо на будь-якому робочому столі Linux. По суті, Wine намагається повторно реалізувати достатньо Windows з нуля, щоб він міг запускати всі ці програми Windows, насправді не потребуючи Windows.
ЕКРАНИ
Ad
Дж.Бернштейн
ОПИС
JBernstein — це інструмент, реалізований на Java, який дозволяє перевірити, чи виконується поліноміальне обмеження для всіх змінних у межах їхньої області. В основному використовується при перевірці або синтезі кібер-фізичних систем, де модель системи є нелінійною. Інструмент також підтримує специфікації в стилі припущення-гарантії.
Базовий алгоритм заснований на перекладі на поліноми Бернштейна, і для забезпечення ефективності реалізовано кілька методів оптимізації. Що стосується продуктивності, інструмент дозволяє перевірити всі приклади в тестовому наборі PVS Bernstein протягом секунди, що може бути на порядок швидше, ніж деякі інші інструменти, такі як QEPCAD або REDLOG.
Хоча JBernstein використовує двічі, він пропонує можливості автоматичної оцінки помилок (експериментально), щоб згенерований результат був правильним (розв’язувач може повернути невідоме, коли оцінка помилки занадто велика)
Аудиторія
Авіація, інформаційні технології, наука/дослідження, інженерія
Користувацький інтерфейс
Java SWT
Мова програмування
Java
Категорії
Це додаток, який також можна отримати з https://sourceforge.net/projects/jbernstein/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
