برای اطلاع از آخرین مقالات علمی و اخبار کرونا(COVID-19) کلیک کنید

مشخصات مقاله

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

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

 
نویسندگان: 
 
آدرس:  
* ایران، کاشان، دانشگاه کاشان، دانشکده مهندسی، گروه مهندسی کامپیوتر
 
چکیده: 

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

 
کلید واژه: 

 
موضوعات مرتبط: 
 
ارجاعات: 
  • ندارد
 
 
مقالات نشریه ای مرتبط: 
 
مقالات همایشی مرتبط: 
 

  چکیده انگلیسی بازدید یکساله 89
 
 
آخرین های بلاگ
ورود به بلاگ مرکز اطلاعات علمی