عنوان انگلیسی مقاله: Analyzing the PGM protocol with uppaal
عنوان فارسی مقاله: تجزیه و تحلیل پروتکل چندبخشی عمومی عملگرا (PGM) توسط مدل اوپال (UPPAAL)
دسته: کامپیوتر و فناوری اطلاعات
فرمت فایل ترجمه شده: فایل Word ورد 2007 یا 2003 (Docx یا Doc) قابل ویرایش
تعداد صفحات فایل ترجمه شده: 6
لینک دریافت رایگان نسخه انگلیسی مقاله:
دانلودترجمه سلیس و روان مقاله آماده خرید می باشد.
_______________________________________
چکیده
پروتکل
چندبخشی عمومی عملگرا (PGM) به عنوان یه پروتکل چندبخشی معتبری می باشد که
به منظور به حداقل رساندن احتمالات انفجار تایید منفی (NAK) و ظرفیت شبکه
شبکه به دلیل ارسال مجدد بسته های از دست رفته، طراحی می شود. این پروتکل
برای کارگروه مهندسی اینترنتی به عنوان یک معیار منبع باز ارائه شده است.
در
این مقاله، تمرکزمان را بر روی ویژگی های قابل اطمینانی مهمی قرار می دهیم
که پروتکل چندبخشی عمومی عملگرا (PGM) به تضمین آن می پردازد. گیرنده تمام
بسته های داده را از موارد ارسالی دریافت کرده و آن ها را اصلاح می کند یا
قادر به آشکارسازی بسته های داده از بین رفته غیر قابل بازیابی می باشد.
ما
در ابتدا مدل (نسخه ساده ای) از پروتکل چندبخشی عمومی عملگرا (PGM) را از
طریق شبکه اتوماسیون زمان مطرح می کنیم. سپس با استفاده از بررسی کننده
مدل UPPAAL، به بررسی صحت ویژگی های قابل اطمینان بالا می پردازیم، که
همیشه محقق نبوده، اما بستگی به مقادیر چندین پارامتر که مد نظر قرار می
دهیم، دارد.