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

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

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

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

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

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

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

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

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

هدف از این مقاله نمایش به کارگیری آخرین تحقیقات و پژوهشها در زمینه هیدرولیک و هیدرولوژی آبهای سطحی به منظور تعریف سیمای طرح پروژه های کنترل سیل است. در این مقاله بعد از معرفی الگوریتم های ردیابی جریان(flow tracing) و تشریح منطق مورد استفاده برای برنامه نویسی آنها در محیط gis، نحوه به کارگیری مدل های ریاضی متصل به gis در کنار این الگوریتم ها و نهایتاً به کار بستن نتایج حاصله در سیاستگذاری و چیدما...