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

جستجو برای نقض خواص ایمنی و زندگی با استفاده از کشف دانش در سیستم های پیچیده مشخص شده از طریق تحولات گراف

عنوان انگلیسی
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
93209 2018 25 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 27 روز بعد از پرداخت 220,764 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 14 روز بعد از پرداخت 441,528 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

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

Journal : Information and Software Technology, Volume 97, May 2018, Pages 110-134

ترجمه کلمات کلیدی
داده کاوی، شبکه بیزی، چک کردن مدل، انفجار فضایی دولتی، سیستم تحول گراف
کلمات کلیدی انگلیسی
Data mining; Bayesian network; Model checking; State space explosion; Graph transformation system;
ترجمه چکیده
نتایج تجربی بر روی مجموعه های مختلف معیارها نشان می دهد که روش های پیشنهادی سریع تر و دقیق تر از روش های موجود متا اکتیویتی و تکاملی در بررسی مدل سیستم های نرم افزاری پیچیده مشخص شده از طریق تحولات گراف هستند.
ترجمه دقیق تری نیاز دارید؟ سفارش دهید
پیش نمایش مقاله
پیش نمایش مقاله جستجو برای نقض خواص ایمنی و زندگی با استفاده از کشف دانش در سیستم های پیچیده مشخص شده از طریق تحولات گراف

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

Experimental results on different set of benchmarks show that the proposed approaches are faster and more accurate in comparison with the existing meta-heuristic and evolutionary techniques in model checking of complex software systems specified through graph transformations.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 27 روز بعد از پرداخت 220,764 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 14 روز بعد از پرداخت 441,528 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.