فا   |   En
ورود به سایت
مشاهده‌ مشخصات مقاله

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

نویسنده (ها)
  • علی موقر رحیم‌آبادی
مربوط به کنفرانس شانزدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
چکیده براي لحاظ کردن سطوح مختلف عدم قطعيت و ناسازگاري، در فرايند چک کردن مدل، از منطق¬هاي زماني چندمقداري (روي جبرهاي شبه بولي) استفاده شده است. منطق فازي نيز نوعي منطق چندمقداري نامتناهي و پيوسته است که در حوزه¬هاي مختلف کاربرد دارد. با ترکيب منطق¬هاي زماني با منطق فازي مي¬توان مفاهيم فازي را در حوزه چک کردن مدل، وارد کرد. در اين مقاله ضمن تعريف مدل کريپکه فازي FzKripke جهت چک کردن خواص زماني روي اين مدل¬ها، منطق FzCTL* را ارائه مي¬کنيم. جهت برخورد با مشکل انفجار فضاي حالت، علاوه بر مفهوم تجريد و شبيه¬سازي دوگانه که در فرايند چک کردن مدل، مفاهيمي شناخته شده¬اند، به مفهوم تقريب روي اين منطق¬ها و مدلهاي فازي، به عنوان تکنيکی جديد پرداخته خواهد شد
قیمت
  • برای اعضای سایت : ۱٠٠,٠٠٠ ریال
  • برای دانشجویان عضو انجمن : ۲٠,٠٠٠ ریال
  • برای اعضای عادی انجمن : ۴٠,٠٠٠ ریال

خرید مقاله