To aplikacja dla systemu Linux o nazwie ReachabilityAnalysis.jl, której najnowszą wersję można pobrać jako v0.28.2sourcecode.tar.gz. Można ją uruchomić online w darmowym hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom bezpłatnie aplikację ReachabilityAnalysis.jl z OnWorks.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZRZUTY EKRANU
Ad
ReachabilityAnalysis.jl
OPIS
Analiza osiągalności zajmuje się obliczaniem ścisłych przybliżeń zbioru stanów osiągalnych przez układ dynamiczny. Zakres tego pakietu obejmuje układy modelowane za pomocą ciągłych lub hybrydowych układów dynamicznych, w których dynamika zmienia się wraz ze zdarzeniami dyskretnymi. Układy modelowane są za pomocą równań różniczkowych zwyczajnych (ODE) lub półdyskretnych równań różniczkowych cząstkowych (PDE) z niepewnymi stanami początkowymi, niepewnymi parametrami lub niedeterministycznymi danymi wejściowymi.
Funkcjonalności
- Biblioteka jest zorientowana na klasę metod numerycznych znanych jako techniki propagacji zbiorów
- Oblicz zbiór stanów osiągalnych przez układy ciągłe lub hybrydowe
- Propaguj sekwencję zestawów, zaczynając od zestawu stanów początkowych, zgodnie z dynamiką systemów
- Dostępna dokumentacja
- Dostępne przykłady
- Systemy hybrydowe z dynamiką afiniczną kawałkową
Język programowania
Julia
Kategorie
Tę aplikację można również pobrać ze strony https://sourceforge.net/projects/reachabilityanalysis-jl.mirror/. Została ona umieszczona w OnWorks, aby można ją było uruchomić online w najłatwiejszy sposób z jednego z naszych darmowych systemów operacyjnych.