مشاهده‌ مشخصات مقاله

تعمیم مدل و منطق زمانی فازی به زمان حقیقی

Authors	غلامرضا ستوده علی موقر رحیم‌آبادی
Conference	هفدهمین کنفرانس ملی سالانه انجمن کامپیوتر ایران ‫
Abstract	براي لحاظ کردن سطوح مختلف عدم قطعيت و ناسازگاري، در فرايند چک کردن مدل، از منطق¬هاي زماني چندمقداري استفاده شده است. منطق فازي نيز نوعي منطق چندمقداري نامتناهي و پيوسته است که در حوزه¬هاي مختلف کاربرد دارد. با ترکيب منطق¬هاي زماني با منطق فازي مي¬توان مفاهيم فازي را در حوزه چک کردن مدل، وارد کرد. برای وارسی خواص زمانی سیستمهای مرتبط با زمان حقیقی (پیوسته) مدل اتوماتای زمانی (TA) ایجاد و منطقی با نام TCTL روی آن تعریف شده است. در اين مقاله ضمن تعريف مدل اتوماتای زمانی فازی (FzTA)برای زمانهای حقیقی، جهت چک کردن خواص زماني روي اين مدل-ها، منطق FzTCTL را ارائه مي¬کنيم. نشان خواهیم داد که این مدل و منطق نسبت به مدل TAو منطق TCTL قوی تر و کامل تر است.
قیمت	برای اعضای سایت : 100,000 Rial برای دانشجویان عضو انجمن : 20,000 Rial برای اعضای عادی انجمن : 40,000 Rial

خرید مقاله

Conferences and Events