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

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

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

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

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

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

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

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