طراحی مدل بهینه برای عمل V&ATS سیستم های مبتنی بر PLC
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 489
فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICEES01_163
تاریخ نمایه سازی: 16 اسفند 1394
چکیده مقاله:
اعتبار سنجی کاربردی برای صحت مدل طراحی شده در یک سیستم پیچیده مبتنی بر PLC به عنوان یک وظیفه مهم تلقی می شود. مدل سازی های مرسوم سیستم PLC به منظور Verification (درستی سنجی) عملی سخت و طاقت فرساست. یک مدل درستی سنج خوب باید پایدار و مختصر باشد .چون مدل از یک سو باید با سیستم سازگار و از سوی دیگر بدلیل بزرگ بودن مدل فضای حالت برنامه در سیستم های پیچیده ،مدل باید دارای اندازه و ابعاد مناسب باشد.این مقاله یک روش سیستماتیک برای طراحی مدلی بهینه برای عمل درستی سنجی و ترجمه خودکار نرم افزار پیشنهاد می کند. ساختار داخلی PLC و خصوصیات سخت افزاری به صورت اجزا سیستم مدل شده اند. روش ارائه شده برای تمامی کاربردهای PLC در صنایع مختلف عمومیت دارد. همچنین یک روش ترجمه خودکار(Automation Translation Software) برای مدل نرم افزاری براساس Semantics یا معناشناسی دستوری ارائه شده است.
کلیدواژه ها:
نویسندگان
سید مهیار مهدی زاده مقدم
دانشگاه آزاد اسلامی واحد ساری، گروه برق و کنترل
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :