นี่คือแอพลินุกซ์ชื่อ Alternating Timed Automata Solver ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น ataoproject_1.2.beta.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ทางออนไลน์ที่ชื่อว่า Alternating Timed Automata Solver พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ตัวแก้ไขออโตมาตะแบบตั้งเวลาสลับ
รายละเอียด:
เป้าหมายของเราคือการพัฒนาตัวแก้ปัญหาการทำงานเต็มรูปแบบสำหรับ ATA (พร้อม 1 นาฬิกา) ใน Python โดยรองรับ MTL ถึง ATA Lasota และ Walukiewicz เสนอการตัดสินใจสำหรับปัญหาความว่างเปล่า MTL ถึง ATA เสนอโดย Ouaknine และ Worrell
คุณสมบัติ
- ตัวแก้ความว่างเปล่า Timed Automata แบบสลับกัน
- การแปล MTL เป็น ATA
- การทำงานของ ATA ทั่วไป (Union, Complementation, Intersection, Model Measuring)
ผู้ชม
เทคโนโลยีสารสนเทศ
ส่วนติดต่อผู้ใช้
Qt
ภาษาโปรแกรม
หลาม
สภาพแวดล้อมฐานข้อมูล
แบบ XML
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/atao/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา