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

قیمت خرید این محصول

۴۱,۰۰۰ تومان

دانلود رایگان نمونه دانلود مقاله انگلیسی

عنوان فارسی

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

عنوان انگلیسی

Abstraction and approximation in fuzzy temporal logics and models

صفحات مقاله فارسی

41

صفحات مقاله انگلیسی

26

سال انتشار

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

وضعیت ترجمه عناوین تصاویر و جداول

ترجمه شده است ✓

وضعیت ترجمه متون داخل تصاویر و جداول

ترجمه شده است ✓

وضعیت ترجمه منابع داخل متن

درج نشده است ☓

وضعیت فرمولها و محاسبات در فایل ترجمه

به صورت عکس، درج شده است

بیس

است ✓

مدل مفهومی

دارد ✓

پرسشنامه

ندارد ☓

متغیر

ندارد ☓

رفرنس در ترجمه

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

رشته های مرتبط با این مقاله

مهندسی کامپیوتر

گرایش های مرتبط با این مقاله

رایانش ابری، معماری سیستم های کامپیوتری

مجله

جنبه های رسمی محاسبات - 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 محسوب می شود، در این مقاله با توجه به سطح بالاتر تجرید در ساخت مدل معرفی شده است. نهایتاً به منظور نشان دادن قابلیت مدل های پیشنهادی، مدلسازی و راستی آزمایی یک فلیپ فلاپ چند مقداری مورد مطالعه قرار گرفته است.

برچسب‌ها: دانلود رایگان مقالات انگلیسی مهندسی کامپیوتر