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

مدل سازی و تجزیه و تحلیل شبکه های ad hoc تلفن همراه در زمان واقعی Maude

عنوان انگلیسی
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
70743 2016 33 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 29 روز بعد از پرداخت 1,233,320 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 15 روز بعد از پرداخت 2,466,640 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

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

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

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

Journal : Journal of Logical and Algebraic Methods in Programming, Volume 85, Issue 1, Part 1, January 2016, Pages 34–66

ترجمه کلمات کلیدی
شبکه های ad hoc تلفن همراه - مشخصات رسمی؛ چک کردن مدل؛ زمان واقعی Maude
کلمات کلیدی انگلیسی
Mobile ad hoc networks; Formal specification; Model checking; Real-Time Maude
پیش نمایش مقاله
پیش نمایش مقاله مدل سازی و تجزیه و تحلیل شبکه های ad hoc تلفن همراه در زمان واقعی Maude

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

Modeling and analyzing mobile ad hoc networks (MANETs) pose non-trivial challenges to formal methods. Time, geometry, communication delays and failures, mobility, and uni- and bidirectional wireless communication can interact in unforeseen ways that are hard to model and analyze by current process calculi and automatic formal methods. As a consequence, current analyses tend to abstract away these physical aspects, so that—although still quite useful in finding various errors—their simplifying assumptions can easily fail to model details of MANET behavior relevant to meet desired requirements. In this work we present a formal framework for the modeling and analysis of MANETS based on Real-Time Maude to address this challenge. Specifically, we show that our framework has good expressive power to model relevant aspects of MANETs, and good compositionality properties, so that a MANET protocol can be easily composed with various models of mobility and with other MANET protocols. We illustrate the use of our framework on two well-known MANET benchmarks: the AODV routing protocol and the leader election protocol of Vasudevan, Kurose, and Towsley. Our formal analysis has uncovered a spurious behavior in the latter protocol that is due to the subtle interplay between communication delays, node movement, and neighbor discovery. This behavior therefore cannot be found by analyses that abstract from node movement and communication delays.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 55 تومان 29 روز بعد از پرداخت 1,233,320 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 110 تومان 15 روز بعد از پرداخت 2,466,640 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.