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

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

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

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

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

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

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

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

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