مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

675
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

572
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

یک روش مبتنی بر دامنه برای شبیه سازی ناظر در کنترل نظارتی سیستم های گسسته

صفحات

 صفحه شروع 47 | صفحه پایان 64

چکیده

 در کنترل نظارتی سیستم های گسسته, یک پایشگر پاسخ های سیستم به وقایع محیطی را پایش می کند تا اگر پاسخ سیستم نامطلوب باشد, یک موقعیت ناامن یا بحرانی را به کاربر گزارش کند. منظور از پاسخ نامطلوب, پاسخی از سیستم است که باعث نقض نیاز کاربر سیستم شود. تاکنون چندین روش برای مدل سازی و شبیه سازی کنترل سرپرستی سیستم های گسسته ارائه شده اند, اما فقدان یک روش سیستماتیک که متکی به داده های دامنه مساله باشد, وجود دارد. به منظور ارائه یک روش مبتنی بر دامنه, ما از یک روش سه مرحله ای استفاده می کنیم. در مرحله اول, با داده های گسسته شروع می کنیم. داده های گسسته, عناصر اولیه محیط سیستم های گسسته است و به وسیله کاربران سیستم به عنوان یک وسیله اندازه گیری نیازهایشان استفاده می شود. نیازها, در سیستم های حساس به ایمنی, مانند سیستم های پزشکی و هوافضا نقش حیاتی ایفا می کند. ما از داده های گسسته برای تعریف رخدادها و شروطی استفاده می کنیم که در تعریف نیازها استفاده می شود. پس از استخراج رخدادها و شروط از روی داده های دامنه مساله و تعریف نیازها, یک اتوماتای پتری ساخته می شود. این اتوماتا برای تعیین نقض نیازهای کاربران سیستم در مرحله دوم استفاده می شود. اتوماتای پتری هسته پایشگر را تشکیل می دهد و برای تشخیص پاسخ های نامطلوب سیستم به نیازهای کاربران استفاده می شود. در قدم سوم, شبیه سازی هنگام اجرای مشاهده گر ارائه می شود که در آن از فناوری های چندخطی و چندنخی و چند وظیفه ای کتابخانه TPL از ماکروسافت استفاده می شود. در خاتمه, سیستم حفاظت قطار به عنوان یک مورد مطالعه از سیستم های گسسته همروند مطرح می شود تا نحوه به کارگیری مراحل روش پیشنهادی برای مدل سازی و شبیه سازی مشاهده گر نشان داده شود. نتایج شبیه سازی بر اساس پیاده سازی روی رایانه چند هسته تحلیل می شود.

استنادها

  • ثبت نشده است.
  • ارجاعات

  • ثبت نشده است.
  • استناددهی

    APA: کپی

    بابامیر، سیدمرتضی. (1391). یک روش مبتنی بر دامنه برای شبیه سازی ناظر در کنترل نظارتی سیستم های گسسته. هوش محاسباتی در مهندسی برق (سیستم های هوشمند در مهندسی برق)، 3(1 (پیاپی 6))، 47-64. SID. https://sid.ir/paper/202971/fa

    Vancouver: کپی

    بابامیر سیدمرتضی. یک روش مبتنی بر دامنه برای شبیه سازی ناظر در کنترل نظارتی سیستم های گسسته. هوش محاسباتی در مهندسی برق (سیستم های هوشمند در مهندسی برق)[Internet]. 1391؛3(1 (پیاپی 6)):47-64. Available from: https://sid.ir/paper/202971/fa

    IEEE: کپی

    سیدمرتضی بابامیر، “یک روش مبتنی بر دامنه برای شبیه سازی ناظر در کنترل نظارتی سیستم های گسسته،” هوش محاسباتی در مهندسی برق (سیستم های هوشمند در مهندسی برق)، vol. 3، no. 1 (پیاپی 6)، pp. 47–64، 1391، [Online]. Available: https://sid.ir/paper/202971/fa

    مقالات مرتبط نشریه ای

    مقالات مرتبط همایشی

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button