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

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

در این پایان نامه فضای خطی ? - نرم فازی شهودی تعمیم یافته معرفی می گردد و ویژگی های این فضا مورد بررسی قرار می گیرد. سپس توابع ? - پیوسته فازی شهودی تعمیم یافته، ? - پیوسته فازی شهودی تعمیم یافته قوی و ? - پیوسته فازی شهودی تعمیم یافته دنباله ای را معرفی نموده و نشان داده می شود که توابع ? - پیوسته فازی شهودی تعمیم یافته و ? - پیوسته فازی شهودی تعمیم یافته دنباله ای هم ارز و ? - پیوسته فازی شهو...

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

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

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

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

میانگین زمان پاسخ نقش مهمی را در تحلیل و بهینه سازی سامانه ی صف بندی در تعیین تعداد و نوع سرویس دهنده ها ایفا می کند. در این مقاله برای میانگین زمان پاسخ در مدل صف بندی m/g/1 با الگوی ورود fcfs بازه های اطمینانی بر اساس روش دلتا ی ناپارامتری و پنج روش خودگردان تولید شده است که این روش ها عبارت اند از: بازه ی اطمینان به روش دلتای ناپارامتری بر مبنای تابع نفوذ، بازه ی اطمینان خودگردان به شیوه ی ن...