دانلود مقاله ISI انگلیسی شماره 70757
ترجمه فارسی عنوان مقاله

تأیید رسمی از یک نسخه جدید از AOMDV در شبکه ad hoc ☆

عنوان انگلیسی
Formal Verification of a New Version of AOMDV in ad hoc Network ☆
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
70757 2014 8 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 3281 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 6 روز بعد از پرداخت 180,455 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 3 روز بعد از پرداخت 360,910 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

سفارش تولید محتوا کد تخفیف 10 درصدی: isiArticles
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Procedia Computer Science, Volume 37, 2014, Pages 160–167

ترجمه کلمات کلیدی
شبکه های ad-hoc؛ پروتکل های مسیریابی - تأیید رسمی؛ چک کردن مدل؛
کلمات کلیدی انگلیسی
Ad-hoc networks; routing protocols; Formal verification; model checking;
پیش نمایش مقاله
پیش نمایش مقاله تأیید رسمی از یک نسخه جدید از AOMDV در شبکه ad hoc ☆

چکیده انگلیسی

In ad hoc networks like MANET the topology change frequently and interferences problems are inevitable in many cases, as a result link failures can arise. Unfortunately, traditional routing algorithms are no more suitable for this kind of networks especially in case of using a single path routing schemes. In order to overcome this problem, multipath routing approach is proposed where in some cases as an extension of the traditional routing algorithms. Our aim in this paper is to propose a formal study based on model checking to formally verify an enhancement version of AOMDV. In this new version we have added new functionalities in ROUTE DISCOVERY and ROUTE MAINTENANCE to achieve energy efficiency, packet overhead minimization and latency reduction.

دانلود فوری مقاله + سفارش ترجمه

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

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 3281 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 6 روز بعد از پرداخت 180,455 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 3 روز بعد از پرداخت 360,910 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.