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

نویسنده

چکیده مقاله:

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

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

طراحی و شبیه سازی یک روش مسیریابی مبتنی بر کیفیت سرویس در شبکه سیار موردی

ماهیت شبکه سیار موردی، تغییرات ساختاری مداوم و عدم وابستگی گره ها به یک واحد مرکزی است. در این مقاله با استفاده از قوانین محاسبات پهنای باند مصرفی در قرارداد های چند پخشی سعی شده برای جلوگیری از کاهش تدریجی نرخ تحویل بسته ها، در زمانی که سرعت گره های شبکه در حال افزایش است، قرارداد سودمندی ارائه شود. قرارداد سودمند که با ایجاد تغییر در قرارداد مبنا تعبیه شده است، qb-odmrp نام گذاری شده تا بتوان...

متن کامل

پیش بینی تاخوردگی دامنه پروتئین ها مبتنی بر روش DBSCAN

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

متن کامل

آموزش مبتنی بر شبیه سازی

چکید ه سابقه و هدف: بهبود کیفیت در آموز ش عالی، از رویکردهایی است که در دهه اخیر در بسیاری از نظا مهای آموزش عالی مورد توجه قرار گرفته ا ست.ا ز سویی، آموزش پزشکی برای ا ینکه بتواند پاسخگوی تغییر و تحولات سریع پزشکی باشد، ناگزیرا ز تغییر ا ست و باید از روش های نوین آموزشی بهره گیرد که یکی ا زا ین روش ها، آموزش مبتنی بر شبیه سازی است. رو شها: این مقاله از نوع مروری بوده ودر تدوین آن از جستجوهای ا...

متن کامل

شبیه سازی نحوه پخش آلودگی در پشت یک ساختمان با استفاده از یک روش RANS-LES

امروزه مبحث آلودگی هوا به یکی از بزرگترین معضلات خصوصا در شهرهای بزرگ تبدیل شده است که اثرات فراوانی بر محیط زیست و سلامتی افراد می-گذارد. در این مقاله‏‌ نحوه پخش آلاینده گازی سبک در اطراف یک ساختمان در جریان آشفته 3 بعدی غیرقابل تراکم با استفاده از یک مدل توربولانسی ترکیبی تشریح می گردد. آلودگی در اطراف یک ساختمان در رژیم باد کم سرعت ممکن است در نواحی خاصی تجمع یابد و برای محیط زیست و پیاده رو...

متن کامل

طراحی کنترل تطبیقی مقاوم به روش کلیدزنی با سرپرستی مبتنی بر نظریه فیدبک کمّی و انتقال بدون پرش

استفاده از کلیدزنی و سرپرستی و تلفیق آن با طراحی فیدبک کمّی (qft) برای فرایندهایی که گستره نامعینی وسیعی دارند، در این مقاله پیشنهاد شده است. در این راهکار مجموعه نامعینی به بازه های کوچکتری که به هر کدام یک فرایند (مدل) نامی اختصاص می یابد، تفکیک می شود. با فرض اینکه مساله کنترل مقاوم را برای هر کدام از این بازه ها می توان با تئوری فیدبک کمّی حل کرد، در ساختار پیشنهادی از یک تصمیم ساز رده بالا (...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 3  شماره 1

صفحات  47- 64

تاریخ انتشار 2012-05-21

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023