Ito ang Linux app na pinangalanang Alternating Timed Automata Solver na ang pinakabagong release ay maaaring ma-download bilang ataoproject_1.2.beta.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Alternating Timed Automata Solver sa OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
Alternating Timed Automata Solver
Ad
DESCRIPTION
Ang aming layunin ay bumuo ng isang ganap na gumaganang solver para sa ATA (na may 1 orasan) sa Python, na may suporta sa MTL hanggang ATA. Ang decidability para sa emptiness problem ay iminungkahi nina Lasota at Walukiewicz. Ang MTL sa ATA ay iminungkahi nina Ouaknine at Worrell.
Mga tampok
- Alternating Timed Automata emptiness solver
- Pagsasalin ng MTL sa ATA
- Mga karaniwang operasyon ng ATA (Union, Complementation, Intersection, Model checking)
Audience
Information Technology
Interface ng gumagamit
Qt
Wika ng Programming
Sawa
Kapaligiran ng Database
Nakabatay sa XML
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/atao/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.