ارائه مدلی برپایهی شبکههای پتری جهت ارزیابی مدیریت منابع در زمانبندی سیستمهای بلادرنگ
Publish Year: 1393
Type: Conference paper
Language: Persian
View: 926
This Paper With 12 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
RDERI02_034
Index date: 1 May 2015
ارائه مدلی برپایهی شبکههای پتری جهت ارزیابی مدیریت منابع در زمانبندی سیستمهای بلادرنگ abstract
در علم کامپیوتر، محاسبات بلادرنگ موضوعی از سیستمهای سخت افزار و نرم افزار است که در رابطه با قید زمانی است . مثل پاسخگویی به حوادثی که ناشی از حساسیتهای زمانی هستند. در سالهای اخیر محاسبهگری به عنوان یک نظام رشد یابنده مهم مطرحشده است. سیستمعامل و به طور خاص زمانبند، شاید مهمترین مولفه یک سیستم بلادرنگ باشد. ابتدا در این پژوهش به بررسی انواع روشها و ابزارهای متداول شبیهسازی و مدلسازی زمانبندی سیستمهای بلادرنگ در جهت تحلیل و ارزیابی این سیستمها میپردازیم. ابزارهای شبیهساز با استفاده از زبانهای برنامه نویسی محیطی جهت تحلیل و ارزیابی زمان در سیستمهای بلادرنگ فراهم می کنند کهمعمولا بسیاری از این ابزارها همهی نیازهای یک سیستم را پشتیبانی نمیکنند و گاهی اوقات برخی از آنها برای استفاده های خاصتولید میشوند بنابراین با توجه به اهمیت این نوع سیستمها نیاز به یک ابزار دقیق با پایهی منطقی قوی احساس می شود که شبکه های پتری با توجه به دارا بودن پایهی ریاضی قوی میتواند یک انتخاب بهینه باشد. در بسیاری از رشتهها نمیتوان مطالعه مستقیم انجام داد،همچنین کار بر روی تحلیل برخی از سیستمها مانند سیستمهای بلادرنگ متضمن زمان و انرژی زیادی می باشد و بهتر است که اینموارد از طریق یک مدل بررسی گردد، مدل انتخاب شده در این پژوهش شبکه های پتری می باشد .درانتها براساس دسته بندی که پیشنهاد کردهایم، مدلی از شبکههای پتری را ارائه میکنیم که براساس آن مدل خود را ارزیابی میکنیم و سپس مدل پیشنهادی خود را براساس یک مطالعه موردی (پرتاب موشک) به بررسی آن خواهیم پرداخت.
ارائه مدلی برپایهی شبکههای پتری جهت ارزیابی مدیریت منابع در زمانبندی سیستمهای بلادرنگ Keywords:
ارائه مدلی برپایهی شبکههای پتری جهت ارزیابی مدیریت منابع در زمانبندی سیستمهای بلادرنگ authors
محمد خورشیدیان
دانشجوی مقطع کارشناسی ارشد، دانشگاه آزاد اسلامی واحد بابل، ایران
همایون موتمنی
عضو هیئت علمی، دانشگاه آزاد اسلامی واحد ساری، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :