| دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
مدلسازی رقابت نرم افزاری با استفاده از شبکه های پتری رنگی |
| عنوان انگلیسی مقاله: |
Modeling Software Contention Using Colored Petri Nets |
|
|
| مشخصات مقاله انگلیسی (PDF) | |
| سال انتشار | 2008 |
| تعداد صفحات مقاله انگلیسی | 8 صفحه با فرمت pdf |
| رشته های مرتبط با این مقاله | مهندسی کامپیوتر، مهندسی صنایع و مدیریت |
| گرایش های مرتبط با این مفاله | مهندسی نرم افزار، معماری سیستم های کامپیوتری، فناوری اطلاعات، مدیریت صنعتی و تحقیق در عملیات |
| مجله | سمپوزیوم بین المللی مدل سازی، تجزیه و تحلیل و شبیه سازی کامپیوتر و سیستم های مخابرات (International Symposium on Modeling, Analysis and Simulation of Computers and Telecommunication Systems) |
| دانشگاه | مهندسی برق و علوم کامپیوتر دانشگاه واندربیلت، نشویل، ایالات متحده آمریکا |
| شناسه شاپا یا ISSN | ISSN 1526-7539 |
| رفرنس | دارد |
| لینک مقاله در سایت مرجع | لینک این مقاله در سایت IEEE |
| نشریه | آی تریپل ای – IEEE |
| مشخصات و وضعیت ترجمه فارسی این مقاله (Word) | |
| تعداد صفحات ترجمه تایپ شده با فرمت ورد با قابلیت ویرایش و فونت 14 B Nazanin | 26 صفحه |
| ترجمه عناوین تصاویر و جداول | ترجمه شده است |
| ترجمه متون داخل تصاویر و جداول | ترجمه نشده است |
| درج تصاویر در فایل ترجمه | درج شده است |
| درج جداول در فایل ترجمه | درج شده است |
| درج فرمولها و محاسبات در فایل ترجمه به صورت عکس | درج شده است |
- فهرست مطالب:
چکیده
۱ مقدمه
۲ مطالعه موردی برنامه کاربردی: شبیه ساز ردیابی هدف
۱ ۲ کلیات ردیاب هدف
۲ ۲ اهداف برنامه کاربردی مطالعه موردی
۱ ۲ ۲ پیش بینی عملکرد برنامه کاربردی
۲ ۲ ۲ استخراج پیکره بندی بهینه
۳ آزمایشات
۱ ۳ پروفایل سازی برنامه کاربردی
۲ ۳ ساخت مدل شبکه پتری رنگی
۱ ۲ ۳ مدلسازی جریانات برنامه های کاربردی
۲ ۲ ۳ مدلسازی رقابت بر سر قفل
۳ ۲ ۳ مدلسازی دسترسی به منابع
۴ ۲ ۳ مدلسازی اثرات کش/ جیترهای OS
۳ ۳ درجه بندی مدل
۴ ۳ ارزیابی و اعتباریابی مدل
۱ ۴ ۳ زمان پاسخ رشته هدف
۲ ۴ ۳ کارایی ماهواره و ردیاب
۳ ۴ ۳ متریک های عملکرد با قفل های برداشته شده (حذف شده)
۴ ۴ ۳ پیش بینی مدل
۴ پیکره بندی برنامه کاربردی
۵ ملاحظات پایانی
- بخشی از ترجمه:
کار مطرح شده دراین مقاله، تکنیک توسعه یافته برای مدلسازی و شبیه سازی رقابت نرم افزاری را شرح می دهد. در اینجا از شبکه های پتری رنگی (CPN) برای ارزیابی داده های مدل با نتایج بدست آمده از پروفایل سازی برنامه کاربردی استفاده کردیم. CPN، عدم جبرگرایی ذاتی در مورد رقابت رشته های متعدد روی یک قفل را مدلسازی می کند. هدف ازاجرای پروفایل سازی، اندازه گیری عملکرد زمان اجرای برنامه بوده و داده های حاصله برحسب داده های پیش بینی شده با مدل CPN مورد ارزیابی قرار گرفتند. نتایج بدست آمده نشان می دهد مدل CPN، الگوی رفتار برنامه کاربردی را در حدود خطای مشخص، به درستی پیش بینی می کند.
مدل CPN برنامه کاربردی و کد برنامه کاربردی بکاررفته در این مقاله، به صورت نرم افزار منبع باز از www.dre.vanderbilt.edu/ nilabjar/SoftwareContention موجود هستند.
- بخشی از مقاله انگلیسی:
5 Concluding Remarks
The work presented in this paper describes a technique we developed to model and simulate software contention. We used Colored Petri Nets (CPN) to validate the model data with the results captured by profiling the application. CPN models the non-determinism inherent in the case of multiple threads contending on a single lock. Profiling is performed to measure application runtime performance and the resulting data is validated against data predicted by the CPN model. The results show that the CPN model accurately predicts the pattern of behavior in the application within certain error limits.
The CPN model of the application and the application code used in this paper are available as opensource software from www.dre.vanderbilt.edu/ ˜nilabjar/SoftwareContention.
| دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
مدلسازی رقابت نرم افزاری با استفاده از شبکه های پتری رنگی |
| عنوان انگلیسی مقاله: |
Modeling Software Contention Using Colored Petri Nets |
|
|
