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

مقالات دانشجویی

درباره وبلاگ

آرشیو

آخرین پستها

پیوندها

نویسندگان

ابر برچسبها

آمار وبلاگ



Admin Logo
themebox Logo


نویسنده :سونار سونا
تاریخ:دوشنبه 11 خرداد 1394-09:13 ق.ظ

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


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





داغ کن - کلوب دات کام
نظرات() 


резинка для фитнеса купить киев
دوشنبه 10 اردیبهشت 1397 05:09 ب.ظ
где в киеве купить фитнес резинки
резина для фитнеса купить украина
купить спортивную резинку киев
купить набір фитнес резинку
резинка петля для фитнеса
How can you heal an Achilles tendonitis fast?
شنبه 1 مهر 1396 06:54 ب.ظ
Everyone loves what you guys tend to be up too.
This sort of clever work and reporting! Keep up the very good works guys I've you guys to my
blogroll.
How does Achilles tendonitis occur?
دوشنبه 30 مرداد 1396 12:47 ب.ظ
This is very interesting, You're a very skilled blogger.
I've joined your feed and look forward to seeking
more of your wonderful post. Also, I have shared your website in my social networks!
What do you do for a strained Achilles tendon?
سه شنبه 17 مرداد 1396 09:45 ق.ظ
What's up to every one, the contents existing at this web
page are truly remarkable for people knowledge, well,
keep up the good work fellows.
How do you get rid of Achilles tendonitis?
دوشنبه 16 مرداد 1396 06:06 ب.ظ
It's fantastic that you are getting thoughts from this post as well as from our dialogue made here.
Foot Pain
سه شنبه 3 مرداد 1396 07:46 ب.ظ
I was recommended this website by my cousin. I'm not sure whether this post
is written by him as nobody else know such detailed about my problem.

You are amazing! Thanks!
BHW
جمعه 25 فروردین 1396 09:23 ق.ظ
Superb post but I was wanting to know if you could write a litte
more on this subject? I'd be very thankful if
you could elaborate a little bit more. Thanks!
 
لبخندناراحتچشمک
نیشخندبغلسوال
قلبخجالتزبان
ماچتعجبعصبانی
عینکشیطانگریه
خندهقهقههخداحافظ
سبزقهرهورا
دستگلتفکر