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

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

در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

در مورد قضیه دروغ گو،(کل کلامی کاذب , هرچه می گویم دروغ است)در طی دو هزارو پانصدسال بسیار بحث شده است اما کمتر توجه کرده اند«کل کلامی کاذب»یک قضیه نیست بلکه یک شبه قضیه است که با اصل منطق منافات داردو نمی توانددرمنطق جایی پیداکند.این ها احکام و قضایای ممتنعند و پیداست که حکم یا قضیه ممتنع اصلا قضیه نیست که صادق یا کاذب باشد. دروغ دانستن دورغ, صادق بودن دروغ گو و صدق دروغ را اثبات نمی کندو نکته...

در این پایان نامه قصد بر آن است تا مسائل تغییراتی فازی برای بهینگی مسائل تغییراتی فازی در دو حالت بدون محدودیت و با محدودیت مورد بررسی قرار می گیرد. در این پایان نامه شرایط اویلر- لاگرانژ و مسائل ثابت محیطی که در ابتدا توسط فرهادی نیا ارایه شد تحت مشتق تعمیم یافته مورد بررسی قرار می دهیم و در پایان شریط لازم برای بهینگی تغییرات فازی تحت آلفا مشتق را بیان می کنیم.

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

«قضیه‌ی ذهنیه» یکی از اصطلاحاتی است که در منطق اسلامی معرفی شده و در فلسفه‌ی اسلامی به کار رفته است. در این مقاله، با پی‌گیری تحولات تاریخی این اصطلاح، نشان داده‌ایم که قضیه‌ی ذهنیه معانی بسیاری را در دوران‌های مختلف به خود گرفته و با قضیه‌های گوناگونی در منطق و فلسفه گره خورده است. این تنوع و دگرگونی در معانی سبب شده است که قضیه‌ی ذهنیه با ابهامات بسیاری چه در منطق قدیم و چه در فلسفه‌ی اسلامی ...

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

مسأله ی بهینه سازی زیر را در نظر می گیریم: min f(x), s.t: , (6) , , که در آن و توابع هموار و حقیقی مقدار روی هستند. تابع لاگرانژ برای این مسأله به صورت زیر تعریف می شود: (7) , تابع لاگرانژ بالا، از تابع هدف مسأله و یک جمله به همراه یک ضریب برای هر قید، تشکیل شده است. شرایط لازم مرتبه اول برای بدست آوردن و این تابع، به شرایط معروف است. حال روش لاگرانژ افزوده را معرفی می کنیم...

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...