این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
هوش محاسباتی در مهندسی برق، جلد ۳، شماره ۱، صفحات ۴۷-۶۴
عنوان فارسی شبیه سازی پایشگر در کنترل سرپرستی - یک روش مبتنی بر دامنه
چکیده فارسی مقاله در کنترل نظارتی سیستم‌های گسسته، یک پایشگر پاسخ‌های سیستم‌‌‌ به وقایع محیطی را پایش می‌کند تا اگر پاسخ سیستم نامطلوب باشد یک موقعیت ناامن یا بحرانی را به کاربر گزارش کند. منظور از پاسخ نامطلوب، پاسخی از سیستم است که باعث نقض نیاز کاربر سیستم شود. تاکنون چندین روش برای مدل‌سازی و شبیه‌‌سازی کنترل سرپرستی سیستم‌های گسسته ارائه شده‌اند اما فقدان یک روش سیستماتیک که متکی به داده‌های دامنه مسئله باشد، وجود دارد. به منظور ارائه یک روش مبتنی بر دامنه، ما از یک روش سه مرحله‌ای استفاده می کنیم. در مرحله اوّل، با داده‌های گسسته شروع می‌کنیم. داده‌های گسسته، عناصر اوّلیه محیط سیستم‌های گسسته است و به وسیله کاربران سیستم به عنوان یک وسیله اندازه‌گیری نیازهایشان استفاده می‌شود. نیاز‌ها، نقش حیاتی در سیستم‌های حساس به ایمنی مانند سیستم‌های پزشکی و هوافضا بازی می‌کند. ما از داده‌های گسسته برای تعریف رخدادها و شروطی استفاده می‌کنیم که در تعریف نیازها استفاده می‌شود. پس از استخراج رخدادها و شروط از روی داده‌های دامنه مسئله و تعریف نیازها، یک اتوماتای پتری ساخته می-شود. این اتوماتا برای تعیین نقض نیازهای کاربران سیستم در مرحله دوّم استفاده می‌شود. اتوماتای پتری هسته پایشگر را تشکیل می‌دهد و برای تشخیص پاسخ‌های نامطلوب سیستم به نیازهای کاربران استفاده می‌شود. در قدم سوّم، شبیه‌سازی حین اجرای مشاهده‌گر ارائه می‌شود که در آن از فنآوری‌های چندخطی و چندنخی و چند وظیفه‌ای کتابخانه TPL از ماکروسافت استفاده می‌شود. در خاتمه، سیستم حفاظت قطار به عنوان یک مورد مطالعه از سیستم‌های گسسته همروند مطرح می‌شود تا نحوه به‌کارگیری مراحل روش پیشنهادی برای مدل‌سازی و شبیه‌سازی مشاهده‌گر نشان داده شود. نتایج شبیه‌سازی بر اساس پیاده‌سازی روی کامپیوتر چند هسته تحلیل می‌شود.
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Simulating Observer in Supervisory Control- A Domain-based Method
چکیده انگلیسی مقاله An Observer in the supervisory control observes responses of a discrete system to events of its environment and reports an unsafe/ critical situation if the response is undesired. An undesired response from the system indicates the system response does not adhere to users’ requirements of the system. Therefore, events and conditions of the system environment and user’s requirements of the system are basic elements to observer in determining correctness of the system response. However, the noteworthy matter is that the events, conditions, and requirements should be defined based on data of problem domain because discrete data are primary ingredients of the environment in discrete systems and they are used by system users as a gauge to express their requirements playing a vital role in safety-critical systems, such as medical and avionic ones. A large quantity of methods has already been proposed to model and simulate supervisory control of discrete systems however, a systematic method relying on data of problem domain is missing. Having extracted events, conditions, and user’s requirements from data of problem domain, a Petri-Net automaton is constructed for identifying violation of user’s requirements. The net constitutes the core of the observer and it is used to identify undesired responses of the system. In the third step, run-time simulation of the observer is suggested using multithreading mechanism and Task Parallel Library (TPL) technology of Microsoft. Finally, a case study of a discrete concurrent system is proposed, the method applied and simulation results are analyzed based on the system implementation on a multi-core computer.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله سید مرتضی بابامیر | seyed morteza
دانشگاه کاشان
سازمان اصلی تایید شده: دانشگاه کاشان (Kashan university)

نشانی اینترنتی http://isee.ui.ac.ir/article_15330_e258508b9841e694bc111d3475c810d4.pdf
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/1306/article-1306-343829.pdf
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات