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

• عنوان انگلیسی مقاله: Analyzing the PGM protocol with uppaal
• عنوان فارسی مقاله: تجزیه و تحلیل پروتکل چندبخشی عمومی عملگرا (PGM) توسط مدل اوپال (UPPAAL)
• دسته: کامپیوتر و فناوری اطلاعات
• فرمت فایل ترجمه شده: WORD (قابل ویرایش)
• تعداد صفحات فایل ترجمه شده: 6
• لینک دریافت رایگان نسخه انگلیسی مقاله: دانلود

چکیده ترجمه

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

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

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

مقدمه

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

اطلاعات فایل

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

مقالات مشابه

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

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

ترجمه مقاله پروتکل اشتراک فایل نظیر به نظیر (بیت تورنت

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