مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

971
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

695
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

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

عنوان

وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی

صفحات

 صفحه شروع 55 | صفحه پایان 63

چکیده

 با ترکیب منطق های زمانی و منطق فازی می توان منطق های جدیدی ایجاد و از آن در وارسی خودکار مدل های پویای فازی استفاده نمود. تاکنون در چند مقاله مدل های کریپکه فازی FzKripke و گراف برنامه فازی FzPG به عنوان دو مدل زمانی فازی تعریف و جهت وارسی خواص زمانی روی این مدل ها, منطق زمانی FzCTL ارائه شده و بدون ارائه الگوریتم وارسی مدل, کاربردهایی از آنها در وارسی مدارات منطقی فازی مانند فلیپ- فلاپ های فازی معرفی شده است. در این مقاله جهت برخورد با مشکل انفجار فضای حالت در مدل های زمانی فازی, روشی نمادین ارائه شده که به کمک آن, مدل ها در قالبی بسیار فشرده ذخیره و پردازش می شوند. در این مقاله کارایی الگوریتم های طراحی شده نیز مورد ارزیابی تحلیلی و تجربی قرار می گیرند. به عنوان مطالعه موردی, کارایی روش در وارسی و کشف مخاطره پویای یک مدار فلیپ- فلاپ D فازی, مورد بررسی قرار گرفته و زمان اجرا و حافظه مصرفی الگوریتم در شرایط مختلف مدل, ارائه شده است.

استنادها

  • ثبت نشده است.
  • ارجاعات

    استناددهی

    APA: کپی

    ستوده، غلامرضا، و موقررحیم آبادی، علی. (1396). وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر، 15(1)، 55-63. SID. https://sid.ir/paper/228444/fa

    Vancouver: کپی

    ستوده غلامرضا، موقررحیم آبادی علی. وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر[Internet]. 1396؛15(1):55-63. Available from: https://sid.ir/paper/228444/fa

    IEEE: کپی

    غلامرضا ستوده، و علی موقررحیم آبادی، “وارسی نمادین گزاره های منطق زمانی فازی روی گراف برنامه فازی،” مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر، vol. 15، no. 1، pp. 55–63، 1396، [Online]. Available: https://sid.ir/paper/228444/fa

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

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

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button