دانلود مقاله انگلیسی رایگان:وارسی مدل کارآمد CSLTA منطقی تصادفی - 2018

دانلود بهترین مقالات isi همراه با ترجمه فارسی

کارابرن عزیز، مقالات isi بالاترین کیفیت ترجمه را دارند، ترجمه آنها کامل و دقیق می باشد (محتوای جداول و شکل های نیز ترجمه شده اند) و از بهترین مجلات isi انتخاب گردیده اند. همچنین تمامی ترجمه ها دارای ضمانت کیفیت بوده و در صورت عدم رضایت کاربر مبلغ عینا عودت داده خواهد شد.

پشتیبانی
اپلیکشن اندروید
آرشیو مقالات
ورود اعضا
توجه توجه توجه !!!!
تمامی مقالات ترجمه شده ، انگلیسی و کتاب های این سایت با دقت تمام انتخاب شده اند. در انتخاب مقالات و کتاب ها پارامترهای جدید بودن، پر جستجو بودن، درخواست کاربران ، تعداد صفحات و ... لحاظ گردیده است. سعی بر این بوده بهترین مقالات در هر زمینه انتخاب و در اختیار شما کاربران عزیز قرار گیرد. ضمانت ما، کیفیت ماست.
نرم افزار winrar

از نرم افزار winrar برای باز کردن فایل های فشرده استفاده می شود. برای دانلود آن بر روی لینک زیر کلیک کنید
دانلود

پیوندهای کاربردی
پیوندهای مرتبط
دانلود مقاله انگلیسی مدیریت عملکرد رایگان
  • Efficient model checking of the stochastic logic CSLTA Efficient model checking of the stochastic logic CSLTA

    سال انتشار:

    2018


    عنوان انگلیسی مقاله:

    Efficient model checking of the stochastic logic CSLTA


    ترجمه فارسی عنوان مقاله:

    وارسی مدل کارآمد CSLTA منطقی تصادفی


    منبع:

    Performance Evaluation Volumes 123–124, July 2018, Pages 1-34


    نویسنده:

    E.G. Amparore, S. Donatelli


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

    CSLTA is a stochastic temporal logic for continuous-time Markov chains (CTMCs) which includes the well known CSL. CSLTA properties are defined using single-clock Deterministic Timed Automata (DTAs). The model checking of CSLTA amounts, in the worst-case, to the computation of the steady-state probability of a non-ergodic Markov Regenerative Process (MRgP) of size of . Various MRgP solution techniques are available in the literature, and we shall use the Component Method, which computes the steady state distribution of a non-ergodic MRgP by recognizing that, in an MRgP, certain components may actually be solved at a lower cost (same cost as that of a CTMC solution). Unfortunately the technique still requires the construction of the whole MRgP. This paper applies the Component Method to devise various CSLTA model checking algorithms, forward and backward. The Component Method can be applied to the MRgP constructed from the CTMC and the DTA, which is a rather straightforward application of the method, or to the MRgP constructed from the CTMC and the region graph of the DTA, a construction that takes into account the timed reachability in the DTA and that allows, in most cases, a significant reduction in the considered MRgP states. In both cases the whole MRgP is built. The primary result of this paper is instead to devise a model checking algorithm in which the component identification is based only on the region graph of the DTA. The MRgP components are generated “on-the-fly”, when needed, starting from the components of the region graph; they are then solved with the cheapest available solution method. Once a component has been solved it is discarded, therefore the whole MRgP is never constructed nor solved. The on-the-fly algorithm is “adaptive”: the time and space used depend on the formula, and, when the DTA actually expresses a CSL property, the algorithm complexity reduces, seamlessly, to that of standard CSL model checking algorithms.


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 34
    حجم فایل: 2568 کیلوبایت

    قیمت: رایگان


    توضیحات اضافی: نظر




آرشیو کامل مقالات

اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)

این مقاله را در فیس بوک به اشتراک بگذارید این مقاله را در توییتر به اشتراک بگذارید این مقاله را در لینکداین به اشتراک بگذارید این مقاله را در گوگل پلاس به اشتراک بگذارید این مقاله را در زینگ به اشتراک بگذارید این مقاله را در تلگرام به اشتراک بگذارید

تعداد نظرات : 0

الزامی
الزامی
الزامی
مدیریت-عملکرد
موضوعات
footer