خلاصه
در شبکه های ad hoc مانند MANET توپولوژی مکرر تغییر می کند و مشکلات تداخلی در بسیاری از موارد اجتناب ناپذیر است، در نتیجه شکست لینک ممکن است بوجود آید. متاسفانه، الگوریتم های مسیریابی سنتی دیگر مناسب این نوع از شبکه ها به خصوص در مورد استفاده از طرح یک مسیر واحد.

به منظور غلبه بر این مشکل، چند روش مسیریابی پیشنهاد شده است که برخی موارد برای توسعه مسیریابی سنتی است. هدف ما در این مقاله پیشنهاد مطالعه ای رسمی بر اساس مدل چک کردن به طور رسمی تایید نسخه ارتقا یافته AOMDV است. در این نسخه جدید ما ویژگی های جدیدی را در کشف مسیر و مسیر نگهداری برای رسیدن به بهره وری انرژی، به حداقل رساندن بسته سر گروه و کاهش زمان تاخیر اضافه کردیه ایم.

کلمات کلیدی: شبکه های موقت. پروتکل های مسیریابی. تایید رسمی؛ چک کردن مدل.

———————————————————

عنوان اصلی مقاله:   Formal verification of a new version of AOMDV in ad hoc network

ترجمه فارسی عنوان: تایید رسمی از نسخه جدید AOMDV در شبکه ad hoc

تعداد صفحات انگلیسی:  ۸ صفحه

تعداد صفحات ترجمه فارسی:  ۱۲صفحه

 

دانلود مقاله و ترجمه