دورة عبر الإنترنت – تخصص احترافي معتمد في أنظمة Google المستقلة، جامعة كولورادو بولدر

تصميم أنظمة مستقلة مع الضمان. اكتساب مهارات النمذجة والمواصفات والتحقق وتوليف الأنظمة المستقلة مع ضمان السلامة.

Suggested by: Coursera (What is Coursera?)

Professional Certificate

المستوى المتوسط

No prior knowledge required

Time to complete the course

7-day free trial

No unnecessary risks

Skills you will acquire in the course

  • تصميم وتحليل الأنظمة المستقلة
  • تمثيلات الدولة الفضائية
  • الموقتات التلقائية
  • أتمتة هجينة
  • النماذج الرسمية لمتطلبات النظام
  • الاستقرار وإمكانية الوصول
  • المواصفات المحددة بواسطة صيغ المنطق الزمني الخطي
  • تقنيات التحقق مثل نظريات ليوبونوف وفحص النماذج
  • تجميع وحدات التحكم لفرض ميزات محددة
  • بناء التجريد النهائي وصقل وحدات التحكم

What you will learn in the course

Courses for which the course is suitable

  • مهندس أنظمة ذاتية
  • مطور برمجيات في مجال الأنظمة الذاتية
  • محلل النظم
  • مهندس تحكم
  • أخصائي التحقق من النظام
  • باحث في مجال الأنظمة الذاتية
  • مصمم الأنظمة الذكية
  • مهندس شبكات اتصالات في الأنظمة الذاتية
  • يطور خوارزميات للأتمتة الهجينة
  • خبير في الاستقرار والتوافر في الأنظمة المستقلة

التخصص – سلسلة من الدورات المكونة من 3 أجزاء

يوفر هذا التخصص لمحة شاملة عن تصميم وتحليل الأنظمة المستقلة. ويبدأ بفحص المكونات الأساسية مثل أجهزة الاستشعار والمحركات وشبكات الاتصالات، ثم يتعمق في النماذج الرسمية.

محتوى الدورة

  • تمثيلات الدولة الفضائية
  • الموقتات التلقائية
  • أتمتة هجينة
  • النماذج الرسمية لمتطلبات النظام
  • الاستقرار وإمكانية الوصول
  • المواصفات المحددة بواسطة صيغ المنطق الزمني الخطي
  • تقنيات التحقق مثل نظريات ليوبونوف وفحص النماذج
  • تجميع وحدات التحكم لفرض خصائص محددة
  • بناء التجريد النهائي وصقل وحدات التحكم

مزيد من المعلومات

يمكن الالتحاق بالدورات التدريبية في هذا التخصص للحصول على رصيد أكاديمي كجزء من برنامج ماجستير العلوم في علوم الكمبيوتر بجامعة CU Boulder المقدم على منصة Coursera. تقدم هذه الدرجات المتقدمة دورات مركزة وجلسات قصيرة مدتها 8 أسابيع ونظام الدفع أولاً بأول.

يعتمد القبول في البرنامج على الأداء في ثلاث مقررات دراسية مسبقة وليس على أساس التاريخ الأكاديمي. تعتبر درجات CU في Coursera مثالية للخريجين الجدد أو المهنيين العاملين.

لمزيد من التفاصيل: درجة الماجستير في علوم الكمبيوتر

مشروع التعلم العملي

خلال فترة التدريب، سيقوم المتعلمون بمهام لتصميم وتحليل الأنظمة المستقلة وسلوكياتها. في الدورة الثالثة في التخصص والتحقق وتوليف الأنظمة المستقلة، سيحصل المتعلمون على مختبر اختياري وبحثي.

Details of the courses that make up the specialization

نماذج من الأنظمة المستقلة

الدورة 1 – 8 ساعات

ماذا ستتعلم:

  • النماذج الأساسية للأنظمة الذاتية، بما في ذلك أنظمة التحكم الخطية والدوائر التسلسلية والأتمتة البسيطة.
  • وصف الحلول وسلوكيات الأنظمة.
  • تحديد وتوضيح الروابط بين الأنظمة.

المهارات التي سوف تكتسبها:

  • أنظمة التجميع
  • نماذج من الأنظمة المستقلة
  • سلوكيات الأنظمة

الدورة 2 – 10 ساعات

ماذا ستتعلم:

  • استخدم الأساليب الرسمية لتحديد متطلبات الأنظمة المستقلة والتحقق منها.
  • لنمذجة سلوكيات النظام والتحقق من الاستقرار باستخدام طرق تحليلية مختلفة.
  • تطبيق حساب مجموعات إمكانية الوصول وتحليل المقاومة في تصميم النظام.

المهارات التي سوف تكتسبها:

  • مواصفات الاوميجا العادية والعادية
  • متطلبات إمكانية الوصول
  • متطلبات السلامة
  • مواصفات المنطق الخطي
  • متطلبات الاستقرار

الدورة 3 – 10 ساعات

ماذا ستتعلم:

  • تحليل خصائص الاستقرار للأنظمة الخطية.
  • حساب الحسابات على مجموعات إمكانية الوصول لعدة أنواع من الأنظمة.
  • إجراء التحقق من الأنظمة النهائية.
  • تجميع ديناميكيات وحدة التحكم لمتطلبات السلامة وإمكانية الوصول باستخدام خوارزميات النقطة الثابتة.

المهارات التي سوف تكتسبها:

  • اختبارات نموذجية
  • توليف التبسيطات المحدودة
  • العلاقات بين الأنظمة
  • التوليف باستخدام النقاط الثابتة