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

در دنیای رقابتی امروز، برون سپاری یکی از استراتژی های مهمی است که در شرکت های مدرن به کار گرفته می شود. انتخاب پیمانکار به عنوان یک مسأله تصمیم گیری چندمعیاره (mcdm) شناخته شده است. معیارهایی که برای ارزیابی پیمانکاران به کار برده می شود شامل مسائل کیفی و کمّی می باشد. دیگر تکنیک های انتخاب پیمانکار ، مسأله انتخاب پیمانکار را از دیدگاه استراتژیک مورد بررسی قرار نداده اند. در این پژوهش، برای اولی...

در این پایان نامه به تحلیل حساسیت مسائل برنامه ریزی خطی فازی می پردازیم. مطالعه تغییر اجزای مسئله به دو قسمت تقیسم می شود. قسمت اول مربوط بع تغییر در تابع عضویت پارامترهااست. قسمت دوم به تحلیل حساسیت در پارامترهای مسئله (از قبیل بردار هزینه، ماتریس محدودیت و بردار نیازمندی)و اضافه کردن یک فعالیت جدید و محدودیت جدید پرداخته می شود. تحلیل حساسیت در این عبارات در شکل های مختلف مسئله فازی، یعنی مسئ...

منطق فازی[1] یک نوع منطق چندارزشی است که ریشه در افکار افلاطون و فلسفه شرقی دارد، اما نخستین بار در سال 1965 میلادی، دانشمند ایرانی­الاصل و استاد دانشگاه برکلی(پروفسور لطفعلی عسگرزاده) ملقب به پروفسور«زاده»[2]، منطق فازی را مطرح کرد. برخلاف منطق دو ارزشی ارسطویی که به­دنبال پاسخ آری و یا نه برای تعمیم به تمام پدیده­ها می­باشد(همچون پوزیتیویسم)، منطق فازی جهان را همان­گونه که هست معرفی می­کند. م...

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

در این نوشتار نخست توصیفی از سیستم استاندارد فازی به ‌عنوان نظریه‌ای دربارة ابهام طرح می‌شود؛ بدین قرار که ابتدا پشتوانه‌های شهودی این نظریه را مطابق ادعای حامیان آن مطرح می‌کنیم سپس بیانی نسبتاً صوری از سیستم استاندارد منطق فازی ارائه می‌کنیم. درادامه راه‌ حل‌های مبتنی‌بر این سیستم برای پارادوکس خرمن معرفی می‌شوند، پس از آن این سیستم در دو موضع نقد می‌شود؛ نقد نخست این است که پاسخ‌های معمول حام...

یک روش متداول و مناسب برای رتبه بندی اعداد فازی تعریف یک تابع از مجموعه اعداد فازی به مجموعه اعداد حقیقی است که در آن ترتیب وجود دارد .

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

امروزه یکی از تکنیک های موثر برای تصمیم گیری، تکنیک های تصمیم گیری چندشاخصه (madm ) می باشد که در آن تعدادی گزینه تحت یکسری معیار اولویت بندی می شوند. در مسائل madm قطعی و کلاسیک مقادیر وزن معیارها و ارزیابی گزینه ها از معیارها به صورت دقیق بیان می شوند، در حالی که در بسیاری از موارد این نوع داده ها در موقعیت های واقعی چندان مناسب نیستند و تعیین دقیق این مقادیر امری مشکل و یا غیر ممکن است. بناب...

مدل های تحلیل پوششی داده ها (dea) ، برای اندازه گیری کارایی نسبی مجموعه ای از واحدهای تصمیم گیرنده با ورودی های مختلف برای به وجود آوردن خروجی های مختلف هستند. برای بحث در مورد داده های نادقیق، مفهوم فازی معرفی می شود. این مقاله روشی را برای اندازه گیری میزان کارایی واحدهای تصمیم گیرنده با توابع هدف فازی معرفی می کند. در این مقاله از اعداد فازی ذوزنقه ای استفاده می شود. هدف اصلی تبدیل مدل تحلیل...