Ini ialah apl Linux bernama Alternating Timed Automata Solver yang keluaran terbarunya boleh dimuat turun sebagai ataoproject_1.2.beta.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama Alternating Timed Automata Solver dengan OnWorks ini secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
Penyelesai Automata Bermasa Bergantian
Ad
DESCRIPTION
Matlamat kami adalah untuk membangunkan penyelesai berfungsi penuh untuk ATA (dengan 1 jam) dalam Python, dengan sokongan MTL ke ATA. Kebolehtetapan untuk masalah kekosongan telah dicadangkan oleh Lasota dan Walukiewicz. MTL kepada ATA telah dicadangkan oleh Ouaknine dan Worrell.
Ciri-ciri
- Penyelesai kekosongan Automata Bermasa Bergantian
- Terjemahan MTL ke ATA
- Operasi ATA biasa (Union, Complementation, Intersection, Model checking)
Penonton
Teknologi Maklumat
Antaramuka pengguna
Qt
Bahasa Pengaturcaraan
Python
Persekitaran Pangkalan Data
berasaskan XML
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/atao/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.