هذا هو تطبيق Linux المسمى REDLIB والذي يمكن تنزيل أحدث إصدار له باسم redlib.a.130816.tar.gz. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى REDLIB مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
ريدليب
Ad
الوصف
* مكتبة فحص النماذج / المحاكاة لنظام الوقت الفعلي مع نماذج الوقت الكثيف في C بتقنية CRD (مخططات تقييد الساعة). * مكتبة التحليل البارامترية للأنظمة الخطية الهجينة في لغة C باستخدام تقنية HRD (مخطط التقييد الهجين)
المميزات
- فحص الوضع الرمزي وفحص المحاكاة
- توصيل نماذج الأوتوماتا الموقوتة (CTA) ونماذج الأوتوماتا الهجينة الخطية (LHA)
- افتح مكتبة الواجهة
- فحص نموذج TCTL مع افتراضات الإنصاف
- محاكاة عادلة CTA
- تحليل سلامة حدودي LHA
- تتوفر واجهة المستخدم الرسومية لتحرير النماذج والمحاكاة الرمزية باستخدام تحكم API
- تتوفر العديد من التطبيقات ، بما في ذلك ompca (محلل OpenMP C) ، و Pathg (محاكي رمزي لـ CTA) ، و sudoku solver ، ومنشئ الرسم البياني للوصول ، وما إلى ذلك.
الجمهور
تكنولوجيا المعلومات ، العلوم / البحوث ، التعليم ، صناعة الاتصالات
لغة البرمجة
C
الأقسام
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/redlib/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.