นี่คือแอป Linux ชื่อ REDLIB ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น redlib.a.130816.tar.gz สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ REDLIB พร้อม 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. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
เรดลิบ
Ad
DESCRIPTION
* ไลบรารีตรวจสอบแบบจำลอง/ตรวจสอบการจำลองสำหรับระบบเรียลไทม์พร้อมโมเดลเวลาหนาแน่นใน C พร้อมเทคโนโลยี CRD (Clock-Restriction Diagrams) * ไลบรารีการวิเคราะห์พารามิเตอร์สำหรับระบบเชิงเส้น-ไฮบริดใน C พร้อม HRD (Hybrid-Restriction Diagram) technol
คุณสมบัติ
- การตรวจสอบโหมดสัญลักษณ์และการตรวจสอบการจำลอง
- การสื่อสารโมเดลออโตมาตาตามกำหนดเวลา (CTA) และออโตมาตาเชิงเส้นไฮบริด (LHA)
- เปิดไลบรารีอินเทอร์เฟซ
- การตรวจสอบแบบจำลอง TCTL ด้วยสมมติฐานที่เป็นธรรม
- การจำลองงาน CTA
- การวิเคราะห์ความปลอดภัยพารามิเตอร์ LHA
- GUI พร้อมใช้งานสำหรับการแก้ไขโมเดลและการจำลองเชิงสัญลักษณ์ด้วยการควบคุม API
- มีแอพพลิเคชั่นมากมาย รวมถึง ompca (ตัววิเคราะห์ OpenMP C), pathg (โปรแกรมจำลองสัญลักษณ์สำหรับ CTA), ตัวแก้ไขซูโดกุ, ตัวสร้างกราฟความสามารถในการเข้าถึง ฯลฯ
ผู้ชม
เทคโนโลยีสารสนเทศ, วิทยาศาสตร์/วิจัย, การศึกษา, อุตสาหกรรมโทรคมนาคม
ภาษาโปรแกรม
C
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/redlib/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
