دانش رسان |
مرکز علم و دانش کشور وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی دارای ۱۲ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی :
نام کنفرانس، همایش یا نشریه : مهندسی برق و مهندسی کامپیوتر ایران – ب مهندسی کامپیوتر
تعداد صفحات :۱۲
با ترکیب منطق های زمانی و منطق فازی می توان منطق های جدیدی ایجاد و از آن در وارسی خودکار مدل های پویای فازی استفاده نمود. تاکنون در چند مقاله مدل های کریپکه فازی FzKripke و گراف برنامه فازی FzPG به عنوان دو مدل زمانی فازی تعریف و جهت وارسی خواص زمانی روی این مدل ها، منطق زمانی FzCTL ارائه شده و بدون ارائه الگوریتم وارسی مدل، کاربردهایی از آنها در وارسی مدارات منطقی فازی مانند فلیپ- فلاپ های فازی معرفی شده است. در این مقاله جهت برخورد با مشکل انفجار فضای حالت در مدل های زمانی فازی، روشی نمادین ارائه شده که به کمک آن، مدل ها در قالبی بسیار فشرده ذخیره و پردازش می شوند. در این مقاله کارایی الگوریتم های طراحی شده نیز مورد ارزیابی تحلیلی و تجربی قرار می گیرند. به عنوان مطالعه موردی، کارایی روش در وارسی و کشف مخاطره پویای یک مدار فلیپ- فلاپ D فازی، مورد بررسی قرار گرفته و زمان اجرا و حافظه مصرفی الگوریتم در شرایط مختلف مدل، ارائه شده است.
کلید واژه: وارسی مدل، مدل کریپکه، منطق زمانی فازی، گراف برنامه فازی، وارسی نمادین مدل
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
