تلفن: ۰۴۱۴۲۲۷۳۷۸۱
تلفن: ۰۹۲۱۶۴۲۶۳۸۴

ترجمه مقاله تجرید و تقریب در منطق و مدل های زمانی فازی – نشریه اشپرینگر

عنوان فارسی: تجرید و تقریب در منطق و مدل های زمانی فازی
عنوان انگلیسی: Abstraction and approximation in fuzzy temporal logics and models
تعداد صفحات مقاله انگلیسی : 26 تعداد صفحات ترجمه فارسی : 41 (شامل 1 صفحه رفرنس انگلیسی)
سال انتشار : 2014 نشریه : اشپرینگر - Springer
فرمت مقاله انگلیسی : PDF فرمت ترجمه مقاله : ورد تایپ شده و pdf
نوع مقاله : ISI نوع نگارش : مقالات پژوهشی (تحقیقاتی)
پایگاه : اسکوپوس نوع ارائه مقاله : ژورنال
ایمپکت فاکتور(IF) مجله : 1.730 در سال 2018 شاخص H_index مجله : 36 در سال 2019
شاخص SJR مجله : 0.430 در سال 2018 شناسه ISSN مجله : 0934-5043
شاخص Q یا Quartile (چارک) : Q3 در سال 2018 کد محصول : 9854
محتوای فایل : zip حجم فایل : 3.72Mb
رشته های مرتبط با این مقاله: مهندسی کامپیوتر
گرایش های مرتبط با این مقاله: رایانش ابری، معماری سیستم های کامپیوتری
مجله: جنبه های رسمی محاسبات - Formal Aspects of Computing
دانشگاه: گروه مهندسی کامپیوتر ، دانشگاه آزاد اسلامی (واحد علوم و تحقیقات) ، تهران ، ایران
کلمات کلیدی: تجرید، تقریب، مدل کریپکـه فازی، منطق زمانی فازی، چک کردن یا وارسی مدل، نمودار برنامه فازی، فلیپ فلاپ چند مقداری
کلمات کلیدی انگلیسی: Abstraction - Approximation - Fuzzy Kripke model - Fuzzy temporal logic - Model checking - Fuzzy program graph - Multi-valued flip-flop
وضعیت ترجمه عناوین تصاویر و جداول: ترجمه شده است ✓
وضعیت ترجمه متون داخل تصاویر و جداول: ترجمه شده است ✓
وضعیت ترجمه منابع داخل متن: درج نشده است ☓
وضعیت فرمولها و محاسبات در فایل ترجمه: به صورت عکس، درج شده است
بیس: است ✓
مدل مفهومی: دارد ✓
پرسشنامه: ندارد ☓
متغیر: ندارد ☓
رفرنس: دارای رفرنس در داخل متن و انتهای مقاله
رفرنس در ترجمه: در انتهای مقاله درج شده است
doi یا شناسه دیجیتال: https://doi.org/10.1007/s00165-014-0318-7
ترجمه این مقاله با کیفیت عالی آماده خرید اینترنتی میباشد. بلافاصله پس از خرید، دکمه دانلود ظاهر خواهد شد. ترجمه به ایمیل شما نیز ارسال خواهد گردید.
فهرست مطالب

چکیده

1. مقدمه

2. سابقه

2.1. چک کردن مدل

2.2. منطق موجهات

2.3. تعمیم های منطق زمانی

2.4. منطق فازی

2.5. اتوماتای متناهی غیر قطعی گذار فازی

3. مدل کریپکه فازی

4. CTL* فازی

5. قابلیت تقریب خواص زمانی FzCTL در FzKripke

6. تجرید کریپکه فازی و تقریب مدل تجریدی

6.1. هم ارزی شبیه سازی دو گانه

7. نمودار برنامه فازی

7.1. نمودار برنامه فازی ساده

7.2. هم ارزی بین نمودار برنامه فازی و کریپکه فازی

8. از FzPG تا FzKripke تجریدی و تقریبی مربوطه

8.1. فرمول تقریب پذیر - Δ نرمال

9. مطالعه موردی

10. نتیجه گیری و کارهای آتی

منابع

نمونه متن انگلیسی

Abstract

Recently, by defining suitable fuzzy temporal logics, temporal properties of dynamic systems are specified during model checking process, yet a few numbers of fuzzy temporal logics along with capable corresponding models are developed and used in system design phase, moreover in case of having a suitable model, it suffers from the lack of a capable model checking approach. Having to deal with uncertainty in model checking paradigm, this paper introduces a fuzzy Kripke model (FzKripke) and then provides a verification approach using a novel logic called Fuzzy Computation Tree Logic∗ (FzCTL∗). Not only state space explosion is handled using well-known concepts like abstraction and bisimulation, but an approximation method is also devised as a novel technique to deal with this problem. Fuzzy program graph, a generalization of program graph and FzKripke, is also introduced in this paper in consideration of higher level abstraction in model construction. Eventually modeling, and verification of a multi-valued flip-flop is studied in order to demonstrate capabilities of the proposed models.

نمونه متن ترجمه

چکیده

اخیراً، با تعریف منطق زمانی فازی مناسب، خواص زمانی سیستم های دینامیکی در خلال فرآیند چک کردن یا وارسی مدل مشخص شده اند و در عین حال تعداد کمی از منطق های زمانی فازی همراه با مدل های توانمند مربوطه در مرحله طراحی سیستم توسعه یافته و به کار رفته اند، افزون بر این در صورت داشتن مدلی مناسب، این مدل از فقدان یک رویکرد توانمند چک کردن مدل نیز رنج می برد. برای مقابله با عدم قطعیت در پارادایم وارسی مدل، این مقاله یک مدل کریپکه فازی (FzKripke) را معرفی نموده و سپس یک رویکرد راستی آزمایی را با استفاده از منطق جدیدی به نام منطق درخت محاسبات فازی* (FzCTL*) ارائه می نماید. نه تنها با استفاده از مفاهیم شناخته شده ای مانند: تجرید و شبیه سازی دو گانه به مساله انفجار فضای حالت پرداخته شده بلکه یک روش تقریبی نیز به عنوان تکنیکی جدید برای مقابله با این مشکل ارائه گشته است. هم چنین نمودار برنامه فازی، که تعمیمی از نمودار برنامه و FzKripke محسوب می شود، در این مقاله با توجه به سطح بالاتر تجرید در ساخت مدل معرفی شده است. نهایتاً به منظور نشان دادن قابلیت مدل های پیشنهادی، مدلسازی و راستی آزمایی یک فلیپ فلاپ چند مقداری مورد مطالعه قرار گرفته است.