Jest to aplikacja dla systemu Windows o nazwie Temporal Inference Engine, której najnowszą wersję można pobrać jako TINX13.3.2Suite.deb. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie Temporal Inference Engine z OnWorks za darmo.
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 dowolny emulator online systemu operacyjnego OnWorks z tej witryny, ale lepszy emulator online systemu Windows.
- 5. W systemie operacyjnym OnWorks Windows, 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ę i zainstaluj ją.
- 7. Pobierz Wine z repozytoriów oprogramowania dystrybucji Linuksa. Po zainstalowaniu możesz dwukrotnie kliknąć aplikację, aby uruchomić ją za pomocą Wine. Możesz także wypróbować PlayOnLinux, fantazyjny interfejs w Wine, który pomoże Ci zainstalować popularne programy i gry Windows.
Wine to sposób na uruchamianie oprogramowania Windows w systemie Linux, ale bez systemu Windows. Wine to warstwa kompatybilności z systemem Windows typu open source, która może uruchamiać programy systemu Windows bezpośrednio na dowolnym pulpicie systemu Linux. Zasadniczo Wine próbuje ponownie zaimplementować system Windows od podstaw, aby mógł uruchamiać wszystkie te aplikacje Windows bez faktycznego korzystania z systemu Windows.
ZRZUTY EKRANU
Ad
Silnik wnioskowania czasowego
OPIS
Silnik wnioskowania w czasie rzeczywistym dla specyfikacji logicznych temporalnych, który jest w stanie pozyskać, przetworzyć i wygenerować dowolny sygnał binarny lub rzeczywisty za pośrednictwem POSIX IPC, plików lub gniazd UNIX. Specyfikacje sygnałów i systemów dynamicznych są reprezentowane jako specjalne wykresy i wykonywane w czasie rzeczywistym, z przewidywalnym czasem próbkowania wynoszącym kilka milisekund. Przetwarzanie sygnałów w czasie rzeczywistym, dynamiczne sterowanie systemem, modelowanie maszyn stanowych i weryfikacja właściwości logicznych to niektóre obszary zastosowań tego oprogramowania. Akceptowany język zapewnia logikę czasową i operatory matematyczne, operatory warunkowe, operatory przedziałowe, ograniczone kwantyfikatory i parametryzację sygnałów.
Funkcjonalności
- Szybki silnik wnioskowania
- W czasie rzeczywistym lub w trybie wsadowym
- Sieci logiczne czasowe
- Wykonanie specyfikacji
- Opcjonalna wielowątkowość
- Komunikacja przez Linux IPC, Pliki lub Gniazda
- Czas próbkowania kilku milisekund
- Zawiera kompilator
- W zestawie powłoka graficzna
Publiczność
Informatyka, Nauka/Badania, Deweloperzy, Inżynieria
Interfejs użytkownika
Gnom, linia poleceń
Język programowania
C
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/temporal-inference-engine/. Został umieszczony w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.
