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

درباره وبلاگ

آرشیو

آخرین پستها

پیوندها

نویسندگان

ابر برچسبها

آمار وبلاگ



Admin Logo
themebox Logo


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

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


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





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


site
جمعه 13 دی 1398 10:20 ق.ظ
It's an amazing paragraph in support of all the online viewers; they will get benefit
from it I am sure.
Micheline
سه شنبه 25 تیر 1398 09:36 ق.ظ
This is a very good tip particularly to those fresh to the blogosphere.
Short but very accurate info… Thank you for sharing this one.
A must read post!
joma jewellery york
دوشنبه 20 فروردین 1397 07:59 ب.ظ
Alexander III ordered the first Faberge egg (the First Hen Egg) as an Easter gift for his wife, Empress Maria Fyodorovna, in 1885.
joma jewellery happy birthday
یکشنبه 19 فروردین 1397 09:32 ب.ظ
It is not unusual to see Indian clothes with trend jewellery being worn by western ladies who
seem to benefit from the vibrant and exquisite colours.
Joma Jewellery Sale
یکشنبه 19 فروردین 1397 01:50 ب.ظ
Prime stitch across the bottom pieces. I didn't high stitch throughout
the top as a result of it is going to be attached to my jewellery roll.
garciniacambogiapremium.net
یکشنبه 19 فروردین 1397 12:39 ب.ظ
Have actually been taking little over a month.
joma jewellery stockists
شنبه 18 فروردین 1397 06:34 ب.ظ
When purchasing for diamonds, just be sure you store
for them based mostly on their 4 predominant criteria: colour,
cut, readability, and carat.
joma jewellery a little princess
شنبه 18 فروردین 1397 05:45 ب.ظ
The jewellery you decide could be too chunky, too eccentric, too classic,
too delicate, too cheap-wanting or expensive-looking for her.
https://i.imgur.com/l7Zk2xt.jpg
پنجشنبه 16 فروردین 1397 06:17 ب.ظ
So that you disagree with Lori Marino so every thing she says must suspect?
Joma Jewellery Sale
چهارشنبه 15 فروردین 1397 11:17 ق.ظ
Before designer Simon Carter appeared on the UK vogue scene; cufflink designs were considered bland.
yogicentral.com
چهارشنبه 15 فروردین 1397 12:59 ق.ظ
Now, it's time to determine what to do with that pile of papers overlaying the desk or eating
room table. Undecided where to begin?
garciniacambogiapremium.net
چهارشنبه 15 فروردین 1397 12:35 ق.ظ
Have been taking little over a month.
Joma Jewellery UK
سه شنبه 14 فروردین 1397 11:52 ق.ظ
These boys shoulf have been given all of the
jewerly that belonged to their mother, as long as
it was not from the royal collection.
joma jewellery stockists uk
سه شنبه 14 فروردین 1397 11:40 ق.ظ
The tiara was created from titanium and embellished with more than a hundred karats
diamonds and 153 karats of emeralds.
joma jewellery a little faith
یکشنبه 12 فروردین 1397 01:32 ق.ظ
Via the years I've heard people make fun of philosophers who ponder
their navels in an ivory tower.
Robert's Blow Boy
شنبه 11 فروردین 1397 03:00 ب.ظ
Mr Valls, who is originally from Barcelona, had travelled to Berlin on 6 June to look at his
team, FC Barcelona, defeat Juventus 3-1.
joma jewellery st christopher
شنبه 11 فروردین 1397 12:30 ب.ظ
The previous haven of gypsies and hustlers, Paris's flea markets of Paris are visited by everybody looking for a bargain and a fortunate discover.
Dallas
جمعه 17 آذر 1396 01:42 ق.ظ
I believe that is among the so much important info for me.
And i'm glad studying your article. However wanna observation on some
normal things, The site taste is wonderful, the articles is in reality great : D.
Good job, cheers
Can you get an operation to make you taller?
شنبه 1 مهر 1396 11:16 ق.ظ
Spot on with this write-up, I really feel this site needs much more attention. I'll
probably be back again to read more, thanks for the advice!
Can you get taller with yoga?
سه شنبه 28 شهریور 1396 03:35 ق.ظ
Because the admin of this web page is working, no hesitation very
shortly it will be well-known, due to its feature contents.
Foot Issues
یکشنبه 15 مرداد 1396 05:09 ب.ظ
I'm curious to find out what blog system you have been utilizing?
I'm having some minor security issues with my latest blog and I would like to find something
more safeguarded. Do you have any recommendations?
jamesheffernan.jimdo.com
جمعه 13 مرداد 1396 05:18 ب.ظ
Hello! This post could not be written any better! Reading through this
post reminds me of my previous room mate! He always
kept chatting about this. I will forward this post to him.
Pretty sure he will have a good read. Thanks for sharing!
Foot Issues
سه شنبه 3 مرداد 1396 08:39 ب.ظ
Hello to every , since I am genuinely eager of reading
this website's post to be updated on a regular basis.
It includes nice information.
BHW
پنجشنبه 24 فروردین 1396 04:22 ب.ظ
I'm curious to find out what blog system you have been utilizing?
I'm experiencing some small security issues with
my latest site and I'd like to find something more secure.
Do you have any recommendations?
 
لبخندناراحتچشمک
نیشخندبغلسوال
قلبخجالتزبان
ماچتعجبعصبانی
عینکشیطانگریه
خندهقهقههخداحافظ
سبزقهرهورا
دستگلتفکر


ساخت وبلاگ در میهن بلاگ

شبکه اجتماعی فارسی کلوب | اخبار کامپیوتر، فناوری اطلاعات و سلامتی مجله علم و فن | ساخت وبلاگ صوتی صدالاگ | سوال و جواب و پاسخ | رسانه فروردین، تبلیغات اینترنتی، رپرتاژ، بنر، سئو