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

چکیده ندارد.

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

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

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

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

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

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

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