به کارگیری منطق فازی در فرایندهای عملیاتی دستگاه ها مدتی است که معمول گردیده است.از آنجا که نحوه کارکرد این دستگاه ها به شرایط خرابی آن بستگی دارد، به کارگیری منطق فازی در مهندسی  قابلیت اطمینان دستگاه ها و عملیات نیز غیر منتظره نیست. تا به حال بررسی های مبتنی بر برازش توابع مختلف قابلیت اطمینان بر مبنای منطق دو دویی انجام شده و دستگاه یا کاملاً سالم و یا کاملاً  خراب در نظر گرفته می شده است. اما...

یاز چالش­های حفاری مکانیزه، سایش زیاد و پیش­بینی نشده ابزار برش در برخی پروژه‌های احداث تونل است. این مسئله علاوه بر افزایش هزینه، زمان حفاری را هم از طریق نیاز بیش‌تر به تعمیر و نگه‌داری اجزای ماشین، افزایش می­دهد. به‌منظور دست‌یابی به دید مناسبی از رابطۀ بین پارامترهای اپراتوری ماشین حفار با پدیدۀ مورد نظر، دستگاه آزمایشگاهی جدیدی در آزمایشگاه زمین­شناسی مهندسی دانشگاه فردوسی مشهد طراحی و ساخ...

منطق، ابزاری است برای کاهش خطای ذهن که به واسطه آن اشتباهات کاهش یافته و از طرف دیگر موجب رفع اختلافات می گردد. موضوعات متفاوت مستلزم داشتن منطق های مناسب با قلمرو خاص آنهاست. با توجه به اینکه نقش عمده منطق ایجاد هماهنگی و انسجام در ادراکات است لذا اساسا خود منطق ها باید هماهنگ باشند تا بتوانند چنین نقشی را بعهده گیرند و آن مستلزم وجود مبنایی مشترک بر تمامی منطق هاست که بعنوان ربط جامع در بین ه...

اگرچه دیر زمانی نیست که از تولد منطق فازی می گذرد ولی در همین مدت کوتاه هزاران مقاله و صدها کتاب و در همین حدود کنفرانس و نشست علمی در مورد منطق فازی برگزار شده است. در این میان چیزی که حائز اهمیت است آن است که علی رغم حجم گسترده کار روی منطق فازی این فعالیتها همه جانبه نبوده و بیشتر در زمینه ریاضیات و سیستم های مهندسی فازی فعالیت شده تا در حوزه مفاهیم بنیادی و مبانی آن، بگونه ای که امروزه بسی...

اگرچه دیر زمانی نیست که از تولد منطق فازی می گذرد ولی در همین مدت کوتاه هزاران مقاله و صدها کتاب و در همین حدود کنفرانس و نشست علمی در مورد منطق فازی برگزار شده است. در این میان چیزی که حائز اهمیت است آن است که علی رغم حجم گسترده کار روی منطق فازی این فعالیتها همه جانبه نبوده و بیشتر در زمینه ریاضیات و سیستم های مهندسی فازی فعالیت شده تا در حوزه مفاهیم بنیادی و مبانی آن، بگونه ای که امروزه بسیا...

یکی از پرسش های اساسی در منطق این است که چرا ارسطو به «منطقِ شرطی» نپرداخته است؟ او که به عنوان مدوّن منطق شناخته می شود چگونه ممکن است به این بحث مهم توجهی نداشته باشد؟ آیا این بی توجهی فقط یک غفلت است یا عمدی است و ارسطو دلیلی برای آن دارد؟ ما در این مقاله پس از بررسی منطق شرطی (قضایا و قیاس های شرطی) از دیدگاه رواقیون و بیان اهمیت آن نزد منطق دانان جدید، به مبانی نظری و فلسفی دو نظام منطق حملی...

به منظور اطمینان از صحت اجرای برنامه، رفتار برنامه مورد بررسی قرار می گیرد. با در اختیار داشتن کد اصلی برنامه می توان منطق برنامه را استخراج کرد و رفتار برنامه را شناخت. در این مقاله، دیدگاه ما نسبت به برنامه ها به صورت جعبه سیاه است، بنابراین از منطق اجرایی برنامه، اطلاعی در دست نیست. با این حال سعی شده است منطق اجرایی برنامه از روی اجراهای متعدد و موفق برنامه و ثبت فراخوانی های سیستمی تولید ش...