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

سنتز قوی برای سیستم های بی درنگ

عنوان انگلیسی
Robust synthesis for real-time systems ☆
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
43095 2014 27 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 24 روز بعد از پرداخت 247,560 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 12 روز بعد از پرداخت 495,120 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

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

Journal : Theoretical Computer Science, Volume 515, 2 January 2014, Pages 96–122

ترجمه کلمات کلیدی
پالایش گام به گام - بازی های بهنگام - نظریه مشخصات - استحکام
کلمات کلیدی انگلیسی
Stepwise refinement; Timed I/O automata; Timed games; Specification theory; Robustness
پیش نمایش مقاله
پیش نمایش مقاله سنتز قوی برای سیستم های بی درنگ

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

We address this problem of robust implementations in timed specification theories. We first consider a fixed perturbation and study the robustness of timed specifications with respect to the operators of the theory. To this end we synthesize robust strategies in timed games. Finally, we consider the parametric robustness problem and propose a counter-example refinement heuristic for computing safe perturbation values.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 24 روز بعد از پرداخت 247,560 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 12 روز بعد از پرداخت 495,120 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.