تجزیه و تحلیل پروتکل PGM با uppaal-3462

عنوان انگلیسی مقاله: Analyzing the PGM protocol with uppaal

عنوان فارسی مقاله: تجزیه و تحلیل پروتکل چندبخشی عمومی عملگرا (PGM) توسط مدل اوپال (UPPAAL)

دسته: کامپیوتر و فناوری اطلاعات

فرمت فایل ترجمه شده: WORD (قابل ویرایش)

تعداد صفحات فایل ترجمه شده: ۶

لینک دریافت رایگان نسخه انگلیسی مقاله: دانلود

خرید ترجمه مقاله

چکیده ترجمه:

پروتکل چندبخشی عمومی عملگرا (PGM) به عنوان یه پروتکل چندبخشی معتبری می باشد که به منظور به حداقل رساندن احتمالات انفجار تایید منفی (NAK) و ظرفیت شبکه شبکه به دلیل ارسال مجدد بسته های از دست رفته، طراحی می شود. این پروتکل برای کارگروه مهندسی اینترنتی به عنوان یک معیار منبع باز ارائه شده است.

در این مقاله، تمرکزمان را بر روی ویژگی های قابل اطمینانی مهمی قرار می دهیم که پروتکل چندبخشی عمومی عملگرا (PGM) به تضمین آن می پردازد. گیرنده تمام بسته های داده را از موارد ارسالی دریافت کرده و آن ها را اصلاح می کند یا قادر به آشکارسازی بسته های داده از بین رفته غیر قابل بازیابی می باشد.

ما در ابتدا مدل ( نسخه ساده ای) از پروتکل چندبخشی عمومی عملگرا (PGM) را از طریق شبکه اتوماسیون زمان مطرح می کنیم. سپس با استفاده از بررسی کننده مدل UPPAAL، به بررسی صحت ویژگی های قابل اطمینان بالا می پردازیم، که همیشه محقق نبوده، اما بستگی به مقادیر چندین پارامتر که مد نظر قرار می دهیم، دارد.

١. مقدمه

از زمان معرقی فرایندهای اتوماتیک زمانی، فعالیت های زیادی به بررسی های نظری مدل های زمانی و موضوعات عملی برای تجزیه تحلیل آن ها اختصاص داده شده است. الگوریتم های اثباتی طراحی شده و در ارزیاب مدل های زمانی واقعی همانند های تک، کرونوس، یا UPPAAL به اجرا در آمده اند، که نتایج موفقی را برای بررسی های موردی مختلف داشته اند. در این مقاله ما به اثبات دو ویژگی قابل اطمینان برای پروتکل قابل اطمینان پروتکل چندبخشی عمومی عملگرا (PGM) می پردازیم.

اطلاعات فایل

• فرمت: zip
• حجم: 0.21مگابایت
• شماره ثبت: 411

مقالات مرتبط

↓-↓

ترجمه مقاله پروتکل ترکیبی تطبیقی برای تحویل داده ها در شبکه گیرنده بی سیم-2063

عنوان انگلیسی مقاله: A Hybrid Adaptive Protocol for Reliable Data Delivery in WSNs with Multiple Mobile Sinks عنوان فارسی مقاله: پروتکل ترکیبی تطبیقی برای تحویل داده های قابل اعتماد در شبکه گیرنده بی سیم با منبع چندگانه موبایل دسته: فناوری اطلاعات - الکترونیک فرمت فایل ترجمه شده: WORD (قابل ویرایش) تعداد صفحات فایل ترجمه شده: ٢۶ جهت دانلود رایگان نسخه انگلیسی این مقاله اینجا کلیک نمایید خرید ترجمه مقاله چکیده...

ترجمه مقاله پروتکل اشتراک فایل نظیر به نظیر (بیت تورنت – BitTorrent)-1798

عنوان انگلیسی مقاله: BitTorrent: a peer-to-peer file sharing protocol عنوان فارسی مقاله: بیت تورنت: پروتکل اشتراک فایل نظیر به نظیر دسته: کامپیوتر و فناوری اطلاعات فرمت فایل ترجمه شده: WORD (قابل ویرایش) تعداد صفحات فایل ترجمه شده: ۴۵ لینک دریافت رایگان نسخه انگلیسی مقاله: دانلود خرید ترجمه مقاله چکیده ترجمه: بیت تورنت، یک پروتکل اشتراک فایل نظیر به نظیرمی باشد که برای توزیع مقدار زیادی از داده در اینترنت مورد...

ترجمه مقاله پروتکل مسیریابی دروازه داخلی-582

عنوان انگلیسی مقاله: Interior Gateway Routing Protocol عنوان فارسی مقاله: پروتکل مسیریابی دروازه داخلی. دسته: کامپیوتر و فناوری اطلاعات فرمت فایل ترجمه شده: WORD (قابل ویرایش) تعداد صفحات فایل ترجمه شده: ١١ لینک دریافت رایگان نسخه انگلیسی مقاله: دانلود خرید ترجمه مقاله چکیده ترجمه: پروتکل مسیریابی دروازه داخلی (IGRP) به عنوان پروتکل مسیریابی داخلی بردار مسافت (IGP)بوده که توسط سیسکو ابداع شده است. این پروتکل توسط روترها برای تبادل داده...

ترجمه مقاله کنترل نقل و انتقالات با پیمایش تطبیقی گذرگاه برای شبکه بی سیم-3894

عنوان انگلیسی مقاله: TCP with gateway adaptive pacing for multihop wireless networks with Internet connectivity عنوان فارسی مقاله: پروتکل کنترل نقل و انتقالات با پیمایش تطبیقی گذرگاه برای شبکه های بی سیم چند گره ای با ارتباط اینترنتی. دسته: کامپیوتر و فناوری اطلاعات فرمت فایل ترجمه شده: WORD (قابل ویرایش) تعداد صفحات فایل ترجمه شده: ١٩ لینک دریافت رایگان نسخه انگلیسی مقاله: دانلود خرید ترجمه مقاله چکیده ترجمه: این مقاله...