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

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

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

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

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

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

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

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

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