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

قضیه صفر شدن هارتشورن - لیختنبام footnote{-lichtenbaum hartshorne }یکی از مهم ترین نتایج در زمینه مدول های کوهمولوژی موضعی است. چندین اثبات ازاین قضیه وجود دارد؛ برای مثال cite{bh2}, cite{cs} و cite{sc1}را ببینید. همچنین، تعمیم های زیادی ازاین قضیه وجود دارد.دیوانی آذر، نقی پور و طوسی در cite{dnt} آن را به کوهمولوژی موضعی با محمل در زیرمجموعه های بسته تحت تخصیص توسیع داده اند. تاکاهاشی foo...

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

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

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

چکیده ندارد.

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

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

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