نتایج جستجو برای: منطق مرتبه دوم
تعداد نتایج: 86205 فیلتر نتایج به سال:
در این مقاله یک روش نوین بر پایه کنترل سوییچینگ مبتنی بر دو منطق سوییچینگ شامل شاخص هریس و ناظر فازی در حضور اغتشاش، جهت کنترل موقعیت و زاویه پاندول معکوس پیشنهاد میگردد. شاخص هریس به وسیلهی پارامترهای مارکوف و واریانس خروجی حلقه کنترل یک سیستم قابل محاسبه است. برای آنکه بتوان عملکرد سوییچینگ را نشان داد، برای اولین بار از چند کنترلکننده متفاوت بهمنظور استفاده از مزایای آنها در یک سیستم...
مطالعه بر روی روش های ترکیبی از 50 سال پیش آغاز شده و تا به حال افراد زیادی با افزودن نقاط غیر گامی ساده ای به روش های چندگامی خطی، روش های ترکیبی را بوجود آورده اند. در این پایان نامه به معرفی برخی روش های ترکیبی برای حل معادلات مرتبه اول و نیز رده هایی از روش های ترکیبی برای معادلات مرتبه دوم، پرداخته ایم. در روش های ترکیبی برای معادلات مرتبه دومp-سری ها را برای فرموله کردن دیدگاه چن بکار...
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت ...
در این تحقیق، پسروی گرینهای دوبعدی موتورهای سوخت جامد با روش سطوح همتراز مرتبه دوم شبیهسازی شده و این روش از نظر نحوه پیاده سازی، میزان دقت و زمان اجرا با روش سطوح همتراز مرتبه اول مقایسه شده است. بدین منظور، با درنظرگرفتن الزامات کلی روش سطوح همتراز و با هدف تحلیل پسروی، الگوریتمی متشکل از پنج گام شبکهبندی، محاسبه تابع حداقل فاصله، تعیین وضعیت نسبی، محاسبه مشخصههای بالستیکی و استخراجنت...
هدف از این مطالعه، کمیت بخشی به پارامترهای نامشخص طراحی و احتساب مستقیم اثرات پارامترهای نامعین در تحلیل سازه ای به منظور ارزیابی شاخص های قابلیت اعتماد می باشد. با این وجود اگر روش های قابلیت اعتماد با حل های متداول تحلیل سازه ای مرتبط نگردد، کمتر مورد استفاده قرار می گیرند. لذا ضروری است که این گونه روش ها با حل های اجزاء محدود ادغام گردند. برای این منظور در این مقاله، روشی جهت تعیین شاخص های...
: نانوساختارها به علت خواص ترابردی، الکتریکی و نوری، به طورگسترده مورد استفاده قرار گرفته اند. چاه کوانتومی ساختار نامتجانس دوگانه، ساختاری است که یک یا بیش از یک ماده نیم رسانا را شامل می شود، که در آن حرکت حامل های بار در یک بعد فضا محدود هستند. کاربردهای نوری همچون لیزرهای چاه کوانتومی، نمایشگرها و دیگر ابزارهای نورگسیل، به طور تئوری بررسی شده است و در برخی از موارد نیز تحقق یافته اند.در این...
توسط محاسبات نمادین اثبات های ساده ای برای تصمیم ناپذیری منطق مرتبه اول و نظریه های ساختارهای پایه ای (مانند الحاق یا حساب) به دست می آیند. با استفاده از دستورزبان ها یک اثبات برای نشان دادن اینکه اعتبار در منطق مرتبه اول تصمیم ناپذیر است (برای فرمول هایی با سور پیشوند ?? در زبان شامل حداقل یک رابطه یک تایی و تابع دوتایی) ارایه می کنیم. یک اثبات مشابه، قضیه ناتمامیت اول گودل برای ساختار رشته ها...
یک ساختار متریک عبارت است از یک فضای متریک به همراه تعدادی رابطه و عمل پیوسته روی آن. هر ساختار مرتبه یکم یک ساختار پیوسته است. منطق پیوسته گسترشی از منطق مرتبه یکم است که برای مطالعه ساختارهای متریک بنا شده است. هدف این پایان نامه مطالعه نیرش (فورسینگ) در منطق مرتبه یکم و منطق پیوسته و اثبات قضیه حذف تایپ در آنها می باشد. نخست به طرح چارچوب اصلی در منطق مرتبه یکم می پردازیم. سپس با انجام تغییر...
مطالعه ی واکنش ها برای به دست آوردن اطلاعات سینتیکی به عنوان مثال ثابت های سرعت ، یک رویکرد مفید و رایج در شیمی مدرن است. بنابراین، روش های بر پایه سرعت واکنش در شیمی تجزیه دارای اهمیت فزاینده ای هستند. میزان توسعه ی این روش ها به شدت، به پیشرفت های اخیر در طراحی دستگاهی و مخصوصاً به شرکت میکروکامپیوترها در دستگاه وری شیمی تجزیه، وابسته می باشد. در این مطالعه، یک کاربرد parafacبرای تفکیک کردن ...
در این پایان نامه نتایج بدست آمده درباره کلاس سیستم های لاگرانژینی که متریک های انرژی جنبشی تناوبی وابسته به زمان را می پذیرند بسط داده می شود. نتیجه اصلی این است که متریک انرژی جنبشی مقادیر ویژه ثابت دارند. هم چنین تبدیل مختصاتی وابسته به زمان که سیستم را به سیستم های کوچکتری تجزیه می کند به دست خواهد امد.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید