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

تایید پارامتر بندی از مدلهای حساس به زمان پروتکل های شبکه ad hoc☆

عنوان انگلیسی
Parameterized verification of time-sensitive models of ad hoc network protocols ☆
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
70671 2016 22 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 23 روز بعد از پرداخت 302,148 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 12 روز بعد از پرداخت 604,296 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

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

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

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

Journal : Theoretical Computer Science, Volume 612, 25 January 2016, Pages 1–22

ترجمه کلمات کلیدی
تایید پارامتر بندی؛ اتوماسیون زمان؛ شبکه های ad hoc؛ نمودار؛ Decidability؛ سیستم های انتقال و ساختار
کلمات کلیدی انگلیسی
Parameterized verification; Timed automata; Ad hoc networks; Graphs; Decidability; Well structured transition systems
پیش نمایش مقاله
پیش نمایش مقاله تایید پارامتر بندی از مدلهای حساس به زمان پروتکل های شبکه ad hoc☆

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

We study decidability and undecidability results for parameterized verification of a formal model of timed Ad Hoc network protocols. The communication topology is defined by an undirected graph and the behaviour of each node is defined by a timed automaton communicating with its neighbours via broadcast messages. We consider parameterized verification problems formulated in terms of reachability. In particular we are interested in searching for an initial configuration from which an individual node can reach an error state. We study the problem for dense and discrete time and compare the results with those obtained for (fully connected) networks of timed automata.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 23 روز بعد از پرداخت 302,148 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 12 روز بعد از پرداخت 604,296 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.