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

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

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

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

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

ساخت یک مدار مجتمع با سطح کمتر، علاوه بر کاهش هزینۀ ساخت لازم، اغلب منجر به اثرات مثبتی در کاهش توان مصرفی و افزایش قدرت پردازش می شود. برای ساخت یک مدار مجتمع که قابلیت انجام یک تابع منطقی را داشته باشد و در عین حال مساحت کمتری اشغال کند، باید بتوان آن تابع منظقی را در تکنولوژی cmos با نفوذ پیوسته ساخت. برای این کار باید مسیر اویلر پیوسته ای برای آن تابع منطقی به دست آورد. هر انفصال در ناحیۀ ن...

در این مقاله با استفاده از متغیرهای کمکی ساختار کلی مدل دینامیکی یک ربات متحرک فضایی با n لینک انعطاف پذیر و n مفصل لولا، که مجموعه ای از 5n+6 معادلة دیفرانسیل جزئی کوپل غیرخطی به همراه شرایط مرزی است، ارائه شده است. از بیان نیروها و گشتاورهای ناپایستار صرف نظر شده است، ولی اگر در نظر آورده شوند، ساختار کلی مدل دینامیکی عوض نخواهد شد. پایۀ ربات جسم صلب شش درجه آزادی در فضا ست و هر لینک آن، به ع...

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

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

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