close
تبلیغات در اینترنت
ترجمه مقاله تجزیه و تحلیل پروتکل PGM با uppaal

امروز و ساعت دقیقه می باشد.

جستجوگر پیشرفته سایت



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

جهت دانلود محصول اینجا کلیک نمایید
سه شنبه 20 مرداد 1394 ساعت: 13:28
مطالب تصادفی
مطالب مرتبط
بخش نظرات این مطلب

نام
ایمیل (منتشر نمی‌شود) (لازم)
وبسایت
:) :( ;) :D ;)) :X :? :P :* =(( :O @};- :B /:) :S
نظر خصوصی
مشخصات شما ذخیره شود ؟ [حذف مشخصات] [شکلک ها]
کد امنیتی


تبلیغات

آمار


آمار کاربران آمار کاربران
افراد آنلاین افراد آنلاین : 7

آمار بازدیدآمار بازدید
بازدید امروز بازدید امروز : 303
بازدید دیروز بازدید دیروز : 1,412
بازدید هفته بازدید هفته : 5,498
بازدید ماه بازدید ماه : 38,342
بازدید سال بازدید سال : 160,877
بازدید کلی بازدید کلی : 1,244,320

اطلاعات شما اطلاعات شما
آِ ی پیآِ ی پی : 54.196.47.145
مرورگر مرورگر :
سیستم عامل سیستم عامل :

ورود کاربران

نام کاربری :
رمز عبور :

رمز عبور را فراموش کردم ؟

عضويت سريع

نام کاربری :
رمز عبور :
تکرار رمز :
ایمیل :
نام اصلی :
کد امنیتی : * کد امنیتیبارگزاری مجدد

خبرنامه

براي اطلاع از آپيدت شدن سایت در خبرنامه سایت عضو شويد تا جديدترين مطالب به ايميل شما ارسال شود